added 20200706 Proof, Explanation, and Justification in Mathematical Practice.Moti Mizrahi  forthcoming  Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie.details
added 20200217 Wittgenstein, Peirce, and Paradoxes of Mathematical Proof.Sergiy Koshkin  forthcoming  Analytic Philosophy.details
added 20200214 Proving Quadratic Reciprocity: Explanation, Disagreement, Transparency and Depth.William D'Alessandro  2020  Synthese:144.details
added 20190809 Teaching and Learning Guide For: Explanation in Mathematics: Proofs and Practice.William D'Alessandro  2019  Philosophy Compass 14 (11).details
added 20190806 Explanation in Mathematics: Proofs and Practice.William D'Alessandro  2019  Philosophy Compass 14 (11).details
added 20190402 Teoria zdań odrzuconych.Urszula WybraniecSkardowska  1969  Dissertation, Opole Universitydetails
added 20190330 Evidence, Proofs, and Derivations.Andrew Aberdein  2019  ZDM 51 (5):825834.details
added 20190206 Pluralism and the Liar.Cory Wright  2017  In Bradley ArmourGarb (ed.), Reflections on the Liar. Oxford University Press. pp. 347–373.details
added 20180217 Proof in Mathematics: An Introduction.James Franklin  1996  Sydney, Australia: Quakers Hill Press.details
added 20171214 Forms and Roles of Diagrams in Knot Theory.Silvia De Toffoli & Valeria Giardino  2014  Erkenntnis 79 (4):829842.details
added 20171025 Intuitionistic Logic and its Philosophy.Panu Raatikainen  2013  AlMukhatabat. A Trilingual Journal For Logic, Epistemology and Analytical Philosophy (6):114127.details
added 20170903 Le quantificateur effini, la descente infinie et les preuves de consistance de Gauthier. [REVIEW]Richard Zach  2004  Philosophiques 31 (1):221224.details
added 20170823 ‘Chasing’ the Diagram—the Use of Visualizations in Algebraic Reasoning.Silvia de Toffoli  2017  Review of Symbolic Logic 10 (1):158186.details
added 20170823 An Inquiry Into the Practice of Proving in LowDimensional Topology.Silvia De Toffoli & Valeria Giardino  2015  In Gabriele Lolli, Giorgio Venturi & Marco Panza (eds.), From Logic to Practice. Zurich, Switzerland: Springer International Publishing. pp. 315336.details
added 20160908 Affect, Behavioural Schemas and the Proving Process.Annie Selden, John Selden & Kerry McKee  2010  International Journal for Mathematical Education in Science and Technology 41 (2):199215.details
added 20160901 The Formal Sciences Discover the Philosophers' Stone.James Franklin  1994  Studies in History and Philosophy of Science Part A 25 (4):513533.details
added 20141107 A Mathematical Model of Aristotle’s Syllogistic.John Corcoran  1973  Archiv für Geschichte der Philosophie 55 (2):191219.details
added 20121023 Objectivity Sans Intelligibility. Hermann Weyl's Symbolic Constructivism.Iulian D. Toader  2011  Dissertation, University of Notre Damedetails

Offcampus access
Using PhilArchive from home?
Create an account to enable offcampus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email

RSS feed

About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
