Filosofia:intuitionistinen logiikka

From Tieteen termipankki
Jump to: navigation, search

intuitionistinen logiikka | konstruktiivinen logiikka

intuitionistinen logiikka
konstruktiivinen logiikka
Definition logiikan ala, jossa konnektiivit ja kvanttorit 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. Brouwerin (1881-1966) intuitionistisessa matematiikan perustafilosofiassa ei hyväksytä poissuljetun kolmannen lakia ja epäsuoria todistuksia, mistä seuraa eroavaisuuksia päättelysääntöihin ja lausekonnektiivien tulkintaan. Arend Heyting (1898-1980) kehitti 1930-luvulla intuitionistisen logiikan systeemin ja myöhemmin sille on määritelty semantiikka mahdollisten maailmojen semantiikassa. Michael Dummett (1925-2011) on pitänyt intuitionistista logiikkaa oikeana logiikkana luonnollisen kielen tutkimiseksi.

Equivalents

intuitionistic logicenglanti

Related Concepts

Sources

AudiR1995, NiiniluotoI2015, RantalaV&VirtanenA

References

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


Siirry tarkastelemaan sivun muokkaushistoriaa →