On Mathematical Elucidation
José Seoane, “On Mathematical Elucidation,” Revista Portuguesa de Filosofia 73, no. 3–4 (2017): 1405–22, DOI 10.17990/RPF/2017_73_3_1405.
José Seoane, “On Mathematical Elucidation,” Revista Portuguesa de Filosofia 73, no. 3–4 (2017): 1405–22, DOI 10.17990/RPF/2017_73_3_1405.
Type | Journal Article |
---|---|
Author | José Seoane |
Rights | © 2018 Aletheia - Associação Científica e Cultural | © 2018 Revista Portuguesa de Filosofia |
Volume | 73 |
Issue | 3-4 |
Pages | 1405-1422 |
Publication | Revista Portuguesa de Filosofia |
ISSN | 0870-5283; 2183-461X |
Date | 2017 |
DOI | 10.17990/RPF/2017_73_3_1405 |
Language | English |
Abstract | From the traditional point of view, mathematical elucidation is usually characterized fundamentally in terms of what it is not. What does elucidating mean in mathematics? It is not the appropriate tool for demonstrating theorems. Elucidatory processes do not end in theorems and their justification strategies are not proofs. The conclusions of such processes are called “theses” (in opposition to “theorems”), and relatively scarce philosophical attention has been given to the justification of such theses. The purpose of this paper is to outline a positive conception of mathematical elucidation, in an attempt to capture its specific features and, in particular, to explore the structure of the justifications of the theses. The main conclusion of this paper points to underlining the contribution of elucidatory processes to the dynamic rationality of mathematical practice. |
Date Added | 17/01/2018, 17:51:11 |
Modified | 18/01/2018, 10:37:07 |
Barwise, Jon. “The Realm of First-Order Logic,” in Handbook of Mathematical Logic, edited by Jon Barwise. Amsterdam: North Holland Publishers Company, 1977.
Berk, Lon A. “Hilbert’s Thesis: Some Considerations about Formalization of Mathematics.” Ph.D. diss., Washington University, 1982.
Boolos, George S., Burgess, John P., and Jeffrey, Richard C. Computability and Logic. Cambridge, Massachusetts: Cambridge University Press, 2007.
Chateaubriand, Oswaldo. Logical Forms, Part II. Campinas: Universidade de Campinas, Colecão CLE, vol. 42, 2005.
Coffa, Alberto. “Dos concepciones de la elucidación filosófica.” Crítica 7, no. 21 (1975): 43-67.
Ertola Biraben, Rodolfo C. Tese de Church: Algumas Questões Histórico-Conceituais. Campinas: Universidade de Campinas, Colecão CLE, vol. 16, 1996.
Etchemendy, John The Concept of Logical Consequence. Cambridge, Massachusetts: Harvard University Press, 1990.
Jané, Ignacio. “What is Tarski’s Common Concept of Consequence?” The Bulletin of Symbolic Logic 12, no. 1 (2006).
Lassalle Casanave, Abel, and Panza, Marco. “Pruebas canónicas y pruebas entimemáticas en la geometría plana de Euclides.” Revista Latinoamericana de Filosofía 151, 2 (2015): 147-170.
Mendelson, Elliot. “Second Thoughts about Church’s Thesis and Mathematical Proofs.”, The Journal of Philosophy 87, no. 5 (1990).
Poincaré, Henri. La valeur de la science. Éditions La Bibliothèque Digitale, 1911.
Poincaré, Henri. The Value of Science. Dover Publications, 1958.
Quine, Willard van Orman. Word and Object. Cambridge, Massachusetts: The MIT Press, 2013.
Ray, Greg. “Logical Consequence. A Defense of Tarski.” Journal of Philosophical Logic 25 (1996): 617-677.
Seoane, José. “Intuiciones y formalismos.” Ph.D. diss., Universidad Nacional de Córdoba, Argentina, 2003.
Seoane, José. The Concept of Mathematical Elucidation: Theory and Problems. Campinas: Universidade de Campinas, CLE e-prints, vol. 6, no. 4, 2006.
Seoane, José. “Elucidando el concepto de demostración. Observaciones sobre Chateaubriand,” in Carnielli, Walter A. and da Silva, Jairo J. (eds.), “Logic, Language and Knowledge. Essays on Chateaubriand’s Logical Forms,” Manuscrito – Rev. Int. Fil. 31, no. 1, Campinas (2008).
Simpson, Thomas M. “Análisis y eliminación: una módica defensa de Quine.” Crítica 7, no. 21 (1975): 69-83.
Simpson, Thomas M. “Elucidaciones filosóficas.” Crítica 27, no. 79 (1995): 86-91.