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

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

Namespace Prefixes

PrefixIRI
dbthttp://dbpedia.org/resource/Template:
dbpedia-svhttp://sv.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-fihttp://fi.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
n40https://archive.org/details/companiontophilo00jacq/page/
n28http://
dbpedia-frhttp://fr.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n23https://arxiv.org/abs/0805.1481/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n31http://d-nb.info/gnd/
dbphttp://dbpedia.org/property/
dbpedia-eohttp://eo.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbohttp://dbpedia.org/ontology/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbpedia-nlhttp://nl.dbpedia.org/resource/
yago-reshttp://yago-knowledge.org/resource/
n27https://global.dbpedia.org/id/
n20http://lp.jurid.net/articles/logica/
n24http://sw.cyc.com/concept/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
n25http://plato.stanford.edu/entries/logic-paraconsistent/
foafhttp://xmlns.com/foaf/0.1/
n30https://www.cs.tau.ac.il/~aa/articles/
n34https://archive.org/details/papersphilosophi01lewi/page/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n10https://web.archive.org/web/20110704184243/http:/lp.jurid.net/articles/logica/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
n33https://archive.org/details/
dbpedia-eshttp://es.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
owlhttp://www.w3.org/2002/07/owl#

Statements

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