Többértékű logika

A Wikipédiából, a szabad enciklopédiából

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 | forrásszöveg szerkesztése]

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: 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 | forrásszöveg szerkesztése]