LOGICAL AND MATHEMATICAL INFERENCE: SYNTAX AND SEMANTICS OF PROOF
https://doi.org/10.25205/2541-7517-2018-16-3-28-37
Abstract
The paper treats the relation between mathematical and logical inferences in mathematics and analyses an ontological approach for explaining the indispensability of the semantic content from mathematical proof. It was shown that such an approach entails serious metaphysical commitments, that is why it is concluded that the epistemological approach is preferable in explaining the nature of the difference between the formal and mathematical inferences.
References
1. Azzouni J. The derivation-indicator view of mathematical practice // Philosophia Mathematica. 2004. Vol. 12. No. 3. P. 81-105.
2. Field H. Science without numbers. A defense of nominalism. Princeton: Princeton Univ. Press, 1980.
3. Hamami Y. Mathematical inference and logical inference // The Review of Symbolic Logic. 2018. No. 1. Р. 1-40.
4. Kreisel G. The formalist-positivist doctrine of mathematical precision in the light of experience // L’ Âge de la Science. 1969. No. 3. Р. 17-46.
5. Leitgeb H. On formal and informal provability // New Waves in Philosophy of Mathematics. Eds. Ø. Linnebo, O. Bueno. New York: Palgrave Macmillan, 2009. P. 263-299.
6. Putnam H. What is mathematical truth? // Putnam H. Mathematics matter and method: Philosophical papers. Cambridge: Cambridge Univ. Press, 1979. Vol. 1. Р. 60-79.
7. Rav Y. Why Do We Prove Theorems? // Philosophia Mathematica. 1999. Vol. 7. No. 3. Р. 5-41.
8. Steiner M. The applicability of mathematics as a philosophical problem. Harvard Univ. Press, 1998.
Review
For citations:
Khlebalin A.V. LOGICAL AND MATHEMATICAL INFERENCE: SYNTAX AND SEMANTICS OF PROOF. Siberian Journal of Philosophy. 2018;16(3):28-37. (In Russ.) https://doi.org/10.25205/2541-7517-2018-16-3-28-37
Views:
137
Email this article 