Filosofia:klassinen logiikka

From Tieteen termipankki
Jump to: navigation, search

klassinen logiikka

klassinen logiikka
Definition yhteisnimitys modernin logiikan ekstensionaaliselle perussysteemille, joka koostuu lauselogiikasta ja (ensimmäisen kertaluvun) predikaattilogiikasta
Explanation Klassisella logiikalla ei viitata antiikin logiikkaan (ts. traditionaaliseen logiikkaan), vaan 1850-luvulta alkaen kehitettyyn Boolen algebroille, relaatioiden logiikalle ja kvantifikaatioteorialle perustuvaan peruslogiikkaan. Klassista logiikkaa määrittää kolme perusperiaatetta: poissuljetun ristiriidan laki, poissuljetun komannen laki ja ekstensionaalisuusehto. Hylkäämällä ekstensionaalisuusehto joudutaan luopumaan loogisten vakioiden totuusfunktionaalisuudesta ja päädytään intensionaalisiin logiikoihin. Hylkäämällä poissuljetun komannen laki päädytään moniarvologiikkoihin tai intuitionistiseen logiikaan ja osassa parakonsistenteista logiikoista ei päde yleisesti edes ristiriidan laki.
Usein klassiseen logiikkaan katsotaan kuuluvan vain ensimmäisen kertaluvun predikaattilogiikka, mutta toisinaan myös tietyt sen laajennukset, kuten toisen (tai useamman) kertaluvun predikaattilogiikka.

Related Concepts



References

Lähdeviittaus tähän sivuun:
Tieteen termipankki 15.7.2020: Filosofia:klassinen logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:klassinen logiikka.)


Siirry tarkastelemaan sivun muokkaushistoriaa →