Filosofia:intuitionistinen logiikka

Kohteesta Tieteen termipankki
Loikkaa: valikkoon, hakuun

intuitionistinen logiikka

intuitionistinen logiikka
Määritelmä logiikan ala, jossa konnektiivit ja kvanttori tulkitaan klassisesta logiikasta poikkeavalla tavalla
Selite Intuitionistisessa logiikassa hylätään monia klassisen logiikan sääntöjä, kuten kolmannen poissuljetun laki ja kaksoisnegaation laki. L. E. J. Brouwer (1881-1966), Arend Heyting (1898-1980) ja muut ovat puolustaneet intuitionistista logiikkaa äärettömyyden tutkimiseksi ja Michael Dummett (1925-2011) on pitänyt intuitionistista logiikkaa oikeana logiikkana luonnollisen kielen tutkimiseksi.

Vieraskieliset vastineet

intuitionistic logicenglanti

Lähikäsitteet

Käytetyt lähteet

AudiR1995, NiiniluotoI2015

Alaviitteet

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