Carroll’s Infinite Regress and the Act of Diagramming
Tóm tắt
The infinite regress of Carroll’s ‘What the Tortoise said to Achilles’ is interpreted as a problem in the epistemology of mathematical proof. An approach to the problem that is both diagrammatic and non-logical is presented with respect to a specific inference of elementary geometry.
Tài liệu tham khảo
Avigad J (2003) Number theory and elementary arithmetic. Philosophia Mathematica 11:257–284
Avigad J, Dean E, Mumma J (2009) A formal system for Euclid’s elements. Rev Symb Log 2:700–768
Carroll L (1895) What the tortoise said to achilles. Mind 104:691–693
Detlefsen M (1992) Poincaré against the logicians. Synthese 90:349–378
Hilbert D (1971) Foundations of geometry. Open Court Publishing Company, La Salle
Knauff M (2013) Space to reason: a spatial theory of human thought. MIT Press, Cambridge
Manders K (2008) The Euclidean diagram. In: Mancosu (ed) Philosophy of mathematical practice. Clarendon Press, Oxford, pp 112–183
Mumma J (2010) Proofs, pictures, and Euclid. Synthese 175:255–287
Pasch M (1882) Vorlesungen über neure geometrie. B.G. Teubner, Leipzig
Prawitz D (2005) Logical consequence from a constructivist point of view. In: Shapiro S (ed) Oxford handbook of philosophy of math and logic. Oxford University Press, Oxford, pp 671–695
Prawitz D (2009) Inference and knowedge. In: Pělis M (ed) Logica yearbook 2008. College Publications, London, pp 175–192
Prawitz D (2012) The epistemic significance of valid inference. Synthese 187:887–898
Prawitz D (2013) Validity of inference. In: Frauchiger M (ed) Reference, rationality, and phenomenlogy: themes from F\(\upphi\)llesdol. Ontos Verlag, Heusenstamm, pp 179–204
Stroud B (1979) Inference, belief, and understanding. Mind 88:179–196