Toward a Theory of Second-Order Consequence

Toward a Theory of Second-Order Consequence

Augustín Rayo and Gabriel Uzquiano

Source: Notre Dame J. Formal Logic Volume 40, Number 3 (1999), 315-325.

Abstract

We develop an account of logical consequence for the second-order language of set theory in the spirit of Boolos's plural interpretation of monadic second-order logic.

Primary Subjects: 03C85

Secondary Subjects: 03A05, 03B15

Full-text: Open access

Screen Optimized PDF File (72 KB)
PDF File (57 KB)

Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1022615612
Mathematical Reviews number (MathSciNet): MR1845629
Digital Object Identifier: doi:10.1305/ndjfl/1022615612
Zentralblatt MATH identifier: 1007.03044

back to Table of Contents

References

[1] Boolos, G., ``To be is to be a value of a variable (or to be some values of some variables),'' The Journal of Philosophy, vol. 81 (1984), pp. 430--49.

Mathematical Reviews (MathSciNet): MR755478

Digital Object Identifier: doi:10.2307/2026308

JSTOR: links.jstor.org

[2] Boolos, G., ``Nominalist platonism,'' Philosophical Review, vol. 94 (1985), pp. 327--44.

[3] Boolos, G., ``Reading the Begriffsschrift,'' Mind, vol. 94 (1985b), pp. 331--34.

Mathematical Reviews (MathSciNet): MR796077

Digital Object Identifier: doi:10.1093/mind/XCIV.375.331

JSTOR: links.jstor.org

[4] Cartwright, R., ``Speaking of everything,'' Noûs, vol. 28 (1994), pp. 1--20.

Mathematical Reviews (MathSciNet): MR1326348

Digital Object Identifier: doi:10.2307/2215917

JSTOR: links.jstor.org

[5] Etchemendy, J., The Concept of Logical Consequence, Harvard University Press, Cambridge, 1990.

Mathematical Reviews (MathSciNet): MR1079541

Zentralblatt MATH: 0743.03002

[6] Kreisel, G., ``Informal rigour and completeness proofs,'' pp. 138--71 in Problems in the Philosophy of Mathematics, edited by I. Lakatos, North-Holland, Amsterdam, 1967.

[7] McGee, V., ``Two problems with Tarski's theory of consequence,'' Proceedings of the Aristotelian Society, vol. 92 (1992), pp. 273--92.

[8] McGee, V., ``How we learn mathematical language,'' Philosophical Review, vol. 106 (1997), pp. 35--68.

[9] Rayo, A., and S. Yablo, ``Nominalism through de-nominalization,'' Noûs, vol. 35 (2001), pp. 74--92.

Mathematical Reviews (MathSciNet): MR1817516

Digital Object Identifier: doi:10.1111/0029-4624.00288

[10] Shapiro, S., ``Principles of reflection and second-order logic,'' Journal of Philosophical Logic, vol. 16 (1987), pp. 309--33.

Mathematical Reviews (MathSciNet): MR88i:03066

Zentralblatt MATH: 0635.03059

Digital Object Identifier: doi:10.1007/BF00152934

[11] Shapiro, S., Foundations Without Foundationalism, A Case for Second-Order Logic, Clarendon Press, Oxford, 1991.

Mathematical Reviews (MathSciNet): MR93j:03005

Zentralblatt MATH: 0732.03002

[12] Weir, A., ``Naive set theory is innocent!,'' Mind, vol. 107 (1998), pp. 763--98.

Mathematical Reviews (MathSciNet): MR2000b:03024

Digital Object Identifier: doi:10.1093/mind/107.428.763

JSTOR: links.jstor.org

[13] Yi, B.-U., ``Is two a property?,'' Journal of Philosophy, vol. 96 (1999), pp. 163--90.

Mathematical Reviews (MathSciNet): MR1704376

Digital Object Identifier: doi:10.2307/2564701

JSTOR: links.jstor.org

previous :: next