Journal of Philosophical Logic 27 (1):35-47 (1998)
|Abstract||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||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Charles Chihara (2007). The Burgess-Rosen Critique of Nominalistic Reconstructions. Philosophia Mathematica 15 (1):54--78.
C. Chihara, Y. Lin & T. Schaffter (1975). A Formalization of a Nominalistic Set Theory. Journal of Philosophical Logic 4 (2):155 - 169.
David Lewis (1970). Nominalistic Set Theory. Noûs 4 (3):225-240.
Karin Katz & Mikhail Katz (2012). A Burgessian Critique of Nominalistic Tendencies in Contemporary Mathematics and its Historiography. Foundations of Science 17 (1):51-89.
John P. Burgess (1997). A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics. Oxford University Press.
Bruno Leclercq, Logical Analysis and its Ontological Consequences : Rise, Fall and Resurgence of Intensional Objects in Contemporary Philosophy.
Jeffrey Ketland (2011). Nominalistic Adequacy. Proceedings of the Aristotelian Society 111 (2pt2):201-217.
J. Melia (2000). Weaseling Away the Indispensability Argument. Mind 109 (435):455-480.
Hartry Field (1992). A Nominalistic Proof of the Conservativeness of Set Theory. Journal of Philosophical Logic 21 (2):111 - 123.
Peter Simons (2002). Reasoning on a Tight Budget: Lesniewski's Nominalistic Metalogic. Erkenntnis 56 (1):99-122.
Added to index2009-01-28
Total downloads11 ( #99,611 of 549,196 )
Recent downloads (6 months)1 ( #63,397 of 549,196 )
How can I increase my downloads?