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: 93,590

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

On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Proofs, pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
Who's Afraid of Mathematical Diagrams?Silvia De Toffoli - 2023 - Philosophers' Imprint 23 (1).
The three dimensions of proofs.Yves Guiraud - 2006 - Annals of Pure and Applied Logic 141 (1):266-295.
Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.

Analytics

Added to PP
2022-11-11

Downloads
9 (#449,242)

6 months
6 (#1,472,471)

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