Tieteen termipankki
fi intuitionistinen logiikka; konstruktiivinen logiikka
en intuitionistic logic
määritelmä
klassiselle logiikalle vaihtoehtoinen logiikka, jossa ei hyväksytä mm. kolmannen poissuljetun lakia intuitiivisesti päteväksi
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.
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.
Luokitus: |
| |||
Lähde: |
|
Käsitteet samalla hierarkiatasolla: aikalogiikka, anti-realismi, arkikielen filosofia, episteeminen logiikka, klassinen logiikka, laskettavuuden teoria, moniarvologiikka, parakonsistentti logiikka, sumea logiikka ja topiikka
Lähikäsitteet: kaksoisnegaatio ja poissuljetun kolmannen laki