Ero sivun ”Aristoteelinen logiikka” versioiden välillä

Aristoteleen suunnittelema syllogismi oli ensimmäinen systemaattinen logiikan järjestelmä. '''Syllogismi''' on [[Logiikka|loogisen]] päätelmän muoto, jossa on premissit ja niistä loogisesti seuraava johtopäätös. Syllogismi on [[Päättely|''deduktiivista'' päättelyä]], jossa johtopäätös on suoraan johdettavissa annetuista premisseistä. Eli päätelmät ovat varmasti tosia,kunhan premissit ovat tosia. Syllogistiikan kaikki lauseet ovat ''kategorisia väitteitä'', jossa oletuksia, eli premissejä, eli termejä on aina kaksi ja yksi johtopäätös, eli ''kopula''.

Aristoteelinen logiikka joutuu vaikeuksiin jos yksi tai useampi termeistä on tyhjä joukko. Aristoteelisessa logiikassa esimerkiksi lause "kaikki ohikulkijat ammutaan" olettaa, että ohikulkijoita on vähintään yksi. Syllogismi menetti merkitystään, kun tiedemaailma etsimään ilmiöille yleistyksiä, jolloin deduktiivinen päättely ei enää riittänyt. Syllogismien merkitystä logiikassa on vähentänyt lisäksi se,että kaikki syllogismin esittämät todistukset ja niiden pätevyys voidaan esittää myös [[diagrammimenetelmä]]llä.