Bulletin of Symbolic Logic 19 (3):351-393 (2013)

Authors
Juliette Kennedy
University of Helsinki
Abstract
In this paper we isolate a notion that we call “formalism freeness” from Gödel's 1946 Princeton Bicentennial Lecture, which asks for a transfer of the Turing analysis of computability to the cases of definability and provability. We suggest an implementation of Gödel's idea in the case of definability, via versions of the constructible hierarchy based on fragments of second order logic. We also trace the notion of formalism freeness in the very wide context of developments in mathematical logic in the 20th century.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1079898600010684
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Second Philosophy: A Naturalistic Method.Penelope Maddy - 2007 - Oxford, England and New York, NY, USA: Oxford University Press.
The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Philosophy of Logic.Willard V. O. Quine - 1986 - Philosophy 17 (3):392-393.

View all 34 references / Add more references

Citations of this work BETA

Epistemic Modality and Hyperintensionality in Mathematics.Hasen Khudairi - 2017 - Dissertation, University of St Andrews

Add more citations

Similar books and articles

On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture.Juliette Kennedy - 2013 - Association for Symbolic Logic: The Bulletin of Symbolic Logic 19 (3).
Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics.Kurt Gödel - 1946 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 150--153.
Gödel's Modernism: On Set Theoretic Incompleteness, Revisited.Juliette Kennedy - 2009 - In Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.), Logicism, Intuitionism and Formalism: What has become of them? Springer.
Gödel’s Incompleteness Theorems and Physics.Newton C. A. Da Costa - 2011 - Principia: An International Journal of Epistemology 15 (3):453-459.
On Gödel's Awareness of Skolem's Helsinki Lecture.Mark van Atten - 2005 - History and Philosophy of Logic 26 (4):321-326.
On the Philosophical Relevance of Gödel's Incompleteness Theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.

Analytics

Added to PP index
2016-06-30

Total views
27 ( #427,761 of 2,533,484 )

Recent downloads (6 months)
1 ( #391,480 of 2,533,484 )

How can I increase my downloads?

Downloads

My notes