| dbpprop:abstract
|
- A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or “inconsistency-tolerant”) systems of logic. 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 not coined until 1976, by the Peruvian philosopher 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 A, ¬A oder aus einem Widerspruch A∧¬A jede beliebige Aussage herzuleiten.
- Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en una forma discriminada. 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.
- 矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。 矛盾許容論理は1910年ごろにはすでに存在していた（原始的な形ではアリストテレスまで遡る）。しかし、矛盾許容（Paraconsistent）という用語が使われるようになったのは 1976年であり、ペルー人哲学者 Francisco Miró Quesada が最初である。
- 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.
- Logika parakonsystentna to logika, która dopuszcza wystąpienie sprzeczności. Logika dopuszczająca sprzeczności była rozważana od co najmniej 1910 roku (a niewykluczone, że znacznie wcześniej), jednak termin parakonsystentna pojawił się dopiero w 1976 roku u peruwiańskiego filozofa Francisco Miró Quesada.
- A Lógica Paraconsistente inclui-se entre as chamadas lógicas não-clássicas heterodoxas, por derrogar alguns dos princípios basilares da Lógica clássica, tais como o princípio da contradição: segundo a Lógica Paraconsistente, uma sentença e a sua negação podem ser ambas verdadeiras. A Lógica Paraconsistente apresenta alternativas a proposições, cuja conclusão pode ter valores além de verdadeiro e falso - tais como indeterminado e inconsistente. Um dos seus fundadores é 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. No estudo da semântica, aplica-se especialmente aos paradoxos. Por exemplo, considere 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 ver algumas coisas, e não-cego para ver outras coisas. As características da Lógica Paraconsistente são enriquecidas pelo trabalho desenvolvido por Jacques Lacan, teórico psicanalista / estruturalista. Ele desenvolveu e criou uma nova vertente da psicanálise tornando a freudiana mais obsoleta ainda, que foi denominada Psicanálise Lacaniana. Em seu trabalho, ele associa a linguagem e o desenvolvimento dos processos humanos através dos eixos paradigmatico e sintagmático ("o inconsciente é estruturado como linguagem"), através da topologia, invertendo a ordem dos conceitos saussurianos significado e significante, e também através da criação de alguns conceitos que só são compreensíveis com relação à "psique" humana. O termo "paraconsistente" ("além do consistente") foi cunhado em 1976, pelo filósofo peruano 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.
- 次协调逻辑是尝试处理矛盾的逻辑。 次协调逻辑是不平凡的(non-trivial)逻辑，它允许矛盾。更加特殊的，它允许断言一个陈述和它的否定，而不导致谬论。在标准逻辑中，从矛盾中可以推导出任何东西; 这叫做 ex contradictione quodlibet (ECQ), 也叫做爆炸原理。次协调逻辑就是 ECQ 不成立的逻辑系统。 次协调逻辑可以用来建模有矛盾的信仰系统，但不是任何东西都能从它推导出来的。在标准逻辑中，必须小心的防止形成说谎者悖论的陈述；次协调逻辑由于不需要排除这种陈述而更加简单。此外，次协调逻辑可以潜在的克服哥德尔不完备定理蕴涵的算术限制，而是完备的。
|
| rdfs:comment
|
- A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or “inconsistency-tolerant”) systems of logic.
- 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 A, ¬A oder aus einem Widerspruch A∧¬A jede beliebige Aussage herzuleiten.
- Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en una forma discriminada. 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.
- 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.
- Logika parakonsystentna to logika, która dopuszcza wystąpienie sprzeczności. Logika dopuszczająca sprzeczności była rozważana od co najmniej 1910 roku (a niewykluczone, że znacznie wcześniej), jednak termin parakonsystentna pojawił się dopiero w 1976 roku u peruwiańskiego filozofa Francisco Miró Quesada.
- A Lógica Paraconsistente inclui-se entre as chamadas lógicas não-clássicas heterodoxas, por derrogar alguns dos princípios basilares da Lógica clássica, tais como o princípio da contradição: segundo a Lógica Paraconsistente, uma sentença e a sua negação podem ser ambas verdadeiras. A Lógica Paraconsistente apresenta alternativas a proposições, cuja conclusão pode ter valores além de verdadeiro e falso - tais como indeterminado e inconsistente.
- 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.
|
![[RDF Data]](/statics/sw-cube.png)
