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 logic

englanti

Related Concepts

kaksoisnegaatio
äärettömyys (vieruskäsite)
parakonsistentti logiikka (vieruskäsite)
logiikka (yläkäsite)
arkikielen filosofia (vieruskäsite)
kolmannen poissuljetun laki

Sources

AudiR1995, NiiniluotoI2015, RantalaV&VirtanenA

References

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

Siirry tarkastelemaan sivun muokkaushistoriaa →