Loogika aine ja ajalugu
o kasutada
ainult ühekohalisi predikaate, siis selline loogikasüsteem on lahenduv.
Mis puutub loogika ja arvutiteaduse suhetesse, siis see on märksa laiem, kui algoritmi- ja rekursiooniteooria
problemaatika. Viimane pakub peamist huvi loogikasiseselt ja filosoofilisest vaatepunktist, praktilise arvutiteaduse
seisukohalt on lahendamatuse eri astmeid ja lahendamatuse struktuuri uurivad algoritmiteooria sfäärid suhteliselt vähem
huvitavad. Iga konkreetse probleemiklassi lahendatavuse/mittelahendatavuse probleem ise on arvutiteaduse jaoks siiski
väga oluline, sest lahendatavuse tõestamine annab "kõrvalproduktina" enamasti kaasa lahendusalgoritmi enda.
2.5.7 Loogika ja analüütiline filosoofia
Analüütiline filosoofia tekkis sajandivahetuse Inglismaal reaktsioonina seni domineerinud, Hegelilt pärit idealismile.
Alusepanijateks peetakse filosoofe Bertrand Russelli ja George Edward Moore'i (1873-1958). Russell nimetas oma
annaabi.ee 
