Temporal display of gestures in diagrammatic proof

Metodo. International Studies in Phenomenology and Philosophy 9 (1):119-142 (2021)
  Copy   BIBTEX

Abstract

According to the deductivist view of mathematics which became the rule during the nineteenth century, formal proofs working with symbolic formulas replaced the intuitive knowledge that used to be gained by the step-by-step construction of geometric fgures and diagrams. Twentieth century epistemological refection on symbolic formulas and formal proofs, however, took them to be diagrams respectively exhibiting formal relations and transformations. The claim was also made that, for such diagrams to be proofs, temporal displays of transformations—and of other speech acts—were required. By returning to the signifcant elements of contemporary theories of mathematical proofs, we will here show how these proofs came to be a matter for semiotics and pragmatics as much as for formal logic. Once this is done, we will provide a few arguments against the standard objections to the ability of diagrams to present temporal order or perform speech acts.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
A Complete System of Proof for Diagrammatic Languages.Thomas Russell Lippincott - 1994 - Dissertation, University of California, Berkeley
Gestures as diagrams from Peirce's mature semeiotic.Vitral Leticia Queiroz João - 2021 - Metodo. International Studies in Phenomenology and Philosophy 9 (1):237-260.
Proof: Its nature and significance.Michael Detlefsen - 2008 - In Bonnie Gold & Roger A. Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. Mathematical Association of America. pp. 1.
Who's Afraid of Mathematical Diagrams?Silvia De Toffoli - 2023 - Philosophers' Imprint 23 (1).

Analytics

Added to PP
2022-11-11

Downloads
8 (#1,310,468)

6 months
6 (#509,139)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references