Philoponus and Aristotelian demonstrations 227
Lloyd , A. C. ( 1990 ) Th e Anatomy of Neoplatonism. Oxford.
Mancosu , P. ( 1992 ) ‘ Aristotelian logic and Euclidean mathematics: seventeenth
century developments of the Quaestio de certitudine mathematicarum ’,
Studies in History and Philosophy of Science 23 : 241 –65.
( 1996 ) Philosophy of Mathematics and Mathematical Practice in the Seventeenth
Century. Oxford.
McKirahan , R. ( 1992 ) Principles and Proofs: Aristotle’s Th eory of Demonstrative
Science. Princeton, NJ.
Mendell , H. ( 1998 ) ‘ Making sense of Aristotelian demonstration ’, Oxford Studies in
Ancient Philosophy 16 : 169 –78.
Morrison , D. ( 1997 ) ‘ Philoponus and Simplicius on tekmeriodic proofs ’, in Method
and Order in Renaissance Philosophy of Nature: Th e Aristotle Commentary
Traditi on , ed. D. A. Di Liscia , E. Kessler and C. Methuen. Aldershot : 1 –22.
Mueller , I. ( 1975 ) ‘ Greek mathematics and Greek logic ’, in Ancient Logic and Its
Modern Interpretation , ed. J. Corcoran. Dordrecht : 35 –70.
( 1990 ) ‘ Aristotle’s doctrine of Abstraction in the Commentators ’, in Aristotle
Transformed: Th e Ancient Commentators and Th eir Infl uence , ed.
R. Sorabji. Ithaca, NY : 463 –80.
Russell , B. ( 1992 ) Principles of Mathematics (fi rst edn 1903). London.