Prologue: Postmodern Logic
Published online by Cambridge University Press: 05 June 2012
Summary
Your discovery of the contradiction caused me the greatest surprise and, I would say, consternation. … It is all the more serious since, with the loss of my Rule V, not only the foundations of my arithmetic, but also the sole possible foundations of arithmetic, seem to vanish.
Gottlob Frege, “Letter to Russell,” 1902.The abstract sciences are those that cannot, and have no need to, negotiate the empirical check. This anyhow is a widely received view of the matter. An abiding question for such theories is this: What sorts of check can they negotiate, and does doing so preserve intuitive presumptions of objectivity and realism? There is a particularly vivid context for posing this question and reflecting on how it might be answered. The context is that of conflict resolution strategies for rival theories.
In a broadly accepted use, with which I concur, objectivity attaches to things when they exist apart from and antecedently to anyone's thought of them; and objectivity attaches to statements or beliefs when they are true, or false, apart from and antecedently to anyone's conceiving of them as so. Realism in turn is always realism about something – about abstract objects, about universals, about material things, and so on. The realisms that absorb us in this book are those that attribute this twofold objectivity to what I am calling abstract theories when they meet certain properly understood conditions of adequacy.
- Type
- Chapter
- Information
- Paradox and ParaconsistencyConflict Resolution in the Abstract Sciences, pp. xi - xviiiPublisher: Cambridge University PressPrint publication year: 2002