Abstract
In Jaakko Hintikka’s work in logic and philosophy of logic, constituents and distributive normal forms have played a very central role. This role is best understood by considering the notion of constituent in connection with other related notions and ideas. Therefore, the aim of this paper is threefold. First, we attempt to present the syntactic structure of constituents in first order (elementary) logic and to prove the existence of distributive normal forms in a technically simple, precise, and detailed way. Nevertheless, since constituents are syntactically somewhat complicated things, it is hardly possible to learn their structure in such an easy way as by merely looking at definitions and examples. Thus, one has to make some personal efforts, so to speak, with a pencil and piece of paper.
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
Barwise, J., ‘Axioms for Abstract Model Theory’, Ann. Math. Logic 7 (1974), 221–265.
Barwise, J., Admissible Sets and Structures, Springer-Verlag, Berlin, Heidelberg, New York, 1975.
Barwise, J. (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977. [1977a.]
Barwise, J., ‘An Introduction to First-Order Logic’, in Barwise (1977a), pp. 5–46. [1977b.]
Bell, J. and Machover, M., A Course in Mathematical Logic, North-Holland, Amsterdam, 1977.
Benthem, J.F.A.K. van, ‘Hintikka on Analyticity’, J. Phil. Logic 3 (1974), 419–431.
Chang, C.C., ‘Some Remarks on the Model Theory of Infinitary Languages’, in J. Barwise (ed.), The Syntax and Semantics of Infinitary Languages, Lecture Notes in Mathematics 72, Springer-Verlag, Berlin, Heidelberg, New York, 1968, pp. 36–63.
Chang, C.C. and Keisler, H.J., Model Theory, North-Holland, Amsterdam, 1973.
Craig, W., ‘Bases for First-Order Theories and Subtheories’, J. Symb. Logic 25 (1960), 97–142.
Dickmann, M.A., Large Infinitary Languages: Model Theory, North-Holland, Amsterdam, 1975.
Ehrenfeucht, A., ‘Applications of Games to Some Problems of Mathematical Logic’, Bull, de l’Acad. Pol. Sci. 5 (1957), 35–37.
Fitting, M.C., Intuitionistic Logic: Model Theory and Forcing, North-Holland, Amsterdam, 1969.
Flum, J., ‘First-Order Logic and Its Extensions’, in G.H. Müller, A. Oberschelp, and K. Potthoff (eds.), Logic Conference, Kiel 1974, Lecture Notes in Mathematics 499, Springer-Verlag, Berlin, Heidelberg, New York, 1974.
Flum, J., ‘Distributive Normal Forms’, in S. Miettinen and J. Väänänen (eds.), Proceedings of the Symposia in Mathematical Logic in Oulu 1974 and in Helsinki 1975, Reports from the Department of Philosophy, University of Helsinki, No. 2, 1977, pp. 71–76.
Fraïssé, R., ‘Sur Quelques Classifications des Relations, Basées sur des Isomorphismes Restreints’, Publ. Sci. de l’Universite d’Alger, Serie A. (Mathematiques), Part I:2 (1955), 15–60; Part II:2 (1955), 273–295.
Hilbert, D. and Ackermann, W., Grundzüge der Theoretischen Logik, Springer, Berlin, 1928.
Hintikka, J., Distributive Normal Forms in the Calculus of Predicates, Acta Philosophica Fennica 6, Helsinki, 1953.
Hintikka, J., ‘Distributive Normal Forms and Deductive Interpolation’, Zeitschr. f Math. Logik und Grundlagen d. Math. 10 (1964), 185–191.
Hintikka, J., ‘Surface Information and Depth Information’, in Hintikka and Suppes (1970), pp. 263–297.
Hintikka, J., ‘Constituents and Finite Identifiability’, J. Phil. Logic 1 (1972), 45–52.
Hintikka, J., Logic, Language-Games and Information, Clarendon Press, Oxford, 1973. [1973a.]
Hintikka, J., ‘Surface Semantics: Definition and Its Motivation’, in H. Leblanc (ed.), Truth, Syntax, and Modality, North-Holland, Amsterdam, 1973, pp. 128–147. [1973b.]
Hintikka, J., ‘G.H. von Wright on Logical Truth and Distributive Normal Forms’, in P.A. Schilpp (ed.), The Philosophy of G.H. von Wright, Open Court, La Salle, 198+ (forthcoming).
Hintikka, J. and Niiniluoto, I., ‘On the Surface Semantics of Quantificational Proof Procedures’, Ajatus 35 (1973), 197–215.
Hintikka, J., Niiniluoto, I., and Saarinen, E. (eds.), Essays on Mathematical and Philosophical Logic, D. Reidel, Dordrecht, 1979.
Hintikka, J. and Rantala, V., ‘A New Approach to Infinitary Languages’, Ann. Math Logic 10 (1976), 95–115.
Hintikka, J. and Suppes, P. (eds.), Information and Inference, D. Reidel, Dordrecht, 1970.
Hintikka, J. and Tuomela, R., ‘Towards a General Theory of Auxiliary Concepts and Definability in First-Order Theories’, in Hintikka and Suppes (1970), pp. 298–330.
Karttunen, M., C‘Infinitary Langauges ∞ λand Generalized Partial Isomorphisms’, in Hintikka, Niiniluoto, and Saarinen (1979), pp. 153–168.
Karttunen, M., Model Theory for Infinitely Deep Languages, Annales Academiae Scientiarum Fennicae, Helsinki, 1984.
Keisler, HJ., Model Theory for Infinitary Logic, North-Holland, Amsterdam, 1971.
Keisler, H.J., ‘Fundamentals of Model Theory’, in Barwise (1977a), pp. 48–103.
Makkai, M., ‘Admissible Sets and Infinitary Logic’, in Barwise (1977a), pp. 234–281.
Miller, D., ‘The Distance Between Constituents’, Synthese 38 (1978), 197–212.
Monk, D.J., Mathematical Logic, Springer-Verlag, Berlin, Heidelberg, New York, 1977.
Niiniluoto, I., ‘On the Truthlikeness of Generalizations’, in R.E. Butts and J. Hintikka (eds.), Basic Problems in Methodology and Linguistics, D. Reidel, Dordrecht, 1977, pp. 121–147.
Niiniluoto, I., Truthlikeness: Comments on Recent Discussion’, Synthese 38 (1978), 281–330.
Niiniluoto, I., ‘Truthlikness in First-Order Languages’, in Hintikka, Niiniluoto, and Saarinen (1979), pp. 437–458.
Oddie, G., ‘Verisimilitude and Distance in Logical Space’, in I. Niiniluoto and R. Tuomela (eds.), The Logic and Epistemology of Scientific Change, Acta Philosophica Fennica 30, Nos. 2–4, North-Holland, Amsterdam, 1978, pp. 227–242.
Oikkonen, J., Second Order Definability, Game Quantifiers and Related Expressions, Commentationes Physico-Mathematicae 48, No. 1, Helsinki, 1978.
Oikkonen, J., ‘A Generalization of the Infinitely Deep Languages of Hintikka and Rantala’, in Saarinen, Hilpinen, Niiniluoto, and Provence Hintikka (1979), pp. 101–112.
Rantala, V., Aspects of Definability, Acta Philosophica Fennica 29, Nos. 2–3, North-Holland, Amsterdam, 1977.
Rantala, V., ‘Game-Theoretical Semantics and Back-and-Forth’, in Hintikka, Niiniluoto and Saarinen (1979), pp. 119–151.
Rantala, V., ‘Infinitely Deep Game Sentences and Interpolation’, in I. Pörn (ed.), Essays in Philosophical Analysis, Acta Philosophica Fennica 32, Helsinki, 1981, pp. 211–219.
Saarinen, E., Hilpinen, R., Niiniluoto, I., and Provence Hintikka, M.B. (eds.), Essays in Honour of Jaakko Hintikka, D. Reidel, Dordrecht, 1979.
Scott, D., ‘A Note on Distributive Normal Forms’, in Saarinen, Hilpinen, Niiniluoto, and Provence Hintikka (1979), pp. 75–90.
Thomason, R.H., ‘On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus’, J. Symb. Logic 33 (1968), 1–7.
Tuomela, R., Theoretical Concepts, Springer-Verlag, Wien, New York, 1973.
Tuomela, R., ‘Theory-Distance and Verisimilitude’, Synthese 38 (1978), 213–246.
Tichý, P., ‘On Popper’s Definition of Verisimilitude’, Brit. J. Phil. Sci. 25 (1974), 155–160.
Tichý, P., ‘Verisimilitude Redefined’, Brit. J. Phil. Sci. 27 (1976), 25–42.
Tichy, P., ‘Verisimilitude Revisited’, Synthese 38 (1978), 175–196.
von Wright, G.H., Form and Content in Logic, Cambridge University Press, Cambridge, 1949.
von Wright, G.H., Logical Studies, Routledge & Kegan Paul, London, 1957.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 D. Reidel Publishing Company
About this chapter
Cite this chapter
Rantala, V. (1987). Constituents. In: Bogdan, R.J. (eds) Jaakko Hintikka. Profiles, vol 8. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-3763-5_2
Download citation
DOI: https://doi.org/10.1007/978-94-009-3763-5_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-277-2402-1
Online ISBN: 978-94-009-3763-5
eBook Packages: Springer Book Archive