Filosofia:intuitionistinen logiikka
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 →