Abstract
Logics in which a relation R is semantically incomplete in a particular universe E, i.e. the union of the extension of R with its anti-extension does not exhaust the whole universe E, have been studied quite extensively in the last years. (Cf. van Benthem (1985), Blamey (1986), and Langholm (1988), for partial predicate logic; Muskens (1996), for the applications of partial predicates to formal semantics, and Doherty (1996) for applications to modal logic.) This is not so with semantically incomplete generalized quantifiers which constitute the subject of the present paper. The only systematic study of these quantifiers from a purely logical point of view, is, to the best of my knowledge, that by van Eijck (1995). We shall take here a different approach than that of van Eijck and mention some of the abstract properties of the resulting logic. Finally we shall prove that the two approaches are interdefinable.
Similar content being viewed by others
REFERENCES
Van Benthem, J., 1985, A Manual of Intensional Logic, CSLI Lecture Notes, vol.1, Stanford, distributed by University of Chicago Press.
Blamey, S., 1986, Partial Logic, inD. Gabbay and F. Guenthner (eds.) Handbook of Philosophical Logic III, pp. 1–70.
Blass, A.and Gurevich, Y., 1986, Henkin Quantifiers and Complete Problems, Annals of Pure and Applied Logic 32, pp. 1–16.
Doherty, P. (ed.), 1996, Partiality, Modality, and Nonmonotonicity, CSLILecture Notes, 1–57586-031-7, Stanford, distributed by University of Chicago Press.
Van Eijck, J.,1995, Quantifiers and Partiality, in Jaap van der Does and J. van Eijck (eds.), Quantifiers, Logic and Language, Stanford University.
Feferman, S., 1984, Towards Useful Type-free Theories, Journal ofSymbolic Logic 49, pp. 237–288.
Henkin, L., 1961, Some Remarks on Infinitely LongFormulas, Infinitistic Methods, Pergamon Press, Oxford and PAN, Warsaw, pp. 167–183.
Kripke, S., 1975, Outline of a Theory of Truth, Journal of Philosophy 72, pp. 690–715.
Langholm, T., 1988, Partiality, Truth and Persistence, CSLI Lecture Notes, vol. 15, Stanford, distributed by University of Chicago Press.
Muskens, R., Meaning and Partiality, CSLI LectureNotes, 1–8881526-80-1, Stanford, distributed by University of Chicago Press.
Sandu, G.,Partially Interpreted Generalized Quantifiers, forthcoming in Studia Logica.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sandu, G. Partially Interpreted Relations and Partially Interpreted Quantifiers. Journal of Philosophical Logic 27, 587–601 (1998). https://doi.org/10.1023/A:1004368325267
Issue Date:
DOI: https://doi.org/10.1023/A:1004368325267