PhilSci Archive

From Euclidean Geometry to Knots and Nets

Larvor, Brendan (2017) From Euclidean Geometry to Knots and Nets. [Preprint]

[img]
Preview
Text
Manders a model for modern maths--final submission.pdf

Download (919kB) | Preview

Abstract

this paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli & Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if a) it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object b) the information thus displayed is not metrical and c) it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Larvor, Brendanb.p.larvor@herts.ac.uk0000-0003-0921-1659
Keywords: Proof; derivation; geometry; diagram
Subjects: Specific Sciences > Mathematics > Practice
Depositing User: Dr Brendan Larvor
Date Deposited: 08 Sep 2017 22:25
Last Modified: 08 Sep 2017 22:25
Item ID: 13403
Subjects: Specific Sciences > Mathematics > Practice
Date: September 2017
URI: https://philsci-archive-dev.library.pitt.edu/id/eprint/13403

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item