Filosofia:intuitionistinen logiikka
konstruktiivinen logiikka | intuitionistinen logiikka
| konstruktiivinen logiikka | |
| intuitionistinen logiikka |
Määritelmä
klassiselle logiikalle vaihtoehtoinen logiikka, jossa ei hyväksytä mm. kolmannen poissuljetun lakia intuitiivisesti päteväksi
Selite
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.
Erikieliset vastineet
| intuitionistic logic | englanti (English) |
Lähikäsitteet
- arkikielen filosofia (vieruskäsite)
- kaksoisnegaatio
- kolmannen poissuljetun laki
- logiikka (yläkäsite)
- parakonsistentti logiikka (vieruskäsite)
- äärettömyys (vieruskäsite)
Käytetyt lähteet
AudiR1995, NiiniluotoI2015, RantalaV&VirtanenA
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 24.4.2024: Filosofia:intuitionistinen logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:intuitionistinen logiikka.)