HTML Microdata document

This HTML5 document contains 360 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbt	http://dbpedia.org/resource/Template:
dbpedia-sv	http://sv.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-fi	http://fi.dbpedia.org/resource/
dbr	http://dbpedia.org/resource/
n38	https://archive.org/details/companiontophilo00jacq/page/
n19	http://
dbpedia-fr	http://fr.dbpedia.org/resource/
dct	http://purl.org/dc/terms/
rdfs	http://www.w3.org/2000/01/rdf-schema#
n33	https://arxiv.org/abs/0805.1481/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n31	http://d-nb.info/gnd/
dbp	http://dbpedia.org/property/
dbpedia-eo	http://eo.dbpedia.org/resource/
xsdh	http://www.w3.org/2001/XMLSchema#
dbo	http://dbpedia.org/ontology/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/
dbc	http://dbpedia.org/resource/Category:
dbpedia-de	http://de.dbpedia.org/resource/
dbpedia-pl	http://pl.dbpedia.org/resource/
yago	http://dbpedia.org/class/yago/
wikidata	http://www.wikidata.org/entity/
dbpedia-nl	http://nl.dbpedia.org/resource/
gold	http://purl.org/linguistics/gold/
yago-res	http://yago-knowledge.org/resource/
n23	https://global.dbpedia.org/id/
n39	http://lp.jurid.net/articles/logica/
n26	http://sw.cyc.com/concept/
dbpedia-it	http://it.dbpedia.org/resource/
dbpedia-ca	http://ca.dbpedia.org/resource/
prov	http://www.w3.org/ns/prov#
n36	http://plato.stanford.edu/entries/logic-paraconsistent/
foaf	http://xmlns.com/foaf/0.1/
n17	https://www.cs.tau.ac.il/~aa/articles/
n35	https://archive.org/details/papersphilosophi01lewi/page/
dbpedia-zh	http://zh.dbpedia.org/resource/
n16	https://web.archive.org/web/20110704184243/http:/lp.jurid.net/articles/logica/
dbpedia-ko	http://ko.dbpedia.org/resource/
dbpedia-fa	http://fa.dbpedia.org/resource/
n34	https://archive.org/details/
dbpedia-es	http://es.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
owl	http://www.w3.org/2002/07/owl#

Statements

Subject Item: dbr:Ben_Goertzel
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Argumentation_framework
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Decidability_(logic)
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Deviant_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Index_of_logic_articles
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Index_of_philosophy_articles_(I–Q)
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Infinite-valued_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Intuitionistic_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Preface_paradox
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Timeline_of_Polish_science_and_technology
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Consistency
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:An_Introduction_to_the_Philosophy_of_Mathematics
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Mathematical_analysis
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Negation
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Glossary_of_areas_of_mathematics
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Graham_Priest
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Conditional_quantifier
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Applications_of_paraconsistent_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic
dbo:wikiPageRedirects: dbr:Paraconsistent_logic

Subject Item: dbr:Logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Lorenzo_Peña
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Deontic_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Francisco_Dória
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Pluralism_(philosophy)
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Ad_hoc_hypothesis
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Disjunction_introduction
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Disjunctive_syllogism
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Dual-intuitionistic_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic
dbo:wikiPageRedirects: dbr:Paraconsistent_logic

