Loogika aine ja ajalugu
Port-Royali loogika sisaldab Blaise Pascalist mõjustatud diskussiooni definitsioonidest, kus eristatakse
nominaalseid ja reaalseid definitsioone. Filosoofiline diskussioon nominalismi ja realismi üle oli tuline juba 14.
sajandil. Seejuures rõhutab Pascal matemaatiliste definitsioonide nominaalset ja pragmaatilist iseloomu.
Skolastilise loogika traditsioon siiski säilis, peamiselt muidugi katoliiklikes ülikoolides ning katoliiklikes riikides -
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.
annaabi.ee 
