A proof of nominalism: An exercise in successful reduction in logic

In A. Hieke & H. Leitgeb (eds.), Reduction, Abstraction, Analysis. Ontos (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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 or set theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
Higher-Order Logic or Set Theory: A False Dilemma.S. Shapiro - 2012 - Philosophia Mathematica 20 (3):305-323.
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
If logic meets paraconsistent logic.Jaakko Hintikka - unknown
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Higher-order automated theorem proving.Michael Kohlhase - unknown
The principles of mathematics revisited.Jaakko Hintikka - 1996 - New York: Cambridge University Press.

Analytics

Added to PP
2009-09-11

Downloads
57 (#274,471)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

If Logic, Definitions and the Vicious Circle Principle.Jaakko Hintikka - 2012 - Journal of Philosophical Logic 41 (2):505-517.
An Empiricist Criterion of Meaning.Yann Benétreau-Dupin - 2011 - South African Journal of Philosophy 30 (2):95-108.

Add more citations

References found in this work

No references found.

Add more references