Paraconsistent logic (original) (raw)
Unter Parakonsistenten Logiken und Parainkonsistenten Logiken versteht man Kalküle, in denen der logische Grundsatz ex contradictione sequitur quodlibet (lat. für „aus einem Widerspruch folgt Beliebiges“) nicht gilt, in denen es also nicht möglich ist, aus zwei widersprüchlichen Aussagen oder aus einem Widerspruch jede beliebige Aussage herzuleiten.
| Property | Value |
|---|---|
| dbo:abstract | Una lògica paraconsistent és un sistema lògic que intenta tractar les contradiccions en una forma discriminada. Alternativament, la lògica paraconsistent és un camp de la lògica que s'ocupa de l'estudi i desenvolupament de sistemes lògics paraconsistents (o "tolerants a la inconsistència"). (En aquest article el terme és utilitzat en les dues accepcions.) Les lògiques tolerants a la inconsistència hi ha com a mínim des de 1910 (i és possible argumentar que moltíssim abans, per exemple en els escrits d'Aristòtil), però, la paraula paraconsistent ("més enllà de la consistència") va ser encunyada el 1976, pel filòsof peruà . (ca) Unter Parakonsistenten Logiken und Parainkonsistenten Logiken versteht man Kalküle, in denen der logische Grundsatz ex contradictione sequitur quodlibet (lat. für „aus einem Widerspruch folgt Beliebiges“) nicht gilt, in denen es also nicht möglich ist, aus zwei widersprüchlichen Aussagen oder aus einem Widerspruch jede beliebige Aussage herzuleiten. (de) Kontraŭdirtolera Logiko estas ĉiu logika kiu kontraŭdirojn "toleras" kaj tamen ĝi ne estas triviala. Klasika logiko (kaj multaj aliaj kiel Intuicia logiko) estas tia ke se ni bazus en ĝi teorion T en kiu ni povus konkludi kontraŭdiron: veron kaj malveron de iu propozicio, do en tia teorio T ni povus pruvi "ĉion ajn" kaj do tia sistemo estus senutila, kaj oni nomus ĝin "triviala". (eo) Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en forma atenuada. Alternativamente, la lógica paraconsistente es un campo de la lógica que se ocupa del estudio y desarrollo de sistemas lógicos paraconsistentes (o "tolerantes a la inconsistencia"). (En este artículo el término es utilizado en ambas acepciones.) Las lógicas tolerantes a la inconsistencia existen por lo menos desde 1910 (y es posible argumentar que muchísimo antes, por ejemplo en los escritos de Aristóteles); sin embargo, la palabra paraconsistente ("más allá de la consistencia") recién fue acuñada en 1976, por el filósofo peruano Francisco Miró Quesada. (es) En logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote[réf. nécessaire]. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien (en). (fr) A paraconsistent logic is an attempt at a logical system to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing "inconsistency-tolerant" systems of logic which reject the principle of explosion. Inconsistency-tolerant logics have been discussed since at least 1910 (and arguably much earlier, for example in the writings of Aristotle); however, the term paraconsistent ("beside the consistent") was first coined in 1976, by the Peruvian philosopher Francisco Miró Quesada Cantuarias. (en) 초일관 논리(超一貫論里, 영어: Paraconsistent Logic) 또는 모순허용논리(矛盾許容論里, 영어: inconsistency-tolerant logic)란, 모순을 특별한 방법으로 다루는 논리 체계이다. 또는 모순에 대하여 내성 있는 논리 전반을 가리키는 말이기도 하다. 초일관 논리 체계의 일반적인 특징은 배중률은 허용하면서도 참과 거짓의 대립, 즉 이가(二價) 대립 체계는 잘 허용하지 않는다는 점이다. 곧 다치 논리와 연관성이 있다. 모순허용논리는 20세기 초에도 이미 연구되었으며, 사실 원시적인 형태로는 아리스토텔레스까지 거슬러 올라간다. 하지만, 초일관(paraconsistent)이라는 용어는 1976년 페루인 철학자 프란시스코 미호 케사다(Francisco Miró Quesada)가 최초로 쓴 것이며, 이때쯤부터 본격적인 연구가 시작되었다 할 수 있다. (ko) 矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。 矛盾許容論理は1910年ごろにはすでに存在していた（原始的な形ではアリストテレスまで遡る）。しかし、矛盾許容（Paraconsistent）という用語が使われるようになったのは 1976年であり、ペルー人哲学者 Francisco Miró Quesada が最初である。 (ja) In logica, per logica paraconsistente si intende un sistema formale in cui possono verificarsi in modo controllato delle eccezioni al principio di non contraddizione, cioè possono presentarsi delle contraddizioni, senza però che con questo sia possibile derivare nel sistema ogni proposizione, evitando quindi il principio di esplosione. Il termine fu coniato nel 1976 durante la Third Latin America Conference on Mathematical Logic dal filosofo peruviano (1918-).Anche se il dibattito riguardo a sistemi logici in cui si verifichino contraddizioni risale agli Analitici primi di Aristotele, i primi autori che hanno contribuito a sviluppare le logiche paraconsistenti sono Nikolaj Aleksandrovic Vasil'ev (1880-1940), Ivan Orlov (1886-1936), Stanisław Jaśkowski (1906-1965) e Newton da Costa (1929-). (it) Em lógica, entende-se por lógica paraconsistente um sistema formal no qual se podem verificar, de modo controlado, exceções ao princípio da não contradição, isto é, no qual podem se apresentar contradições sem que, com isso, seja possível derivar uma proposição qualquer, dentro do sistema, evitando-se assim o princípio de explosão (em latim, ex falso [sequitur] quodlibet, 'da falsidade, [deriva] qualquer coisa'; ou ex contradictione [sequitur] quodlibet, 'da contradição, qualquer coisa [deriva]'). O termo "paraconsistente" ('além do consistente') foi cunhado em 1976, durante a Terceira Conferência Latino-americana de Lógica Matemática, pelo filósofo peruano (1918-2019). Embora o debate acerca de sistemas lógicos em que ocorrem contradições remonte aos Primeiros Analíticos de Aristóteles, os primeiros autores que contribuíram para o desenvolvimento das lógicas paraconsistentes foram Jan Łukasiewicz (1878-1956), (1880-1940), (1886-1936), Stanisław Jaśkowski (1906-1965) e Newton da Costa (1929-). Por derrogar alguns dos princípios basilares da lógica clássica, tais como o princípio da não contradição e o princípio da explosão, a lógica paraconsistente inclui-se entre as chamadas lógicas não clássicas, heterodoxas. Assim, segundo a lógica paraconsistente, uma sentença e a sua negação podem ser ambas verdadeiras. Além disso, ela apresenta alternativas de valores de verdade além de verdadeiro e falso - tais como indeterminado e inconsistente. Com isso, no estudo da semântica, aplica-se especialmente aos paradoxos. Por exemplo, considere-se a afirmação "o homem é cego, mas vê". Segundo a lógica clássica, o indivíduo que vê, um "não-cego", não pode ser cego; já na lógica paraconsistente, ele pode ser cego para algumas coisas e não cego, para outras. Essa nova lógica surgiu com o reconhecimento pela comunidade científica de trabalhos do polonês Jan Łukasiewicz e do russo Nicolai Alexandrovich Vasilév, considerados predecessores da lógica paraconsistente, também chamada lógica imaginária. Um dos fundadores da lógica paraconsistente é o brasileiro Newton da Costa, cujas teorias são de grande importância para diversas áreas, além da matemática, filosofia, direito, computação e inteligência artificial, (pt) Een paraconsistente logica is een logica die tegenstrijdigheden niet verwerpt. Ook kan men onder paraconsistente logica de wetenschap verstaan die zich met het bestuderen van paraconsistente logica's bezighoudt. (nl) Logika parakonsystentna (logika paraniesprzeczna) – logika, która dopuszcza wystąpienie sprzeczności, pod warunkiem, by nie prowadziło to do przepełnienia systemu. W klasycznym rachunku zdań obowiązuje zasada niesprzeczności Dunsa Szkota, stwierdzająca, że ze sprzeczności może wynikać dowolne zdanie logiczne, więc przyjęcie sprzeczności spowoduje przepełnienie systemu („rozlanie się” sprzeczności na cały system). W logice parakonsystentnej to nie następuje – w parakonsystentnym rachunku zdań zasada niesprzeczności nie jest tautologią. (pl) Parakonsistent logik är logiska system som utvecklats för att undvika egenskapen att vad som helst kan härledas ur en kontradiktion i klassisk logik, intuitionistisk logik m.fl. Denna artikel om logik saknar väsentlig information. Du kan hjälpa till genom att lägga till den. (sv) 次协调逻辑（英語：Paraconsistent logic）是尝试处理矛盾的逻辑。是不瑣碎的（non-trivial）逻辑，它允许矛盾。更加特殊的，它允许断言一个陈述和它的否定，而不导致谬论。在标准逻辑中，从矛盾中可以推导出任何东西；这叫做ex contradictione quodlibet（ECQ），也叫做爆炸原理。次协调逻辑就是ECQ不成立的逻辑系统。 次协调逻辑可以用来建模有矛盾的系统，但不是任何东西都能从它推导出来的。在标准逻辑中，必须小心的防止形成说谎者悖论的陈述；次协调逻辑由于不需要排除这种陈述而更加简单, 尽管它仍然必须排除柯里悖论(Curry's Paradox）。 柯里悖论是逻辑学家哈斯凯尔·柯里（Haskell Brooks Curry）提出。 此外，次协调逻辑可以潜在的克服哥德尔不完备定理蕴涵的算术限制，而是完备的。 (zh) |
| dbo:wikiPageExternalLink | http://plato.stanford.edu/entries/logic-paraconsistent/ http://lp.jurid.net/articles/logica/dialethe.htm https://www.cs.tau.ac.il/~aa/articles/ideal.pdf http://www.paraconsistency.org https://archive.org/details/companiontophilo00jacq https://archive.org/details/companiontophilo00jacq/page/n642 https://archive.org/details/papersphilosophi01lewi https://archive.org/details/papersphilosophi01lewi/page/n102 https://arxiv.org/abs/0805.1481/ https://web.archive.org/web/20110704184243/http:/lp.jurid.net/articles/logica/dialethe.htm |
| dbo:wikiPageID | 421085 (xsd:integer) |
| dbo:wikiPageLength | 38326 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1113197702 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge_University_Press dbr:Bayesian_inference dbr:Belief_revision dbr:Propositional_calculus dbr:Quantum_entanglement dbr:Electronics dbr:Francisco_Miró_Quesada dbr:Neural_network dbr:Bas_van_Fraassen dbr:Black_hole dbr:Brazil dbr:David_Lewis_(philosopher) dbr:Peru dbr:Relation_(mathematics) dbr:Richard_Sylvan dbr:Curry's_paradox dbr:Uncertainty_principle dbr:Val_Plumwood dbr:David_Kellogg_Lewis dbr:De_Morgan's_laws dbr:Deduction_theorem dbr:Deviant_logic dbr:Double_negation dbr:Inference dbr:Intuitionistic_logic dbr:Quantum_computing dbr:Liar_paradox dbr:Quantum_physics dbr:Commutativity dbr:Control_(management) dbr:Material_conditional dbr:Negation dbr:Square_of_opposition dbr:Epistemology dbr:Function_(mathematics) dbr:Graham_Priest dbr:Conjunction_elimination dbr:Contradiction dbr:Linear_logic dbr:Logic dbr:Logical_conjunction dbr:Lorenzo_Peña dbr:Stanford_Encyclopedia_of_Philosophy dbr:Computer_scientist dbr:Deontic_logic dbr:Function_approximation dbr:Many-valued_logic dbr:Software_engineering dbc:Philosophical_logic dbr:Activation_function dbr:Truth dbr:Truth_value dbr:Disjunction_introduction dbr:Disjunctive_syllogism dbr:Documentation dbr:Fuzzy_logic dbr:Logical_truth dbr:Minimal_logic dbr:Three-valued_logic dbr:Alan_Ross_Anderson dbr:Alfred_Tarski dbr:Duality_(mathematics) dbc:Non-classical_logic dbc:Systems_of_formal_logic dbr:Francisco_Miró_Quesada_Cantuarias dbc:Paraconsistent_logic dbr:Nuel_Belnap dbr:Carl_Hewitt dbr:Dialetheism dbr:Foundations_of_mathematics dbr:Four-valued_logic dbr:Dempster-Shafer_theory dbr:Entailment dbr:Knowledge_management dbr:Trivialism dbr:Logical_connective dbr:Logical_consequence dbr:Logical_constant dbr:Proof_by_contradiction dbr:Quantum_coupling dbr:Source_code dbr:Natural_deduction dbr:Well-formed_formula dbr:Relevance_logic dbr:Hawking_radiation dbr:Jan_Łukasiewicz dbr:Tautology_(logic) dbr:Counterexample dbr:Software_systems dbr:Argentina dbr:Aristotle dbr:Artificial_intelligence dbr:Associativity dbc:Belief_revision dbr:Latin dbr:Jean-Yves_Béziau dbr:Modus_ponens dbr:Use_cases dbr:Diderik_Batens dbr:Distributivity dbr:Double_negation_elimination dbr:Artificial_neuron dbr:Poland dbr:Solomon_Feferman dbr:Classical_logic dbr:Empirical_adequacy dbr:Idempotence dbr:If_and_only_if dbr:Implicational_propositional_calculus dbr:Information dbr:Kluwer_Academic_Publishers dbr:Metalanguage dbr:Newton_da_Costa dbr:Set_theory dbr:Sequent_calculus dbr:Multi-valued_logic dbr:Semantics dbr:Nicolai_A._Vasiliev dbr:Formal_logic dbr:Walter_Carnielli dbr:Stanisław_Jaśkowski dbr:Metaethics dbr:Principle_of_explosion dbr:Philosopher dbr:Spintronics dbr:Paraconsistent_mathematics dbr:Equivalential_calculus dbr:J._Michael_Dunn dbr:Itala_M._L._D'Ottaviano dbr:Ross_Brady dbr:Logical_system dbr:Disjunction dbr:Relevant_logic dbr:Dialetheic_logic dbr:Probability_logic dbr:Positive_propositional_calculus dbr:Model_identification dbr:Excluded_middle dbr:Truth-functional dbr:Table_of_logic_symbols dbr:Theory_(logic) dbr:Robert_K._Meyer dbr:B._H._Slater dbr:Bryson_Brown dbr:Chris_Mortensen_(philosopher) dbr:First-degree_entailment dbr:Florencio_González_Asenjo dbr:Journal_of_Applied_Logic dbr:R._E._Jennings |
| dbp:wikiPageUsesTemplate | dbt:Citation_needed dbt:Cite_arXiv dbt:Cite_book dbt:Cite_conference dbt:Cite_encyclopedia dbt:Cite_journal dbt:More_citations_needed dbt:No dbt:Portal dbt:Reflist dbt:Yes dbt:Cite_SEP dbt:Non-classical_logic dbt:Cite_IEP |
| dct:subject | dbc:Philosophical_logic dbc:Non-classical_logic dbc:Systems_of_formal_logic dbc:Paraconsistent_logic dbc:Belief_revision |
| gold:hypernym | dbr:System |
| rdf:type | yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Know-how105616786 yago:Logic105664069 yago:Method105660268 yago:PsychologicalFeature100023100 yago:System105661996 yago:WikicatSystemsOfFormalLogic |
| rdfs:comment | Unter Parakonsistenten Logiken und Parainkonsistenten Logiken versteht man Kalküle, in denen der logische Grundsatz ex contradictione sequitur quodlibet (lat. für „aus einem Widerspruch folgt Beliebiges“) nicht gilt, in denen es also nicht möglich ist, aus zwei widersprüchlichen Aussagen oder aus einem Widerspruch jede beliebige Aussage herzuleiten. (de) Kontraŭdirtolera Logiko estas ĉiu logika kiu kontraŭdirojn "toleras" kaj tamen ĝi ne estas triviala. Klasika logiko (kaj multaj aliaj kiel Intuicia logiko) estas tia ke se ni bazus en ĝi teorion T en kiu ni povus konkludi kontraŭdiron: veron kaj malveron de iu propozicio, do en tia teorio T ni povus pruvi "ĉion ajn" kaj do tia sistemo estus senutila, kaj oni nomus ĝin "triviala". (eo) En logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote[réf. nécessaire]. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien (en). (fr) A paraconsistent logic is an attempt at a logical system to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing "inconsistency-tolerant" systems of logic which reject the principle of explosion. Inconsistency-tolerant logics have been discussed since at least 1910 (and arguably much earlier, for example in the writings of Aristotle); however, the term paraconsistent ("beside the consistent") was first coined in 1976, by the Peruvian philosopher Francisco Miró Quesada Cantuarias. (en) 초일관 논리(超一貫論里, 영어: Paraconsistent Logic) 또는 모순허용논리(矛盾許容論里, 영어: inconsistency-tolerant logic)란, 모순을 특별한 방법으로 다루는 논리 체계이다. 또는 모순에 대하여 내성 있는 논리 전반을 가리키는 말이기도 하다. 초일관 논리 체계의 일반적인 특징은 배중률은 허용하면서도 참과 거짓의 대립, 즉 이가(二價) 대립 체계는 잘 허용하지 않는다는 점이다. 곧 다치 논리와 연관성이 있다. 모순허용논리는 20세기 초에도 이미 연구되었으며, 사실 원시적인 형태로는 아리스토텔레스까지 거슬러 올라간다. 하지만, 초일관(paraconsistent)이라는 용어는 1976년 페루인 철학자 프란시스코 미호 케사다(Francisco Miró Quesada)가 최초로 쓴 것이며, 이때쯤부터 본격적인 연구가 시작되었다 할 수 있다. (ko) 矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。 矛盾許容論理は1910年ごろにはすでに存在していた（原始的な形ではアリストテレスまで遡る）。しかし、矛盾許容（Paraconsistent）という用語が使われるようになったのは 1976年であり、ペルー人哲学者 Francisco Miró Quesada が最初である。 (ja) Een paraconsistente logica is een logica die tegenstrijdigheden niet verwerpt. Ook kan men onder paraconsistente logica de wetenschap verstaan die zich met het bestuderen van paraconsistente logica's bezighoudt. (nl) Logika parakonsystentna (logika paraniesprzeczna) – logika, która dopuszcza wystąpienie sprzeczności, pod warunkiem, by nie prowadziło to do przepełnienia systemu. W klasycznym rachunku zdań obowiązuje zasada niesprzeczności Dunsa Szkota, stwierdzająca, że ze sprzeczności może wynikać dowolne zdanie logiczne, więc przyjęcie sprzeczności spowoduje przepełnienie systemu („rozlanie się” sprzeczności na cały system). W logice parakonsystentnej to nie następuje – w parakonsystentnym rachunku zdań zasada niesprzeczności nie jest tautologią. (pl) Parakonsistent logik är logiska system som utvecklats för att undvika egenskapen att vad som helst kan härledas ur en kontradiktion i klassisk logik, intuitionistisk logik m.fl. Denna artikel om logik saknar väsentlig information. Du kan hjälpa till genom att lägga till den. (sv) 次协调逻辑（英語：Paraconsistent logic）是尝试处理矛盾的逻辑。是不瑣碎的（non-trivial）逻辑，它允许矛盾。更加特殊的，它允许断言一个陈述和它的否定，而不导致谬论。在标准逻辑中，从矛盾中可以推导出任何东西；这叫做ex contradictione quodlibet（ECQ），也叫做爆炸原理。次协调逻辑就是ECQ不成立的逻辑系统。 次协调逻辑可以用来建模有矛盾的系统，但不是任何东西都能从它推导出来的。在标准逻辑中，必须小心的防止形成说谎者悖论的陈述；次协调逻辑由于不需要排除这种陈述而更加简单, 尽管它仍然必须排除柯里悖论(Curry's Paradox）。 柯里悖论是逻辑学家哈斯凯尔·柯里（Haskell Brooks Curry）提出。 此外，次协调逻辑可以潜在的克服哥德尔不完备定理蕴涵的算术限制，而是完备的。 (zh) Una lògica paraconsistent és un sistema lògic que intenta tractar les contradiccions en una forma discriminada. Alternativament, la lògica paraconsistent és un camp de la lògica que s'ocupa de l'estudi i desenvolupament de sistemes lògics paraconsistents (o "tolerants a la inconsistència"). (En aquest article el terme és utilitzat en les dues accepcions.) (ca) Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en forma atenuada. Alternativamente, la lógica paraconsistente es un campo de la lógica que se ocupa del estudio y desarrollo de sistemas lógicos paraconsistentes (o "tolerantes a la inconsistencia"). (En este artículo el término es utilizado en ambas acepciones.) (es) In logica, per logica paraconsistente si intende un sistema formale in cui possono verificarsi in modo controllato delle eccezioni al principio di non contraddizione, cioè possono presentarsi delle contraddizioni, senza però che con questo sia possibile derivare nel sistema ogni proposizione, evitando quindi il principio di esplosione. (it) Em lógica, entende-se por lógica paraconsistente um sistema formal no qual se podem verificar, de modo controlado, exceções ao princípio da não contradição, isto é, no qual podem se apresentar contradições sem que, com isso, seja possível derivar uma proposição qualquer, dentro do sistema, evitando-se assim o princípio de explosão (em latim, ex falso [sequitur] quodlibet, 'da falsidade, [deriva] qualquer coisa'; ou ex contradictione [sequitur] quodlibet, 'da contradição, qualquer coisa [deriva]'). (pt) |
| rdfs:label | Paraconsistent logic (en) Lògica paraconsistent (ca) Parakonsistente Logik (de) Kontraŭdirtolera logiko (eo) Lógica paraconsistente (es) Logica paraconsistente (it) Logique paracohérente (fr) 초일관 논리 (ko) 矛盾許容論理 (ja) Paraconsistente logica (nl) Logika parakonsystentna (pl) Lógica paraconsistente (pt) Parakonsistent logik (sv) 次协调逻辑 (zh) |
| owl:sameAs | freebase:Paraconsistent logic http://sw.cyc.com/concept/Mx4rKZuv0vjrQdeJhOqB3cQKHA yago-res:Paraconsistent logic http://d-nb.info/gnd/4226190-9 wikidata:Paraconsistent logic dbpedia-ca:Paraconsistent logic dbpedia-de:Paraconsistent logic dbpedia-eo:Paraconsistent logic dbpedia-es:Paraconsistent logic dbpedia-fa:Paraconsistent logic dbpedia-fi:Paraconsistent logic dbpedia-fr:Paraconsistent logic dbpedia-it:Paraconsistent logic dbpedia-ja:Paraconsistent logic dbpedia-ko:Paraconsistent logic dbpedia-nl:Paraconsistent logic dbpedia-pl:Paraconsistent logic dbpedia-pt:Paraconsistent logic dbpedia-sv:Paraconsistent logic dbpedia-zh:Paraconsistent logic https://global.dbpedia.org/id/3xNu2 |
| prov:wasDerivedFrom | wikipedia-en:Paraconsistent_logic?oldid=1113197702&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Paraconsistent_logic |
| is dbo:knownFor of | dbr:Newton_da_Costa |
| is dbo:wikiPageRedirects of | dbr:Applications_of_paraconsistent_logic dbr:Dual-intuitionistic_logic dbr:Brazilian_logic dbr:Paracomplete dbr:Paracomplete_logic dbr:Paracompleteness dbr:Paraconsistent dbr:Paraconsistent_Logic dbr:Paraconsistent_logics dbr:Paraconsistent_reasoning dbr:Paraconsistency dbr:Paraconsistent_analysis dbr:Logic_of_Paradox |
| is dbo:wikiPageWikiLink of | dbr:Ben_Goertzel dbr:Argumentation_framework dbr:Decidability_(logic) dbr:Deviant_logic dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(I–Q) dbr:Infinite-valued_logic dbr:Intuitionistic_logic dbr:Preface_paradox dbr:Timeline_of_Polish_science_and_technology dbr:Consistency dbr:An_Introduction_to_the_Philosophy_of_Mathematics dbr:Mathematical_analysis dbr:Negation dbr:Glossary_of_areas_of_mathematics dbr:Graham_Priest dbr:Conditional_quantifier dbr:Applications_of_paraconsistent_logic dbr:Logic dbr:Lorenzo_Peña dbr:Deontic_logic dbr:Francisco_Dória dbr:Pluralism_(philosophy) dbr:Ad_hoc_hypothesis dbr:Disjunction_introduction dbr:Disjunctive_syllogism dbr:Dual-intuitionistic_logic dbr:Fuzzy_concept dbr:Jerzy_Perzanowski dbr:Law_of_noncontradiction dbr:Law_of_thought dbr:List_of_Brazilian_scientists dbr:Logic_and_dialectic dbr:Logical_hexagon dbr:Logical_possibility dbr:Logical_reasoning dbr:Minimal_logic dbr:Three-valued_logic dbr:Francisco_Miró_Quesada_Cantuarias dbr:Brazilian_logic dbr:Nicholas_Rescher dbr:Nuel_Belnap dbr:Paracomplete dbr:Paracomplete_logic dbr:Paracompleteness dbr:Paraconsistent dbr:Paraconsistent_Logic dbr:Paraconsistent_logics dbr:Paraconsistent_reasoning dbr:Paradox dbr:Carl_Hewitt dbr:Catuṣkoṭi dbr:Dialectical_logic dbr:Dialetheism dbr:Dialogical_logic dbr:Itala_D'Ottaviano dbr:Trivialism dbr:List_of_Russian_mathematicians dbr:List_of_Russian_scientists dbr:Wilfrid_Desan dbr:Relevance_logic dbr:Gödel's_incompleteness_theorems dbr:Arnon_Avron dbr:Artificial_intelligence dbr:Achille_Varzi_(philosopher) dbr:Kazem_Sadegh-Zadeh dbr:Jean-Yves_Béziau dbr:Diderik_Batens dbr:Newton_da_Costa dbr:SNePS dbr:Sequent dbr:Nicolai_A._Vasiliev dbr:Philosophical_logic dbr:Semantic_Web dbr:Walter_Carnielli dbr:Stanisław_Jaśkowski dbr:Fixed-point_combinator dbr:Principle_of_explosion dbr:Tetralemma dbr:Non-classical_logic dbr:List_of_Russian_people dbr:Outline_of_artificial_intelligence dbr:Outline_of_logic dbr:Outline_of_philosophy dbr:Paraconsistent_mathematics dbr:Paraconsistency dbr:Paraconsistent_analysis dbr:Logic_of_Paradox |
| is dbp:knownFor of | dbr:Newton_da_Costa |
| is foaf:primaryTopic of | wikipedia-en:Paraconsistent_logic |