A Defense of Second-Order Logic

Azzouni J (1994) Metaphysical myths, mathematical practice: the logic and epistemology of the exact sciences. Cambridge University Press, Cambridge

Azzouni J (2004) Deflating existential consequence: a case for nominalism. Oxford University Press, New York

Barwise J (ed) (1977a) Handbook of mathematical logic. North-Holland, Amsterdam

Barwise J (1977b) An introduction to first-order logic. In: Barwise (ed) [1977], pp 5–46

Boolos G (1975) On second-order logic. J Phil 72:509–527 (Reprinted in Boolos [1998], pp. 37–53)

Boolos G (1984) To be is to be a value of a variable (or to be some values of some variables). J Phil 81:430–449 (Reprinted in Boolos [1998], pp 54–72)

Boolos G (1985) Nominalist platonism. Phil Rev 94:327–344 (Reprinted in Boolos [1998], pp 73–87)

Boolos G (1998) Logic, logic, and logic. Harvard University Press, Cambridge, Mass

Bueno O (2005) Dirac and the dispensability of mathematics. Stud History Phil Mod Phy 36:465–490

Crossley J, Dummett M (eds) (1965) Formal systems and recursive functions. North-Holland, Amsterdam

da Costa NCA (1974) On the theory of inconsistent formal systems. Notre Dame J Formal Logic 15:497–510

da Costa NCA (1986) On paraconsistent set theory. Logique et Analyse 115:361–371

da Costa NCA, Krause D, Bueno O (2007) Paraconsistent logics and paraconsistency. In: Jacquette (ed) [2007], pp 791–911

Field H (1980) Science without numbers: a defense of nominalism. Princeton University Press, Princeton, NJ

Field H (1989) Realism, mathematics and modality. Basil Blackwell, Oxford

Hallett M (1984) Cantorian set theory and limitation of size. Clarendon Press, Oxford

Hellman G (1989) Mathematics without numbers: towards a modal-structural interpretation. Clarendon Press, Oxford

Jacquette D (ed) (2007) Philosophy of logic. North-Holland, Amsterdam

Melia J (1995) The significance of non-standard models. Analysis 55:127–134

Montague R (1965) Set theory and higher-order logic. In: Crossley, Dummett (eds) [1965], pp 131–148

Putnam H (1976) Realism and reason. In: Putnam [1978], pp 123–140

Putnam H (1978) Meaning and the moral sciences. Routledge and Kegan Paul, London

Putnam H (1980) Models and reality. J Symbol Logic 45:464–482 (Reprinted in Putnam [1983], pp 1–25)

Putnam H (1983) Realism and reason. Cambridge University Press, Cambridge

Quine WVO (1970) Philosophy of logic. Prentice-Hall, Englewood Cliffs, NJ

Resnik M (1988) Second-order logic still wild. J Phil 85:75–87

Resnik M (1997) Mathematics as a science of patterns. Oxford University Press, Oxford

Shapiro S (1985) Second-order languages and mathematical practice. J Symbol Logic 50:714–742

Shapiro S (1990) Second-order Logic, foundations, and rules. J Phil 87:234–261

Shapiro S (1991) Foundations without foundationalism: a case for second-order logic. Clarendon Press, Oxford

Shapiro S (1997) Philosophy of mathematics: structure and ontology. Oxford University Press, New York

Simons P (1982) Plural reference and set theory. In: Smith (ed) [1982], pp 199–256

Simons P (1997) Higher-order quantification and ontological commitment. Dialectica 51:255–271

Smith B (ed) (1982) Parts and moments. Philosophia, Munich