- The Nature of Appearance in Kant’s Transcendentalism: A Seman- tico-Cognitive Analysis.Sergey L. Katrechko - 2018 - Kantian Journal 37 (3):41-55.details
|
|
Computational Complexity Theory and the Philosophy of Mathematics†.Walter Dean - 2019 - Philosophia Mathematica 27 (3):381-439.details
|
|
Transferable and Fixable Proofs.William D'Alessandro - forthcoming - Episteme:1-12.details
|
|
Some Remarks on the Physicalist Account of Mathematics.Ferenc Csatári - 2012 - Open Journal of Philosophy 2 (2):165.details
|
|
The Origins of Eternal Truth in Modern Mathematics: Hilbert to Bourbaki and Beyond.Leo Corry - 1997 - Science in Context 10 (2):253-296.details
|
|
Linearity and Reflexivity in the Growth of Mathematical Knowledge.Leo Corry - 1989 - Science in Context 3 (2):409-440.details
|
|
Kuhnian issues, scientific revolutions and the history of mathematics.Leo Corry - 1993 - Studies in History and Philosophy of Science Part A 24 (1):95-117.details
|
|
Necessity, Certainty, and the A Priori.Albert Casullo - 1988 - Canadian Journal of Philosophy 18 (1):43-66.details
|
|
E-Science and the data deluge.David Casacuberta & Jordi Vallverdú - 2014 - Philosophical Psychology 27 (1):1-15.details
|
|
Why Monte Carlo Simulations Are Inferences and Not Experiments.Claus Beisbart & John D. Norton - 2012 - International Studies in the Philosophy of Science 26 (4):403-422.details
|
|
Opacity thought through: on the intransparency of computer simulations.Claus Beisbart - 2021 - Synthese 199 (3-4):11643-11666.details
|
|
How can computer simulations produce new knowledge?Claus Beisbart - 2012 - European Journal for Philosophy of Science 2 (3):395-434.details
|
|
About the warrants of computer-based empirical knowledge.Anouk Barberousse & Marion Vorms - 2014 - Synthese 191 (15):3595-3620.details
|
|
Experimental Mathematics.Alan Baker - 2008 - Erkenntnis 68 (3):331-344.details
|
|
Computers, justification, and mathematical knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.details
|
|
Depth and Clarity * Felix Muhlholzer. Braucht die Mathematik eine Grundlegung? Eine Kommentar des Teils III von Wittgensteins Bemerkungen uber die Grundlagen der Mathematik [Does Mathematics need a Foundation? A Commentary on Part III of Wittgenstein's Remarks on the Foundations of Mathematics]. Frankfurt: Vittorio Klostermann, 2010. ISBN: 978-3-465-03667-8. Pp. xiv + 602. [REVIEW]Juliet Floyd - 2015 - Philosophia Mathematica 23 (2):255-276.details
|
|
Recalcitrant Disagreement in Mathematics: An “Endless and Depressing Controversy” in the History of Italian Algebraic Geometry.Silvia De Toffoli & Claudio Fontanari - 2023 - Global Philosophy 33 (38):1-29.details
|
|
Theorem proving in artificial neural networks: new frontiers in mathematical AI.Markus Pantsar - 2024 - European Journal for Philosophy of Science 14 (1):1-22.details
|
|
Philosophy of mathematics.Leon Horsten - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics.Ulianov Montano - 2013 - Dordrecht, Netherland: Springer.details
|
|
Arguments over Intuitions?Tomasz Wysocki - 2016 - Review of Philosophy and Psychology 8 (2):477-499.details
|
|
Theory of Quantum Computation and Philosophy of Mathematics. Part II.Krzysztof Wójtowicz - forthcoming - Logic and Logical Philosophy:1.details
|
|
Reading proofs with understanding.George Weaver - 1988 - Theoria 54 (1):31-47.details
|
|
Epistemic phase transitions in mathematical proofs.Scott Viteri & Simon DeDeo - 2022 - Cognition 225 (C):105120.details
|
|
The own character of mathematics discussed with consideration of the proof of the four-color theorem.W. A. Verloren van Themaat - 1989 - Zeitschrift Für Allgemeine Wissenschaftstheorie 20 (2):340-350.details
|
|
Simulation, computation and dynamics in economics.K. Vela Velupillai & Stefano Zambelli - 2015 - Journal of Economic Methodology 22 (1):1-27.details
|
|
The own character of mathematics discussed with consideration of the proof of the four-color theorem.W. A. Verloren van Themaat - 1989 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 20 (2):340-350.details
|
|
Gödel and the concept of meaning in mathematics.Thomas Tymoczko - 1998 - Synthese 114 (1):25-40.details
|
|
Mathematics, science and ontology.Thomas Tymoczko - 1991 - Synthese 88 (2):201 - 228.details
|
|
Formal systems as physical objects: A physicalist account of mathematical truth.la´Szlo´ E. Szabo´ - 2003 - International Studies in the Philosophy of Science 17 (2):117-125.details
|
|
Epistemic Entitlements and the Practice of Computer Simulation.John Symons & Ramón Alvarado - 2019 - Minds and Machines 29 (1):37-60.details
|
|
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.details
|
|
The generalizability of critical thinking.Harvey Siegel - 1991 - Educational Philosophy and Theory 23 (1):18–30.details
|
|
What is a Computer Simulation? A Review of a Passionate Debate.Nicole J. Saam - 2017 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 48 (2):293-309.details
|
|
Non-ontological Structuralism†.Michael Resnik - 2019 - Philosophia Mathematica 27 (3):303-315.details
|
|
2004 Summer Meeting of the Association for Symbolic Logic.Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2):249-312.details
|
|
Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering? [REVIEW]Uri Pincas - 2011 - Minds and Machines 21 (2):337-359.details
|
|
What is empirical in mathematics?Philip L. Peterson - 1991 - Philosophia Mathematica (1):91-110.details
|
|
Proof, Reliability, and Mathematical Knowledge.Anthony Peressini - 2003 - Theoria 69 (3):211-232.details
|
|
The Deformity-Related Conception of Ugliness.Panos Paris - 2017 - British Journal of Aesthetics 57 (2):139-160.details
|
|
Philosophical Assumptions Behind the Rejection of Computer-Based Proofs.Katia Parshina - 2023 - Kriterion – Journal of Philosophy 37 (2-4):105-122.details
|
|
The Weak Objectivity of Mathematics and Its Reasonable Effectiveness in Science.Daniele Molinini - 2020 - Axiomathes 30 (2):149-163.details
|
|
The epistemological status of computer-assisted proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.details
|
|
Experimental mathematics, computers and the a priori.Mark McEvoy - 2013 - Synthese 190 (3):397-412.details
|
|
Informal proofs and mathematical rigour.Marianna Antonutti Marfori - 2010 - Studia Logica 96 (2):261-272.details
|
|
Mathematical explanation: Problems and prospects.Paolo Mancosu - 2001 - Topoi 20 (1):97-117.details
|
|
Pinto, Robert C. (2001) Argument, Inference and Dialectic.Jim Mackenzie - 2002 - Argumentation 16 (4):507-514.details
|
|
Forms of knowledge and forms of discussion.Jim Mackenzie - 1998 - Educational Philosophy and Theory 30 (1):27–49.details
|
|
Forms of Knowledge and Forms of Discussion.Jim Mackenzie - 1998 - Educational Philosophy and Theory 30 (1):27-49.details
|
|
Proof, Semiotics, and the Computer: On the Relevance and Limitation of Thought Experiment in Mathematics.Johannes Lenhard - 2022 - Axiomathes 32 (1):29-42.details
|
|