Többértékű logika
A többértékű logikák olyan logikai szemantikák, ahol kettőnél több igazságérték létezik. Az igazságértékek számossága alapján megkülönböztethetünk 3-értékű (Łukasiewicz, Kleene), 3-nál több értékű (Post többértékű rendszere), vagy végtelen (fuzzy logika) lehetséges értéket tartalmazó logikákat.
Alapelv[szerkesztés]
A hagyományos, Arisztotelészi logika alapelvei:
- Két igazságérték létezése: Igaz vagy Hamis
- Egy nyelv minden mondata minden interpretációban meghatározott igazságértékkel rendelkezik
- Extenzionalitás szabálya: Egy nyelv minden mondatának igazságértékét minden interpretációban a mondat részeinek extenziója határozza meg
A többértékűséghez legalább az első vagy a második szabályt meg kell sérteni. A második szabályt megsértve értékréses logikához jutunk. Az extenzionalitás is megsérthető, de csak annak megsértése még nem eredményez többértékű logikát. Érdekesség, hogy a többértékűség gondolatát pont maga Arisztotelész vetette fel először Hermeneutika c. művében. Ebben a művében kérdőjelezte meg a kizárt harmadik elvét.
Külső hivatkozások[szerkesztés]
- Többértékű logikák (PDF)
|
Ez a matematikai tárgyú lap egyelőre csonk (erősen hiányos). Segíts te is, hogy igazi szócikk lehessen belőle! |
