Epistemic Roles of Diagrams in Short Proofs

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Standard

Epistemic Roles of Diagrams in Short Proofs. / Sørensen, Henrik Kragh; Johansen, Mikkel Willum.

Diagrammatic Representation and Inference. Springer, 2022. s. 235–242 (Lecture Notes in Computer Science, Bind 13462).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Harvard

Sørensen, HK & Johansen, MW 2022, Epistemic Roles of Diagrams in Short Proofs. i Diagrammatic Representation and Inference. Springer, Lecture Notes in Computer Science, bind 13462, s. 235–242, Diagrams 2022, Rome, Italien, 13/09/2022. https://doi.org/10.1007/978-3-031-15146-0_20

APA

Sørensen, H. K., & Johansen, M. W. (2022). Epistemic Roles of Diagrams in Short Proofs. I Diagrammatic Representation and Inference (s. 235–242). Springer. Lecture Notes in Computer Science Bind 13462 https://doi.org/10.1007/978-3-031-15146-0_20

Vancouver

Sørensen HK, Johansen MW. Epistemic Roles of Diagrams in Short Proofs. I Diagrammatic Representation and Inference. Springer. 2022. s. 235–242. (Lecture Notes in Computer Science, Bind 13462). https://doi.org/10.1007/978-3-031-15146-0_20

Author

Sørensen, Henrik Kragh ; Johansen, Mikkel Willum. / Epistemic Roles of Diagrams in Short Proofs. Diagrammatic Representation and Inference. Springer, 2022. s. 235–242 (Lecture Notes in Computer Science, Bind 13462).

Bibtex

@inproceedings{311f31e04d7e418d9429bc891bd46f1d,
title = "Epistemic Roles of Diagrams in Short Proofs",
abstract = "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.",
author = "S{\o}rensen, {Henrik Kragh} and Johansen, {Mikkel Willum}",
year = "2022",
doi = "10.1007/978-3-031-15146-0_20",
language = "Dansk",
isbn = "978-3-031-15145-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "235–242",
booktitle = "Diagrammatic Representation and Inference",
address = "Schweiz",
note = "Diagrams 2022 : 13th International Conference on the Theory and Application of Diagrams ; Conference date: 13-09-2022 Through 17-09-2022",
url = "http://www.diagrams-conference.org/2022/",

}

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