Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blarney, S.: 1986, ‘Partial Logic’, in: D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, volume HI, Reidel, Dordrecht, pp. 1–70.
Blass, A. and Y. Gurevich: 1986, ‘Henkin Quantifiers and Complete Problems’, Annals of Pure and Applied Logic 32, 1–16.
Doherty, P. (ed.): 1996, Partiality, Modality, and Nonmonotonicity, CSLI Lecture Notes, 1–57586–031–7, Stanford, distributed by University of Chicago Press.
Feferman, S.: 1984, Towards Useful Type-free Theories, Journal of Symbolic Logic 49, 237–288.
Fenstad, J. E.: 1997, ‘Partiality’, in: J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier Science B.V., Amsterdam, pp. 649–682.
Henkin, L.: 1959, ‘Some Remarks on Infinitely Long Formulas’, Infinitistic Methods, Warsaw, pp. 167–183.
Kleene, S. C: 1952, Introduction to Metamathematics, North-Holland Publishing Company, Amsterdam.
Kripke, S.: 1975, ‘Outline of a Theory of Truth’, Journal of Philosophy 72, 690–715.
Langholm, T.: 1988, Partiality, Truth and Persistence, CSLI Lecture Notes, vol. 15, CSLI Stanford, distributed by University of Chicago Press.
Muskens, R.: 1995, Meaning and Partiality, CSLI Lecture Notes, 1–8881526–80–1, Stanford, distributed by University of Chicago Press.
Sandu, G.: 1998, ‘Partially Interpreted Relations and Partially Interpreted Quantifiers’, Journal of Philosophical Logic 27, 587–601.
Sandu, G. and J. Väänänen: 1992, ‘Partially Ordered Connectives’, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 38, 361–372.
van Benthem, J.: 1985, A Manual of Intensional Logic, CSLI Lecture Notes, vol. 1, Stanford, distributed by University of Chicago Press.
van Eijck, J.: 1995, ‘Quantifiers and Partiality’, in: Jaap van der Does and Jan van Eijck (eds.), Quantifiers, Logic, and Language, Stanford University, Stanford, pp. 105–144.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Sandu, G. (2003). Partially Interpreted Henkin Quantifiers. In: Hintikka, J., Czarnecki, T., Kijania-Placek, K., Placek, T., Rojszczak, A. (eds) Philosophy and Logic in Search of the Polish Tradition. Synthese Library, vol 323. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0249-2_8
Download citation
DOI: https://doi.org/10.1007/978-94-017-0249-2_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6471-4
Online ISBN: 978-94-017-0249-2
eBook Packages: Springer Book Archive