Hostname: page-component-76fb5796d-dfsvx Total loading time: 0 Render date: 2024-04-26T09:16:53.649Z Has data issue: false hasContentIssue false
  • English
  • Français

Truth Definitions, Skolem Functions and Axiomatic Set Theory

Published online by Cambridge University Press:  15 January 2014

Jaakko Hintikka
Jaakko Hintikka*
Affiliation:
Department of Philosophy, Boston University, 745 Commonwealth Avenue, Boston, MA 02215, USA.E-mail: hintikka@bu.edu
Get access Rights & Permissions [Opens in a new window]

Extract

§1. The mission of axiomatic set theory. What is set theory needed for in the foundations of mathematics? Why cannot we transact whatever foundational business we have to transact in terms of our ordinary logic without resorting to set theory? There are many possible answers, but most of them are likely to be variations of the same theme. The core area of ordinary logic is by a fairly common consent the received first-order logic. Why cannot it take care of itself? What is it that it cannot do? A large part of every answer is probably that first-order logic cannot handle its own model theory and other metatheory. For instance, a first-order language does not allow the codification of the most important semantical concept, viz. the notion of truth, for that language in that language itself, as shown already in Tarski (1935). In view of such negative results it is generally thought that one of the most important missions of set theory is to provide the wherewithal for a model theory of logic. For instance Gregory H. Moore (1994, p. 635) asserts in his encyclopedia article “Logic and set theory” that

Set theory influenced logic, both through its semantics, by expanding the possible models of various theories and by the formal definition of a model; and through its syntax, by allowing for logical languages in which formulas can be infinite in length or in which the number of symbols is uncountable.

Type
Research Article
Information
Bulletin of Symbolic Logic , Volume 4 , Issue 3 , September 1998 , pp. 303 - 337
Copyright
Copyright © Association for Symbolic Logic 1998

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1[ Brouwer, L.E.J., Mathematik, Wissenschaft und Sprache, Monatshefte für Mathematik, vol. 36, (1929), pp. 153–164. Reprinted in Brouwer (1975) pp. 417-428; English translation in Eward (1996), pp. 1170–1185.CrossRefGoogle Scholar
[2[ Brouwer, L.E.J., Collected works, vol. 1, (Heyting, A., editor) North-Holland, Amsterdam, 1975.Google Scholar
[3[ Cohen, Paul J., Set theory and the continuum hypothesis, W. A. Benjamin, Amsterdam and New York, 1966.Google Scholar
[4[ Diaconescu, R., Axiom of choice and complementation, Proceedings of the American Mathematical Society, vol. 51, (1975), pp. 176–178.CrossRefGoogle Scholar
[5[ Dummett, M., Elements of intuitionism, Clarendon Press, Oxford, 1977.Google Scholar
[6[ Eward, W.B., editor, From Kant to Hilbert, Clarendon Press, Oxford, 1996.Google Scholar
[7[ Friedman, M., Logical truth and analyticity in Carnap's ‘Logical syntax of language’, in History and Philosophy of Modern Mathematics (Aspray, W. and Kitcher, P., editors), Minnesota Studies in the Philosophy of Science, vol. XI, Unuversity of Minnesota Press, Minneapolis, (1988), pp. 82–94.Google Scholar
[8[ Gödel, K., The consistency of the continuum hypothesis, Annals of Mathematical Studies, vol. 3, Princeton University Press, Princeton, 1940.CrossRefGoogle Scholar
[9[ Goodman, N. D. and Myhill, J. R., Choice implies excluded middle, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 24, (1978), p. 461.CrossRefGoogle Scholar
[10[ Graham, R. L., Rothschild, B. L., and Spencer, J. H., Ramsey theory, John Wiley and Sons, New York, 1980.Google Scholar
[11[ Henkin, L., Completeness in the theory of types, The Journal of Symbolic Logic, vol. 15, (1960), pp. 81–91.CrossRefGoogle Scholar
[12[ Heyting, A., Intuitionism: an introduction, North-Holland, Amsterdam, 1956.Google Scholar
[13[ Hilbert, D., Neubegründung der Mathematik. Erste Mitteilung, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universitä t, vol. 1, (1922), pp. 157–177. English translation in Eward (1996), vol. 2, pp. 1115–1134.CrossRefGoogle Scholar
[14[ Hintikka, Jaakko, The principles of mathematics revisited, Cambridge U.P., 1996.CrossRefGoogle Scholar
[15[ Hintikka, Jaakko, What is elementary logic?, in Physics, philosophy and the scientific community, (Gavroglu, K. et al., editors), Kluwer Academic, Dordrecht, (1995), pp. 301–326.CrossRefGoogle Scholar
[16[ Hintikka, Jaakko, Quantifiers vs. quantification theory, Linguistic Inquiry, vol. 5, (1974), pp. 153–177.Google Scholar
[17[ Hintikka, J. and Sandu, G., Tarski's guilty secret: compositionality, forthcoming.Google Scholar
[18[ Hintikka, J. and Sandu, G., Game-theoretical semantics, in Handbook of logic and language, (van Bentham, Johan and ter Meulen, Alice, editors), Elsevier, Amsterdam, (1997), pp. 361–410.CrossRefGoogle Scholar
[19[ Martin-Löf, P., Intuitionistic type theory, Bibliopolis, Napoli, 1984.Google Scholar
[20[ Mendelson, E., Introduction to mathematical logic, Third edition, Wadsworth and Brooks/Cole, Monterey, CA, 1987.CrossRefGoogle Scholar
[21[ Moore, G. H., Zermelo's axiom of choice, Springer-Verlag, New York, Heidelberg and Berlin, 1982.CrossRefGoogle Scholar
[22[ Moore, G. H., Logic and set theory, in Companion encyclopedia of the history and philosophy of the mathematical sciences, (Grattan-Guinness, et al., editors), vol. 1, Routledge, London and New York, (1994), pp. 635–643.Google Scholar
[23[ Putnam, H., Philosophy of logic, Harper and Row, New York, 1971.Google Scholar
[24[ Rogers, H. Jr., Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967.Google Scholar
[25[ Sandu, G., IF first-order logic and truth-definitions, Journal of Philosophical Logic, vol. 26, (1997).Google Scholar
[26[ Scott, D., Extending the topological interpretation to intuitionistic analysis I, Compositio Mathamatica, vol. 20, (1968), pp. 194–210.Google Scholar
[27[ Suppes, P., Introduction to logic, Van Norstrand, New York, 1956.Google Scholar
[28[ Tarski, A., Collected papers, vols. 1-5, ed. by Givant, S. R. and McKenzie, R. N., Birkhauser, Basel, 1986.Google Scholar
[29[ Tarski, A., Logic, semantics, metamathematics, Clarendon Press, Oxford, 1956.Google Scholar
[30[ Tarski, A., Der Wahrheitsbegriff'in den formalisierten Sprachen, Studia Philosophica, vol. 1, (1935),pp. 261–405. Reprinted in Tarski vol. 2, (1986), pp. 51–198; English translation in Tarski 1956, pp. 152–278.Google Scholar
[31[ Walkoe, W. Jr., Finite partially ordered quantification, The Journal of Symbolic Logic, vol. 35, (1970), pp. 535–555.CrossRefGoogle Scholar