Philosophia Scientae 18:111-125 (2014)

Authors
Ioannis Vandoulakis
Hellenic Open University
Abstract
The concept of proof can be studied from many different perspectives. Many types of proofs have been developed throughout history such as apodictic, dialectical, formal, constructive and non-constructive proofs, proofs by visualisation, assumption-based proofs, computer-generated proofs, etc. In this paper, we develop Goguen’s general concept of proof-events and the methodology of algebraic semiotics, in order to define the concept of mathematical style, which characterizes the proofs produced by different cultures, schools or scholars. In our view, style can be defined as a semiotic meta-code that depends on the underlying mode of signification (semiosis), the selected code and the underlying semiotic space and determines the individual mode of integration (selection, combination, blending) into a narrative structure (proof). Finally, we examine certain historical types of styles of mathematical proofs, to elucidate our viewpoint.
Keywords Mathematical Proof  Proof events  Joseph A. Goguen  Style of mathematical proof
Categories (categorize this paper)
DOI 10.4000/philosophiascientiae.1010
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,355
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Scope of Hermeneutics in Natural Science.Patrick A. Heelan - 1998 - Studies in History and Philosophy of Science Part A 29 (2):273-298.
The Scope of Hermeneutics in Natural Science.Patrick A. Heelan - 1998 - Studies in History and Philosophy of Science Part A 29 (2):273-298.
The Web as a Tool for Proving.Petros Stefaneas & Ioannis M. Vandoulakis - 2014 - In Harry Halpin & Alexandre Monnin (eds.), Philosophical Engineering: Toward a Philosophy of the Web. Wiley-Blackwell. pp. 149-167.

View all 7 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Armstrong on the Spatio-Temporality of Universals.Ernâni Magalhães - 2006 - Australasian Journal of Philosophy 84 (2):301 – 308.
Proofs as Spatio-Temporal Processes.Petros Stefaneas & Vandoulakis - 2014 - Philosophia Scientiae 18:111-125.
Granular Spatio-Temporal Ontologies.Thomas Bittner & Barry Smith - 2003 - In AAAI Symposium: Foundations and Applications of Spatio-Temporal Reasoning (FASTR). pp. 12-17.
Space and Time.Richard Swinburne - 1968 - New York: St. Martin's Press.
An Ontology for Event Semantics.Christopher Jude Pinon - 1995 - Dissertation, Stanford University
Obiekty fizyczne.Zdzisław Augustynek - 1995 - Filozofia Nauki 3.
Temporal Mereology.Berit Brogaard-Pedersen - 2000 - Dissertation, State University of New York at Buffalo
A Neo-Hintikkan Theory of Attitude Ascriptions.Peter Alward - 2005 - Kriterion - Journal of Philosophy 19 (1):1-11.

Analytics

Added to PP index
2016-02-04

Total views
19 ( #585,017 of 2,519,515 )

Recent downloads (6 months)
1 ( #407,153 of 2,519,515 )

How can I increase my downloads?

Downloads

My notes