| 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)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)