An Entity of Type: Abstraction100002137, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

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
dbo:wikiPageID
  • 421085 (xsd:integer)
dbo:wikiPageLength
  • 38326 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1113197702 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
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
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License