Some quantifiers require two-predicate scopes

DOI10.1016/0004-3702(87)90013-0MaRDI QIDQ1090330zbMATH OpenOpenAlexFDO

Authors Steven Cushing

Publication date 1987

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(87)90013-0

zbMATH Keywords

plurality quantifiers

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Review text

Let \(M^ 2x(Px,Qx)\) mean that the cardinality of the set \(\{\) x: Px\&Qx\(\}\) is greater than that of \(\{\) x: Px\&\(\sim x\}\), and let \(M^ 1xPx=M^ 2x(true,Px)\). The author seems to claim that \(M^ 2\) is not first order definable in terms of \(M^ 1\), but proves only that \(M^ 2x(Px,Qx)\) cannot be expressed as \(M^ 1x(c(Px,Qx))\) for any binary propositional connective c.

Recommendations

• Scope Dominance with Generalized Quantifiers
• Presuppositions and quantifier domains
• Quantifiers and partiality
• scientific article; zbMATH DE number 4189704
• Some results on quantifiers
• Recursive Predicates and Quantifiers
• Quantifiers are logical constants, but only ambiguously
• scientific article; zbMATH DE number 1163929
• About \({|}/{|}\)-quantifiers
• The Move from One to Two Quantifiers

Cites work

• A computational approach to fuzzy quantifiers in natural languages
• Generalized quantifiers and natural language
• scientific article; zbMATH DE number 3784831 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 3433836 (Why is no real title available?)
• scientific article; zbMATH DE number 3370292 (Why is no real title available?)
• On a generalization of quantifiers
• The logic of 'almost all'

Cited in

(1)

• The Move from One to Two Quantifiers

This page was built for publication: Some quantifiers require two-predicate scopes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1090330)