Loogika aine ja ajalugu
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
Inglise filosoof ja loogik Bertrand Russell (1872-1970) oli ebaharilikult laia huvisfääriga mõtleja. Aastal 1950 pälvis
Russell oma esseistika eest Nobeli preemia, lisaks oli Russell tuntud kui patsifismi propageeriv poliitiline aktivist.
Loogika ajaloos seostub Russelli nimi filosoofi ja matemaatiku Alfred North Whiteheadiga (1861-1947): Russell ja
annaabi.ee 
