Loogika aine ja ajalugu
Quine püüab seejuures näidata, et teadus saab põhimõtteliselt hakkama
puhtalt loogikale baseeruva keele abil ning nn. intensionaalseid määratlusi, nagu ``tähendus'' ja ``paratamatu õigsus''
pole teaduskeeles vaja kasutada.
Loogikaga on seotud ka ameerika lingvisti Noam Chomsky (sünd. 1928) tööd ning kaudselt kogu strukturaalne
lingvistika.
Mahukaima koostööpinnase loogikale ja filosoofiale on viimaste k"mnendite jooksul andnud tehisintellektiteadus ja
kognitiivsusteadus (cognitive science). Neis valdkondades uuritakse informatsiooni esitamise ja vaimse tegevuse viise
päris praktilisel eesmärgil, ehitamaks arvutiprogramme, mis suudaksid lahendada keerulisi, n.ö. intellekti nõudvaid
ülesandeid. Selle uurimistöö käigus areneb samas ettekujutus inimese enda vaimsetest protsessidest. Loogika jaoks on
siin fundamentaalseks probleemiks igapäevaste, tavaliselt ebakindlate ja umbmääraste teadmiste esitamine ning