| http://dbpedia.org/ontology/abstract
|
Em lógica, um condicional estrito é um con … Em lógica, um condicional estrito é um condicional regido por um operador modal, isto é, um conectivo lógico da lógica modal. É logicamente equivalente ao condicional material da lógica clássica, combinado com o operador de necessidade da lógica modal. Para quaisquer duas proposições p e q, a fórmula p → q afirma que p implica q , enquanto afirma que p estritamente implica q. Condicionais estritos são o resultado da tentativa feita por Clarence Irving Lewis em encontrar um condicional para a lógica que possa expressar adequadamente condicionais indicativos na linguagem natural. Este tipo de condicional também tem sido usado no estudo da teologia molinista.ido usado no estudo da teologia molinista.
, En logique mathématique, l'implication str … En logique mathématique, l'implication stricte est une construction de Clarence Irving Lewis fondée sur la logique modale. L'objectif de l'implication stricte est d'éviter les apparents paradoxes de l'implication logique, qui est appelée dans ce contexte implication matérielle. Un exemple de ces paradoxes est le fait, appelé ex-falso quodlibet, qu'un énoncé contradictoire implique tout énoncé.noncé contradictoire implique tout énoncé.
, En lógica, el condicional estricto es un c … En lógica, el condicional estricto es un condicional material sobre el que opera un operador de necesidad. Dadas dos proposiciones cualquiera A y B, la fórmula A → B dice que A implica materialmente B, mientras que dice que A implica estrictamente B. El condicional estricto es el resultado del trabajo de Clarence Irving Lewis por encontrar un condiconal para la lógica que capturara mejor el comportamiento de los condicionales en el lenguaje natural. Su propuesta logra evitar algunas paradojas de la implicación material, pero recae en otras. Para evitarlas, algunos lógicos han creado condiconales contrafácticos. Otros, como Paul Grice, han usado la implicación conversacional para argumentar que, pese a las aparentes dificultades, el condicional material es una traducción suficientemente buena para el condicional del lenguaje natural. Aún otros han recurrido a la lógica relevante para resolver las paradojas.ica relevante para resolver las paradojas.
, In logic, a strict conditional (symbol: , … In logic, a strict conditional (symbol: , or ⥽) is a conditional governed by a modal operator, that is, a logical connective of modal logic. It is logically equivalent to the material conditional of classical logic, combined with the necessity operator from modal logic. For any two propositions p and q, the formula p → q says that p materially implies q while says that p strictly implies q. Strict conditionals are the result of Clarence Irving Lewis's attempt to find a conditional for logic that can adequately express indicative conditionals in natural language. They have also been used in studying Molinist theology.o been used in studying Molinist theology.
, 在逻辑中，严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题 和 … 在逻辑中，严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题 和 ，公式 说 实质上蕴涵 ，而 说 严格蕴涵 。严格条件是 尝试为充分的表达直陈条件而找出的条件。比如这种条件一般的要避免实质蕴涵悖论。比如下列陈述，没有被实质蕴涵正确的形式化。 如果 Bill Gates 是医科毕业生，则 Elvis 就不会死。 这个条件明显是假的：Bill Gates 的受教育程度和 Elvis 是否健在没有任何关系。但是，在经典逻辑中使用实质蕴涵的这个公式的直接的编码为： Bill Gates 是医科毕业生 Elvis 不会死。 这个公式是真的，因为公式 只要前件 为假就是真的。所以，这个公式不是原始句子的完全的翻译。严格条件是在模态逻辑中尝试不同编码的蕴涵编码： （Bill Gates 是医科毕业生 Elvis 不会死） 在模态逻辑中，这个公式（粗略的）意味着，“在 Bill Gates 是医科毕业生的所有可能的世界中，Elvis 都不会死”。因为你可以轻易的设想 Bill Gates 是医科毕业生而 Elvis 死了的一个世界，在其中这个公式是假的。所以，这个公式好像是原始句子的正确翻译。 尽管严格条件比实质条件更加接近于能够表达自然语言的条件，它也有自己的问题。下列句子不能正确的使用严格条件形式化： 如果 Bill Gates 是医科毕业生，则 2 + 2 = 4。 使用严格条件，这个句子被表达为： （Bill Gates 是医科毕业生 2 + 2 = 4）在模态逻辑中，这个公式意味着，“在 Bill Gates 是医科毕业生的所有可能世界中，2 + 2 = 4 都是成立”。因为在所有的可能世界中 2 + 2 都等于 4，这个公式是真的。但这很明显的不是“2 + 2 = 4 ，如果 Bill Gates 是医科毕业生，相应的严格实质陈述是真”的情况。 为了避免严格蕴涵的悖论，一些逻辑学家建立了反事实条件。有人比如 ，使用来做争辩说，尽管看起来困难，实质蕴涵正好适合用做自然语言的 '如果...则...' 的翻译。其他人转变到相干逻辑上来提供在可证明条件的在前件和后件之间的连接。...' 的翻译。其他人转变到相干逻辑上来提供在可证明条件的在前件和后件之间的连接。
|
| http://dbpedia.org/ontology/wikiPageID
|
663772
|
| http://dbpedia.org/ontology/wikiPageLength
|
7320
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1123124120
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Conditionals +
, http://dbpedia.org/resource/Modal_logic +
, http://dbpedia.org/resource/Import-Export_%28logic%29 +
, http://dbpedia.org/resource/Counterfactual_conditional +
, http://dbpedia.org/resource/Category:Necessity +
, http://dbpedia.org/resource/Consequent +
, http://dbpedia.org/resource/Category:Formal_semantics_%28natural_language%29 +
, http://dbpedia.org/resource/Recursion_%28computer_science%29 +
, http://dbpedia.org/resource/Proposition +
, http://dbpedia.org/resource/Logical_truth +
, http://dbpedia.org/resource/Classical_logic +
, http://dbpedia.org/resource/Corresponding_conditional +
, http://dbpedia.org/resource/Category:Modal_logic +
, http://dbpedia.org/resource/Modal_operator +
, http://dbpedia.org/resource/Well-formed_formula +
, http://dbpedia.org/resource/Arrow_%28computer_science%29 +
, http://dbpedia.org/resource/Paradoxes_of_material_implication +
, http://dbpedia.org/resource/Molinism +
, http://dbpedia.org/resource/Dynamic_semantics +
, http://dbpedia.org/resource/Interpretability +
, http://dbpedia.org/resource/Material_conditional +
, http://dbpedia.org/resource/Heyting_arithmetic +
, http://dbpedia.org/resource/Logical_connective +
, http://dbpedia.org/resource/Graham_Priest +
, http://dbpedia.org/resource/Transitive_relation +
, http://dbpedia.org/resource/Logical_equivalence +
, http://dbpedia.org/resource/Conversational_implicature +
, http://dbpedia.org/resource/Relevance_logic +
, http://dbpedia.org/resource/Clarence_Irving_Lewis +
, http://dbpedia.org/resource/Logical_consequence +
, http://dbpedia.org/resource/Paul_Grice +
, http://dbpedia.org/resource/Indicative_conditional +
, http://dbpedia.org/resource/Category:Logical_connectives +
, http://dbpedia.org/resource/Mark_Sainsbury_%28philosopher%29 +
, http://dbpedia.org/resource/Jonathan_Bennett_%28philosopher%29 +
, http://dbpedia.org/resource/Constructive_logic +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Category:Linguistic_modality +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Logic +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Formal_semantics +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Linguistic_modality +
, http://dbpedia.org/resource/Category:Formal_semantics_%28natural_language%29 +
, http://dbpedia.org/resource/Category:Modal_logic +
, http://dbpedia.org/resource/Category:Logical_connectives +
, http://dbpedia.org/resource/Category:Necessity +
, http://dbpedia.org/resource/Category:Conditionals +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Strict_conditional?oldid=1123124120&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Strict_conditional +
|
| owl:sameAs |
http://es.dbpedia.org/resource/Condicional_estricto +
, http://dbpedia.org/resource/Strict_conditional +
, https://global.dbpedia.org/id/3Tpaj +
, http://fr.dbpedia.org/resource/Implication_stricte +
, http://fa.dbpedia.org/resource/%D8%B4%D8%B1%D8%B7%DB%8C_%D8%A7%DA%A9%DB%8C%D8%AF +
, http://pt.dbpedia.org/resource/Condicional_estrito +
, http://zh.dbpedia.org/resource/%E4%B8%A5%E6%A0%BC%E6%9D%A1%E4%BB%B6 +
, http://bg.dbpedia.org/resource/%D0%A1%D1%82%D1%80%D0%BE%D0%B3%D0%B0_%D0%B8%D0%BC%D0%BF%D0%BB%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F +
, http://yago-knowledge.org/resource/Strict_conditional +
, http://rdf.freebase.com/ns/m.030wxt +
, http://www.wikidata.org/entity/Q375520 +
|
| rdf:type |
http://dbpedia.org/class/yago/WikicatLogicalConnectives +
, http://dbpedia.org/class/yago/LanguageUnit106284225 +
, http://dbpedia.org/class/yago/Word106286395 +
, http://dbpedia.org/class/yago/Conjunction106325826 +
, http://dbpedia.org/class/yago/FunctionWord106291318 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Relation100031921 +
, http://dbpedia.org/class/yago/Part113809207 +
|
| rdfs:comment |
在逻辑中，严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题 和 … 在逻辑中，严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题 和 ，公式 说 实质上蕴涵 ，而 说 严格蕴涵 。严格条件是 尝试为充分的表达直陈条件而找出的条件。比如这种条件一般的要避免实质蕴涵悖论。比如下列陈述，没有被实质蕴涵正确的形式化。 如果 Bill Gates 是医科毕业生，则 Elvis 就不会死。 这个条件明显是假的：Bill Gates 的受教育程度和 Elvis 是否健在没有任何关系。但是，在经典逻辑中使用实质蕴涵的这个公式的直接的编码为： Bill Gates 是医科毕业生 Elvis 不会死。 这个公式是真的，因为公式 只要前件 为假就是真的。所以，这个公式不是原始句子的完全的翻译。严格条件是在模态逻辑中尝试不同编码的蕴涵编码： （Bill Gates 是医科毕业生 Elvis 不会死） 在模态逻辑中，这个公式（粗略的）意味着，“在 Bill Gates 是医科毕业生的所有可能的世界中，Elvis 都不会死”。因为你可以轻易的设想 Bill Gates 是医科毕业生而 Elvis 死了的一个世界，在其中这个公式是假的。所以，这个公式好像是原始句子的正确翻译。 尽管严格条件比实质条件更加接近于能够表达自然语言的条件，它也有自己的问题。下列句子不能正确的使用严格条件形式化： 使用严格条件，这个句子被表达为：自己的问题。下列句子不能正确的使用严格条件形式化： 使用严格条件，这个句子被表达为：
, En logique mathématique, l'implication str … En logique mathématique, l'implication stricte est une construction de Clarence Irving Lewis fondée sur la logique modale. L'objectif de l'implication stricte est d'éviter les apparents paradoxes de l'implication logique, qui est appelée dans ce contexte implication matérielle. Un exemple de ces paradoxes est le fait, appelé ex-falso quodlibet, qu'un énoncé contradictoire implique tout énoncé.noncé contradictoire implique tout énoncé.
, In logic, a strict conditional (symbol: , … In logic, a strict conditional (symbol: , or ⥽) is a conditional governed by a modal operator, that is, a logical connective of modal logic. It is logically equivalent to the material conditional of classical logic, combined with the necessity operator from modal logic. For any two propositions p and q, the formula p → q says that p materially implies q while says that p strictly implies q. Strict conditionals are the result of Clarence Irving Lewis's attempt to find a conditional for logic that can adequately express indicative conditionals in natural language. They have also been used in studying Molinist theology.o been used in studying Molinist theology.
, Em lógica, um condicional estrito é um con … Em lógica, um condicional estrito é um condicional regido por um operador modal, isto é, um conectivo lógico da lógica modal. É logicamente equivalente ao condicional material da lógica clássica, combinado com o operador de necessidade da lógica modal. Para quaisquer duas proposições p e q, a fórmula p → q afirma que p implica q , enquanto afirma que p estritamente implica q. Condicionais estritos são o resultado da tentativa feita por Clarence Irving Lewis em encontrar um condicional para a lógica que possa expressar adequadamente condicionais indicativos na linguagem natural. Este tipo de condicional também tem sido usado no estudo da teologia molinista.ido usado no estudo da teologia molinista.
, En lógica, el condicional estricto es un condicional material sobre el que opera un operador de necesidad. Dadas dos proposiciones cualquiera A y B, la fórmula A → B dice que A implica materialmente B, mientras que dice que A implica estrictamente B.
|
| rdfs:label |
Implication stricte
, Condicional estricto
, Strict conditional
, Condicional estrito
, 严格条件
|
