Loogika aine ja ajalugu
mitmekohaliste suhete (nagu näiteks ``A on B isa'') tähistamiseks.
Ülimõjukad Saksa filosoofid Immanuel Kant (1724-1804) ja Georg Wilhelm Friedrich Hegel (1770-1831) tegelesid
muu hulgas samuti sümboolse loogikaga, kuid üpris vähesel määral. Puhta mõistuse kriitikas viitab Kant loogikale kui
lõpetatud, valmis tehtud konstruktsioonile. Kanti loengud loogikast tegelevad peaaegu ainult loogika ajalooga. Hegel
kinnitab oma monumentaalses teoses Loogika, et senised loogikauuringud on olnud ``tehnilised manipulatsioonid'' ning
asub seejärel uurima loogika ``sisu'' vastandades seda ``vormile''. Ei Kant ega Hegel tegelenud kuigivõrd sümboolse,
matemaatilise loogikaga. Sellegipoolest on Kanti ja Hegeli fundamentaalsed filosoofilised teosed puhta mõistuse
analüüsidega väga olulised loogika, sh sümboolse loogika, hilisema arengu jaoks.
2.4 Kaasaegse loogika algus