Dialetheism (original) (raw)
양진주의(兩眞主義, dialetheism)은 참인 동시에 거짓인 진술이 존재할 수 있다고 보는 논리철학적 입장이다. 대표적인 제창자인 (Graham Priest)는 "참인 모순이 존재할 수 있다는 입장"이라고 설명한다. 양진주의는 특정 형식 체계가 아닌 진리론에 관한 하나의 입론(thesis)이므로, 양진주의의 도입 방식에 따라 그 새로운 논리 체계는 다양한 양상으로 나타날 수 있다. 다만 고전 논리 및 직관 논리 체계에서는 (principle of explosion)에 따라 이러한 모순의 존재가 논리 체계 전체를 무효화시키므로, 양진주의를 보편적으로 적용하기 위해서는 모순허용 논리 즉 초일관 논리(paraconsistent logic)를 도입하는 경우가 많다.
| Property | Value |
|---|---|
| dbo:abstract | 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 . (cs) Dialeteismo, (el la antikva greka «δύ» - du – kaj αληθής – vero) estas unu el la karakteroj de la filozofia dialektiko kiu ĝin diferencigas el empiria scienco: ĝin konstituas la fakto ke mem ne povas almontri sinsekvan progreson, en kiu (almenaŭ iuj) prikognaj problemoj estas alfrontataj, solvitaj kiaj problemoj. Ekzemple, iuj logikaj paradoksoj kiuj fontiĝas el ŝajnaj kontraŭdiroj daŭrigas esti veraj kaporompiloj se ne enigmoj ĉe pensuloj ekde almenaŭ 2500 jaroj kaj, de tempo al tempo, estas aktualigitaj per la novaj solvoj elpensitaj. Ĉe filozofo Epimenido el Kreto) (6-a jarcento a.K.), laŭ preskaŭ onia interpreto, naskiĝis tiu kiun hodiaŭ estas citata kiel «paradokso de la mensoganto». Epimenifo foje diris: «Ĉiuj kretanoj estas mensogantoj». Estante li mem kretano, eĉ li sekve estus mensoganto kaj tial lia aserto devus esti mensoga ĉar devenanta el mensoganto. Sed se tiel ne estus, nome se Epimenido estus kretano kiu, almenaŭ en tiu kazo, diris la veron, li ne diris malveron, lia aserto rezultus samtempe malvera ĉar ĉiuj scias ke ĉiuj kretanoj estas mensogantoj. Ne konatas ĉu la aserto de Epimenido estus intencita kiel paradokso de la mensoganto. Krome, la propozicio, tiel formulita, ne estas paradokso: se fakte ekzistas almenaŭ unu kretano kiu diras la veron, tiam la aserto de Epimenido estas malvera ĉar ne-enkondukanta al kontraŭdiro. Ni ne konas la kuntekston en kiu Epimenido anoncis tiun sentencon, estis nur pliposte ke tiu aserto estis citita kaj prezentita kiel la paradokso de la mensoganto. Sekve la frazo estas aliigita al “Se mi asertas ke mi estas mensoganta ĉu mi diras la veron? se jes, mi estas mensoganta, kaj do la aserto estas falsa; sed se mi ne estas diranta la veron, mi estas mensoganto diranta la veron. La aserto tial estas samtempe vera kaj malvera”. Sed de post Aristotelo unu el la plej rokaj principoj de la ĝusta rezonado estas la principo de nekontraŭdiro: ne povas okazi ke veras ikso kaj la kontraŭo de ikso. Krome, laŭ la leĝo de Duns Skoto “el absurdo sequitur quolibet” (el absurdaĵo sekvas ĉio laŭdezire): aŭ startante el kontraŭdiroj, eblas el ĝi dedukti kion oni volas. Se tial ne akcepteblas la paradokso de la mensoganto, kelkaĵo ne funkcias en la modelo per kiu ĝi estas konstruata. Kaj estas ĝuste tio kion logikuloj kaj filozofoj provis montri laŭlonge de jarcentoj. Estis, lasttempe, prezentita nova solvo: la koncepto de dialeteismo proponas la eblecon ke ambaŭ terminoj de iu ajn kontraŭdiraĵo estas veraj; kaj proponas ankaŭ ke la paradokso de la mensoganto klasifikendas ene de tiu nova perspektivo. (eo) Dialetheism (from Greek δι- di- 'twice' and ἀλήθεια alḗtheia 'truth') is the view that there are statements that are both true and false. More precisely, it is the belief that there can be a true statement whose negation is also true. Such statements are called "true contradictions", dialetheia, or nondualisms. Dialetheism is not a system of formal logic; instead, it is a thesis about truth that influences the construction of a formal logic, often based on pre-existing systems. Introducing dialetheism has various consequences, depending on the theory into which it is introduced. A common mistake resulting from this is to reject dialetheism on the basis that, in traditional systems of logic (e.g., classical logic and intuitionistic logic), every statement becomes a theorem if a contradiction is true, trivialising such systems when dialetheism is included as an axiom. Other logical systems, however, do not explode in this manner when contradictions are introduced; such contradiction-tolerant systems are known as paraconsistent logics. Dialetheists who do not want to allow that every statement is true are free to favour these over traditional, explosive logics. Graham Priest defines dialetheism as the view that there are true contradictions. Jc Beall is another advocate; his position differs from Priest's in advocating constructive (methodological) deflationism regarding the truth predicate. (en) El dialeteismo es la creencia de que existen proposiciones verdaderas, cuyas negaciones también son verdaderas. El dialeteismo no es en sí mismo un sistema lógico, aunque adherirse al dialeteismo sin aceptar algún tipo de lógica paraconsistente es básicamente aceptar cualquier cosa. Graham Priest, de la Universidad de Melbourne, es el defensor contemporáneo más prominente del dialeteismo. Para Priest, la necesidad de postular la existencia de contradicciones verdaderas proviene en primer lugar de la lógica, especialmente de la paradoja del mentiroso y similares. En segundo lugar, de la teoría de conjuntos, pues los axiomas más intuitivos resultan en la paradoja de Russell: un conjunto que pertenece y no pertenece a sí mismo. Y en tercer lugar, de asuntos empíricos como el movimiento, las contradicciones legales y el cambio. Su idea es que las teorías lógicas que evitan las contradicciones por medio de restricciones (como la teoría de Alfred Tarski o la de Bertrand Russell) se alejan cada vez más del uso que hacemos de conceptos básicos como «verdad», y aun así no pueden evitar del todo inconsistencias. A pesar de que la lógica del dialeteismo parece incompatible con la lógica clásica, todos los teoremas de la lógica clásica serán verdades en la lógica del dialeteismo (aunque claro, a veces esas verdades serán también falsedades). La crítica más fuerte que se le hace a esta teoría es que no expresa correctamente el concepto de negación, porque cuando decimos A queremos decir que no-A es falsa; en cambio, para esta teoría, aun cuando digamos A, es perfectamente posible que no-A sea también verdadera. (es) Le dialethéisme est le point de vue selon lequel certaines propositions peuvent être à la fois vraies et fausses. Plus précisément, c'est la croyance qu'il peut y avoir une proposition vraie dont la négation est également vraie. Ces propositions sont appelées les « contradictions vraies », « dialethéia » ou non-dualismes. Le dialethéisme n'est pas un système formel ; il est, à la place, une thèse sur la vérité qui influe sur la construction d'une logique formelle, souvent basée sur des systèmes de préexistants. L'introduction du dialethéisme implique diverses conséquences, en fonction de la théorie dans laquelle il est introduit. Par exemple, dans les systèmes traditionnels de la logique (par exemple la logique classique et la logique intuitionniste), toute proposition devient fausse si sa contradiction est prouvée vraie (démonstration par l'absurde). D'autres systèmes logiques n'explosent pas de cette manière lorsque des contradictions sont introduites ; de tels systèmes tolérants à la contradiction sont connus comme des logiques paracohérentes. Graham Priest définit le dialethéisme comme le point de vue selon lequel les contradictions vraies existent. (fr) 양진주의(兩眞主義, dialetheism)은 참인 동시에 거짓인 진술이 존재할 수 있다고 보는 논리철학적 입장이다. 대표적인 제창자인 (Graham Priest)는 "참인 모순이 존재할 수 있다는 입장"이라고 설명한다. 양진주의는 특정 형식 체계가 아닌 진리론에 관한 하나의 입론(thesis)이므로, 양진주의의 도입 방식에 따라 그 새로운 논리 체계는 다양한 양상으로 나타날 수 있다. 다만 고전 논리 및 직관 논리 체계에서는 (principle of explosion)에 따라 이러한 모순의 존재가 논리 체계 전체를 무효화시키므로, 양진주의를 보편적으로 적용하기 위해서는 모순허용 논리 즉 초일관 논리(paraconsistent logic)를 도입하는 경우가 많다. (ko) 真矛盾主義（しんむじゅんしゅぎ、dialetheism）は、真なる矛盾が存在するという哲学上の立場である。 (ja) Dialetheismo é a noção de que algumas declarações podem ser ambas verdadeira e falsa simultaneamente. Mais precisamente, é a crença de que pode existir uma afirmação verdadeira cuja negação também é verdadeira. Tais afirmações são chamadas de “verdadeiras ”, ou dialetheia. Dialetheismo não é um sistema da lógica formal; em vez disso, ele é uma tese acerca da verdade, que influencia a construção de uma logica formal frequentemente associada em sistemas pré-existentes. A introdução do dialetheismo possui varias consequências, dependendo da teoria na qual é introduzida. Por exemplo, em sistemas da lógica tradicional (ex. lógica clássica e lógica intuicionista), qualquer afirmação torna-se verdade se ele possui uma contradição verdadeira; isto significa que tal sistema torna-se trivial quando o dialetheismo é incluído como um axioma. Outros sistemas lógicos não explodem dessa forma quando contradições são incluídas; tais sistemas tolerantes a contradições são conhecidos como lógica paraconsistente. define dialetheismo como sendo a visão de que existem verdadeiras contradições. é outro defensor; a posição dele difere da de Priest em defender uma forma construtiva (metodológica) do ao invés do predicado de verdadeiro. (pt) Dialetism (en. dialetheism) är uppfattningen att det finns sanna motsägelser s.k. dialetheias. Mer specifikt, dialetister tror att det finns påståenden P där både P och dess negation icke-P är sanna. Denna artikel om logik saknar väsentlig information. Du kan hjälpa till genom att lägga till den. (sv) Диалетеи́зм (от др.-греч. δίς — «дважды, двукратно» и ἀλήθεια — «правда, истина») — взгляд в современной неформальной логике и философии, согласно которому существуют подлинные противоречия, то есть предложения, являющиеся одновременно истиной и ложью. При этом допускается существование диалетей — одновременно ложных и истинных предложений, либо же единовременное отрицание и утверждение (последний вариант разделяется философом Хартри Филдом). Стоит отметить, что диалетеизм не передаёт тривиального убеждения в истинности всех противоречий. Некоторыми исследователями диалетеизм рассматривается как частный случай прагматического варианта дефляционной теории истины (либо его частное следствие). (ru) 双面真理说（Dialetheism）（也称为双面真理论）是指存在双面真理（dialetheia），即命题P和~P同为真的命题。 也就是说，在同一时间和同一意义上同时是“真”和“假”的悖论被称为双面真理。 这一学说反对基于亚里士多德的无矛盾律（有时又称为矛盾律），即P∧~P必然为假的传统逻辑观。 根据Graham Priest的说法，双面真理说在历史上并不乏主张者。像赫拉克利特关于一个人不能两次走进同一条河流的说法，黑格尔的辩证法，当代的说谎者悖论都承认存在着真的矛盾命题。 例如，约翰正走在门中间的时候，对于“约翰已经进来了”这个命题，可以既是肯定的或也是否定的； 因为，这时“约翰已经进来了”既是模棱两可的也是程度的问题, 是一个双面真理。但是， 同时“肯定”和“否定”同一命题也是自相矛盾的悖论。 最后需要澄清一些相关概念间的区别。首先，不可把双面真理说与次协调逻辑相混淆。次协调逻辑否定爆炸原理，而双面真理说却不必然主张这点。当然，主张次协调逻辑者都会在某种程度上接受双面真理说。 最后，双面真理说也不等同于瑣碎論。后者认为所有矛盾都是真的，但前者仅认为有些矛盾为真。 (zh) |
| dbo:wikiPageExternalLink | http://blogandnot-blog.blogspot.com/ https://web.archive.org/web/20100805185531/http:/www.paulkabay.com/ https://web.archive.org/web/20140228151217/http:/homepages.uconn.edu/~jcb02005/ https://www.tandfonline.com/doi/pdf/10.1080/00455091.1990.10716495 |
| dbo:wikiPageID | 591359 (xsd:integer) |
| dbo:wikiPageLength | 11425 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1093490756 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Problem_of_future_contingents dbc:Theories_of_deduction dbr:Doublethink dbr:Intuitionistic_logic dbr:Liar_paradox dbr:List_of_logic_symbols dbr:Jain dbr:Russell's_paradox dbr:Negation dbr:Gottlob_Frege dbr:Graham_Priest dbr:Continuum_hypothesis dbr:Contradiction dbr:Theorem dbr:Anekantavada dbr:Compossibility dbr:Logical_assertion dbr:Statement_(logic) dbr:Axiom_schema_of_specification dbr:Buddhist dbr:Truth dbr:Logical_quality dbr:Logicism dbr:Paraconsistent_logic dbr:Terence_Parsons dbr:Ancient_Greek dbc:Non-classical_logic dbr:Nondualism dbr:Catuṣkoṭi dbr:Formal_system dbr:Deflationism dbr:Trivialism dbr:Logical_consequence dbr:Jc_Beall dbc:Metaphysical_theories dbc:Theories_of_truth dbr:Classical_logic dbr:Illocutionary_force dbr:Naïve_set_theory dbr:Set_theory dbr:Sorites_paradox dbr:Well-ordering_theorem dbr:Principle_of_explosion dbr:Speech_acts dbr:Subvaluationism |
| dbp:wikiPageUsesTemplate | dbt:Portal dbt:Reflist dbt:Short_description dbt:Transl dbt:Cite_SEP dbt:Philosophical_logic dbt:Non-classical_logic |
| dcterms:subject | dbc:Theories_of_deduction dbc:Non-classical_logic dbc:Metaphysical_theories dbc:Theories_of_truth |
| gold:hypernym | dbr:View |
| rdf:type | dbo:Company yago:WikicatMetaphysicalTheories yago:WikicatTheoriesOfDeduction yago:WikicatTheoriesOfTruth yago:Abstraction100002137 yago:Cognition100023271 yago:Explanation105793000 yago:HigherCognitiveProcess105770664 yago:Process105701363 yago:PsychologicalFeature100023100 yago:Theory105989479 yago:Thinking105770926 |
| rdfs:comment | 양진주의(兩眞主義, dialetheism)은 참인 동시에 거짓인 진술이 존재할 수 있다고 보는 논리철학적 입장이다. 대표적인 제창자인 (Graham Priest)는 "참인 모순이 존재할 수 있다는 입장"이라고 설명한다. 양진주의는 특정 형식 체계가 아닌 진리론에 관한 하나의 입론(thesis)이므로, 양진주의의 도입 방식에 따라 그 새로운 논리 체계는 다양한 양상으로 나타날 수 있다. 다만 고전 논리 및 직관 논리 체계에서는 (principle of explosion)에 따라 이러한 모순의 존재가 논리 체계 전체를 무효화시키므로, 양진주의를 보편적으로 적용하기 위해서는 모순허용 논리 즉 초일관 논리(paraconsistent logic)를 도입하는 경우가 많다. (ko) 真矛盾主義（しんむじゅんしゅぎ、dialetheism）は、真なる矛盾が存在するという哲学上の立場である。 (ja) Dialetism (en. dialetheism) är uppfattningen att det finns sanna motsägelser s.k. dialetheias. Mer specifikt, dialetister tror att det finns påståenden P där både P och dess negation icke-P är sanna. Denna artikel om logik saknar väsentlig information. Du kan hjälpa till genom att lägga till den. (sv) 双面真理说（Dialetheism）（也称为双面真理论）是指存在双面真理（dialetheia），即命题P和~P同为真的命题。 也就是说，在同一时间和同一意义上同时是“真”和“假”的悖论被称为双面真理。 这一学说反对基于亚里士多德的无矛盾律（有时又称为矛盾律），即P∧~P必然为假的传统逻辑观。 根据Graham Priest的说法，双面真理说在历史上并不乏主张者。像赫拉克利特关于一个人不能两次走进同一条河流的说法，黑格尔的辩证法，当代的说谎者悖论都承认存在着真的矛盾命题。 例如，约翰正走在门中间的时候，对于“约翰已经进来了”这个命题，可以既是肯定的或也是否定的； 因为，这时“约翰已经进来了”既是模棱两可的也是程度的问题, 是一个双面真理。但是， 同时“肯定”和“否定”同一命题也是自相矛盾的悖论。 最后需要澄清一些相关概念间的区别。首先，不可把双面真理说与次协调逻辑相混淆。次协调逻辑否定爆炸原理，而双面真理说却不必然主张这点。当然，主张次协调逻辑者都会在某种程度上接受双面真理说。 最后，双面真理说也不等同于瑣碎論。后者认为所有矛盾都是真的，但前者仅认为有些矛盾为真。 (zh) 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ý (cs) Dialeteismo, (el la antikva greka «δύ» - du – kaj αληθής – vero) estas unu el la karakteroj de la filozofia dialektiko kiu ĝin diferencigas el empiria scienco: ĝin konstituas la fakto ke mem ne povas almontri sinsekvan progreson, en kiu (almenaŭ iuj) prikognaj problemoj estas alfrontataj, solvitaj kiaj problemoj. Ekzemple, iuj logikaj paradoksoj kiuj fontiĝas el ŝajnaj kontraŭdiroj daŭrigas esti veraj kaporompiloj se ne enigmoj ĉe pensuloj ekde almenaŭ 2500 jaroj kaj, de tempo al tempo, estas aktualigitaj per la novaj solvoj elpensitaj. (eo) Dialetheism (from Greek δι- di- 'twice' and ἀλήθεια alḗtheia 'truth') is the view that there are statements that are both true and false. More precisely, it is the belief that there can be a true statement whose negation is also true. Such statements are called "true contradictions", dialetheia, or nondualisms. Graham Priest defines dialetheism as the view that there are true contradictions. Jc Beall is another advocate; his position differs from Priest's in advocating constructive (methodological) deflationism regarding the truth predicate. (en) El dialeteismo es la creencia de que existen proposiciones verdaderas, cuyas negaciones también son verdaderas. El dialeteismo no es en sí mismo un sistema lógico, aunque adherirse al dialeteismo sin aceptar algún tipo de lógica paraconsistente es básicamente aceptar cualquier cosa. (es) Le dialethéisme est le point de vue selon lequel certaines propositions peuvent être à la fois vraies et fausses. Plus précisément, c'est la croyance qu'il peut y avoir une proposition vraie dont la négation est également vraie. Ces propositions sont appelées les « contradictions vraies », « dialethéia » ou non-dualismes. Graham Priest définit le dialethéisme comme le point de vue selon lequel les contradictions vraies existent. (fr) Диалетеи́зм (от др.-греч. δίς — «дважды, двукратно» и ἀλήθεια — «правда, истина») — взгляд в современной неформальной логике и философии, согласно которому существуют подлинные противоречия, то есть предложения, являющиеся одновременно истиной и ложью. При этом допускается существование диалетей — одновременно ложных и истинных предложений, либо же единовременное отрицание и утверждение (последний вариант разделяется философом Хартри Филдом). Стоит отметить, что диалетеизм не передаёт тривиального убеждения в истинности всех противоречий. (ru) Dialetheismo é a noção de que algumas declarações podem ser ambas verdadeira e falsa simultaneamente. Mais precisamente, é a crença de que pode existir uma afirmação verdadeira cuja negação também é verdadeira. Tais afirmações são chamadas de “verdadeiras ”, ou dialetheia. (pt) |
| rdfs:label | Dialetheismus (cs) Dialeteismo (eo) Dialeteismo (es) Dialetheism (en) Dialethéisme (fr) 真矛盾主義 (ja) 양진주의 (ko) Dialeteísmo (pt) Dialetism (sv) Диалетеизм (ru) 双面真理说 (zh) |
| owl:sameAs | freebase:Dialetheism yago-res:Dialetheism wikidata:Dialetheism dbpedia-cs:Dialetheism dbpedia-eo:Dialetheism dbpedia-es:Dialetheism dbpedia-fr:Dialetheism dbpedia-ja:Dialetheism dbpedia-ko:Dialetheism dbpedia-pt:Dialetheism dbpedia-ru:Dialetheism dbpedia-simple:Dialetheism dbpedia-sv:Dialetheism dbpedia-zh:Dialetheism https://global.dbpedia.org/id/3Z6nV |
| prov:wasDerivedFrom | wikipedia-en:Dialetheism?oldid=1093490756&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Dialetheism |
| is dbo:notableIdea of | dbr:Graham_Priest dbr:Jc_Beall |
| is dbo:philosophicalSchool of | dbr:Graham_Priest |
| is dbo:wikiPageRedirects of | dbr:Dialethea dbr:Dialetheia dbr:Dialetheic_logic dbr:Dialetheist dbr:Dialethesis dbr:Dialethism dbr:True_contradiction |
| is dbo:wikiPageWikiLink of | dbr:Richard_Sylvan dbr:Index_of_epistemology_articles dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(D–H) dbr:Liar_paradox dbr:Noneism dbr:Glossary_of_philosophy dbr:Graham_Priest dbr:Contradiction dbr:Logic dbr:Pluralism_(philosophy) dbr:Thought dbr:What_the_Tortoise_Said_to_Achilles dbr:Law_of_excluded_middle dbr:Law_of_noncontradiction dbr:Law_of_thought dbr:Logical_possibility dbr:Paraconsistent_logic dbr:Ambivalence dbr:Catuṣkoṭi dbr:Trivialism dbr:Gödel's_incompleteness_theorems dbr:Jc_Beall dbr:Cognitive_closure_(philosophy) dbr:Dialethea dbr:Naive_dialecticism dbr:Principle_of_explosion dbr:Non-classical_logic dbr:Philosophy_of_logic dbr:Outline_of_logic dbr:Outline_of_philosophy dbr:Dialetheia dbr:Dialetheic_logic dbr:Dialetheist dbr:Dialethesis dbr:Dialethism dbr:True_contradiction |
| is dbp:notableIdeas of | dbr:Graham_Priest |
| is dbp:schoolTradition of | dbr:Graham_Priest |
| is rdfs:seeAlso of | dbr:Vagueness |
| is foaf:primaryTopic of | wikipedia-en:Dialetheism |