- Notes on polynomially bounded arithmetic.Domenico Zambella - 1996 - Journal of Symbolic Logic 61 (3):942-966.details
|
|
Grundgesetze der arithmetik.Gottlob Frege - 1893 - Jena,: H. Pohle.details
|
|
Theories of Vagueness.Rosanna Keefe - 2000 - New York: Cambridge University Press.details
|
|
The Ultra-Intuitionistic Criticism and the Antitraditional Program for Foundations of Mathematics.A. S. Yessenin-Volpin - 1975 - Journal of Symbolic Logic 40 (1):95-97.details
|
|
Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1988 - Meiner, F.details
|
|
Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl.Gottlob Frege - 1884 - Wittgenstein-Studien 3 (2):993-999.details
|
|
Abstract Measurement Theory.Louis Narens (ed.) - 1985 - MIT Press.details
|
|
Strict Finitism and the Happy Sorites.Ofra Magidor - 2012 - Journal of Philosophical Logic 41 (2):471-491.details
|
|
Concepts without boundaries.R. M. Sainsbury - 1996 - In Rosanna Keefe & Peter Smith (eds.), Vagueness: A Reader. MIT Press. pp. 186-205.details
|
|
Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1884 - Breslau: Wilhelm Koebner Verlag.details
|
|
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.details
|
|
Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.details
|
|
Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.details
|
|
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.details
|
|
The Illusion of Higher-Order Vagueness.Crispin Wright - 2010 - In Richard Dietz & Sebastiano Moruzzi (eds.), Cuts and clouds: vagueness, its nature, and its logic. New York: Oxford University Press.details
|
|
Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.details
|
|
Saving truth from paradox.Hartry H. Field - 2008 - New York: Oxford University Press.details
|
|
Philosophy of mathematics: selected readings.Paul Benacerraf & Hilary Putnam (eds.) - 1983 - New York: Cambridge University Press.details
|
|
Vagueness, truth and logic.Kit Fine - 1975 - Synthese 30 (3-4):265-300.details
|
|
Wang's paradox.Michael Dummett - 1975 - Synthese 30 (3-4):201--32.details
|
|
Notes on polynomially bounded arithmetic.Domenico Zambella - 1996 - Journal of Symbolic Logic 61 (3):942-966.details
|
|
Models and reality.Hilary Putnam - 1980 - Journal of Symbolic Logic 45 (3):464-482.details
|
|
Paradoxes.R. M. Sainsbury - 1991 - Philosophy and Phenomenological Research 51 (2):455-459.details
|
|
Vagueness and Contradiction.Roy Sorensen - 2005 - Philosophy and Phenomenological Research 71 (3):695-703.details
|
|
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.details
|
|
Predicative Frege Arithmetic and ‘Everyday’ Mathematics.Richard Heck - 2014 - Philosophia Mathematica 22 (3):279-307.details
|
|
There Are No Ordinary Things.Peter Unger - 1994 - In Delia Graff & Timothy Williamson (eds.), Vagueness. London and New York: Ashgate. pp. 117-154.details
|
|
Eighty years of foundational studies.Hao Wang - 1958 - Dialectica 12 (3‐4):466-497.details
|
|
Wittgenstein's Philosophy of Mathematics.Michael Dummett - 1997 - Journal of Philosophy 94 (7):166--85.details
|
|
Kurt Gödel, Collected Works.Solomon Feferman (ed.) - 1995 - Oxford University Press.details
|
|
Two (or three) notions of finitism.Mihai Ganea - 2010 - Review of Symbolic Logic 3 (1):119-144.details
|
|
Vagueness and contradiction.Roy A. Sorensen - 2001 - New York: Oxford University Press.details
|
|
Non-standard models in a broader perspective.Haim Gaifman - manuscriptdetails
|
|
Wittgenstein's remarks on the foundations of mathematics. [REVIEW]G. Kreisel - 1958 - British Journal for the Philosophy of Science 9 (34):135-158.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Vagueness without paradox.Diana Raffman - 1994 - Philosophical Review 103 (1):41-74.details
|
|
Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.details
|
|
Wittgenstein's philosophy of mathematics.Michael Dummett - 1959 - Philosophical Review 68 (3):324-348.details
|
|
Zooming down the slippery slope.George Boolos - 1991 - Noûs 25 (5):695-706.details
|
|
Sur le platonisme dans les mathématiques.Paul Bernays - 1935 - L’Enseignement Mathematique 34:52--69.details
|
|
The Paradox of the Heap.Hans Kamp & Uwe Monnich - 1984 - Journal of Symbolic Logic 49 (3):991-993.details
|
|
Theories of Vagueness.Rosanna Keefe - 2003 - Philosophical Quarterly 53 (212):460-462.details
|
|
The prehistory of the subsystems of second-order arithmetic.Walter Dean & Sean Walsh - 2017 - Review of Symbolic Logic 10 (2):357-396.details
|
|
Ésénine-Volpine A. S.. Le programme ultra-intuitionniste des fondements des mathématiques. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 201–223. [REVIEW]G. Kreisel & A. Ehrenfeucht - 1968 - Journal of Symbolic Logic 32 (4):517-517.details
|
|
Some Impredicative Definitions in the Axiomatic Set-Theory.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):274-275.details
|
|
The Sorites Paradox.Dominic Hyde - 2011 - In Giuseppina Ronzitti (ed.), Vagueness: A Guide. Dordrecht, Netherland: Springer Verlag. pp. 1–17.details
|
|
Foundations of Measurement, Vol. II: Geometrical, Threshold, and Probabilistic Representations.Patrick Suppes, David Krantz, Duncan Luce & Amos Tversky (eds.) - 1989 - New York Academic Press.details
|
|
A Topological Sorites.Zach Weber & Mark Colyvan - 2010 - Journal of Philosophy 107 (6):311-325.details
|
|
Subsystems of Second Order Arithmetic.Stephen George Simpson - 1999 - Springer Verlag.details
|
|
Models and reality.Hilary Putnam - 1983 - In Realism and reason. New York: Cambridge University Press. pp. 1-25.details
|
|