Subject Item: dbr:Fuzzy_concept
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Jerzy_Perzanowski
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Law_of_noncontradiction
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Law_of_thought
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:List_of_Brazilian_scientists
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Logic_and_dialectic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Logical_hexagon
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Logical_possibility
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Logical_reasoning
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Minimal_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Paraconsistent_logic
rdf:type: yago:Know-how105616786 yago:Logic105664069 yago:Cognition100023271 yago:Abstraction100002137 yago:System105661996 yago:Ability105616246 yago:Method105660268 yago:WikicatSystemsOfFormalLogic yago:PsychologicalFeature100023100
rdfs:label: Lògica paraconsistent Paraconsistent logic Logique paracohérente Paraconsistente logica 초일관 논리 矛盾許容論理 Logica paraconsistente Kontraŭdirtolera logiko Lógica paraconsistente Logika parakonsystentna 次协调逻辑 Lógica paraconsistente Parakonsistente Logik Parakonsistent logik
rdfs:comment: 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.) 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). 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. 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. 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]'). 次协调逻辑（英語：Paraconsistent logic）是尝试处理矛盾的逻辑。是不瑣碎的（non-trivial）逻辑，它允许矛盾。更加特殊的，它允许断言一个陈述和它的否定，而不导致谬论。在标准逻辑中，从矛盾中可以推导出任何东西；这叫做ex contradictione quodlibet（ECQ），也叫做爆炸原理。次协调逻辑就是ECQ不成立的逻辑系统。次协调逻辑可以用来建模有矛盾的系统，但不是任何东西都能从它推导出来的。在标准逻辑中，必须小心的防止形成说谎者悖论的陈述；次协调逻辑由于不需要排除这种陈述而更加简单, 尽管它仍然必须排除柯里悖论(Curry's Paradox）。柯里悖论是逻辑学家哈斯凯尔·柯里（Haskell Brooks Curry）提出。此外，次协调逻辑可以潜在的克服哥德尔不完备定理蕴涵的算术限制，而是完备的。 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ą. 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. 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.) 矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。矛盾許容論理は1910年ごろにはすでに存在していた（原始的な形ではアリストテレスまで遡る）。しかし、矛盾許容（Paraconsistent）という用語が使われるようになったのは 1976年であり、ペルー人哲学者 Francisco Miró Quesada が最初である。 초일관 논리(超一貫論里, 영어: Paraconsistent Logic) 또는 모순허용논리(矛盾許容論里, 영어: inconsistency-tolerant logic)란, 모순을 특별한 방법으로 다루는 논리 체계이다. 또는 모순에 대하여 내성 있는 논리 전반을 가리키는 말이기도 하다. 초일관 논리 체계의 일반적인 특징은 배중률은 허용하면서도 참과 거짓의 대립, 즉 이가(二價) 대립 체계는 잘 허용하지 않는다는 점이다. 곧 다치 논리와 연관성이 있다. 모순허용논리는 20세기 초에도 이미 연구되었으며, 사실 원시적인 형태로는 아리스토텔레스까지 거슬러 올라간다. 하지만, 초일관(paraconsistent)이라는 용어는 1976년 페루인 철학자 프란시스코 미호 케사다(Francisco Miró Quesada)가 최초로 쓴 것이며, 이때쯤부터 본격적인 연구가 시작되었다 할 수 있다. 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. 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". 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.
dct:subject: dbc:Belief_revision dbc:Non-classical_logic dbc:Systems_of_formal_logic dbc:Philosophical_logic dbc:Paraconsistent_logic
dbo:wikiPageID: 421085
dbo:wikiPageRevisionID: 1113197702
dbo:wikiPageWikiLink: dbr:Logic dbr:Negation dbr:Deontic_logic dbr:Dialetheic_logic dbr:Philosopher dbr:Probability_logic dbr:Natural_deduction dbr:Software_systems dbr:R._E._Jennings dbr:Argentina dbr:Source_code dbr:Tautology_(logic) dbc:Belief_revision dbr:Carl_Hewitt dbr:Modus_ponens dbr:Metaethics dbr:Artificial_intelligence dbr:Disjunction dbc:Non-classical_logic dbr:Deviant_logic dbr:J._Michael_Dunn dbr:Logical_conjunction dbr:Implicational_propositional_calculus dbr:Bas_van_Fraassen dbr:Itala_M._L._D'Ottaviano dbr:Jan_Łukasiewicz dbr:Newton_da_Costa dbr:Quantum_entanglement dbr:Walter_Carnielli dbr:Idempotence dbr:Contradiction dbr:Proof_by_contradiction dbr:Electronics dbr:Lorenzo_Peña dbr:Four-valued_logic dbr:Information dbr:Documentation dbr:First-degree_entailment dbr:Florencio_González_Asenjo dbr:Belief_revision dbr:Poland dbr:Fuzzy_logic dbr:De_Morgan's_laws dbr:Excluded_middle dbr:Use_cases dbr:Hawking_radiation dbr:Conjunction_elimination dbr:B._H._Slater dbr:Distributivity dbr:Many-valued_logic dbr:Logical_system dbr:Black_hole dbr:Quantum_coupling dbr:Curry's_paradox dbr:Stanford_Encyclopedia_of_Philosophy dbr:Trivialism dbr:Double_negation_elimination dbr:Paraconsistent_mathematics dbr:Cambridge_University_Press dbr:Alfred_Tarski dbr:Equivalential_calculus dbr:Bryson_Brown dbr:Software_engineering dbc:Systems_of_formal_logic dbr:Aristotle dbr:Dialetheism dbr:Graham_Priest dbr:Activation_function dbr:Truth-functional dbr:Double_negation dbr:Nicolai_A._Vasiliev dbr:Knowledge_management dbr:Latin dbr:Quantum_computing dbr:Peru dbr:Kluwer_Academic_Publishers dbr:Disjunction_introduction dbr:Disjunctive_syllogism dbr:Well-formed_formula dbr:Stanisław_Jaśkowski dbr:Chris_Mortensen_(philosopher) dbr:Model_identification dbr:Francisco_Miró_Quesada_Cantuarias dbr:Formal_logic dbr:Jean-Yves_Béziau dbr:Duality_(mathematics) dbr:Logical_truth dbr:David_Kellogg_Lewis dbr:Control_(management) dbr:Set_theory dbr:Neural_network dbr:Alan_Ross_Anderson dbr:Foundations_of_mathematics dbr:Linear_logic dbr:Uncertainty_principle dbr:Artificial_neuron dbr:Journal_of_Applied_Logic dbr:Logical_connective dbr:Logical_consequence dbr:Logical_constant dbr:Propositional_calculus dbr:Relation_(mathematics) dbr:Deduction_theorem dbr:Spintronics dbr:Semantics dbr:Ross_Brady dbr:Robert_K._Meyer dbr:Inference dbr:Liar_paradox dbr:Epistemology dbr:Intuitionistic_logic dbr:Quantum_physics dbr:Metalanguage dbr:Table_of_logic_symbols dbr:Entailment dbr:Sequent_calculus dbr:Theory_(logic) dbr:Material_conditional dbr:Francisco_Miró_Quesada dbr:Counterexample dbr:Truth dbr:Positive_propositional_calculus dbr:Multi-valued_logic dbr:Solomon_Feferman dbr:Richard_Sylvan dbr:Three-valued_logic dbr:If_and_only_if dbr:Relevance_logic dbr:Relevant_logic dbr:Minimal_logic dbc:Philosophical_logic dbr:Computer_scientist dbr:David_Lewis_(philosopher) dbc:Paraconsistent_logic dbr:Function_approximation dbr:Diderik_Batens dbr:Commutativity dbr:Bayesian_inference dbr:Truth_value dbr:Function_(mathematics) dbr:Empirical_adequacy dbr:Val_Plumwood dbr:Classical_logic dbr:Brazil dbr:Principle_of_explosion dbr:Nuel_Belnap dbr:Dempster-Shafer_theory dbr:Square_of_opposition dbr:Associativity
dbo:wikiPageExternalLink: n16:dialethe.htm n17:ideal.pdf n19:www.paraconsistency.org n33: n34:papersphilosophi01lewi n35:n102 n36: n34:companiontophilo00jacq n38:n642 n39:dialethe.htm
owl:sameAs: dbpedia-eo:Kontraŭdirtolera_logiko dbpedia-sv:Parakonsistent_logik dbpedia-es:Lógica_paraconsistente dbpedia-fi:Parakonsistentti_logiikka wikidata:Q426592 freebase:m.026gk0 dbpedia-it:Logica_paraconsistente n23:3xNu2 dbpedia-pl:Logika_parakonsystentna dbpedia-nl:Paraconsistente_logica n26:Mx4rKZuv0vjrQdeJhOqB3cQKHA dbpedia-ko:초일관_논리 dbpedia-de:Parakonsistente_Logik dbpedia-zh:次协调逻辑 dbpedia-fr:Logique_paracohérente n31:4226190-9 dbpedia-pt:Lógica_paraconsistente yago-res:Paraconsistent_logic dbpedia-ca:Lògica_paraconsistent dbpedia-fa:منطق_فراسازگار dbpedia-ja:矛盾許容論理
dbp:wikiPageUsesTemplate: dbt:Citation_needed dbt:Cite_IEP dbt:Non-classical_logic dbt:Cite_journal dbt:Cite_encyclopedia dbt:Cite_arXiv dbt:Cite_conference dbt:Cite_book dbt:Yes dbt:No dbt:Reflist dbt:More_citations_needed dbt:Cite_SEP dbt:Portal
dbo:abstract: 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. 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ą. 次协调逻辑（英語：Paraconsistent logic）是尝试处理矛盾的逻辑。是不瑣碎的（non-trivial）逻辑，它允许矛盾。更加特殊的，它允许断言一个陈述和它的否定，而不导致谬论。在标准逻辑中，从矛盾中可以推导出任何东西；这叫做ex contradictione quodlibet（ECQ），也叫做爆炸原理。次协调逻辑就是ECQ不成立的逻辑系统。次协调逻辑可以用来建模有矛盾的系统，但不是任何东西都能从它推导出来的。在标准逻辑中，必须小心的防止形成说谎者悖论的陈述；次协调逻辑由于不需要排除这种陈述而更加简单, 尽管它仍然必须排除柯里悖论(Curry's Paradox）。柯里悖论是逻辑学家哈斯凯尔·柯里（Haskell Brooks Curry）提出。此外，次协调逻辑可以潜在的克服哥德尔不完备定理蕴涵的算术限制，而是完备的。 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, 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. 矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。矛盾許容論理は1910年ごろにはすでに存在していた（原始的な形ではアリストテレスまで遡る）。しかし、矛盾許容（Paraconsistent）という用語が使われるようになったのは 1976年であり、ペルー人哲学者 Francisco Miró Quesada が最初である。 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à . 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-). 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". 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. 초일관 논리(超一貫論里, 영어: Paraconsistent Logic) 또는 모순허용논리(矛盾許容論里, 영어: inconsistency-tolerant logic)란, 모순을 특별한 방법으로 다루는 논리 체계이다. 또는 모순에 대하여 내성 있는 논리 전반을 가리키는 말이기도 하다. 초일관 논리 체계의 일반적인 특징은 배중률은 허용하면서도 참과 거짓의 대립, 즉 이가(二價) 대립 체계는 잘 허용하지 않는다는 점이다. 곧 다치 논리와 연관성이 있다. 모순허용논리는 20세기 초에도 이미 연구되었으며, 사실 원시적인 형태로는 아리스토텔레스까지 거슬러 올라간다. 하지만, 초일관(paraconsistent)이라는 용어는 1976년 페루인 철학자 프란시스코 미호 케사다(Francisco Miró Quesada)가 최초로 쓴 것이며, 이때쯤부터 본격적인 연구가 시작되었다 할 수 있다. 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. 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). 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.
gold:hypernym: dbr:System
prov:wasDerivedFrom: wikipedia-en:Paraconsistent_logic?oldid=1113197702&ns=0
dbo:wikiPageLength: 38326
foaf:isPrimaryTopicOf: wikipedia-en:Paraconsistent_logic

Subject Item: dbr:Three-valued_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Francisco_Miró_Quesada_Cantuarias
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Brazilian_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic
dbo:wikiPageRedirects: dbr:Paraconsistent_logic

Subject Item: dbr:Nicholas_Rescher
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Nuel_Belnap
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Paracomplete
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic
dbo:wikiPageRedirects: dbr:Paraconsistent_logic

Subject Item: dbr:Paracomplete_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic
dbo:wikiPageRedirects: dbr:Paraconsistent_logic

Subject Item: dbr:Paracompleteness
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic
dbo:wikiPageRedirects: dbr:Paraconsistent_logic

Subject Item: dbr:Paraconsistent
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic
dbo:wikiPageRedirects: dbr:Paraconsistent_logic

Subject Item: dbr:Paraconsistent_Logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic
dbo:wikiPageRedirects: dbr:Paraconsistent_logic

Subject Item: dbr:Paraconsistent_logics
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic
dbo:wikiPageRedirects: dbr:Paraconsistent_logic

Subject Item: dbr:Paraconsistent_reasoning
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic
dbo:wikiPageRedirects: dbr:Paraconsistent_logic

Subject Item: dbr:Paradox
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Carl_Hewitt
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Catuṣkoṭi
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Dialectical_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Dialetheism
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Dialogical_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Itala_D'Ottaviano
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Trivialism
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:List_of_Russian_mathematicians
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:List_of_Russian_scientists
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Wilfrid_Desan
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Relevance_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Gödel's_incompleteness_theorems
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Arnon_Avron
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Artificial_intelligence
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Achille_Varzi_(philosopher)
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Kazem_Sadegh-Zadeh
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Jean-Yves_Béziau
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Diderik_Batens
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Newton_da_Costa
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic
dbp:knownFor: dbr:Paraconsistent_logic
dbo:knownFor: dbr:Paraconsistent_logic

Subject Item: dbr:SNePS
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Sequent
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Nicolai_A._Vasiliev
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Philosophical_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Semantic_Web
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Walter_Carnielli
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Stanisław_Jaśkowski
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Fixed-point_combinator
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Principle_of_explosion
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Tetralemma
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Non-classical_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:List_of_Russian_people
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Outline_of_artificial_intelligence
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Outline_of_logic
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Outline_of_philosophy
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Paraconsistent_mathematics
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic

Subject Item: dbr:Paraconsistency
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic
dbo:wikiPageRedirects: dbr:Paraconsistent_logic

Subject Item: dbr:Paraconsistent_analysis
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic
dbo:wikiPageRedirects: dbr:Paraconsistent_logic

Subject Item: dbr:Logic_of_Paradox
dbo:wikiPageWikiLink: dbr:Paraconsistent_logic
dbo:wikiPageRedirects: dbr:Paraconsistent_logic

Subject Item: wikipedia-en:Paraconsistent_logic
foaf:primaryTopic: dbr:Paraconsistent_logic