Dialetheismus

Dialetheismus je přesvědčení, podle kterého jsou některé (ne všechny) kontradikce pravdivé (názor, podle kterého jsou všechny kontradikce pravdivé se nazývá trivialismus). Dialetheia je výrok, který má dvě pravdivostní hodnoty, je jak pravdivý, tak i současně nepravdivý. Dialetheismus tedy porušuje princip sporu. Dialetheismus není logickým systémem, nicméně jeho vývoj a přijatelnost jsou vázány na moderní rozvoj parakonzistentních logik. Parakonzistentní logiky jsou logiky, které nejsou explozivní, tj. z kontradikce není možné odvodit cokoliv (neplatí ex contradictione sequitur quodlibet). Dialetheismus je nejsilnější verzí parakonzistentismu: slabý parakonzistentismus tvrdí, že parakonzistentní modely jsou užitečné nástroje, nicméně neexistuje reálná možnost pravdivých dialetheií; silný parakonzistentismus říká, že možnost existence dialetheií je reálná, nicméně de facto žádné neexistují, konečně dialetheismus říká, že dialetheie existují. Hlavním zastáncem dialetheismu je filozof a logik Graham Priest.

Kontradikce

Formulací kontradikcí existuje v literatuře celá řada (P. Grim jich napočítal 240). Můžeme rozlišit celkem čtyři formulace kontradikce (sporu):

# Syntaktické: \alpha ~\wedge \sim \alpha (kolektivní formulace), \alpha, \sim \alpha \,\. (distributivní formulace) - spojení výroku a jeho negace. +more # Logicko-sémantické: V(\ulcorner\alpha\urcorner)~ \wedge F(\ulcorner\alpha\urcorner) . \ulcorner\alpha\urcorner je jméno výroku; výrok je pravdivý a nepravdivý. # Metafyzické: \exists x \exists P(P(x) \wedge \sim P(x)) - objekt x \,\. má i nemá vlastnost P \,\. . # Psychologicko-pragmatické: \vdash_{x} \alpha~ \wedge \vdash_{x}~ \sim \alpha . \vdash_{x} \alpha čteme "subjekt x \,\. přijímá výrok \alpha \,\. ", čili toto vyjádření říká, že subjekt x \,\. přijímá výrok \alpha \,\. a zároveň přijímá jeho negaci.

Princip sporu

Princip sporu je princip, který zakazuje výskyt kontradikcí. Jeho formulace odpovídají předchozím čtyřem typům formulace sporu:

# Syntaktické: \sim (\alpha~\wedge \sim \alpha) . # Logicko-sémantické: \sim[V(\ulcorner \alpha \urcorner) \wedge F(\ulcorner \alpha \urcorner)] . +more # Metafyzické: \forall x \forall P \sim[(P(x)~ \wedge \sim P(x)] . # Psychologicko-pragmatické: \sim(\vdash_{x} \alpha ~\wedge \vdash_{x} \sim \alpha) .

Explozivnost

Klasické logiky jsou explozivní (což zahrnuje i klasickou matematiku). Znamená to, že pokud se v jejich systému nachází kontradikce, můžeme z ní odvodit jakýkoliv výrok. +more Příkladem může být následující nezávislý argument:.

# \alpha~ \wedge \sim \alpha \,\. (Premisa) # \alpha \,\. +more (Z 1. a vlastnosti konjunkce) # \alpha \vee \beta \,\. (Z 2. a vlastnosti disjunkce) # \sim \alpha \,\. (Z 1. a vlastnosti konjunkce) # \beta \,\. (Z 3. , 4. a platnosti disjunktivního sylogismu).

Ze sporné premisy \alpha~ \wedge \sim \alpha \,\ jsme postupně došli až k libovolnému výroku \beta \,\ . Úsudek stojí na platnosti disjunktivního sylogismu \alpha, \sim \alpha \vee \beta \vdash \beta .

Parakonzistentní logiky

Jedná se o celou rodinu logik, které nejsou explozivní, takže z kontradikce nelze v jejich rámci vyvodit cokoliv. Existuje celá řada parakonzistentních logik, zde načrtneme sémantiku jen jedné z nich (parakonzistentní výrokové logiky). +more Množina pravdivostních hodnot \pi \,\. obsahuje tři podmnožiny: \pi = \{\{0\}, \{1\}, \{0,1\}\} \,\. Nechť \nu \,\. je zobrazení z množiny výrokových atomů do \pi \,\. ; budeme mu říkat ohodnocení a definovat ho následujícím způsobem:.

