On the general interpretation of first-order quantifiers

Review of Symbolic Logic 6 (4):637-658 (2013)
Abstract
While second-order quantifiers have long been known to admit nonstandard, or interpretations, first-order quantifiers (when properly viewed as predicates of predicates) also allow a kind of interpretation that does not presuppose the full power-set of that interpretationgeneral” interpretations for (unary) first-order quantifiers in a general setting, emphasizing the effects of imposing various further constraints that the interpretation is to satisfy
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/S1755020313000270
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,370
Through your library
References found in this work BETA
What Are Logical Notions?John Corcoran & Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
Notions of Invariance for Abstraction Principles.G. A. Antonelli - 2010 - Philosophia Mathematica 18 (3):276-292.
Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
The Discovery of My Completeness Proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.

View all 7 references / Add more references

Citations of this work BETA
Completeness and Decidability of General First-Order Logic.Antonelli Aldo - 2017 - Journal of Philosophical Logic 46 (3):233-257.

Add more citations

Similar books and articles
Added to PP index
2013-11-01

Total downloads
49 ( #109,760 of 2,193,771 )

Recent downloads (6 months)
3 ( #95,976 of 2,193,771 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature