- (1 other version)Logic, Logic, and Logic.George S. Boolos & Richard C. Jeffrey - 1998 - Cambridge, MA, USA: Harvard University Press. Edited by Richard C. Jeffrey.details
|
|
(1 other version)Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.details
|
|
Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.details
|
|
(1 other version)Logical Foundations of Probability.Rudolf Carnap - 1950 - Mind 62 (245):86-99.details
|
|
(1 other version)Second Thoughts about Church's Thesis and Mathematical Proofs.Elliott Mendelson - 1990 - Journal of Philosophy 87 (5):225-233.details
|
|
Mathematical Method and Proof.Jeremy Avigad - 2006 - Synthese 153 (1):105-159.details
|
|
Explication Defended.Patrick Maher - 2007 - Studia Logica 86 (2):331-341.details
|
|
Carnap’s Views on Conceptual Systems versus Natural Languages in Analytic Philosophy.Peter F. Strawson - 1963 - In Paul Arthur Schilpp (ed.), The philosophy of Rudolf Carnap. La Salle, Ill.,: Open Court. pp. 503--518.details
|
|
Om begreppsbildning i matematik.Jörgen Sjögren - 2006 - Norsk Filosofisk Tidsskrift 1.details
|
|
(1 other version)The Logical Foundations of Probability. [REVIEW]Rudolf Carnap - 1950 - Journal of Philosophy 60 (13):362-364.details
|
|
(1 other version)Word and Object.Willard Van Orman Quine, Patricia Smith Churchland & Dagfinn Føllesdal - 1960 - Cambridge, MA, USA: MIT Press.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
|
|
(1 other version)On the origin of species.Charles Darwin - 2008 - New York: Oxford University Press. Edited by Gillian Beer.details
|
|
(1 other version)Logical foundations of probability.Rudolf Carnap - 1950 - Chicago]: Chicago University of Chicago Press.details
|
|
(1 other version)Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.details
|
|
A natural axiomatization of computability and proof of Church’s thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
(1 other version)Logic, Logic, and Logic.George Boolos - 1998 - Cambridge, Mass: Harvard University Press. Edited by Richard C. Jeffrey.details
|
|
What is Mathematics, Really?Reuben Hersh - 1997 - New York: Oxford University Press.details
|
|
The discovery of time.Stephen Toulmin - 1965 - New York: Octagon Books. Edited by June Goodfield.details
|
|
Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.details
|
|
Prove—once more and again.Reuben Hersh - 1997 - Philosophia Mathematica 5 (2):153-165.details
|
|
An explication of 'explication'.Joseph F. Hanna - 1968 - Philosophy of Science 35 (1):28-44.details
|
|
Church's thesis: Prelude to a proof.Janet Folina - 1998 - Philosophia Mathematica 6 (3):302-323.details
|
|
Proving church's thesis.Robert Black - 2000 - Philosophia Mathematica 8 (3):244--58.details
|
|
(1 other version)A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.details
|
|
(1 other version)Why Do We Prove Theorems?Yehuda Rav - 1998 - Philosophia Mathematica 6 (3):5-41.details
|
|
The Surveyability of Mathematical Proof: A Historical Perspective.O. Bradley Bassler - 2006 - Synthese 148 (1):99-133.details
|
|
(1 other version)Word and Object.Willard Van Orman Quine - 1960 - Cambridge, MA, USA: MIT Press.details
|
|
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.details
|
|
The two concepts of probability: The problem of probability.Rudolf Carnap - 1945 - Philosophy and Phenomenological Research 5 (4):513-532.details
|
|
Experimental Mathematics.Alan Baker - 2008 - Erkenntnis 68 (3):331-344.details
|
|
(1 other version)Kant’s Explication and Carnap’s Explication.Giovanni Boniolo - 2003 - International Philosophical Quarterly 43 (3):289-298.details
|
|
The four-color problem and its philosophical significance.Thomas Tymoczko - 1979 - Journal of Philosophy 76 (2):57-83.details
|
|
Intuitionism As Generalization.Fred Richman - 1990 - Philosophia Mathematica (1-2):124-128.details
|
|
New Directions in the Philosophy of Mathematics: An Anthology.Thomas Tymoczko (ed.) - 1998 - Princeton University Press.details
|
|
(1 other version)Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
Structures and structuralism in contemporary philosophy of mathematics.Erich H. Reck & Michael P. Price - 2000 - Synthese 125 (3):341-383.details
|
|
On explicating the concept the power of an arithmetical theory.Jörgen Sjögren - 2008 - Journal of Philosophical Logic 37 (2):183 - 202.details
|
|
(1 other version)Kant’s Explication and Carnap’s Explication.Giovanni Boniolo - 2003 - International Philosophical Quarterly 43 (3):289-298.details
|
|
(1 other version)Second thoughts about church's thesis and mathematical proofs.Elliott Mendelson - 1990 - Journal of Philosophy 87 (5):225-233.details
|
|
Second-order Logic And Foundations Of Mathematics.Jouko V. "A. "An "Anen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.details
|
|
Social Constructivism as a Philosophy of Mathematics.Paul Ernest - 1997 - Albany, NY, USA: State University of New York Press.details
|
|
The Discovery of Time.Stephen Toulmin & June Goodfield - 1965 - British Journal for the Philosophy of Science 17 (1):73-76.details
|
|
(1 other version)Logic, Logic and Logic.George Boolos & Richard C. Jeffrey - 1998 - Studia Logica 66 (3):428-432.details
|
|
Reply to Professor Bar-Hillel.G. Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 175--178.details
|
|