Nominalistic metalogic

Journal of Philosophical Logic 27 (1):35-47 (1998)
This paper offers a novel method for nominalizing metalogic without transcending first-order reasoning about physical tokens (inscriptions, etc.) of proofs. A kind of double-negation scheme is presented which helps construct, for any platonistic statement in metalogic, a nominalistic statement which has the same assertability condition as the former. For instance, to the platonistic statement "there is a (platonistic) proof of A in deductive system D" corresponds the nominalistic statement "there is no (metalogical) proof token in (possibly informal) set theory for the claim that there is no proof of A in D." And it is argued that the nominalist can use all the platonistic results by transforming them into such nominalistic correlates
Keywords Philosophy
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1004201013891
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,810
Through your library
References found in this work BETA
Science Without Numbers.Hartry Field - 1980 - Princeton University Press.
Mathematics Without Foundations.Hilary Putnam - 1967 - Journal of Philosophy 64 (1):5-22.
Modality and Ontology.Stewart Shapiro - 1993 - Mind 102 (407):455-481.
Is Mathematical Knowledge Just Logical Knowledge?Hartry Field - 1984 - Philosophical Review 93 (4):509-552.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Added to PP index

Total downloads
53 ( #102,538 of 2,202,778 )

Recent downloads (6 months)
4 ( #61,822 of 2,202,778 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature