Hostname: page-component-76fb5796d-r6qrq Total loading time: 0 Render date: 2024-04-29T21:02:29.944Z Has data issue: false hasContentIssue false
  • English
  • Français

Second-order languages and mathematical practice

Published online by Cambridge University Press:  12 March 2014

Stewart Shapiro
Stewart Shapiro*
Affiliation:
Department of Philosophy, Ohio State University at Newark, Newark, Ohio 43055
Get access Rights & Permissions [Opens in a new window]

Extract

There are well-known theorems in mathematical logic that indicate rather profound differences between the logic of first-order languages and the logic of second-order languages. In the first-order case, for example, there is Gödel's completeness theorem: every consistent set of sentences (vis-à-vis a standard axiomatization) has a model. As a corollary, first-order logic is compact: if a set of formulas is not satisfiable, then it has a finite subset which also is not satisfiable. The downward Löwenheim-Skolem theorem is that every set of satisfiable first-order sentences has a model whose cardinality is at most countable (or the cardinality of the set of sentences, whichever is greater), and the upward Löwenheim-Skolem theorem is that if a set of first-order sentences has, for each natural number n, a model whose cardinality is at least n, then it has, for each infinite cardinal κ (greater than or equal to the cardinality of the set of sentences), a model of cardinality κ. It follows, of course, that no set of first-order sentences that has an infinite model can be categorical. Second-order logic, on the other hand, is inherently incomplete in the sense that no recursive, sound axiomatization of it is complete. It is not compact, and there are many well-known categorical sets of second-order sentences (with infinite models). Thus, there are no straightforward analogues to the Löwenheim-Skolem theorems for second-order languages and logic.

There has been some controversy in recent years as to whether “second-order logic” should be considered a part of logic, but this boundary issue does not concern me directly, at least not here.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 50 , Issue 3 , September 1985 , pp. 714 - 742
Copyright
Copyright © Association for Symbolic Logic 1985

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

Barwise, J. [1977], An introduction to first-order logic, Handbook of mathematical logic (Barwise, J., editor), North-Holland, Amsterdam, pp. 5–46.CrossRefGoogle Scholar
Boolos, G. [1975], On second-order logic, Journal of Philosophy, vol. 72, pp. 509–527.CrossRefGoogle Scholar
Boolos, G. [1981], For every A there is a B, Linguistic Inquiry, vol. 12, pp. 465–467.Google Scholar
Boolos, G. and Jeffrey, R. [1980], Computability and logic, 2nd ed., Cambridge University Press, Cambridge.Google Scholar
Church, A. [1956], Introduction to mathematical logic, Princeton University Press, Princeton, New Jersey.Google Scholar
Corcoran, J. [1971], A semantic definition of definition, this Journal, vol. 36, pp. 366–367.Google Scholar
Corcoran, J. [1973], Gaps between logical theory and mathematical practice, The methodological unity of science (Bunge, M., editor), Reidel, Dordrecht, pp. 23–50.CrossRefGoogle Scholar
Corcoran, J. [1980], Categoricity, History and Philosophy of Logic, vol. 1, pp. 187–207.CrossRefGoogle Scholar
Feferman, S. [1977], Theories of finite type related to mathematical practice, Handbook of mathematical logic (Barwise, J., editor), North-Holland, Amsterdam, pp. 913–971.CrossRefGoogle Scholar
Field, H. [1980], Science without numbers, Princeton University Press, Princeton, New Jersey.Google Scholar
Gödel, K. [1944], Russell's mathematical logic, The philosophy of Bertrand Russell (Schilpp, P. A., editor), Northwestern University, Evanston and Chicago, Illinois, pp. 123–153, reprinted in Philosophy of mathematics (P. Benacerraf and H. Putnam, editors), Prentice-Hall, Englewood Cliffs, New Jersey, 1964, pp. 211–232.Google Scholar
Goodman, Nelson [1972], Problems and projects, Bobbs-Merill, Indianapolis, Indiana.Google Scholar
Gottlieb, D. [1980], Ontological economy: substitutional quantification and mathematics, Oxford University Press, Oxford.Google Scholar
Henkin, L. [1950], Completeness in the theory of types, this Journal, vol. 15, pp. 81–91.Google Scholar
Hilbert, D. [1900], Mathematische Problems, English translation, Bulletin of the American Mathematical Society, vol. 8 (1902), pp. 437–479; reprinted in Mathematical developments arising from Hilbert problems, Proceedings of Symposia in Pure Mathematics, vol. 28, American Mathematical Society, Providence, Rhode Island, 1976, pp. 1–34.CrossRefGoogle Scholar
Kreisel, G. [1967], Informal rigour and completeness proofs, Problems in the philosophy of mathematics (Lakatos, I., editor), North-Holland, Amsterdam, pp. 138–186.CrossRefGoogle Scholar
Montague, R. [1965], Set theory and higher-order logic, Formal systems and recursive functions (Crossley, J. and Dummett, M., editors), North-Holland, Amsterdam, pp. 131–148.CrossRefGoogle Scholar
Moore, G. [1980], Beyond first-order logic: the historical interplay between logic and set theory, History and Philosophy of Logic, vol. 1, pp. 95–137.CrossRefGoogle Scholar
Myhill, J. [1951], On the ontological significance of the Löwenheim-Skolem theorem, Academic freedom, logic and religion (White, M., editor), American Philosophical Society, Philadelphia, Pennsylvania, pp. 57–70.Google Scholar
Putnam, H. [1980], Models and reality, this Journal, vol. 45, pp. 464–482.Google Scholar
Putnam, H. [1981], Reason, truth and history, Cambridge University Press, Cambridge.CrossRefGoogle Scholar
Quine, W. V. O. [1970], Philosophy of Logic, Prentice-Hall, Englewood Cliffs, New Jersey.Google Scholar
Resnik, M. [1980], Frege and the philosophy of mathematics, Cornell University Press, Ithaca, New York.Google Scholar
Skolem, T. 1923, Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre, Wissenschaftliche Vorträge gehalten auf dem Fünften Kongress der Skandinavischen Mathematiker in Helsingfors vom 4. bis 7. Juli 1922, Akademiska Bokhandeln, Helsinki, 1923, pp. 217–232.Google Scholar
Tharp, L. [1975], Which logic is the right logic?, Synthese, vol. 31, pp. 1–31.CrossRefGoogle Scholar
Veblen, O. [1904], A system of axioms for geometry, Transactions of the American Mathematical Society, vol. 5, pp. 343–384.CrossRefGoogle Scholar
Wang, H. [1974], From mathematics to philosophy, Routledge and Kegan Paul, London.Google Scholar
Weston, T. [1976], Kreisel, the continuum hypothesis and second-order set theory, Journal of Philosophical Logic, vol. 5, pp. 281–298.CrossRefGoogle Scholar
Zermelo, E. [1931], Über Stufen der Quantifikation und die Logik des Unendlichen, Jahresbericht der. Deutschen Mathematiker-Vereinigung, vol. 41, pp. 85–88.Google Scholar