| rdfs:comment
| - La Lògica Rellevant , també anomenada Rellevància Lògica , és tota lògica pertanyent a una de les famílies de lògiques sub-estructurals no clàssiques que imposa certes restriccions en la implicació. La lògica rellevant va ser proposada el 1928 pel filòsof rus (1886 - circa 1936) en un escrit estrictament matemàtic titulat "The Logic of Compatibility of Propositions" publicat a Matematicheskii Sbornik. (ca)
- Als Relevanzlogiken wird eine Familie nichtklassischer Logiken bezeichnet, die mit einer restriktiveren Implikation als Standardsysteme arbeiten. Vorrangiges Ziel ist meist die Vermeidung der sog. Paradoxien der materialen Implikation. Der Grundgedanke ist immer, dass das für das Sukzedens "relevant" sein soll (daher der Name). Alle Relevanzlogiken sind parakonsistent, d. h. in ihnen gilt das Ex falso quodlibet nicht, nach dem es in den meisten Standardsystemen möglich ist, aus zwei widersprüchlichen Aussagen oder aus einem Widerspruch jede beliebige Aussage herzuleiten. (de)
- La lógica relevante, también llamada lógica de relevancia, es toda lógica perteneciente a una de las familias de lógicas sub-estructurales no clásicas que impone ciertas restricciones en la implicación. La lógica relevante fue propuesta en 1928 por el filósofo ruso Iván Orlov (1886 - circa 1936) en un escrito estrictamente matemático titulado "The Logic of Compatibility of Propositions" publicado en Matematicheskii Sbornik. (es)
- 適切さの論理（てきせつさのろんり）、あるいは相関論理（そうかんろんり）、関連性の論理（かんれんせいのろんり）、関連性論理（かんれんせいろんり）は、論理学のいかなる体系においても最も重要な論理結合子と考えられる「ならば」や推論の論理構造を再検討した論理体系である。英語では、オーストラリアの論理学者は Relevant logics と呼び、それ以外の英語圏の論理学者は Relevance logics と呼ぶ。 (ja)
- Relevanslogik är logiska system som utvecklats i avsikt att undvika implikationsparadoxerna från den klassiska logikens materiella implikation. Denna artikel om logik saknar väsentlig information. Du kan hjälpa till genom att lägga till den. (sv)
- Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substructural or modal logics. It is generally, but not universally, called relevant logic by British and, especially, Australian logicians, and relevance logic by American logicians. (en)
- Lógica de relevância, também conhecida como lógica relevante, é um tipo de lógica não-clássica que requer que o e o consequente em uma implicação estejam relativamente relacionados. Eles podem ser vistos como uma família da lógica subestrutural ou lógica modal. Um aspecto notável da lógica de relevância é que ela é uma lógica paraconsistente: a existência de uma contradição não causa uma “explosão”. Isso decorre do fato de que uma condicional com um antecessor contraditório que não compartilha nenhuma variável com o consequente não pode ser verdade (ou derivável). (pt)
- 相干逻辑 (英语: 一般但不完全的，澳大利亚逻辑学家称之为relevant logic，其他说英语的逻辑学家称之为relevance logic)，也叫做相关逻辑，是一类非经典亚结构逻辑，它在蕴涵上施加了特定限制。 相干逻辑致力于捕获蕴含在经典真值泛函逻辑中被“实质蕴涵”算子所忽略的那些方面。这个想法不是新的：它导致发明模态逻辑，特别是严格蕴涵，依据是在经典逻辑中谬误蕴涵任何命题是成立的。因此"如果我是教皇，则2+2=5"是真的。但是很明显即使你是教皇，2+2也不能是5（参见反事实）。所以蕴涵关系应该是必然性的。 甚至在除去了之后还有另一个问题。Anderson和Belnap（见后）枚举了一些“严格蕴涵悖论”：例如，矛盾仍蕴涵任何事物，任何事物都蕴涵重言式。反直觉的蕴涵－在我们使用这个术语的时候－需要在前提和结论之间有某种在主旨上的联系。 在相干逻辑中的本质新颖是以有效的论证的前提必须有关于结论。在命题演算中，这包括了要求前提和结论共享原子句子；和特定的真值泛函规则，比如增加律（对于任何q的从p到p或q的推论）是受限的，这样"无关"信息不能带入。在谓词演算中，相关性要求在前提和之间共享变量和常量。 标准的证明论（比如Fitch式的自然演绎）适合提供相关性，通过在每行推导的末端介入指示“相关”前提的标记。根岑式的演算可以为此做出修改，就是除去允许在相继式右手端的介入任意公式的弱化规则。 (zh)
|
| has abstract
| - La Lògica Rellevant , també anomenada Rellevància Lògica , és tota lògica pertanyent a una de les famílies de lògiques sub-estructurals no clàssiques que imposa certes restriccions en la implicació. La lògica rellevant va ser proposada el 1928 pel filòsof rus (1886 - circa 1936) en un escrit estrictament matemàtic titulat "The Logic of Compatibility of Propositions" publicat a Matematicheskii Sbornik. (ca)
- Als Relevanzlogiken wird eine Familie nichtklassischer Logiken bezeichnet, die mit einer restriktiveren Implikation als Standardsysteme arbeiten. Vorrangiges Ziel ist meist die Vermeidung der sog. Paradoxien der materialen Implikation. Der Grundgedanke ist immer, dass das für das Sukzedens "relevant" sein soll (daher der Name). Alle Relevanzlogiken sind parakonsistent, d. h. in ihnen gilt das Ex falso quodlibet nicht, nach dem es in den meisten Standardsystemen möglich ist, aus zwei widersprüchlichen Aussagen oder aus einem Widerspruch jede beliebige Aussage herzuleiten. (de)
- La lógica relevante, también llamada lógica de relevancia, es toda lógica perteneciente a una de las familias de lógicas sub-estructurales no clásicas que impone ciertas restricciones en la implicación. La lógica relevante fue propuesta en 1928 por el filósofo ruso Iván Orlov (1886 - circa 1936) en un escrito estrictamente matemático titulado "The Logic of Compatibility of Propositions" publicado en Matematicheskii Sbornik. (es)
- Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substructural or modal logics. It is generally, but not universally, called relevant logic by British and, especially, Australian logicians, and relevance logic by American logicians. Relevance logic aims to capture aspects of implication that are ignored by the "material implication" operator in classical truth-functional logic, namely the notion of relevance between antecedent and conditional of a true implication. This idea is not new: C. I. Lewis was led to invent modal logic, and specifically strict implication, on the grounds that classical logic grants paradoxes of material implication such as the principle that a falsehood implies any proposition. Hence "if I'm a donkey, then two and two is four" is true when translated as a material implication, yet it seems intuitively false since a true implication must tie the antecedent and consequent together by some notion of relevance. And whether or not the speaker is a donkey seems in no way relevant to whether two and two is four. How does relevance logic formally capture a notion of relevance? In terms of a syntactical constraint for a propositional calculus, it is necessary, but not sufficient, that premises and conclusion share atomic formulae (formulae that do not contain any logical connectives). In a predicate calculus, relevance requires sharing of variables and constants between premises and conclusion. This can be ensured (along with stronger conditions) by, e.g., placing certain restrictions on the rules of a natural deduction system. In particular, a Fitch-style natural deduction can be adapted to accommodate relevance by introducing tags at the end of each line of an application of an inference indicating the premises relevant to the conclusion of the inference. Gentzen-style sequent calculi can be modified by removing the weakening rules that allow for the introduction of arbitrary formulae on the right or left side of the sequents. A notable feature of relevance logics is that they are paraconsistent logics: the existence of a contradiction will not cause "explosion". This follows from the fact that a conditional with a contradictory antecedent that does not share any propositional or predicate letters with the consequent cannot be true (or derivable). (en)
- 適切さの論理（てきせつさのろんり）、あるいは相関論理（そうかんろんり）、関連性の論理（かんれんせいのろんり）、関連性論理（かんれんせいろんり）は、論理学のいかなる体系においても最も重要な論理結合子と考えられる「ならば」や推論の論理構造を再検討した論理体系である。英語では、オーストラリアの論理学者は Relevant logics と呼び、それ以外の英語圏の論理学者は Relevance logics と呼ぶ。 (ja)
- Lógica de relevância, também conhecida como lógica relevante, é um tipo de lógica não-clássica que requer que o e o consequente em uma implicação estejam relativamente relacionados. Eles podem ser vistos como uma família da lógica subestrutural ou lógica modal. Lógica de relevância tem como objetivo capturar os aspectos de uma implicação que são ignorados pelo operador da “” na função clássica de , ou seja, uma noção de relevância entre o antecedente e o condicional de uma implicação verdadeira. Essa ideia não é nova: foi levado a inventar a lógica modal, e especificamente, a , com o argumento de que a lógica clássica concede paradoxos da implicação material, como por exemplo, o princípio de que o “falso implica qualquer coisa”. Logo, “se eu sou um burro, então dois mais dois é quatro” é verdade se traduzido para uma implicação material, porém parece intuitivamente falso, uma vez que uma implicação verdadeira deve ligar um antecedente e o consequente por uma noção de relevância. E quer eu seja burro ou não, isso se torna irrelevante para o fato de dois mais dois ser quatro. Como a lógica de relevância interpreta de maneira formal uma noção relevância? Em termos de uma restrição sintática para a lógica proposicional, é necessário, mas não suficiente, que as premissas e a conclusão compartilhem fórmulas atômicas (fórmulas que não contém conectivos lógicos). Na lógica de predicados, a relevância requer o compartilhamento de variáveis e constantes entre as premissas e a conclusão. Isso pode ser assegurado (juntamente com condições mais fortes), por exemplo, adicionando algumas regras ao sistema de dedução natural. Em particular, uma dedução natural ao estilo de Fitch pode ser adaptada para acomodar uma relevância, introduzindo marcações ao final de cada linha de uma implicação numa inferência. O cálculo de sequentes de Gentzen pode ser modificado através da remoção de regras enfraquecedoras que permitem uma introdução de fórmulas arbitrárias tanto à direita, quanto à esquerda dos sequentes. Um aspecto notável da lógica de relevância é que ela é uma lógica paraconsistente: a existência de uma contradição não causa uma “explosão”. Isso decorre do fato de que uma condicional com um antecessor contraditório que não compartilha nenhuma variável com o consequente não pode ser verdade (ou derivável). (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)