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.

AlapelvSzerkesztés

A hagyományos, Arisztotelészi logika alapelvei:

  1. Két igazságérték létezése: Igaz vagy hamis.
  2. Egy nyelv minden mondata minden interpretációban meghatározott igazságértékkel rendelkezik.
  3. Extenzionalitás szabálya: hgy 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ásokSzerkesztés