Content deleted Content added
m -Category:Logic; -Category:Linguistics using HotCat |
m linking |
||
Line 1:
In [[logic]], a '''conditional quantifier''' is a kind of [[Lindström quantifier]] (or [[generalized quantifier]]) ''Q''<sub>''A''</sub> 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]]):
{|
|-
Line 33:
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 [[logical connective|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 [[Paraconsistent logic|first-degree entailment]] logics.
==References==
| |||