Logiikan määritelmä Aristoteleen mukaan
Logiikka systemaattisena päättelymenetelmänä on ollut filosofisen keskustelun kulmakivi vuosituhansien ajan. Yksi loogisen ajattelun kehityksen uraauurtavimmista hahmoista on Aristoteles, jonka uraauurtava työ loi perustan suurelle osalle länsimaista logiikkateoriaa. Ymmärtääkseen logiikan määritelmiä ja vivahteita Aristoteleen mukaan on tärkeää perehtyä hänen tutkielmiinsa, erityisesti "Organoniin", joka tiivistää hänen teoriansa ja periaatteensa loogiseen päättelyyn liittyen.
Yleiskatsaus Aristoteleen saavutuksiin
Aristoteles (384–322 eKr.) oli kreikkalainen filosofi, jonka syvälliset saavutukset ulottuivat useille eri aloille, mukaan lukien metafysiikka, etiikka, politiikka ja ennen kaikkea logiikka. Usein "logiikan isänä" ylistetty Aristoteles systematisoi ja virallisti päättelyn periaatteet, jotka tukivat suurta osaa myöhemmästä filosofisesta tutkimuksesta. Hänen työnsä tarjosi viitekehyksen, jota filosofit, tiedemiehet ja matemaatikot ovat käyttäneet vuosisatojen ajan.
Aristoteleen logiikan tutkimus on pääasiassa tallennettu kuuteen tutkielmaan, jotka koostuvat teoksesta ”Organon” (kreikaksi ”instrumentti” tai ”työkalu”). Nämä teokset ovat:
1. ”Kategoriat”
2. ”Tulkinnasta”
3. ”Aiempi analytiikka”
4. ”Jälkikäteen tehty analytiikka”
5. ”Aiheet”
6. ”Sofistisia kumoamisia”
Yhdessä nämä tekstit hahmottelevat Aristoteleen logiikkateorian, joka käsittelee argumenttien rakennetta, väittämien luokittelua, syllogistisen päättelyn luonnetta ja tieteellisen tutkimuksen periaatteita.
Logiikan määritelmä ja tarkoitus
Aristoteleelle logiikka on väline (tästä nimi "Organon") tiedon hankkimiseen ja pätevän päättelyn periaatteiden ymmärtämiseen. Hän ei pidä logiikkaa empiirisenä tieteenä, vaan metodologisena viitekehyksenä argumenttien arvioimiseksi ja totuuden erottamiseksi valheesta. Tässä mielessä logiikka on sekä työkalu että tiede – organon muille tieteille – joka helpottaa oikeaa ajattelua ja estää virheitä päättelyssä.
Kategoriat ja predikaattilogiikka
Yksi Aristoteleen perustavanlaatuisimmista saavutuksista on hänen kategoriateoriansa, jota hän käsittelee teoksessaan ”Kategoriat”. Kategoriat edustavat erityyppisiä predikaatteja, jotka voidaan liittää subjektiin, ja muodostavat hänen ontologiansa ja loogisen teoriansa perustan. Aristoteles tunnistaa kymmenen kategoriaa:
1. Aine (esim. mies, hevonen)
2. Määrä (esim. viisi jalkaa pitkä)
3. Laatu (esim. valkoinen, kieliopillinen)
4. Relaatio (esim. kaksinkertainen, puolikas, suurempi)
5. Paikka (esim. markkinoilla)
6. Aika (esim. eilen, viime vuonna)
7. Asento (esim. makuulla, istuen)
8. Tila (esim. kengitetty/kengittämätön)
9. Toiminta (esim. leikata, polttaa)
10. Kiintymys (esim. tulla viilletyksi, tulla poltetuksi)
Nämä kategoriat auttavat määrittelemään ja luokittelemaan erityyppisiä predikaatteja ja esittävät perustavat, joilla asioita voidaan kuvata ja ymmärtää.
Lauseet ja syllogismit
Aristoteleen tutkielma ”Tulkinnasta” syventyy propositioihin, jotka ovat deklaratiivisia väitteitä maailmasta ja jotka voivat olla joko tosia tai epätosia. Hän hahmottelee yksinkertaisten lauseiden loogisen rakenteen sekä subjektien ja predikaattien syntaktiset suhteet.
Tämän pohjalta teoksessa ”Prior Analytics” esitellään syllogismin käsite, joka on deduktiivisen päättelyn muoto. Syllogismi koostuu kahdesta premissistä ja johtopäätöksestä, ja se toimii aristoteelisen logiikan rakennuspalikkana. Aristoteles osoittaa, että jos premissit ovat tosia ja syllogistinen muoto on pätevä, johtopäätöksen on välttämättä seurattava niistä.
Klassinen esimerkki syllogismista on:
1. Kaikki ihmiset ovat kuolevaisia. (Pääoletus)
2. Sokrates on mies. (Vähäisiä lähtökohtia)
3. Siksi Sokrates on kuolevainen. (Johtopäätös)
Aristoteles määrittelee useita päteviä syllogismien muotoja (päättelytapoja), joilla kullakin on erityiset säännöt termien sijoittelusta ja suhteesta premisseissa.
Jälkikäteen tehtävä analytiikka ja tieteellinen tieto
Teoksessaan ”Posterior Analytics” Aristoteles tutkii tieteellisen tutkimuksen metodologiaa. Hän erottaa toisistaan erityyppiset tiedot ja korostaa demonstratiivisen tiedon merkitystä, joka on johdettu välttämättömistä ja universaaleista periaatteista. Aristoteleen mukaan tieteellinen tieto (epistem) saavutetaan demonstroinnin (apodeiksis) kautta, joka on loogisen todistelun muoto, joka lähtee itsestään selvistä ensimmäisistä periaatteista johtopäätösten tekemiseksi luonnosta.
Dialektinen päättely ja aiheet
”Aiheet” käsittelee dialektista päättelyä, joka pyrkii keskusteluun ja väittelyyn pikemminkin kuin absoluuttiseen todistusaineistoon. Aristoteles tarjoaa menetelmän argumenttien rakentamiseen ja purkamiseen todennäköisten lähtökohtien perusteella, jotka eroavat tieteellisessä demonstraatiossa vaadittavista varmoista lähtökohdista. Aristoteleelle dialektiikka on menetelmä muiden mielipiteiden selvittämiseksi ja eri näkökulmien vahvuuden ja johdonmukaisuuden testaamiseksi.
Hienostuneet kumoukset
Teoksessaan ”Sofistiset kumoukset” Aristoteles tarkastelee päättelyvirheitä – virheellisiä argumentteja, jotka näyttävät päteviltä, mutta eivät ole. Hän luokittelee erityyppisiä päättelyvirheitä, sekä muodollisia (loogiseen muotoon liittyviä) että epämuodollisia (sisältöön liittyviä), ja tarjoaa tekniikoita niiden tunnistamiseksi ja kumoamiseksi. Tämä teos on olennainen logiikan tutkimukselle, sillä se tarjoaa työkaluja kriittiseen ajatteluun ja virheellisen päättelyn välttämiseen.
Yhteenveto
Aristoteleen logiikan määritelmä on ylittänyt vuosisatojen rajat ja luonut perustan, jolle moderni logiikka rakennetaan. Hänen huolellinen predikaattien luokittelunsa, syllogistisen päättelynsä kehittäminen ja erityyppisten tietojen erottelu muodostavat kattavan viitekehyksen loogisten periaatteiden ymmärtämiselle. Aristoteleelle logiikka ei ole vain teoreettinen harjoitus, vaan käytännöllinen väline ajattelun ohjaamiseen ja tiedon hankkimiseen eri tutkimusaloilla.
Kiteyttämällä pätevän päättelyn periaatteet Aristoteles antoi ihmiskunnalle korvaamattoman työkalun, joka edelleen ohjaa ja muokkaa älyllisiä pyrkimyksiä, sementoiden hänen perintöään keskeisenä hahmona logiikan historiassa.
