The language of the “Givens”: its forms and its use as a deductive tool in Greek mathematics

Archive for History of Exact Sciences 65 (2):119-153 (2011)
  Copy   BIBTEX

Abstract

The aim of this article is to present and discuss the language of the «givens», a typical stylistic resource of Greek mathematics and one of the major features of the proof format of analysis and synthesis. I shall analyze its expressive function and its peculiarities, as well as its general role as a deductive tool, explaining at the same time its particular applications in subgenres of a geometrical proposition like the locus theorems and the so-called «porisms». The main interpretative theses of this study are the following: the language of the «givens» (1) is the standard idiom in which “existence and uniqueness” of a mathematical object was proved, (2) was conceived as an unified framework reducing to a strictly deductive format disparate argumentative steps such as deductions, constructions, and calculations.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

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

Knowledge of Mathematics without Proof.Alexander Paseau - 2015 - British Journal for the Philosophy of Science 66 (4):775-799.
Proof-analysis and continuity.Michael Otte - 2004 - Foundations of Science 11 (1-2):121-155.
Linguistic formulae as cognitive tools.Reviel Netz - 1999 - Pragmatics and Cognition 7 (1):147-176.
On the Justification of Deductive Logic.Zuo-li Wang - 2006 - Nankai University (Philosophy and Social Sciences) 6:106-113.
Non-deductive logic in mathematics.James Franklin - 1987 - British Journal for the Philosophy of Science 38 (1):1-18.
Non-Language Thinking in Mathematics.Dieter Lohmar - 2012 - Axiomathes 22 (1):109-120.
Mathematical Deduction by Induction.Christy Ailman - 2013 - Gratia Eruditionis:4-12.
The Role of Geometrical Construction in Theodosius’s Spherics.Ken Saito & Nathan Sidoli - 2009 - Archive for History of Exact Sciences 63 (6):581-609.
Classical Logic.Stewart Shapiro & Teresa Kouri Kissel - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
Peirce's Philosophy of Logic.Jay Zeman - 1986 - Transactions of the Charles S. Peirce Society 22 (1):1 - 22.

Analytics

Added to PP
2020-02-03

Downloads
10 (#1,217,423)

6 months
7 (#486,539)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The concept of given in Greek mathematics.Nathan Sidoli - 2018 - Archive for History of Exact Sciences 72 (4):353-402.
Euclid’s Kinds and (Their) Attributes.Benjamin Wilck - 2020 - History of Philosophy & Logical Analysis 23 (2):362-397.

Add more citations

References found in this work

A History of Ancient Mathematical Astronomy, 3 vol.O. Neugebauer - 1981 - Revue Philosophique de la France Et de l'Etranger 171 (2):244-246.

Add more references