- Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.details
|
|
A Theory of Formal Deducibility.Haskell B. Curry - 1951 - Journal of Symbolic Logic 16 (1):56-58.details
|
|
Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.details
|
|
Théorie des Ensembles.N. Bourbaki - 1946 - Journal of Symbolic Logic 11 (3):91-91.details
|
|
Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.details
|
|
Why do informal proofs conform to formal norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.details
|
|
The derivation-indicator view of mathematical practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.details
|
|
The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof.J. Azzouni - 2013 - Philosophia Mathematica 21 (2):247-254.details
|
|
Mathematical Method and Proof.Jeremy Avigad - 2006 - Synthese 153 (1):105-159.details
|
|
On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.details
|
|
And so on... : reasoning with infinite diagrams.Solomon Feferman - 2012 - Synthese 186 (1):371-386.details
|
|
Relevant implication.David Lewis - 1988 - Theoria 54 (3):161-174.details
|
|
Appendix.Stephen Yablo - 2014 - In Aboutness. Oxford: Princeton University Press. pp. 207-208.details
|
|
Logical constants and the glory of truth-conditional semantics.William G. Lycan - 1989 - Notre Dame Journal of Formal Logic 30 (3):390-400.details
|
|
Informal proof, formal proof, formalism.Alan Weir - 2016 - Review of Symbolic Logic 9 (1):23-43.details
|
|
What are logical notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.details
|
|
A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.details
|
|
“Inference versus consequence” revisited: inference, consequence, conditional, implication.Göran Sundholm - 2012 - Synthese 187 (3):943-956.details
|
|
The Basic Laws of Arithmetic: Exposition of the System.R. H. Stoothoff - 1966 - Philosophical Quarterly 16 (65):395.details
|
|
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.details
|
|
The Philosophical Importance of Mathematical Logic.Bertrand Russell - 1913 - The Monist 23 (4):481-493.details
|
|
Why Do We Prove Theorems?Yehuda Rav - 1998 - Philosophia Mathematica 6 (3):5-41.details
|
|
Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.details
|
|
A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices.Yehuda Rav - 2007 - Philosophia Mathematica 15 (3):291-320.details
|
|
Validity of Inferences.Dag Prawitz - 2013 - In Michael Frauchiger (ed.), Reference, Rationality, and Phenomenology: Themes from Føllesdal. De Gruyter. pp. 179-204.details
|
|
The epistemic significance of valid inference.Dag Prawitz - 2012 - Synthese 187 (3):887-898.details
|
|
Some remarks on the notion of proof.John Myhill - 1960 - Journal of Philosophy 57 (14):461-471.details
|
|
Logical operations.Vann McGee - 1996 - Journal of Philosophical Logic 25 (6):567 - 580.details
|
|
Frege, Kant, and the logic in logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.details
|
|
How to think about informal proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.details
|
|
Mathematical rigor--who needs it?Philip Kitcher - 1981 - Noûs 15 (4):469-493.details
|
|
Logical constants across varying types.Johan van Benthem - 1989 - Notre Dame Journal of Formal Logic 30 (3):315-342.details
|
|
Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician.Norma B. Goethe & Michèle Friend - 2010 - Studia Logica 96 (2):273-288.details
|
|
Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.details
|
|
And so on...: reasoning with infinite diagrams.Solomon Feferman - 2012 - Synthese 186 (1):371 - 386.details
|
|
The Different Ways in which Logic is (said to be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.details
|
|
Michael Detlefsen (ed.), Proof, Logic and Formalization. Michael Detlefsen (ed.), Proof and Knowledge in Mathematics. [REVIEW]Luiz Carlos Pereira - 1997 - Erkenntnis 47 (2):245-254.details
|
|
Poincaré against the logicians.Michael Detlefsen - 1992 - Synthese 90 (3):349 - 378.details
|
|
The Bounds of Logic: A Generalized Viewpoint.Gila Sher - 1991 - British Journal for the Philosophy of Science 45 (4):1078-1083.details
|
|
Truth, etc.Jonathan Barnes - 2007 - Bulletin of Symbolic Logic 13 (4):549-552.details
|
|
Raisonnement mathémathique.H. Poincare - 1894 - Revue de Métaphysique et de Morale 2:371-384.details
|
|
Posthumous Writings by Gottlob Frege, Peter Long, Roger White. [REVIEW]Stanley Rosen - 1981 - Philosophy and Rhetoric 14 (3):196-197.details
|
|
Proof: Its Nature and Significance.Michael Detlefsen - 2009 - In Bonnie Gold & Roger A. Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. MAA. pp. 3-32.details
|
|
Deductive Logic.Warren Goldfarb - 2004 - Bulletin of Symbolic Logic 10 (4):570-573.details
|
|