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
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: hogy 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
- Többértékű logikák (PDF)
![]() | Ez a logikával kapcsolatos lap egyelőre csonk (erősen hiányos). Segíts te is, hogy igazi szócikk lehessen belőle! |