Loogika aine ja ajalugu
Peamiseks huviobjektiks oli Aristolese jaoks varju jäänud lausearvutus. Stoikud uurisid, kuidas saab
loogiliste sidesõnade (ja, ei, või, kui...siis) abil lihtsamatest lausetest keerulisemaid kokku panna ja kuidas näidata
selliselt moodustatud lausete õigsust.
Erinevalt Aristotelesest, kes kasutas oma loogikas muutujatena kreeka tähti, tarvitasid Stoikud muutujatena numbreid.
Näiteks: ``Kas esimene või teine; mitte teine; järelikult esimene''. Kuulsaim loogik stoikude seast, Chrysippus (279-206
e.m.a), kinnitas, et järgmised viis väiteskeemi on elementaarsed ehk mittetõestatavad ning kõik õiged väiteskeemid on
nendest tuletatavad (lisatud on tõlge kaasaegse lausearvutuse keelde):
1. Kui esimene, siis teine; esimene; järelikult teine. ((A B) &A) B.
2. Kui esimene, siis teine; mitte teine; järelikult mitte esimene. ((A B) &ØB) ØA.
3. Mitte korraga esimene ja teine; esimene; järelikult mitte teine. (Ø(A &B) &A) ØB.
4
annaabi.ee 
