Loogika aine ja ajalugu
ole puhta matemaatikaga tegelejate seas loogika kuigivõrd tuntud või huvipakkuv ala.
Paralleelselt matemaatikute huvi vähenemisega muutus loogika üha olulisemaks analüütilistele filosoofidele - sajandi
keskpaiga suurkujudest nimetaksime Carnapit, Lukasziewiczit, Wittgensteini ja Kripket. Nimetatud arenguga seoses
hakati välja töötama mitmesuguseid uusi mitteklassikalisi loogikaid.
Elektronarvutite leiutamine sajandi keskel ja majanduse, teaduse ning ühiskonna süvenev arvutiseerimine andsid
loogikateadusele uue võimsa tõuke. Viimaste kümnendite jooksul on loogika areng olnud üha enam seotud
arvutiteadusega, ning vastupidi. Loogika ja teoreetiline arvutiteadus on muutunud vastastikku üksteisest sõltuvaks ning
mitmete konkreetsete valdkondade puhul raskesti eristatavateks. Tehisintellektiteaduse problemaatika kaudu tuleb neile
kolmanda olulise komponendina juurde analüütiline filosoofia.
2.5.1 Logitsism: Russell ja Whitehead
annaabi.ee 
