Logiikka

Logiikka (kreikan sanasta λογική [logikē], johdettu sanasta λόγος [logos], ”sana”, ”järjestys”, ”järki”) on tieteenala, joka tutkii päättelyn ja ajattelun muotoja, erityisesti deduktiivista päättelyä. Päättely on deduktiivista, jos se säilyttää totuuden siten, että oletusten ollessa tosia johtopäätös ei voi olla epätosi. Logiikka on perinteisesti nähty filosofian osana, mutta 1900-luvulla osa logiikan saralla tehtävästä tutkimuksesta eriytyi matematiikan osaksi. Logiikan tutkimus on myös muodostunut osaksi tietojenkäsittelytiedettä.

Usein sanalla ’logiikka’ viitataan täsmälliseen symboliseen tekniikkaan tai menetelmään, jolla voidaan tutkia argumentin deduktiivista pätevyyttä tai deduktiivisesti pätevien argumenttien muotoja, joko yleisesti tai tarkoittaen tiettyä logiikan järjestelmää.

Filosofinen logiikka pyrkii mallintamaan filosofisesti relevantteja ilmiöitä logiikan keinoin. Esimerkiksi kielifilosofiassa voidaan kielen loogisen analyysin avulla pyrkiä ratkaisemaan kielellis-filosofisia ongelmia. Logiikan voidaan nähdä liittyvän myös läheisesti ontologiaan. Logiikan avulla voidaan tutkia erilaisten formaalien ontologioiden seurauksia.

Matemaattisen logiikan painopiste on logiikan termistöä (päättely, määritelmä) koskevien matemaattisten tulosten ja todistusten kehittämisessä. Matemaattisen ja filosofisen (formaalin) logiikan välinen täsmällinen rajanveto on osoittautunut ongelmalliseksi, mutta selviä kulttuurillisia eroja on.