Muodollinen logiikka vs. filosofinen logiikka
Tähän väliin lienee syytä selventää logiikkaan liittyvää terminologiaa.
Muodollinen logiikka keskittyy ajattelun ja päättelyn muodollisiin sääntöihin ja rakenteisiin. Esimerkkejä ovat klassinen logiikka, predikaattilogiikka ja modaalilogiikka. Muodollinen logiikka käyttää täsmällisiä sääntöjä ja kaavoja, joilla arvioidaan argumenttien pätevyyttä ja rakennetaan formaalisia todistuksia. Muodollinen logiikkaa on siis samantyyppinen ”peli” kuin shakki. Kun puhutaan vain "logiikasta", viitataan muodolliseen logiikkaan.
Filosofiseen logiikkaan kuuluvat esimerkiksi Kantin transsendentaalinen logiikka sekä muut tietoteoreettiset ja ontologiset tutkimukset. Filosofinen logiikka tutkii ajattelun ja tiedon perusteita, merkityksen muodostumista, käsitteiden ja kategorioiden toimintaa. Se ei rajoitu formaalisiin sääntöihin, vaan pyrkii ymmärtämään ajattelun ja tiedon laajempia periaatteita ja ehtoja. Filosofinen logiikka voi sisältää eri koulukuntien ja filosofien kehittämiä käsitteitä ja teorioita, jotka eivät välttämättä ole muodollisesti määriteltyjä tai systemaattisesti järjestettyjä samalla tavalla kuin muodollisen logiikan säännöt.
Anssi H. Manninen (aka "Kant II")
Kommentit
Lähetä kommentti