Synthese 187 (2):715-730 (2012)
|Abstract||It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it accommodates the many mathematical proofs that include actions on objects other than propositions; (v) this conception of logic permits the articulation of project-sized tasks for the philosophy of mathematical practice, thereby supplying a partial characterisation of normal research in the field|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Configure|
Similar books and articles
Andrew Aberdein (2006). Managing Informal Mathematical Knowledge: Techniques From Informal Logic. Lecture Notes in Artificial Intelligence 4108:208--221.
Marianna Antonutti Marfori (2010). Informal Proofs and Mathematical Rigour. Studia Logica 96 (2):261-272.
Ian J. Dove (2009). Towards a Theory of Mathematical Argument. Foundations of Science 14 (1-2):136-152.
R. A. V. Yehuda (1999). Why Do We Prove Theorems? Philosophia Mathematica 7 (1).
Y. Rav (1999). Why Do We Prove Theorems? Philosophia Mathematica 7 (1):5-41.
Jody Azzouni (2009). Why Do Informal Proofs Conform to Formal Norms? Foundations of Science 14 (1-2):9-26.
Andrew Aberdein (2006). The Informal Logic of Mathematical Proof. In Reuben Hersh (ed.), 18 Unconventional Essays About the Nature of Mathematics. Springer-Verlag.
Wilfried Sieg & John Byrnes (1998). Normal Natural Deduction Proofs (in Classical Logic). Studia Logica 60 (1):67-106.
Ralph H. Johnson (1999). The Relation Between Formal and Informal Logic. Argumentation 13 (3):265-274.
Uwe Riss (2011). Objects and Processes in Mathematical Practice. Foundations of Science 16 (4):337-351.
Andrew Aberdein (2006). Proofs and Rebuttals: Applying Stephen Toulmin's Layout of Arguments to Mathematical Proof. In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia.
Jean Paul van Bendegem & Bart van Kerkhove (2009). Mathematical Arguments in Context. Foundations of Science 14 (1-2):45-57.
Edwin Coleman (2009). The Surveyability of Long Proofs. Foundations of Science 14 (1-2):27-43.
John W. Dawson Jr (2006). Why Do Mathematicians Re-Prove Theorems? Philosophia Mathematica 14 (3).
Frances Howard-Snyder (2012). The Power of Logic. Mcgraw-Hill.
Added to index2011-09-09
Total downloads28 ( #44,147 of 549,198 )
Recent downloads (6 months)1 ( #63,397 of 549,198 )
How can I increase my downloads?