Repository | Book | Chapter
(2003) Philosophy and logic in search of the Polish tradition, Dordrecht, Springer.
Partially interpreted Henkin quantifiers
pp. 93-108
The present paper defines the concept of a partially interpreted generalized quantifier and studies some of the basic model-theoretic properties of the resulting logic. As such, the paper continues and completes a line of research started by Kripke (1975) and continued by Feferman (1984), van Benthem (1985), Blarney (1986), and Langholm (1988) which studied the logic of partially interpreted predicates. Surprisingly enough, the logic studied here which combines the partial interpretation of predicates with that of quantifiers turns out to have very nice abstract properties: Compactness, the Lövenheim-Skolem Properties, an effective Interpolation Property, and the property that it defines its own truth-predicate.
Publication details
DOI: 10.1007/978-94-017-0249-2_8
Full citation:
(2003)., Partially interpreted Henkin quantifiers, in J. Hintikka, T. Czarnecki, T. Placek & A. Rojszczak (eds.), Philosophy and logic in search of the Polish tradition, Dordrecht, Springer, pp. 93-108.
This document is unfortunately not available for download at the moment.