Loogika aine ja ajalugu
Samasuguseid sümbolsüsteeme püüti luua ka loogika jaoks.
2.3.2 Leibniz
17. sajandi universaalne suurkuju Gottfried Wilhelm Leibniz (1646-1716) lõi 1680. aastatel loogikasüsteemi, mis on
vägagi sarnane George Boole'i süsteemiga aastast 1847. Ometigi loetakse matemaatilise ja sümbolloogika rajajaks just
Boole'i, mitte Leibnizit. Üksikud erandid välja arvatud, polnud Leibnizi loogikaalastel ideedel ning avastustel järgneva
kahe sajandi jooksul praktiliselt mõju.
Mõjutatuna nii Ramon Lulli ideedest kui matemaatika arengust püstitas Leibniz ülesande luua universaalne sümbolkeel
(lingua characteristica universalis) ja seda keelt kasutav nn ``arutlemise aritmeetika'' (calculus rationator), mille abil
saaks algoritmiliselt või mehaaniliselt tuletada uusi t~eseid väiteid ja kontrollida arutluste korrektsust. Leibniz oletas, et
annaabi.ee 
