..............................................................3 Filosoofiast...................................................................................5 Arutlus........................................................................................6 Lõppsõna.....................................................................................8 Kasutatud kirjandus ........................................................................9 Sissejuhatus Leibnizit võib pidada universaalseks õpetlaseks ta oli diplomaat, jurist, matemaatik, füüsik ja filosoof ühes isikus. Friedrich Suur on nimetanud teda "omaette Akadeemiaks". Ta kavandas mõistelise keele, mis põhineb formaalsel arvutusel ja on rakendatav kõikjal, sisust sõltumata, mistõttu Leibnizit võib pidada üheks nüüdisaja matemaatilise loogika esiisaks. Leibnizi filosoofia keskmeks on metafüüsilise probleemistiku lahendamine monaadi mõiste varal.
Hispaanias ja Itaalias. Kolmanda loogikasuuna rajajaks sai Hispaania seikleja ning müstik Ramon Lull (1235-1315). Aastal 1501 ilmunud Ars magna, generalis et ultima püüab esitada kontseptsioone sümbolite keeles ning tuletada väiteid variantide kombineerimise teel. Lulli ideed ning nendega kaudselt seotud kabalistlikud müüdid mõjutasid hilisemaid suurkujusid Pascali ja Leibnizit. 17. sajand oli aeg, mil tänu sümbolite ja sümbolkeele kasutuselevõtmisele tehti väga suuri edusamme matemaatikas. 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