Skip to main content
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 19
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Pollock, Samantha 2016. Objectivity, Realism, and Proof.

    Venturi, Giorgio 2016. Objectivity, Realism, and Proof.

    FISCHER, MARTIN and HORSTEN, LEON 2015. THE EXPRESSIVE POWER OF TRUTH. The Review of Symbolic Logic, Vol. 8, Issue. 02, p. 345.

    Leach-Krouse, Graham 2015. Structural-Abstraction Principles. Philosophia Mathematica, p. nkv033.

    Parsons, Charles 2015. Infinity and a Critical View of Logic. Inquiry, Vol. 58, Issue. 1, p. 1.

    Väänänen, Jouko 2015. Categoricity and Consistency in Second-Order Logic. Inquiry, Vol. 58, Issue. 1, p. 20.

    Väänänen, Jouko 2015. Second-Order Logic and Set Theory. Philosophy Compass, Vol. 10, Issue. 7, p. 463.

    Lutz, Sebastian 2014. What’s Right with a Syntactic Approach to Theories and Models?. Erkenntnis, Vol. 79, Issue. S8, p. 1475.

    Madarász, Judit X. and Székely, Gergely 2013. Special Relativity over the Field of Rational Numbers. International Journal of Theoretical Physics, Vol. 52, Issue. 5, p. 1706.

    Daniels, T. R. 2011. Social choice and the logic of simple games. Journal of Logic and Computation, Vol. 21, Issue. 6, p. 883.

    Figueira, Santiago Gorín, Daniel and Grimson, Rafael 2010. On the formal semantics of IF-like logics. Journal of Computer and System Sciences, Vol. 76, Issue. 5, p. 333.

    Sjögren, Jörgen 2010. A Note on the Relation Between Formal and Informal Proof. Acta Analytica, Vol. 25, Issue. 4, p. 447.

    Székely, Gergely 2010. A Geometrical Characterization of the Twin Paradox and its Variants. Studia Logica, Vol. 95, Issue. 1-2, p. 161.

    Abramsky, Samson and Väänänen, Jouko 2009. From IF to BI. Synthese, Vol. 167, Issue. 2, p. 207.

    Howson, Colin 2009. Can logic be combined with probability? Probably. Journal of Applied Logic, Vol. 7, Issue. 2, p. 177.

    Leitgeb, Hannes 2009. New Waves in Philosophy of Mathematics.

    Andréka, H. Madarász, J. X. Németi, I. and Székely, G. 2008. Axiomatizing Relativistic Dynamics without Conservation Postulates. Studia Logica, Vol. 89, Issue. 2, p. 163.

    Madarász, Judit X. Németi, István and Székely, Gergely 2006. Twin Paradox and the Logical Foundation of Relativity Theory. Foundations of Physics, Vol. 36, Issue. 5, p. 681.

    Benioff, Paul 2005. Towards a Coherent Theory of Physics and Mathematics: The Theory–Experiment Connection. Foundations of Physics, Vol. 35, Issue. 11, p. 1825.


Second-Order Logic and Foundations of Mathematics


We discuss the differences between first-order set theory and second-order logic as a foundation for mathematics. We analyse these languages in terms of two levels of formalization. The analysis shows that if second-order logic is understood in its full semantics capable of characterizing categorically central mathematical concepts, it relies entirely on informal reasoning. On the other hand, if it is given a weak semantics, it loses its power in expressing concepts categorically. First-order set theory and second-order logic are not radically different: the latter is a major fragment of the former.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[1]K. Jon Barwise , Absolute logics and L∞ω, Annals of Mathematical Logic, vol. 4 (1972), pp. 309340.

[4]Jaakko Hintikka , The principles of mathematics revisited, Cambridge University Press, Cambridge, 1996, with an appendix by Gabriel Sandu.

[6]Per Lindström , On extensions of elementary logic, Theoria, vol. 35 (1969), pp. 111.

[9]Richard Montague , Set theory and higher-order logic, Formal systems and recursive functions (Proceedings of the eighth logic colloquium, Oxford, 1963), North-Holland, Amsterdam, 1965, pp. 131148.

[12]Saharon Shelah , The spectrum problem. I. ℵε -saturated models, the main gap, Israel Journal of Mathematics, vol. 43 (1982), no. 4, pp. 324356.

[13]Saharon Shelah , The spectrum problem. II. Totally transcendental and infinite depth, Israel Journal of Mathematics, vol. 43 (1982), no. 4, pp. 357364.

[14]Stephen G. Simpson , Subsystems of second order arithmetic, Springer-Verlag, Berlin, 1999.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Bulletin of Symbolic Logic
  • ISSN: 1079-8986
  • EISSN: 1943-5894
  • URL: /core/journals/bulletin-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *