Abstract
AbstractOpen texture is a kind of semantic indeterminacy first systematically studied by Waismann. In this paper, extant definitions of open texture will be compared and contrasted, with a view towards the consequences of open-textured concepts in mathematics. It has been suggested that these would threaten the traditional virtues of proof, primarily the certainty bestowed by proof-possession, and this suggestion will be critically investigated using recent work on informal proof. It will be argued that informal proofs have virtues that mitigate the danger posed by open texture. Moreover, it will be argued that while rigor in the guise of formalisation and axiomatisation might banish open texture from mathematical theories through implicit definition, it can do so only at the cost of restricting the tamed concepts in certain ways.
Funder
Ludwig-Maximilians-Universität München
Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference55 articles.
1. Azzouni, J. (2004). The derivation-indicator view of mathematical practice. Philosophia Mathematica, 12(2), 81–106. https://doi.org/10.1093/philmat/12.2.81
2. Azzouni, J. (2020). The algorithmic-device view of informal rigorous mathematical proof. In B. Sriraman (Ed.), Handbook of the history and philosophy of mathematical practice (pp. 1–82). Springer International Publishing.
3. Bagaria, J. & Ternullo, C. (2020). Steel’s Programme: evidential framework, the core and ultimate-L. The review of symbolic logic (pp. 1–25). https://doi.org/10.1017/S1755020321000447.
4. Belnap, N. (1993). On rigorous definitions. Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, 72(2/3), 115–146.
5. Bix, B. H. (2013). Defeasibility and open texture. In The logic of legal requirements: Essays on defeasibility. Oxford University Press.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献