Filosofia:intuitionistinen logiikka

From Tieteen termipankki
Jump to navigation Jump to search

intuitionistinen logiikka | konstruktiivinen logiikka

intuitionistinen logiikka
konstruktiivinen logiikka
Definition klassiselle logiikalle vaihtoehtoinen logiikka, jossa ei hyväksytä mm. kolmannen poissuljetun lakia intuitiivisesti päteväksi
Explanation L. E. J. Brouwerin (1881-1966) intuitionistisessa matematiikan perustafilosofiassa ei hyväksytä epäsuoria todistuksia, mistä seuraa eroavaisuuksia klassisen logiikan päättelysääntöihin ja lausekonnektiivien tulkintaan. Kolmannen poissuljetun lain lisäksi mm. kaksoisnegaation lakia ei pidetä yleisesti pätevänä. Brouwer itse ei pitänyt formaaleja logiikkoja tarpeellisina, mutta Arend Heyting (1898-1980) kehitti 1930-luvulla intuitionistisen logiikan systeemin ja myöhemmin sille on määritelty myös 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 28.1.2021: Filosofia:intuitionistinen logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:intuitionistinen logiikka.)


Siirry tarkastelemaan sivun muokkaushistoriaa →