Second-order Logic And Foundations Of Mathematics

Bulletin of Symbolic Logic 7 (4):504-520 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687796

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.
Second‐Order Logic and Set Theory.Jouko Väänänen - 2015 - Philosophy Compass 10 (7):463-478.
Do We also Need Second-order Mathematics?J. P. Van Bendegem - 2014 - Constructivist Foundations 10 (1):34-35.
The principles of mathematics revisited.Jaakko Hintikka - 1996 - New York: Cambridge University Press.
INVENTING LOGIC: THE LÖWENHEIM-SKOLEM THEOREM AND FIRST- AND SECOND-ORDER LOGIC.Valérie Lynn Therrien - 2012 - Pensées Canadiennes 10.
Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts.André Bazzoni - 2015 - Journal of Philosophical Logic 44 (5):507-516.
Categorical foundations of mathematics or how to provide foundations for abstract mathematics.Jean-Pierre Marquis - 2013 - Review of Symbolic Logic 6 (1):51-75.
The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - New York: Cambridge University Press.
On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
The unity of logic, pedagogy and foundations in Grassmann's mathematical work.Albert C. Lewis - 2004 - History and Philosophy of Logic 25 (1):15-36.
The development of programs for the foundations of mathematics in the first third of the 20th century.Solomon Feferman - manuscript
Definability of second order generalized quantifiers.Juha Kontinen - 2010 - Archive for Mathematical Logic 49 (3):379-398.
Reflections on mathematics.Edward N. Zalta - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
Logic and Mathematics.Jan Wolénski - 1995 - Vienna Circle Institute Yearbook 3:197-210.

Analytics

Added to PP
2017-02-23

Downloads
43 (#362,182)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Deflationism beyond arithmetic.Kentaro Fujimoto - 2019 - Synthese 196 (3):1045-1069.
On arbitrary sets and ZFC.José Ferreirós - 2011 - Bulletin of Symbolic Logic 17 (3):361-393.

View all 22 citations / Add more citations

References found in this work

No references found.

Add more references