Higher-order Logic

The Oxford Handbook of Philosophy of Mathematics and Logic

Volumn , Issue , 2005, Pages

  Shapiro, Stewart ^a,b  

^a OHIO STATE UNIVERSITY   (United States)

^b UNIVERSITY OF ST ANDREWS   (United Kingdom)

Author keywords

Boolos; Deductive system; Higher order logic; Language; Logic; Model theory; Plural; Second order logic; Semantics

Indexed keywords

EID: 33750540865     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1093/0195148770.003.0025     Document Type: Chapter

References (51)

1. Azzouni, J. [1994], Metaphysical myths, mathematical practice, Cambridge, Cambridge University Press.
2. Barwise, J. [1985], "Model-theoretic logics: Background and aims," in Barwise and Feferman [1985], 3-23.
3. Barwise, J., and S. Feferman (editors) [1985], Model-theoretic logics, New York, Springer-Verlag. (Extensive treatment of a lot of logics, many of which are intermediate between first-order and second-order. Quite technical, for the most part. Extensive bibliography.)
4. Boolos, G. [1984], "To be is to be a value of a variable (or to be some values of some variables)," Journal of Philosophy 81, 430-450; reprinted in, 331-350. (Initial account of plural quantification.)
5. Boolos, G. [1985], "Nominalist Platonism," Philosophical Review 94, 327-344; reprinted in, 351-368. (Another defense of plural quantification.)
6. Burgess, J. [1993], Review of, Journal of Symbolic Logic 58, 363-365.
7. Church, A. [1956], Introduction to mathematical logic, Princeton, NJ: Princeton University Press. (Still an excellent introduction to both first-order logic and secondorder logic.).
8. Cocchiarella, N. [1988], "Predication versus membership in the distinction between logic as language and logic as calculus," Synthèse 77, 37-72; reprinted in, 473-508.
9. Corcoran, J. [1980], "Categoricity," History and Philosophy of Logic 1, 187-207; reprinted in, 241-261.
10. Dedekind, R. [1888], Was sind und was sollen die Zahlen?, Brunswick, Vieweg; translated as The nature and meaning of numbers, in Essays on the theory of numbers, edited by W. W. Beman, New York, Dover Press, 1963, 31-115.
11. Dummett, M. [1994], "Reply to Wright," in The philosophy of Michael Dummett, edited by B. McGuinness and G. Oliveri, Dordrecht, Kluwer Academic Publishers, 329-338.
12. Eklund, M. [1996], "How logic became first-order," Nordic Journal of Philosophical Logic 1, 147-167.
13. Field, H. [2001], Truth and the absence of fact, Oxford, Oxford University Press.
14. Frege, G. [1879], Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle, Louis Nebert; translated in van, 1-82.
15. Gilmore, P. [1957], "The monadic theory of types in the lower-predicate calculus," in Summaries of talks presented at the Summer Institute of Symbolic Logic at Cornell, Washington, DC, Institute for Defense Analyses, 309-312.
16. Gödel, K. [1930], "Die Vollständigkeit der Axiome des logischen Funktionenkalkuls," Montatshefte für Mathematik und Physik 37, 349-360; translated as "The completeness of the axioms of the functional calculus of logic," in van, 582-591.
17. Gödel, K. [1931], "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I," Montatshefte für Mathematik und Physik 38, 173-198; translated as "On formally undecidable propositions of the Principia Mathematica," in van, 596-616.
18. Goodman, Nelson, and W.V.O. Quine [1947], "Steps towards a constructive nominalism," Journal of Symbolic Logic 12, 105-122.
19. Hazen, A. [1983], "Predicative logics," in Handbook of philosophical logic, vol. 1, edited by D. Gabbay and F. Guenthner, Dordrecht, D. Reidel, 331-407. (Readable account and defense of ramified type theory.)
20. Henkin, L. [1950], "Completeness in the theory of types," Journal of Symbolic Logic 15, 81-91.
21. Hilbert, D., and W. Ackermann [1928], Grundzüge der theoretischen Logik, Berlin, Springer; translated as Principles of mathematical logic by L. Hammond, G. Leckie, and F. Steinhardt, New York, Chelsea, 1950. (Historical source. Still quite readable.).
22. Isaacson, D. [1985], "Arithmetical truth and hidden higher-order concepts," in Logic Colloquium 85, edited by The Paris Logic Group, Amsterdam, North-Holland, 1987, 147-169.
23. Jané, I. [1993], "A critical appraisal of second-order logic," History and Philosophy of Logic 14, 67-86; reprinted in, 177-196.
24. Kreisel, G. [1967], "Informal rigour and completeness proofs," in Problems in the philosophy of mathematics, edited by I. Lakatos, Amsterdam, North-Holland, 138-186. (Among other things, a multifaceted philosophical defense of the use of higher-order languages in foundational studies. Moderate difficulty.)
25. Lavine, S. [1994], Understanding the infinite, Cambridge, MA, Harvard University Press.
26. Lewis, D. [1993], "Mathematics is megethology," Philosophia Mathematica, 3rd ser., 1, 3-23.
27. Lindström, P. [1969], "On extensions of elementary logic," Theoria 35, 1-11.
28. Löwenheim, L. [1915], "Über Möglichkeiten im Relativkalkül," Mathematische Annalen 76, 447-479; translated in van, 228-251.
29. Montague, R. [1965], "Set theory and higher-order logic," in Formal systems and recursive functions, edited by J. Crossley and M. Dummett, Amsterdam, North-Holland, 131-148. (Higher-order logic, put to linguistic use. The start of an extensive research program.)
30. Moore, G.H. [1980], "Beyond first-order logic: The historical interplay between logic and set theory," History and Philosophy of Logic 1, 95-137; reprinted in, 3-45.
31. Moore, G.H. [1988], "The emergence of first-order logic," in History and philosophy of modern mathematics, edited by W. Aspray and P. Kitcher, Minnesota Studies in the Philosophy of Science, 11, Minneapolis, University of Minnesota Press, 95-135.
32. Myhill, J. [1951], "On the ontological significance of the Löwenheim-Skolem theorem," in Academic freedom, logic and religion, edited by M. White, Philadelphia, American Philosophical Society, 57-70; also in Contemporary readings in logical theory, edited by I. Copi and J. Gould, New York, Macmillan, 1967, 40-54.
33. Peano, G. [1889], Arithmetices principia, nova methodo exposita, Turin, Bucca, translated in van, 85-97.
34. Quine, W.V.O. [1941], "Whitehead and the rise of modern logic," in The philosophy of Alfred North Whitehead, edited by P. A. Schilpp, New York, Tudor, 127-163.
35. Quine, W.V.O. [1986], Philosophy of logic, 2nd ed., Cambridge, MA, Harvard University Press. (Argument against second-order logic, especially ch. 5.).
36. Rayo, A., and S. Yablo [2001], "Nominalism through de-Nominalization," Noûs 35, 74-92.
37. Resnik, M. [1988], "Second-order logic still wild," Journal of Philosophy 85, 75-87.
38. Shapiro, S. [1991], Foundations without foundationalism: A case for second-order logic, New York, Oxford University Press. (Extensive development of and justification for higher-order logic. Philosophical, mathematical, and historical treatment. Most of the book requires some background in logic. Extensive bibliography.)
39. Shapiro, S. [1993], "Modality and ontology," Mind 102, 455-481.
40. Shapiro, S. (editor) [1996], The limits of logic: higher-order logic and the Löwenheim-Skolem theorem, Aldershot, UK, Dartmouth Publishing Company. (Reprints of previously published articles.)
41. Shapiro, S. [1998], "Logical consequence: Models and modality," in The philosophy of mathematics today, edited by M. Schirn, Oxford, Oxford University Press, 131-156.
42. Shapiro, S. [1999], "Do not claim too much: Second-order logic and first-order logic," Philosophia Mathematica, 3rd ser., 7, 42-64. (Reply to some of the critics of.)
43. Shapiro, S. [2001], "Systems between first-order logic and second-order logics," in Handbook of philosophical logic, vol. 1, 2nd ed., edited by D.M. Gabbay and F. Geunthner, Dordrecht, Kluwer Academic Publishers, 131-187.
44. Skolem, T. [1922], "Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre," in Matematikerkongressen i Helsingfors den 4-7 Juli 1922, Helsinki, Akademiska Bokhandeln, 217-232; translated as "Some remarks on axiomatized set theory" in van, 291-301.
45. Tarski, A. [1987], "A philosophical letter of Alfred Tarski," edited by Morton White, Journal of Philosophy 84, 28-32.
46. Tharp, L. [1975], "Which logic is the right logic?," Synthèse 31, 1-31; reprinted in, 47-67.
47. Van Heijenoort, J. (editor) [1967], From Frege to Gödel, Cambridge, MA, Harvard University Press. (Collection of many original papers in logic, translated into English. Includes works by Frege, Peano, Dedekind, Cantor, Hilbert, Russell, Zermelo, Löwenheim, Skolem, Weyl, Ackermann, von Neumann, Bernays, and Gödel.)
48. Wagner, S. [1987], "The rationalist conception of logic," Notre Dame Journal of Formal Logic 28, 3-35.
49. Wang, H. [1974], From mathematics to philosophy, London, Routledge and Kegan Paul.
50. Weston, T. [1976], "Kreisel, the continuum hypothesis and second-order set theory," Journal of Philosophical Logic 5, 281-298; reprinted in, 385-402.
51. Whitehead, A.N., and B. Russell [1910], Principia mathematica, vol. 1, Cambridge, Cambridge University Press.