- Computability, Notation, and de re Knowledge of Numbers.Stewart Shapiro, Eric Snyder & Richard Samuels - 2022 - Philosophies 1 (7):20.details
|
|
Reasoning with Sentences and Diagrams.Eric Hammer - 1994 - Notre Dame Journal of Formal Logic 35 (1):73-87.details
|
|
Against pluralism.A. P. Hazen - 1993 - Australasian Journal of Philosophy 71 (2):132 – 144.details
|
|
The derivation-indicator view of mathematical practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.details
|
|
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
Some more curious inferences.Jeffrey Ketland - 2005 - Analysis 65 (1):18–24.details
|
|
Who Finds the Short Proof?Christoph Benzmüller, David Fuenmayor, Alexander Steen & Geoff Sutcliffe - forthcoming - Logic Journal of the IGPL.details
|
|
Naturalizing indispensability: a rejoinder to ‘The varieties of indispensability arguments’.Henri Galinon - 2016 - Synthese 193 (2).details
|
|
logicism, intuitionism, and formalism - What has become of them?Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2008 - Berlin, Germany: Springer.details
|
|
Quantifying weak emergence.Paul Hovda - 2008 - Minds and Machines 18 (4):461-473.details
|
|
Intrinsic Explanation and Field’s Dispensabilist Strategy.Russell Marcus - 2013 - International Journal of Philosophical Studies 21 (2):163-183.details
|
|
Induction and comparison.Paul Pietrowski - 2007 - University of Maryland Working Papers in Linguistics 15:154-188.details
|
|
Logic and reasoning.Laurence Goldstein - 1988 - Erkenntnis 28 (3):297 - 320.details
|
|
An austrian mélange • Eckehart köler, Peter weibel, Michael stöltzner, Bernd Buldt, Carsten Klein, and Werner depauli-schimanovich-göttig, eds. Kurt gödel. Wahrheit & beweisbarkeit. Band 1: Dokumente und historische analysen [Kurt gödel. Truth and provability. Vol. 1: Documents and historical analyses]. Vienna: Öbv et hpt, 2002. Isbn 3-209-03824-1. Pp. 279. • Bernd Buldt, Eckehart köhler, Michael stöltzner, Peter weibel, Carsten Klein, and Werner depauli-schimanovich-göttig, eds. Kurt gödel. Wahrheit & beweisbarkeit. Band 2: Kompendium zum werk [vol. 2: Compendium of work]. Vienna: Öbv et hpt, 2002. Isbn 3-209-03835-X. Pp. 447. [REVIEW]Hannes Leitgeb - 2007 - Philosophia Mathematica 15 (2):245-257.details
|
|
Computability, Notation, and de re Knowledge of Numbers.Stewart Shapiro, Eric Snyder & Richard Samuels - 2022 - Philosophies 7 (1):20.details
|
|
A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.details
|
|
Dependent Plurals and Plural Meaning.Eytan Zweig - 2008 - Dissertation, Nyudetails
|
|
Does Science Progress Towards Ever Higher Solvability Through Feedbacks Between Insights and Routines?Witold Marciszewski - 2018 - Studia Semiotyczne 32 (2):153-185.details
|
|
VI—Nominalistic Adequacy.Jeffrey Ketland - 2011 - Proceedings of the Aristotelian Society 111 (2pt2):201-217.details
|
|
The curious inference of Boolos in MIZAR and OMEGA.Christoph Benzmüller & Chad Brown - 2007 - In Matuszewski Roman & Zalewska Anna (eds.), From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec. The University of Bialystok, Polen. pp. 299-388.details
|
|
Cut-Simulation and Impredicativity.Benzmüller Christoph, Brown Chad & Kohlhase Michael - 2009 - Logical Methods in Computer Science 5 (1:6):1-21.details
|
|