Loogika aine ja ajalugu
ameerika filosoof ja loogik Charles Sanders Peirce (1839-1914) ning saksa matemaatik Ernst Schröder.
2.4.2 Frege
Saksa matemaatiku Gottlob Frege (1848-1925) 1879. aastal avaldatud lühikest teost Kontseptuaalne notatsioon
("Begriffsschrift") võib julgelt nimetada 19. sajandi olulisemaks loogikaraamatuks. Selles raamatus esitab Frege kogu
kaasaja loogika fundamentaalseima süsteemi, nn. esimest järku predikaatarvutuse. Predikaatarvutus baseerub
lausearvutusel, predikaatidel ja kvantoritel ``iga x jaoks kehtib ...'' ning ``on olemas selline x, et ...'', võimaldades
kirjeldada asjade omadusi ja omavahelisi suhteid. Teatud mõttes on võimalik öelda - Wittgensteini parafraseerides -, et
kõike, mida saab rangelt kirjeldada, saab kirjeldada predikaatarvutuse keeles. Viimane väide ei tähenda seda, et
predikaatarvutuse keel on alati kõige praktilisem, selgem või mugavam meetod ükskõik mille rangeks kirjeldamiseks,
annaabi.ee 
