Epistemic Roles of Diagrams in Short Proofs
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
Epistemic Roles of Diagrams in Short Proofs. / Sørensen, Henrik Kragh; Johansen, Mikkel Willum.
Diagrammatic Representation and Inference. Springer, 2022. p. 235–242 (Lecture Notes in Computer Science, Vol. 13462).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - GEN
T1 - Epistemic Roles of Diagrams in Short Proofs
AU - Sørensen, Henrik Kragh
AU - Johansen, Mikkel Willum
PY - 2022
Y1 - 2022
N2 - Recent case studies in the philosophy of mathematical practice have pointed out that certain types of diagrams play epistemic roles in mathematical proofs. To complement such case studies and provide a quantitative basis for further analysis and discussions, we undertake an empirical study based on a large and contemporary corpus of mathematical texts. Following an a priori assumption that diagrams in short proofs carry more epistemic warrant, we focus on 1- or 2-sentence proofs that refer to diagrams, and we build a corpus of such proofs from the arXiv. Based on this corpus we analyze and develop a typology of such proofs in order to conduct selected qualitative close-readings of diagrams in their argumentative contexts. This leads us to discuss tensions between visual and syntactical aspects of diagrams that suggest that hybrid diagrams play distinct roles in mathematical practice.
AB - Recent case studies in the philosophy of mathematical practice have pointed out that certain types of diagrams play epistemic roles in mathematical proofs. To complement such case studies and provide a quantitative basis for further analysis and discussions, we undertake an empirical study based on a large and contemporary corpus of mathematical texts. Following an a priori assumption that diagrams in short proofs carry more epistemic warrant, we focus on 1- or 2-sentence proofs that refer to diagrams, and we build a corpus of such proofs from the arXiv. Based on this corpus we analyze and develop a typology of such proofs in order to conduct selected qualitative close-readings of diagrams in their argumentative contexts. This leads us to discuss tensions between visual and syntactical aspects of diagrams that suggest that hybrid diagrams play distinct roles in mathematical practice.
U2 - 10.1007/978-3-031-15146-0_20
DO - 10.1007/978-3-031-15146-0_20
M3 - Konferencebidrag i proceedings
SN - 978-3-031-15145-3
T3 - Lecture Notes in Computer Science
SP - 235
EP - 242
BT - Diagrammatic Representation and Inference
PB - Springer
T2 - Diagrams 2022
Y2 - 13 September 2022 through 17 September 2022
ER -
ID: 319604401