A N C I E N T S E L F - R E F U TAT I O N
ANCIENT SELF-REFUTATION
The Logic and History of the Self-Refutation
Argument from Democritus to Augustine
LUCA CASTAGNOLI
University of Durham
www.cambridge.org
Information on this title: www.cambridge.org/9780521896313
A catalogue record for this publication is available from the British Library
For Valentina
Contents
vii
viii Contents
7 Augustines turn 121
7.1 Truth is imperishable: a Consequentia Mirabilis in the Soliloquia (2.2.2) 121
7.2 Excursus: the medieval legacy of Augustines Ratio 129
8 Interim conclusions 139
References 362
Index of passages 380
General index 389
Illustrations
ix
Acknowledgements
First of all, I wish to express my deepest gratitude to Nick Denyer for the
skill, air and generosity with which he supervised my Cambridge doctoral
research on ancient self-refutation from October 2001 to December 2004:
without his original input I would have probably ended up writing a very
different book, and certainly a much worse one for that.
Warm thanks also go to Myles Burnyeat and David Sedley for their
invaluable comments and suggestions and for the unwavering support
manifested on a number of occasions in the last ten years. From Myless
work I have learnt more on ancient self-refutation than I could ever hope
to demonstrate in this book.
I am also delighted to be able to thank here Walter Cavini and Tony
Long, by whom I had the luck of being jointly supervised in 1998/9
for my undergraduate Tesi di Laurea Parentesi pirroniane; without this
preliminary work I could hardly have conceived (or dared to undertake)
the much broader project of which this book is the ultimate product. But
to Walter I owe innitely more than this: he introduced me to the wonders
of ancient philosophical thought during my four years as an undergraduate
philosophy student in Bologna, and was the rst to teach me what doing
research in this eld should mean.
In the last few years I have incurred several other debts of gratitude
towards many who, in various ways, have contributed with their input to
my research. In particular I wish to thank Fabio Acerbi, Jacques Brun-
schwig, Alan Code, Lorenzo Corti, Valentina Di Lascio, Paolo Fait, Jakob
Fink, Jean-Baptiste Gourinat, Geoffrey Lloyd, Alex Long, Diego Machuca,
Mark McPherran, Brian Morton, Simonetta Nannini, Mauro Nasti De
Vincentis, Emidio Spinelli, Katja Vogt, Robert Wardy, Mark Wildish and
two anonymous readers for Cambridge University Press.
I have also had the pleasure to present several parts of this book (at
various stages of their preparation) to a number of responsive audiences in
Acknowledgements xi
Rome, Cambridge, Bologna, Padua, Durham, Copenhagen, Berkeley and
St Andrews; I am glad to be able to thank these audiences here.
Needless to say, none of the colleagues and friends I have mentioned
ought to be considered responsible for any remaining errors this book may
contain.
St Johns College (October 2001September 2004) and Magdalene Col-
lege (October 2004August 2007) offered me the best imaginable condi-
tions (a fully funded Benefactors Scholarship and a stipendiary Lumley
Research Fellowship respectively) for pursuing my research, and I am very
glad to acknowledge here my gratitude to the fellows, members and staff
of both colleges. Warm thanks also go to my colleagues and students at the
Department of Classics and Ancient History of Durham University for the
friendly and stimulating working environment in which the nal revision
of this book took place.
An earlier and much shorter version of part i was published as Castagnoli
2007. Section 2 of chapter 4 of part i is a heavily abridged and revised version
of Castagnoli 2004a. Chapter 14 of part iii is a substantially revised and
extended version of Castagnoli 2000.
xii
Symbols abbreviations
not (negation)
if . . . then (implication)
and (conjunction)
or (disjunction)
if and only if (equivalence)
for every (universal quantier)
for some (existential quantier)
derivation
T true
F false
<text> <implicit or unstated>
[text] [my explanation or addition]
... gap in my quotation
<...> lacuna in the original text
aap The Sceptics Argument Against Proof (rst introduced
on p. 291)
at Aristotles Thesis (rst introduced on p. 106)
bt Boethius Thesis (rst introduced on p. 107)
cm Consequentia Mirabilis (rst introduced on p. 102)
ct Chrysippus Thesis (rst introduced on p. 109)
it Identity Thesis (rst introduced on p. 26)
kp Theaetetus denition of knowledge as perception (rst
introduced on p. 41)
md Protagoras Measure Doctrine (rst introduced on p. 41)
pap The Sceptics Proof Against Proof (rst introduced on p. 253)
pap The Sceptics Proof Against Proof (with an exception) (rst
introduced on p. 289)
pnc Principle of Non-Contradiction (rst introduced on p. 42)
xiii
xx List of abbreviations
Stoic. Rep. De Stoicorum Repugnantiis (On the
Contradictions of the Stoics)
Proclus
in Prmd. Commentary on Platos Parmenides
Theol. Plat. Theologia Platonica (Platonic Theology)
Quint. Quintilian
Inst. Orat. Institutio Oratoria (Institutions of Oratory)
schol. in Ammon. Scholium to Ammonius Commentary on
in Arist. APr. Aristotles Prior Analytics
Seneca
Mor. Epistulae Morales (Moral Letters)
S.E. Sextus Empiricus
M Adversus Mathematicos
(books 16: Against the Professors;
books 78: Against the Logicians;
books 910: Against the Physicists;
book 11: Against the Ethicists)
PH Pyrrhoneioi Hypotyposeis (Outlines of
Pyrrhonism)
Stob. Stobaeus
Flor. Florilegium (Anthology)
Syrian. Syrianus
in Metaph. Commentary on Aristotles Metaphysics
Thomas Aquinas
Sum. Theol. Summa Theologiae (Synopsis of Theology)
Ver. Quaestiones Disputatae de Veritate
(Disputed Questions on Truth)