Filosofia:intuitionistinen logiikka

From Tieteen termipankki
Jump to: navigation, search

intuitionistinen logiikka

intuitionistinen logiikka
Definition logiikan ala, jossa konnektiivit ja kvanttori tulkitaan klassisesta logiikasta poikkeavalla tavalla
Explanation 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.

Equivalents

intuitionistic logicenglanti

Related Concepts

Sources

AudiR1995, NiiniluotoI2015

References

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


Siirry tarkastelemaan sivun muokkaushistoriaa →