Zayton, Benjamin (2022) Open Texture, Rigor, and Proof. [Preprint]
|
Text
ot_final_draft.pdf Download (322kB) | Preview |
Abstract
Open 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.
Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
Social Networking: |
Item Type: | Preprint | ||||||
---|---|---|---|---|---|---|---|
Creators: |
|
||||||
Keywords: | Mathematical Concepts; Rigor; Proof; Implicit Definition | ||||||
Subjects: | Specific Sciences > Mathematics > Methodology Specific Sciences > Mathematics > Practice Specific Sciences > Mathematics > Proof |
||||||
Depositing User: | Benjamin Zayton | ||||||
Date Deposited: | 01 Aug 2022 18:57 | ||||||
Last Modified: | 01 Aug 2022 18:57 | ||||||
Item ID: | 21008 | ||||||
Subjects: | Specific Sciences > Mathematics > Methodology Specific Sciences > Mathematics > Practice Specific Sciences > Mathematics > Proof |
||||||
Date: | 1 August 2022 | ||||||
URI: | https://philsci-archive.pitt.edu/id/eprint/21008 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
View Item |