Henkin Quantifiers and the Definability of Truth
Purchase on Springer.com
$39.95 / €34.95 / £29.95*
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.
Henkin quantifiers have been introduced in Henkin (1961). Walkoe (1970) studied basic model-theoretical properties of an extension L * 1(H) of ordinary first-order languages in which every sentence is a first-order sentence prefixed with a Henkin quantifier. In this paper we consider a generalization of Walkoe's languages: we close L * 1(H) with respect to Boolean operations, and obtain the language L 1(H). At the next level, we consider an extension L * 2(H) of L 1(H) in which every sentence is an L 1(H)-sentence prefixed with a Henkin quantifier. We repeat this construction to infinity. Using the (un)-definability of truth – in – N for these languages, we show that this hierarchy does not collapse. In addition, we compare some of the present results to the ones obtained by Kripke (1975), McGee (1991), and Hintikka (1996).
- Caicedo, X. and Krynicki, M., Quantifiers for reasoning with imperfect information and Σ 1 1 -logic, in W. A. Carnielli et al. (eds.), Advances in Contemporary Logic and Computer Science, Amer. Math. Soc.-Contemp. Math. 235, 1999, pp. 17-31.
- Ebbinghaus, H. D. and Flum, J., Finite Model Theory, Springer-Verlag, 1996.
- Henkin, L., Some remarks on infinitively long formulas, in Infinitistic Methods, Pergamon Press, Oxford and PAN, Warsaw, 1961, pp. 167-183.
- McGee, V., Truth, Vagueness, and Paradox, Hackett Publishing Company, 1991.
- Hintikka, J., Quantifiers vs. quantification theory, Dialectica 27 (1973), 329-358.
- Hintikka, J., The Principles of Mathematics Revisited, Cambridge University Press, 1996.
- Hintikka, J. and Sandu, G., Informational independence as a semantical phenomenon, in J. Fenstad et al. (eds.), Logic, Methodology and Philosophy of Science VIII, Elsevier Science Publishers B.V., 1989, pp. 571-589.
- Hintikka, J. and Sandu, G., Game-theoretical semantics, in J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, 1997, pp. 361-410.
- Hodges, W., Compositional semantics for a language with imperfect information, J. IGPL 5 (1997), 539-563.
- Kripke, S., Outline of a theory of truth, J. Philos. 72 (1975), 690-716.
- Krynicki, M., Hierarchies of finite partially ordered connectives and quantifiers, Math. Logic Quaterly 39 (1993), 287-294.
- Krynicki, M. and Mostowski, M., Henkin quantifiers, in M. Krynicki et al. (eds.), Quantifiers: Logics, Models and Computation, Vol. 1, Kluwer Academic Publishers, 1995, pp. 193-262.
- Sandu, G., On the logic of informational independence and its applications, J. Philos. Logic 22(1993) 29-60.
- Sandu, G., IF-logic and truth-definition, J. Philos. Logic 27 (1998), 143-164.
- Sandu, G. and Väänänen, J., Partially ordered connectives, Math. Logik Grundlagen Math. 38 (1992), 361-372.
- Walkoe, W., Finite partially ordered quantification, J. Symbolic Logic 35 (1970), 535-550.
- Henkin Quantifiers and the Definability of Truth
Journal of Philosophical Logic
Volume 29, Issue 5 , pp 507-527
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- Henkin quantifiers
- IF logic
- fixed point logic
- definability of truth