This HTML5 document contains 115 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n19https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbpedia-bghttp://bg.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Modal_logic
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Index_of_logic_articles
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Index_of_philosophy_articles_(R–Z)
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Indicative_conditional
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Material_conditional
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Chrysippus
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Conditional
dbo:wikiPageWikiLink
dbr:Strict_conditional
dbo:wikiPageDisambiguates
dbr:Strict_conditional
Subject Item
dbr:Conditional_sentence
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:C._I._Lewis
dbo:wikiPageWikiLink
dbr:Strict_conditional
dbp:notableIdeas
dbr:Strict_conditional
dbo:notableIdea
dbr:Strict_conditional
Subject Item
dbr:Jonathan_Bennett_(philosopher)
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Logical_connective
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Logical_consequence
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Strict_conditional
rdf:type
yago:Word106286395 yago:FunctionWord106291318 yago:WikicatLogicalConnectives yago:LanguageUnit106284225 yago:Conjunction106325826 yago:Abstraction100002137 yago:Part113809207 yago:Relation100031921
rdfs:label
Condicional estricto Implication stricte Strict conditional 严格条件 Condicional estrito
rdfs:comment
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. 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é. 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. 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. 在逻辑中，严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题 和 ，公式 说 实质上蕴涵 ，而 说 严格蕴涵 。严格条件是 尝试为充分的表达直陈条件而找出的条件。比如这种条件一般的要避免实质蕴涵悖论。比如下列陈述，没有被实质蕴涵正确的形式化。 如果 Bill Gates 是医科毕业生，则 Elvis 就不会死。 这个条件明显是假的：Bill Gates 的受教育程度和 Elvis 是否健在没有任何关系。但是，在经典逻辑中使用实质蕴涵的这个公式的直接的编码为： Bill Gates 是医科毕业生 Elvis 不会死。 这个公式是真的，因为公式 只要前件 为假就是真的。所以，这个公式不是原始句子的完全的翻译。严格条件是在模态逻辑中尝试不同编码的蕴涵编码： （Bill Gates 是医科毕业生 Elvis 不会死） 在模态逻辑中，这个公式（粗略的）意味着，“在 Bill Gates 是医科毕业生的所有可能的世界中，Elvis 都不会死”。因为你可以轻易的设想 Bill Gates 是医科毕业生而 Elvis 死了的一个世界，在其中这个公式是假的。所以，这个公式好像是原始句子的正确翻译。 尽管严格条件比实质条件更加接近于能够表达自然语言的条件，它也有自己的问题。下列句子不能正确的使用严格条件形式化： 使用严格条件，这个句子被表达为：
dct:subject
dbc:Formal_semantics_(natural_language) dbc:Linguistic_modality dbc:Necessity dbc:Conditionals dbc:Modal_logic dbc:Logical_connectives
dbo:wikiPageID
663772
dbo:wikiPageRevisionID
1123124120
dbo:wikiPageWikiLink
dbr:Conversational_implicature dbc:Linguistic_modality dbc:Formal_semantics_(natural_language) dbr:Transitive_relation dbr:Modal_logic dbr:Molinism dbr:Logical_truth dbr:Logic dbr:Counterfactual_conditional dbr:Heyting_arithmetic dbc:Necessity dbr:Indicative_conditional dbr:Dynamic_semantics dbr:Consequent dbr:Proposition dbr:Paradoxes_of_material_implication dbr:Well-formed_formula dbr:Import-Export_(logic) dbr:Logical_connective dbr:Logical_equivalence dbr:Logical_consequence dbc:Conditionals dbr:Modal_operator dbr:Classical_logic dbr:Interpretability dbr:Clarence_Irving_Lewis dbr:Recursion_(computer_science) dbc:Modal_logic dbr:Jonathan_Bennett_(philosopher) dbr:Corresponding_conditional dbr:Paul_Grice dbr:Relevance_logic dbr:Arrow_(computer_science) dbr:Mark_Sainsbury_(philosopher) dbc:Logical_connectives dbr:Material_conditional dbr:Constructive_logic dbr:Graham_Priest
owl:sameAs
freebase:m.030wxt dbpedia-fa:شرطی_اکید dbpedia-es:Condicional_estricto wikidata:Q375520 dbpedia-bg:Строга_импликация n19:3Tpaj dbpedia-zh:严格条件 dbpedia-fr:Implication_stricte dbpedia-pt:Condicional_estrito yago-res:Strict_conditional
dbp:wikiPageUsesTemplate
dbt:Logic dbt:Reflist dbt:Formal_semantics
dbo:abstract
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. 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é. 在逻辑中，严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题 和 ，公式 说 实质上蕴涵 ，而 说 严格蕴涵 。严格条件是 尝试为充分的表达直陈条件而找出的条件。比如这种条件一般的要避免实质蕴涵悖论。比如下列陈述，没有被实质蕴涵正确的形式化。 如果 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 是医科毕业生，相应的严格实质陈述是真”的情况。 为了避免严格蕴涵的悖论，一些逻辑学家建立了反事实条件。有人比如 ，使用来做争辩说，尽管看起来困难，实质蕴涵正好适合用做自然语言的 '如果...则...' 的翻译。其他人转变到相干逻辑上来提供在可证明条件的在前件和后件之间的连接。 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. 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.
prov:wasDerivedFrom
wikipedia-en:Strict_conditional?oldid=1123124120&ns=0
dbo:wikiPageLength
7320
foaf:isPrimaryTopicOf
wikipedia-en:Strict_conditional
Subject Item
dbr:Counterfactual_conditional
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Fishhook_(disambiguation)
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Schur-convex_function
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Conditional_statement
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Implication
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Import–export_(logic)
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Object_of_the_mind
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Vacuous_truth
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Simplification_of_disjunctive_antecedents
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Outline_of_logic
dbo:wikiPageWikiLink
dbr:Strict_conditional
Subject Item
dbr:Strict_conditionals
dbo:wikiPageWikiLink
dbr:Strict_conditional
dbo:wikiPageRedirects
dbr:Strict_conditional
Subject Item
dbr:Strict_implication
dbo:wikiPageWikiLink
dbr:Strict_conditional
dbo:wikiPageRedirects
dbr:Strict_conditional
Subject Item
wikipedia-en:Strict_conditional
foaf:primaryTopic
dbr:Strict_conditional