A Note on the Relation Between Formal and Informal Proof
Acta Analytica 25 (4):447-458 (2010)
| Abstract | Using Carnapâs concept explication, we propose a theory of concept formation in mathematics. This theory is then applied to the problem of how to understand the relation between the concepts formal proof (deduction) and informal, mathematical proof. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMarianna Antonutti Marfori (2010). Informal Proofs and Mathematical Rigour. Studia Logica 96 (2):261-272.
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.
Bernhard Weiss (1997). Proof and Canonical Proof. Synthese 113 (2):265-284.
Jean Paul van Bendegem & Bart van Kerkhove (2009). Mathematical Arguments in Context. Foundations of Science 14 (1-2):45-57.
Andrew Aberdein (2006). The Informal Logic of Mathematical Proof. In Reuben Hersh (ed.), 18 Unconventional Essays About the Nature of Mathematics. Springer-Verlag.
Andrew Aberdein (2006). Managing Informal Mathematical Knowledge: Techniques From Informal Logic. Lecture Notes in Artificial Intelligence 4108:208--221.
R. A. V. Yehuda (1999). Why Do We Prove Theorems? Philosophia Mathematica 7 (1).
Carlo Cellucci (2008). Why Proof? What is a Proof? In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, pp. 1-27. Springer.
Ralph H. Johnson (1999). The Relation Between Formal and Informal Logic. Argumentation 13 (3):265-274.
Francisco Antonio Doria (2007). Informal Versus Formal Mathematics. Synthese 154 (3):401 - 415.
Analytics
Monthly downloads |
Added to index2010-01-23Total downloads17 ( #72,089 of 556,897 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
