TY - JOUR

T1 - Proclus' account of explanatory demonstrations in mathematics and its context

AU - Harari, Orna

PY - 2008/6

Y1 - 2008/6

N2 - I examine the question why in Proclus' view genetic processes provide demonstrative explanations, in light of the interpretation of Aristotle's theory of demonstration in late antiquity. I show that in this interpretation mathematics is not an explanatory science in the strict sense because its objects, being immaterial, do not admit causal explanation. Placing Proclus' account of demonstrative explanation in this context, I argue that this account is aimed at answering the question whether mathematical proofs provide causal explanation as opposed to grounds. I show further that Proclus can answer this question in the affirmative due to his realist view of mathematical objects and the priority he ascribes to causal relations over logical relations.

AB - I examine the question why in Proclus' view genetic processes provide demonstrative explanations, in light of the interpretation of Aristotle's theory of demonstration in late antiquity. I show that in this interpretation mathematics is not an explanatory science in the strict sense because its objects, being immaterial, do not admit causal explanation. Placing Proclus' account of demonstrative explanation in this context, I argue that this account is aimed at answering the question whether mathematical proofs provide causal explanation as opposed to grounds. I show further that Proclus can answer this question in the affirmative due to his realist view of mathematical objects and the priority he ascribes to causal relations over logical relations.

UR - http://www.scopus.com/inward/record.url?scp=70450064720&partnerID=8YFLogxK

U2 - 10.1515/AGPH.2008.006

DO - 10.1515/AGPH.2008.006

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.systematicreview???

AN - SCOPUS:70450064720

SN - 0003-9101

VL - 90

SP - 137

EP - 164

JO - Archiv fur Geschichte der Philosophie

JF - Archiv fur Geschichte der Philosophie

IS - 2

ER -