Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Conditional_quantifier> ?p ?o }
Showing triples 1 to 26 of
26
with 100 triples per page.
- Conditional_quantifier abstract "In logic, a conditional quantifier is a kind of Lindström quantifier (or generalized quantifier) QA that, relative to a classical model A, satisfies some or all of the following conditions (\"X\" and \"Y\" range over arbitrary formulas in one free variable):(The implication arrow denotes material implication in the metalanguage.) The minimal conditional logic M is characterized by the first six properties, and stronger conditional logics include some of the other ones. For example, the quantifier ∀A, which can be viewed as set-theoretic inclusion, satisfies all of the above except [symmetry]. Clearly [symmetry] holds for ∃A while e.g. [contraposition] fails.A semantic interpretation of conditional quantifiers involves a relation between sets of subsets of a given structure—i.e. a relation between properties defined on the structure. Some of the details can be found in the article Lindström quantifier.Conditional quantifiers are meant to capture certain properties concerning conditional reasoning at an abstract level. Generally, it is intended to clarify the role of conditionals in a first-order language as they relate to other connectives, such as conjunction or disjunction. While they can cover nested conditionals, the greater complexity of the formula, specifically the greater the number of conditional nesting, the less helpful they are as a methodological tool for understanding conditionals, at least in some sense. Compare this methodological strategy for conditionals with that of first-degree entailment logics.".
- Conditional_quantifier wikiPageID "9320720".
- Conditional_quantifier wikiPageLength "3493".
- Conditional_quantifier wikiPageOutDegree "8".
- Conditional_quantifier wikiPageRevisionID "577930382".
- Conditional_quantifier wikiPageWikiLink Category:Linguistics.
- Conditional_quantifier wikiPageWikiLink Category:Logic.
- Conditional_quantifier wikiPageWikiLink Category:Quantification.
- Conditional_quantifier wikiPageWikiLink Generalized_quantifier.
- Conditional_quantifier wikiPageWikiLink Lindström_quantifier.
- Conditional_quantifier wikiPageWikiLink Logic.
- Conditional_quantifier wikiPageWikiLink Paraconsistent_logic.
- Conditional_quantifier wikiPageWikiLinkText "Conditional quantifier".
- Conditional_quantifier subject Category:Linguistics.
- Conditional_quantifier subject Category:Logic.
- Conditional_quantifier subject Category:Quantification.
- Conditional_quantifier hypernym Kind.
- Conditional_quantifier type Humanity.
- Conditional_quantifier type Science.
- Conditional_quantifier comment "In logic, a conditional quantifier is a kind of Lindström quantifier (or generalized quantifier) QA that, relative to a classical model A, satisfies some or all of the following conditions (\"X\" and \"Y\" range over arbitrary formulas in one free variable):(The implication arrow denotes material implication in the metalanguage.) The minimal conditional logic M is characterized by the first six properties, and stronger conditional logics include some of the other ones.".
- Conditional_quantifier label "Conditional quantifier".
- Conditional_quantifier sameAs Q5159271.
- Conditional_quantifier sameAs m.0284gp9.
- Conditional_quantifier sameAs Q5159271.
- Conditional_quantifier wasDerivedFrom Conditional_quantifier?oldid=577930382.
- Conditional_quantifier isPrimaryTopicOf Conditional_quantifier.