# 1 \in \nu(\sim \alpha) \Leftrightarrow 0 \in \nu(\alpha) . # 0 \in \nu(\sim \alpha) \Leftrightarrow 1 \in \nu(\alpha) . +more # 1 \in \nu(\alpha \wedge \beta) \Leftrightarrow 1 \in \nu(\alpha) a 1 \in \nu(\beta). # 0 \in \nu(\alpha \wedge \beta) \Leftrightarrow 0 \in \nu(\alpha) nebo 0 \in \nu(\beta). # 1 \in \nu(\alpha \vee \beta) \Leftrightarrow 1 \in \nu(\alpha) nebo 1 \in \nu(\beta). # 0 \in \nu(\alpha \vee \beta) \Leftrightarrow 0 \in \nu(\alpha) a 0 \in \nu(\beta). .

Podmínky 2, 4 a 6 jsou v klasické dvouhodnodnotové logice nadbytečné. Pojem logického vyplývání je definován klasicky:

# \Sigma \models \alpha \Leftrightarrow pro libovolné ohodnocení \nu \,\. , pokud pro všechna \beta \in \Sigma platí 1 \in \nu(\beta), potom 1 \in \nu(\alpha) . +more # \models \alpha \Leftrightarrow pokud pro libovolné \nu \,\. platí 1 \in \nu(\alpha) . V této logice tedy může platit \nu(\alpha) = \{1\}, \nu(\alpha) = \{0\} \,\. , ale i \nu(\alpha) = \{0,1\} \,\. , takže z kontradikce nelze odvodit cokoliv, tj. neplatí \{\alpha \wedge \alpha\} \models \beta, \{\alpha, \sim \alpha \vee \beta \} \models \beta . Tato logika se dá přirozeně rozšířit na predikátový kalkul s identitou a tudíž i na modely matematiky (neklasické modely aritmetiky, teorie množin).

Definice dialetheismu

Dialetheismus by byl bez rozvoje parakonzistentních logik nemožný, neboť teorie, které implikují cokoliv, jsou bezcenné. Můžeme si ho definovat více způsoby:

* Teorie, podle které princip sporu selhává a některé kontradikce jsou pravdivé, se nazývá dialetheismus. (G. +more Priest) * … přesvědčení, že nekonzistentní informace či teorie mohou být pravdivé. Názor, že některé jsou pravdivé … se nazývá dialetheismus, dialetheia je pravdivá kontradikce. (G. Priest) * … dialetheismus je teze, podle které jeden a tentýž výrok může být pravdivý i nepravdivý (P. Saka) * V klasické logice jsou kontradikce vždy nepravdivé, podle dialetheismu jsou kontradikce současně pravdivé i nepravdivé (P. Suber).

Existence dialetheií

Zastánci parakonzistentních logik nemusejí být nutně zastánci dialetheismu, dialetheisté však musejí být a jsou zastánci parakonzistentních logik. Dialetheistická pozice je silnější: tvrdí, že kontradikce (dialetheie) skutečně existují, nicméně nesklouzává do trivialismu, podle kterého jsou všechny kontradikce pravdivé. +more Z mnoha příkladů dialetheií si můžeme uvést dva:.

# Paradox lháře: Tento výrok je nepravdivý; pokud přijmeme T-schéma V(\ulcorner \alpha \urcorner ) \Leftrightarrow \alpha , můžeme psát \lambda \Leftrightarrow F(\ulcorner \lambda \urcorner ), odkud dostaneme V(\ulcorner \lambda \urcorner ) \wedge F(\ulcorner \lambda \urcorner ), tj. výrok \lambda \,\. +more je pravdivý a současně nepravdivý (je to dialetheie). # Russellův paradox. R = \{x; x \not \in x\}, odtud R \in R \leftrightarrow R \not \in R a dále R \in R \wedge R \not \in R.

Literatura

F. Berto, Teorie dell'assurdo. +more I rivali del Principio di Non-Contraddizione. Carocci, Roma 2006. * G. Priest, J. C. Beall, B. Armour-Garp, (eds. ), The Law of Non-Contradiction. New Philosophical Essays. Clarendon Press, Oxford 2004. * G. Priest, In contradiction. Clarendon Press, Oxford 2006 (second edition).

Kategorie:Matematická logika Kategorie:Logika Kategorie:Filozofie