Professional Documents
Culture Documents
Admir Skodo, Ed., Other Logics - Alternatives To Formal Logic in The History of Thought and Contemporary Philosophy-2014
Admir Skodo, Ed., Other Logics - Alternatives To Formal Logic in The History of Thought and Contemporary Philosophy-2014
Admir Skodo, Ed., Other Logics - Alternatives To Formal Logic in The History of Thought and Contemporary Philosophy-2014
Philosophy of
History and Culture
Edited by
Advisory Board
VOLUME 33
Edited by
Admir Skodo
LEIDEN | BOSTON
Library of Congress Cataloging-in-Publication Data
Other logics : alternatives to formal logic in the history of thought and contemporary philosophy / edited by
Admir Skodo.
pages cm. — (Philosophy of history and culture, ISSN 0922-6001 ; VOLUME 33)
Includes bibliographical references and index.
ISBN 978-90-04-27003-9 (hardback : alk. paper) — ISBN 978-90-04-27018-3 (e-book) 1. Logic—History.
I. Skodo, Admir, editor of compilation.
BC15.O84 2014
160—dc23
2013050314
This publication has been typeset in the multilingual ‘Brill’ typeface. With over 5,100 characters covering
Latin, ipa, Greek, and Cyrillic, this typeface is especially suitable for use in the humanities.
For more information, please see brill.com/brill-typeface.
issn 0922-6001
isbn 978 90 04 27003 9 (hardback)
isbn 978 90 04 27018 3 (e-book)
Acknowledgments vii
Notes on Contributors viii
Introduction 1
Admir Skodo
PART 1
Perspectives from the History of Thought 15
PART 2
Perspectives from Contemporary Philosophy 101
6 Representationalist Logic 103
Frank Ankersmit
7 On Logical Aliens 123
Alessandra Tanesini
8 The Heart of Metaphysical Pluralism and the Consistency Dilemma:
A Critical Analysis of the Possibility of Incompatible Truths 148
Thord Svensson
vi contents
Indices
Name 235
Subject 237
Acknowledgments
Frank Ankersmit
is Professor Emeritus of Intellectual History and Historical Theory at the
University of Groningen. A renowned philosopher of history and intellectual
historian, Ankersmit’s publications include Narrative Logic (1983), History and
Tropology (1994); Aesthetic Politics (1996) Historical Representation (2001), and
most recently Meaning, Truth, and Reference in Historical Representation
(2013).
Ervik Cejvan
is a doctoral candidate in the philosophy of religion at Lund University. He is
currently finishing his doctoral thesis on the concept of madness in the
thought of Plato, Lacan, and Bataille. He is the co-editor of and chapter
contributor to the book Tillvarons utmaningar (2012).
Giuseppina D’Oro
is Reader in Philosophy at Keele University. She has published widely on the
philosophy of action and the philosophy of science. Key publications include
Collingwood and the Metaphysics of Experience (2002), and a number of
articles in refereed philosophical journals.
Karim Dharamsi
is Associate Professor of Philosophy at Mount Royal University. He has
previously published articles and book chapters on moral philosophy.
Christopher Fear
is a doctoral candidate in Philosophy and Politics at the University of Exeter.
He is finishing his doctoral thesis on Collingwood’s philosophy of history. An
article on Collingwood’s philosophy of history has recently been published by
the journal History of the Human Sciences (2013).
Anders Kraal
is a Postdoctoral Fellow at the University of Calgary. Kraal works on the
philosophy of logic and theology. He has published articles on these topics in
the journals Philosophy Compass and History and Philosophy of Logic.
notes on contributors ix
Johan Modée
is a Senior Lecturer at Malmö University College. He works on the philosophy
of religion and the philosophy of science. Modée has published numerous
articles and book chapters, and is the co-editor of Mänskliga rättigheter och
religion (2011), and Frihet och gränser (2006).
Admir Skodo
is a Postdoctoral Scholar at the University of California at Berkeley, and
President of the UC Berkeley Humanities and Social Sciences Association.
Skodo works on modern European cultural and intellectual history. He has
published articles in numerous refereed journals. Skodo is currently finishing
a book on new idealist philosophy and post-World War II English
historiography.
Thord Svensson
is a doctoral candidate in the philosophy of religion at Lund University. He is
currently finishing his doctoral thesis on religion and metaphysical pluralism.
Svensson is the main editor of and chapter contributor to the book Tillvarons
Utmaningar (2012).
Alessandra Tanesini
is Professor of Philosophy at Cardiff University. She has published on the
philosophy of feminism, Wittgenstein, and epistemology. Key publications
include An Introduction to Feminist Epistemologies (1999), and Wittgenstein:
A Feminist Introduction (2004).
Christopher Watkin
is Senior Lecturer and Convenor of French Studies at Monash University.
Watkin works on contemporary French philosophy. Key publications include
Difficult Atheism: Post-theological Thinking in Alain Badiou, Jean-Luc Nancy
and Quentin Meillassoux (2011).
1 Cf. Anssi Korhonen, Logic as a Universal Science: Russell’s Early Logicism and its Philosophical
Context (Basingstoke and New York: Palgrave Macmillan, 2013).
different conceptions of thinking, formal logic is the best, for it alone is con-
ducive to perfect reasoning. The universalist or absolutist, finally, agrees with
both the purist and the perfectionist, but adds that since there are imperfect
ways of reasoning, it is the duty of logic to combat and replace them with one
true logic. Such views, in various degrees and combinations, can be found in
works on the philosophy of logic, in common textbooks of logic used in teach-
ing at the undergraduate and graduate levels,2 as well as in scholarly journals
devoted to the study of logic, such as Journal of Symbolic Logic and History and
Philosophy of Logic.
For instance, we find such views propagated in recent handbooks of the his-
tory of logic, as in Handbook of the History of Logic from 2004.3 This work covers
the period 1685 to 1900, and sweepingly argues for a “mathematical turn” in
logic, even discussing the “imperial designs of mathematicians,” which, once
these designs began acting as maps for logicians for understanding the ter-
rain that is human thought, became the imperial designs of logicians. Leibniz,
Frege, and Russell are seen as the heroes of this plot, which, moreover, confi-
dently asserts that regardless of their different social, cultural, political, and
personal contexts, logicians during this period thought about the same con-
cepts and principles, saw the same problems, and even offered the same solu-
tions to those problems. In other words, logic in this book is assumed to be a
monolithic entity, impervious and independent from concrete human life, and
yet the only true standard of all human rational thought.
Such a purist and universalist view of logic has a strange effect in the hand-
book: Kant and Hegel are included, but not as having worked on logic in the
“real” sense of the term. Thus, on this view “Kant is not a major contributor to
the development of formal logic. He fails, too, in his most conspicuous efforts
to build his transcendental logic on clues provided by formal logic.”4 Mary
Tiles, the author of the chapter on Kant, argues that Kant was much broader in
his view of logic than the definition of the handbook as a whole would have it,
and she argues that he was rightly so. Therefore, she continues, Kant should be
seen as a revisionist of logic, who posited a “transcendental logic,” as opposed
2 Jon Barwise and John Etchemendy, Language, Proof, and Logic (Chicago: The University of
Chicago Press, 2002); John P. Burgess, Philosophical Logic (Princeton: Princeton University
Press, 2009).
3 Handbook of the History of Logic: Volume 3: The Rise of Modern Logic from Leibniz to Frege,
ed. Dov M. Gabbay & John Woods (Amsterdam: Elsevier, 2004).
4 Mary Tiles, “Kant: From General to Transcendental Logic,” in Handbook of the History of
Logic: Volume 3: The Rise of Modern Logic from Leibniz to Frege, ed. Dov M. Gabbay & John
Woods (Amsterdam: Elsevier, 2004), 85–130, 85.
Introduction 3
Moreover, it is claimed that this concept of logic corresponds to the way peo-
ple have reasoned in the past (philosophers in the main). Thus, in a passage
worth quoting in full:
To put it succinctly: “modern logicians believed that there is one and only one
true logic.”14 The Development, however, argues that this particular purism-
universalism has been rejected after Leibniz. But what has been rejected is
not the purist-universalist disposition, but rather the belief that natural lan-
guage harbors logic in its purity and universality. After Leibniz came a great
dissatisfaction with natural language, and the reasoning waged within such
a form. Logicians after Leibniz opined that natural language could not ade-
quately mirror the world, and so they tried to construct artificial languages that
could perform that most difficult task. With the Handbook, The Development
agrees that at one point logic took a “mathematical turn.” Modern philosophi-
cal logic thereby became a “science” that studies valid reasoning “in artificial
languages.”15 How The Development of Modern Logic connects the belief that
logic is about how people actually reason, to the belief that logic is about an
artificial language that deems the way people reason fundamentally flawed is
neither explained nor justified.
The chapter “The Philosophy of Alternative Logics” in The Development is
one that, in our view, rightly propounds the need to acknowledge the rather
fluid and plural nature of logic. To some extent, it represents the line of inquiry
philosophers such as Susan Haack have pursued.16 Thus, the genus “logic” is
extended to entail the species “intuitionistic logic,” “quantum logic,” “relevance
17 Andrew Aberdein and Stephen Reid, “The Philosophy of Alternative Logics,” in The
Development of Modern Logic, ed. Leila Haaparanta (Oxford: Oxford University Press,
2009), 613–724.
18 Aberdein and Reid, “The Philosophy,” 613.
19 Frank Ankersmit, Narrative Logic: A Semantic Analysis of the Historian’s Language
(The Hague: Martinus Nijhoff, 1983).
Introduction 7
Logic,” his views on logic in the sciences. Another example is the attempt to
construct “the logic of the history of ideas” that starts out from the way his-
torian’s actually reason and use language in order to, based on Wittgenstein,
draw out the procedures appropriate to such reasoning. Such a logic crucially
differs from formal logic in appealing to concrete human traditions and beliefs
formed within those traditions as the fundamental schemas in which reason-
ing takes place.20
Another important contemporary alternative logician is Jaakko Hintikka
who, drawing, among others, on the British idealist R.G. Collingwood, argues
that “we have to make a new start in practically all branches of philosophical
studies including logic, foundations of mathematics, language theory, episte-
mology, and philosophical methodology.”21 Hintikka sees the major problem of
prevalent formal logics as being too narrow to incorporate a logic of knowledge
acquisition. Moreover, formal logics cannot cope with the fact that thinking is
a multi-dimensional activity, involving social and various cognitive faculties,
which must be taken into account if logic is to be able to explicate a logic of
knowledge acquisition.22 As it stands now, the purism, perfectionism, and uni-
versalism of logic can only be defended with a view of logic that is meagre, one
Hintikka calls a logic of definitory rules.
Formal logics have also been questioned from the field of contemporary
political and social philosophy.23 Anglo-American political philosophers have
argued that if we are to understand how politics and political thought proceeds
and constitutes political and social reality, then we must acknowledge that for-
mal logic and dialectical logic are ill equipped on their own to enable such an
understanding. Michael Freeden, for example, has tied logic to rationality in
seeing how it operates in the study of ideology. He arrives at a starting point we
share with him: “In the course of the history of human thought rationality has
signified rightness, or moderation, or self-willing and autonomy, or calculated
means-end purposiveness, or obedience to the law of God—terms which,
20 Mark Bevir, The Logic of the History of Ideas (Cambridge: Cambridge University Press,
1999).
21 Jaakko Hintikka, “Who is About to Kill Analytic Philosophy,” in The Story of Analytic
Philosophy: Plot and Heroes, ed. Anat Biletzki and Anat Matar (London and New York:
Routledge, 1998), 253–269, 260. Another prominent philosopher who was criticized for-
mal logic is P.F. Strawson in his Introduction to Logical Theory (London: Methuen, 1960).
22 Jaako Hintikka, Inquiry as Inquiry: A Logic of Scientific Discovery (Dordrecht: Kluwer,
1999).
23 Michael Freeden, Ideologies and Political Theory: A Conceptual Approach (Oxford: Oxford
University Press, 1998); Ernesto Laclau & Chantal Mouffe, Hegemony and Socialist Strat-
egy: Towards a Radical Democratic Politics (London, New York: Verso, 1984).
8 skodo
though all different, are not necessarily mutually exclusive.”24 Indeed, we must
start out from this kind of plurality and make sense of it, and not start out from
a purist, perfectionist, and universalist ideas of logic and then impose them on
this plurality. Though acknowledging that “Logic unquestionably plays a key
role both in the philosophical formation of an argument and in the evaluation
of its validity and persuasive power,” Freeden draws out the consequence logi-
cal perfectionism and purism would have for political thought if perfection-
ism and purism were to dictate the boundaries of arguing: “In the first case,
political theories as well as ideologies simply cannot bear the full weight of the
meticulous logical analysis directed at them by some philosophers.” Freeden
then continues: “Logic and consistency must remain important, but not over-
whelming, criteria for the assessment of arguments. Logical perfectionism can
be detrimental to the optimalization of analytical insight,” and so “We will
need to readmit the role of the emotional as well as the intellectual attrac-
tiveness of arguments, and we will have to examine cultural as well as logical
validations of political thinking.”25 Many more scholars can be adduced that
indirectly have such a critical view of logic, within fields such philosophy of
religion, and ontology.26
This book situates itself in the literature that attempts to overcome the limi-
tations of formal logics. However, it differs from the works discussed in being
more comprehensive and wide-ranging than they are. This range is reflected in
the two parts of the book (entitled “Perspectives from the History of Thought”
and “Perspectives from Contemporary Philosophy”), in that they show how
the meaning, scope, and application of logic has been tackled, and contested,
from a variety of both past and present approaches. What is noteworthy is that
both continental and analytical perspectives are represented in this collection,
thus showing that these two traditions decidedly share similar concerns, and
are not worlds apart. Another noteworthy feature of this book is the variety of
philosophers and philosophical topics it discusses in relation to logic. Among
these are Martin Heidegger, F.C.S. Schiller, Quentin Meillassoux, Jean Luc-
Nancy, Jacques Lacan, love, the unconscious, historical representation, logical
aliens, the concept of God, normative judgment internalism, and m etaphysical
realism. By explicitly attending to the inherent bond between logic and extra-
logical human aspects, yet another valuable contribution arises from the book
in that it shows that logic too can be tied to social, religious, and political beliefs
and purposes. Many valuable studies in the late twentieth century have shown
how ideas of “reason”, “thinking”, “rationality,” and “God” are intimately tied
to such contexts, indeed justify them by means of masking them into seem-
ingly objective and universal traits of human thought or logic.27 But most of
these studies have neglected to take into account how logic has been part of
such purposes too, which implies that logic is an entity that possesses a nature
apart from normative forms of thought, such as political ideology or religious
theology. All chapters in this book, by contrast, acknowledge the normativity
inherent to logic. However, the chapters also show that despite the fact that
any logic is amenable to change or even wholesale rejection (see especially
the chapter by Tanesini), different logics do have philosophical value, they do
further or make clear the presuppositions of thinking, which means that we
should embrace the fact that logic exists in the plural, as necessarily meshed
with other aspects and dimension of the mind, society, politics, and culture.
The studies in this volume together challenge the purist, perfectionist, and
universalist perspectives on logic by disclosing two features of logic. First, that
the formal logics of the twentieth century have been thoroughly criticized by
competent and astute thinkers.28 Thus, based on these historical inquiries we
can safely assert that no formal logic has ever been intellectually hegemonic.
In other words, the book counters the universalistic ambitions of, for exam-
ple, the philosophies of Bertrand Russell, Gottlob Frege, and logical positivism.
Second, the chapters resolutely argue, either historically or philosophically, for
“other” logics or “counter-logics,” or more broadly still, conceptions of reason
and rationality that transgress the conceptual boundaries of formal logic.29
The chapters in the first part reveal the conceptual breadth of other log-
ics in the twentieth century. Christopher Watkin—in “Proving the Principle of
Logic: Quentin Meillassoux, Jean-Luc Nancy, and the Anhypothetical”—deftly
analyzes Quentin Meillassoux’s attempt to revive the Aristotelian principle
of non-contradiction, or the “anhypothetical” principle. As an alternative to
Meillassoux, Watkin posits Jean-Luc Nancy’s reading of Plato through which
Nancy inserts love as the simultaneous origin and impossible object of logic,
27 John Passmore, “Some Critics of Formal Logic,” in A Hundred Years of Philosophy (London:
Penguin Books, 1966), 156–173.
28 See e.g. the chapters by Wendland, Skodo, Watkin, Cejvan, and Ankersmit.
29 See e.g. the chapters by Ankersmit, Tanessini, Svensson, and Kraal, described in more
detail below.
10 skodo
by Watkin) whom she calls “logical absolutists.” Her argument goes one step
further than the “logical pluralism” of J.C. Beall and Greg Restall in defend-
ing the view that there can be incompatible and rivalrous logics, which are
nonetheless all admissible as the normative laws governing thought. Thord
Svensson—in “The Heart of Metaphysical Pluralism and the Consistency
Dilemma: A Critical Analysis of the Possibility of Incompatible Truths”—
discusses through a critique of Michael Lynch (whom Tanesini also invokes),
Terry Horgan and Mark Timmons, what implications metaphysical pluralism
has for absolutist and perfectionist accounts of logic. He arrives at the conclu-
sion that even though these conceptions of logic do not hold, we still have not
arrived at a position which robustly establishes that at least two incompatible
yet both true accounts of reality are possible. In “The Logic of ‘Oughts’ and the
Bindingness of Past Practice: A Critique of Normative Judgment Internalism
through a Reading of King Lear’s Act I,” Karim Dharamsi takes issue with Ralf
Wedgwood’s internalist treatment of the moral self as a logical operator “ampu-
tated,” in Dharamsi’s words, from history and custom. Contra Wedgwood—
and logical purism and absolutism—Dharamsi provocatively argues, based on
a reading of Shakespeare’s King Lear, that any logic of “oughts” must incorpo-
rate the constraints of historical tradition and socio-political context. Anders
Kraal—in “First-Order Logic, Incongruism, and Anti-Formalism”—argues that
classical theistic doctrines are on the one hand, incongruous with formal logic;
and on the other hand, that they are best analyzed by means of informal logic.
Kraal thus suggests that the concept of God warrants the critique of formal
logic. Johan Modée—in “Zombies, Selves, and the Possibility of Afterlife”—
challenges the applicability of a logical argument (the conceivability argu-
ment or, as Modée colorfully calls it, “zombie argument”) to arguments about
the existence of divine beings, and in so doing can fruitfully be read as a riposte
to Kraal. Modée and Kraal present us with two conflicting views on what con-
tent logic can rest on, empirical (Modée) or non-empirical (Kraal), and reveal
how debates about logic in the philosophy of religion cannot be settled by an
agreed upon foundation. In “The Logocentric Predicament and the Logic of
Question and Answer,” Giuseppina D’Oro uses Collingwood’s logic of question
and answer and his arguments about the nature of metaphysical propositions
in scientific inquiry (addressed historically by Fear in the first part), to argue
that in doing away with a certain non-question begging kind of circularity as
a counter-argument, Collingwood’s logic is able to meet the “logocentric pre-
dicament,” that is, the problem that “there is no non-circular justification of
deductive inference.” The logic of question and answer can do so because it
identifies the predicament as being generated by the charge of circularity
itself, which renders that charge open to critique. The type of Collingwoodian
12 skodo
logic that D’Oro defends becomes a philosophical method by which the meth-
odologically, but not historically, fundamentally different modes of inquiry can
be discerned.
Bibliography
Andrew Aberdein and Stephen Reid, “The Philosophy of Alternative Logics,” in The
Development of Modern Logic, ed. Leila Haaparanta (Oxford: Oxford University
Press, 2009), 613–724.
Pamela Sue Anderson, A Feminist Philosophy of Religion: The Rationality and Myths of
Religious Belief (Oxford: Blackwell, 1998).
Frank Ankersmit, Narrative Logic: A Semantic Analysis of the Historian’s Language
(The Hague: Martinus Nijhoff, 1983).
Alain Badiou, Being and Event (London: Continuum, 2006).
Jon Barwise and John Etchemendy, Language, Proof, and Logic (Chicago: The University
of Chicago Press, 2002).
Mark Bevir, The Logic of the History of Ideas (Cambridge: Cambridge University Press,
1999).
John W. Burbidge, “Hegel’s Logic,” in Handbook of the History of Logic: Volume 3: The
Rise of Modern Logic from Leibniz to Frege, ed. Dov M. Gabbay & John Woods
(Amsterdam: Elsevier, 2004), 131–177.
John P. Burgess, Philosophical Logic (Princeton: Princeton University Press, 2009).
———, The Development of Modern Logic, ed. Leila Haaaparanta (Oxford: Oxford
University Press, 2009).
Peter Dews, Logics of Disintegration: Post-structuralist Thought and the Claims of
Critical Theory (London and New York: Verso, 1987).
Michael Freeden, Ideologies and Political Theory: A Conceptual Approach (Oxford:
Oxford University Press, 1998).
Handbook of the History of Logic: Volume 3: The Rise of Modern Logic from Leibniz to
Frege, ed. Dov M. Gabbay & John Woods (Amsterdam: Elsevier, 2004).
Susan Haack, Deviant Logic, Fuzzy Logic: Beyond the Formalism (Chicago: University of
Chicago Press, 1996).
———, Philosophy of Logics (Cambridge and New York: Cambridge University Press,
1978).
Leila Haaparanta, “Introduction,” in The Development of Modern Logic, ed. Leila
Haaaparanta (Oxford: Oxford University Press, 2009), 3–11.
Errol E. Harris, An Interpretation of the Logic of Hegel (Lanham: University Press of
America, 1983).
Introduction 13
∵
chapter 1
Christopher Watkin
Since the birth of philosophy itself, thinkers have been searching for the prin-
ciple of all logic: not a logical proof but the proof of the validity of logic itself.
The search is for a justification of logic that is not waiting for us at the end of
a chain of reasoning but that validates all reasoning in the first place. Both
Plato and Aristotle call this principle of logic the “anhypothetical principle”:
the principle that does not need to be hypothesized.1
The anhypothetical for both Plato and Aristotle is not simply an object
of dialectic, but at the origin of dialectic. For the Plato of Republic book 6,
hypotheses and conclusions belong to διάνοια, the faculty of logical rea-
soning, whereas the anhypothetical principle is apprehended with νους, a
direct intellectual intuition of the truth.
In the lower half of Plato’s division of the intelligible, the part exercising
διάνοια,
the soul, using what was imitated earlier as images, is forced to investi-
gate from hypotheses, not to a first principle, but to a conclusion. But in
the other half it proceeds from hypotheses to an anhypothetical first
principle and without the images of the former, making methodical prog-
ress through the Ideas to the Ideas themselves.2
In the case of διάνοια, its “hypotheses” include “the odd and the even, and the
figures, and the three kinds of angles and the other cogeners of these in each
1 See principally Plato, The Republic, trans. Paul Shorey (Cambridge, ma: Harvard University
Press, 1937), 510b4–9, 510c3–d2, 511b3–c2; and Aristotle, The Metaphysics: Books i–ix, trans.
Hugh Tredennick (Cambridge, MA: Harvard University Press, 1980), 1005b.
2 Plato, Republic 6, 510b4–9.
field of inquiry.”3 They are regarded as obvious to everyone, and so the math-
ematician does not think it worthwhile giving an account of them. As for
the “other half” of the intelligible, the half exercising νους, it attains knowledge
not in the complete absence of hypotheses, but in a way that uses hypotheses
as a Wittgensteinian ladder, in order to go beyond them:
And of course for Plato the first principle of all things is the Form of the Good,
the Good beyond being.
Turning to Aristotle, we find an anhypothetical somewhat differently for-
mulated. For Aristotle the anhypothetical is not the highest Idea or the Good
beyond being but rather the assumption behind all reasoning, an assump-
tion which neither is nor can be directly established by any hypothesis. For
Aristotle, insofar as the philosopher is “the student of the whole of reality in its
essential nature,”5 it is the philosopher’s task to investigate also the principles
of syllogistic reasoning about what is. And what is the most certain principle
of Being qua Being?
the most certain principle of all is that about which one cannot be mis-
taken; for such a principle must be both the most familiar (for it is about
the unfamiliar that errors are always made), and anhypothetical. For the
principle which the student of any form of Being must grasp is no hypoth-
esis; and that which a man must know if he knows anything he must
bring with him to his task. Clearly, then, it is a principle of this kind that
is the most certain of all principles.6
This principle, then, is not the result of thinking but it is brought to the task of
thinking in the first place. It is not thinking’s product but its principle, and for
Aristotle, the principle in question is non-contradiction:
Let us next state what this principle is. ‘It is impossible for the same attri-
bute at once to belong and not to belong to the same thing and in the
same relation’; and we must add any further qualifications that may be
necessary to meet logical objections. This is the most certain of all prin-
ciples, since it possesses the required definition; for it is impossible for
anyone to suppose that the same thing is and is not, [. . .] for the man who
made this error would entertain two contrary opinions at the same time.
Hence all men who are demonstrating anything refer back to this as an
ultimate belief; for it is by nature the starting-point of all the other axi-
oms as well.7
8 Quentin Meillassoux, After Finitude: An Essay on the Necessity of Contingency, trans. Ray
Brassier (London and New York : Continuum, 2008), 61.
Proving the Principle of Logic 21
what is, is a fact [est factuel], but that what is is a fact, this itself cannot be
a fact. Only the facticity of what is cannot be a fact. Or again, in other
words: it cannot be a fact that what is is a fact [. . .] The contingency of
beings, and it alone, cannot be a contingent property of that being.9
9 Quentin Meillassoux, “L’Inexistence divine” (PhD Diss., Université de Paris I, 1997), 44.
CW’s translation.
10 Meillassoux, “L’Inexistence divine,” 46. CW’s translation.
11 Meillassoux, After Finitude, 79.
12 Meillassoux, After Finitude, 80.
13 Meillassoux, L’Inexistence divine, 5. CW’s translation.
14 Meillassoux, L’Inexistence divine, 158. CW’s translation.
22 watkin
contradiction, showing that the correlationist can only contest the principle of
factiality if he already presupposes that it is absolute:
The sceptic is only able to conceive of the difference between the ‘in-
itself’ and the ‘for-us’ by submitting the ‘for-us’ to an absence of reason
which presupposes the absoluteness of the latter. It is because we can
conceive of the absolute possibility that the ‘in-itself’ could be other than
the ‘for-us’ that the correlationist argument can have any efficacy.
Accordingly, the anhypotheticity of the principle of unreason pertains to
the ‘in-itself’ as well as to the ‘for-us,’ and thus to contest the principle is
already to have presupposed it.15
In other words, the correlationist says that something may be unthinkable but
not impossible, but (says Meillassoux) to say that something is unthinkable
and not impossible is to admit that the “in-itself” could be radically different
from the “for-us” or, put another way, it is to admit that there is an absolute
possibility that the “for-itself” is contingent, without a necessary law of rea-
son . . . thus proving the principle of factiality. Meillassoux is establishing the
absolute contingency of the in-itself with an indirect proof: factiality is always
presupposed by any attempt to deny it.
This position differs only in one very small point from hypothetical rea-
son, Meillassoux concludes. Whereas hypothetical reason establishes itself
as contingent, without sufficient reason, the principle of factiality goes
one step further in order to show the necessity of that contingency, its very
essence. What hypothetical reason merely states, Meillassoux’s anhypo-
thetical claims to demonstrate.
We have argued elsewhere that Meillassoux’s proof that unreason is
absolute is doubtful.16 It is our burden here to show that Meillassoux’s proof
of the principle of factiality is itself vulnerable to disproof by the same indi-
rect means through which he seeks to establish it. This argument will take
us on a detour through the thought of Jean-Luc Nancy.
The Symposium signifies first that for Plato the exposition of philosophy,
as such, is not possible without the presentation of philosophical love.
The commentary on the text gives innumerable confirmations of this,
from the portrait of Eros to the role of Socrates and to the figure—who
appeared here once and for all on the philosophical scene—of Diotima.
Although the Symposium speaks of love, it also does more than that; it
opens thought to love as to its own essence.18
One may philosophise about any number of subjects, but when it comes to
philosophizing about philosophy itself, it is (with a certain etymological appro-
priateness) to love that we must turn. In the mise en scène of the Symposium, it
is love that burdens the assembled guests to speak about love, a desire for truth
that leads them to speak of desire. Their dialectic, the very logic of their argu-
ments, is impelled by love. If we call the Symposium a treatise of love, then we
17 Philippe Lacoue-Labarthe and Jean-Luc Nancy, The Literary Absolute: The Theory of
Literature in German Romanticism, trans. Philip Barnard and Cheryl Lester (Albany: State
University of New York Press, 1988), 87.
18 Jean-Luc Nancy, A Finite Thinking, ed. Simon Sparks (Palo Alto: Stanford University Press,
2003), 248.
24 watkin
this love is at stake for thought. Without this love, the exercise of the
intellect or of reason would be utterly worthless.22
Another way of saying the same thing is that love is not the contradiction of
thought, as if love left all logic and thinking behind, but love is the contradic-
tion of contradiction and non-contradiction:
For Western thought, Nancy continues, love is double, ambivalent and in con-
flict. For Baudelaire, Wagner and Strauss, for St John of the Cross to Strindberg
via Racine, Kleist and Marivaux or via Maturin, Monteverdi and Freud, love is
both necessary and impossible, sweet and bitter, free and a imprisoned, spiri-
tual and sensual, enlivening and deathly, clear-sighted and blind, altruistic and
egoistic:
For all, these oppositional couples constitute the very structure and life
of love, while at the same time love carries out the resolution of these
very oppositions, or surpasses them: in the realisation of love, the subject
of love is dead and alive, free and imprisoned, restored to the self and
outside of the self.31
This is the sense in which love is not the contradiction of logic but, more fun-
damentally, the contradiction of the system of logic and excess, or in other
words the contradiction of contradiction and non-contradiction.
4 Conclusion
proof of the principle of factiality on the basis that maintaining the neces-
sary possibility of a difference between the “in-itself” and the “for-us” indi-
rectly validates the principle that only contingency is necessary. And it will
be remembered that the principle of factiality relies on the principle of non-
contradiction: that a thing cannot be both necessary and contingent at the
same time and in the same way. But we have now also seen that, for Nancy,
love does not contradict logic at all. Love does not contradict the principle of
non-contradiction but rather it contradicts the contradiction of contradic-
tion and non-contradiction, or the contradiction between what is contradic-
tory and what is not.
Yet someone might argue: this is still by Nancy’s own admission a con-
tradiction, so non-contradiction is being indirectly affirmed after all. To
argue in this way would be inexact, but Nancy’s language serves to muddy
the waters a little. The phrase “the contradiction of contradiction and non-
contradiction” conveys a certain reflexivity at the expense of clarity, and it
needs to be unravelled. When we take time to explore Nancy’s neat phrase
“love contradicts the contradiction of contradiction and non-contradiction”
we see that the contradiction operated by love is not a mere gain-saying or
adopting a contrary position.
“Contradiction” itself means something new here, something altered, not
something that adopts a contrary position to contradiction but that cuts
across its categories, knocking them out of joint. After all, how else could
one “contradict” the contradiction of contradiction and non-contradiction.
When Nancy writes of love contradicting, it is not to be understood as gain-
saying but as both making possible and, at the same time, as a destabilizing.
Love makes contradiction possible insofar as the philosophical gesture of
contradicting is carried along by love; love makes contradiction contingent
in that, without this carrying along there would be no philosophical prin-
ciple of non-contradiction as such at all. The principle relies on love like a
gift relies on the movement of giving. So in terms of logic, it is not the case
that to love is to contradict logic, and thereby to have assumed the prin-
ciple of non-contradiction in the process of denying it, as Meillassoux’s and
Aristotle’s indirect proof would have it. Rather, to love is to have shown the
insufficiency of the logic of contradiction to capture the relation of love to
logic. This does not amount to saying that that contradiction is thinkable, but
that the principle of noncontradiction itself is only thinkable on the basis of a
love that cannot be reduced to the principle whose thinking it impels. Love is
the origin of the opposition between contradiction and non-contradiction
in thought, but it cannot itself be reduced either to contradiction (viz. “love
and logic are contradictory”) or to non-contradiction (viz. “love and logic
30 watkin
jettison dialectic altogether but uses dialectic to gesture towards that which,
in dialectic, cannot be accounted for by dialectic. But unlike Plato’s anhypo-
thetical it is in no way mystical. It is no threat to logic to show that its prin-
ciple is love, any more than it is a threat to the dialectic of the Symposium to
note that it is offered to us in a movement of that which it seeks to define.
Bibliography
Aristotle. The Metaphysics: Books i–ix, trans. Hugh Tredennick, Loeb Classical Library.
(Cambridge, MA: Harvard University Press, 1980).
Philippe Lacoue-Labarthe and Jean-Luc Nancy, The Literary Absolute: The Theory of
Literature in German Romanticism, trans. Philip Barnard and Cheryl Lester (Albany,
NY: State University of New York Press, 1988).
Quentin Meillassoux, After Finitude: An Essay on the Necessity of Contingency, ed. and
trans. Ray Brassier (London: Continuum, 2008).
———, “L’Inexistence divine” (PhD Diss., Université de Paris I, 1997).
———, “Temps Et Surgissement Ex Nihilo,” Paper presented at the Conference Autour
de Logiques des mondes, ENS Paris, 2006. Available at http://www.diffusion.ens.fr/
index.php?res=conf&idconf=701. Last accessed June 2012.
Jean-Luc Nancy, L’Adoration, déconstruction du christianisme, 2 (Paris: Galilée, 2010).
———, A Finite Thinking, ed. Simon Sparks (Stanford, CA: Stanford University Press,
2003).
———, L’impératif Catégorique, La Philosophie En Effet (Paris: Flammarion, 1983).
———, The Inoperative Community, trans. Lisa Garbus, Peter Connor, Michael Holland,
and Simona Sawhney, ed. Peter Connor (Minneapolis, MN: University of Minnesota
Press, 1991).
Plato, Lysis, Symposium, Gorgias, trans. W.R.M. Lamb, Loeb Classical Library (Cambridge,
MA: Harvard University Press, 1961).
———, The Republic, trans. Paul Shorey, Loeb Classical Library (Cambridge, MA:
Harvard University Press, 1937).
Christopher Watkin, Difficult Atheism: Post-Theological Thinking in Alain Badiou, Jean
Luc Nancy and Quentin Meillassoux (Edinburgh: Edinburgh University Press, 2011).
chapter 2
Admir Skodo
1 Introduction1
The eminent British historian Herbert Butterfield viewed the scientific revolu-
tion (from Copernicus to Darwin) and the historical revolution (perhaps best
exemplified by Ranke) as the two decisive intellectual transformations that
created modern Western consciousness.3 They instated two, at times compet-
ing and at times complementing,4 perspectives by which modern Western
man sees, conceives, and constructs himself and the world in which he dwells.5
Both revolutions shook and crumbled pre-modern conventions governing the
1 I would like to thank Helge Ax:son Johnson’s Stiftelse for a generous research grant that has
enabled the research and writing of this chapter.
2 John Dewey, The Influence of Darwin on Philosophy: And Other Essays in Contemporary
Thought (New York: Henry Holt and Company, 1910), v.
3 A point later made by Donald R. Kelley, Foundations of Modern Historical Scholarship:
Language, Law, and History in the French Renaissance (New York: Columbia University
Press, 1970), 6.
4 For a relevant contemporary statement on how the sciences have become historical,
see W.R. Sorley, “The Historical Method,” in Essays in Philosophical Criticism, ed. Andrew Seth
and R.B. Haldane (London: Longmans, Green, and Co., 1883), 102–126, 102.
5 Kenneth B. MacIntyre, Herbert Butterfield: History, Providence, and Skeptical Politics
(Wilmington: ISI Books, 2011), 49–99.
legitimacy and boundaries of thought, and in their stead erected new ones.
Both revolutions, for example, demolished, by means of superior empiri-
cal methods, the dating of the world and the human species propagated by
Christian churches and the Bible, and so undermined Christian claims to true
knowledge of nature. The scientific revolution, furthermore, queried Christian
assumptions about morality, while the historical revolution challenged the
Enlightenment belief in the uniformity and unshakeable foundations of man’s
mental and behavioral faculties, such as man’s rationality, consciousness, and
historical progress.
In spite of crucial differences, both science and history characterized human
life in an immanent frame, that is, by recourse to the earthly origins, changes,
developments, and in immediate contexts of things and persons. By the end of
the nineteenth and the beginning of the twentieth century, such an immanent
frame had substantially gained in purchase, which is readily observable in the
higher education, literature, and politics of the time once we recognize that
Darwinism, probability theory, statistics, historicism, idealism, pragmatism,
and philology belong to the thicket of the two revolutions, as do nationalism
and the industrial organization of society.6
Broadly speaking, there were two ways in which philosophers of the
nineteenth and early twentieth centuries could adapt to these two revolu-
tions. They could either joins ranks with one, and go to intellectual war with
the other, or they could combine the two in a single systematic scientific-
historical-philosophical worldview. More often than not, historicism, positiv-
ism, and analytical philosophy became traditions aligned around the first type
of response, while idealism and pragmatism followed the second trail: Dewey’s
passage above attests to precisely this fact.7 This second type of response is
also evident in some thinkers of the nineteenth and early twentieth centuries
whose thought resolutely refuses to sit easily in any disciplinary category or
intellectual tradition, such as Nietzsche.8
The latter attitude (combining the two revolutions), however, was only pos-
sible during a time when the natural and human sciences were in principle
6 See e.g. the studies in European Intellectual History Since Darwin and Marx: Selected Essays,
ed. W. Warren Wagar (New York and London: Harper Torchbooks, 1966).
7 Cf. Richard Rorty, Consequences of Pragmatism (Minneapolis: University of Minnesota Press,
1982), especially 139–160.
8 Friedrich Nietzsche, The Gay Science: With a Prelude in German Rhymes and an Appendix of
Songs, trans. Josefine Nauckhoff (Cambridge: Cambridge University Press, 2001); Nietzsche
and Science, ed. Gregory Moore and Thomas H. Brobjer (Aldershot: Ashgate, 2004).
34 skodo
9 William H. Sewell, Logics of History: Social Theory and Social Transformation (Chicago:
Chicago University Press, 2005), 2–4.
10 The contemporary revival of classical pragmatism, not least the thought of Dewey, did
not mean the revival of the historical Dewey. It was rather geared to find new languages
for contemporary philosophical perspectives in analytical and continental philosophy.
The Self, Ideology, and Logic 35
Nietzschean).11 But unlike most other pragmatists, that philosopher was atten-
tive to the anti-foundationalism of the modernist artistic imagination. Perhaps
that is the reason why Bertrand Russell dubbed him the “literary” wing of
pragmatism.12 The philosopher in question is the Briton F.C.S. Schiller (1864–
1937), who held positions at the universities of Oxford, Columbia, Cornell and
Southern California. This chapter examines Schiller’s philosophy of logic, in
which, arguably, his greatest achievements lay.13
The foregoing narrative sets the stage for Schiller’s philosophy of logic, for
Schiller believed that logic was the only science that had remained impervi-
ous to the innovations wrought by the two revolutions. He thus exclaimed that
“[logicians] have trusted that their traditional scheme of instruction would
weather this storm [Schiller’s and others’ critiques of formal logic], as it has
survived the revolt of renascent literature against Medieval Scholasticism and
the nineteenth-century revolt of science against dogma and tradition [emphasis
added].”14 Schiller also recognized that the modernist scientific imagination
was influencing the modernist artistic imagination: “A new science, moreover,
has slowly risen into prominence in the shape of Psychology, which has already
exercised some influence on literature [emphasis added].”15 Schiller went so far
as to opine that “aesthetics can perform the functions of ethics.”16 Psychology’s
influence on literature, Schiller believed, was for the better, and logic too
would be better off if it made room for the insights of psychology, and its fur-
ther exploration in modernist literature.
This chapter argues that the conceptual resources provided by the two
revolutions, and the modernist artistic imagination, allowed Schiller to chal-
lenge what he perceived as the orthodoxies of formal logic. The argument of
this chapter is a historical one: it seeks to unearth a specific historical mode
of thinking about logic. In emphasizing the difference of Schiller’s logic from
the way we today think about logic, the chapter aims to show that Schiller’s
logic, though foreign from the perspective of today’s philosophical culture,
was meaningful and legitimate in its own historical setting. The specificity
Schiller’s philosophy of logic was pitted against three types of formal logic:
the logic of text-books used in higher education, resting on logical principles
such as the law of identity, the law of contradiction, and syllogistic deduction;
the logic of British absolute idealism, especially that of F.H. Bradley; and the
symbolic logic of a rising group of philosophers including Bertrand Russell and
G.E. Moore. Schiller believed that, notwithstanding their differences, these log-
ics shared an aloofness from engaging with concrete or actual thinking, and so
their formal nature was sufficient to label them all as formal logic.
For Schiller, but for other pragmatists of his time as well, philosophical
inquiry could never be, and should never aspire to be, purely philosophical (in
the academic sense prevalent in Schiller’s time). The subtitle of Schiller’s book
Formal Logic is telling as to his own view on the scope of Logic: A Scientific
and Social Problem. A constant line of attack from pragmatists in the early
twentieth century was that formal logicians did not recognize the historical,
social, and practical aspects of logic. This line of attack carried illocutionary
force in the early twentieth century because it came from internal criticism,
that is, academic logicians themselves had since the early twentieth century
begun to see insoluble problems to formal logic, and most of these Schiller
knew personally, e.g. Alfred Sidgwick, Bernard Bosanquet, C.S. Peirce, and John
Dewey. Schiller himself was a teacher of formal logic at the prestigious Oxford
and Cornell Universities. That every truth, every logical operation, every logi-
cal principle, rested on some concrete practice, conceivable or actual, was a
fairly conventional presupposition in this period. It was a socially recognized
The Self, Ideology, and Logic 37
[. . .] the most indispensable of all postulates, it is the Alpha, the starting-
point, and it would not be surprising if it turned out also the Omega, the
goal of philosophy. [. . .] all acts of knowledge are performed by selves, the
whole of our cognitive machinery, principles, axioms, postulates and cat-
egories, are invented by and modelled upon selves.19
17 John Passmore, “Some Critics of Formal Logic,” in A Hundred Years of Philosophy (London:
Penguin Books, 1966), 156–173. This is an explanatory historical context in which
Wittgenstein’s later philosophy ought to be embedded.
18 For a good historical approach to American pragmatism see David Hollinger, “William
James and the Culture of Inquiry,” and “The Problem of Pragmatism in American
History,” in In the American Province: Studies in the History and Historiography of Ideas
(Bloomington: Indiana University Press, 1985), 3–23, 23–44.
19 F.C.S. Schiller, Riddles of the Sphinx: A Study in the Philosophy of Humanism (London: Swan
Sonnenschein & Co, 1910), 142. See also F.C.S. Schiller, “Axioms as Postulates,” in Personal
Idealism: Philosophical Essays by Eight Members of the University of Oxford, ed. Henry Sturt
(London: Macmillan, 1902), 47–134; and F.C.S. Schiller, Logic for Use: An Introduction to the
Voluntarist Theory of Knowledge (London: G. Bell & Sons Ltd, 1929).
38 skodo
Issuing from this conception of philosophy is the view that the philosophi-
cal study of logic must take into account everything that falls within the pur-
view of the concrete self, because it is the thinking of such a self that simply
is the content of logic. But because the logician can only conduct such a study
from the vantage point of a concrete self (the logican is inescapably a concrete
self), logic can never arrogate formal or other perfection, completeness, uni-
versality, and uniformity.
According to Schiller, there is no ultimate reality or ideal beyond human
experience, and human experience is not in need of it: “The intellectual cos-
mos also neither has nor needs fixed foundations whose fixity is an illusion.”20
Schiller draws a methodological consequence from this belief that he intends
to act as the searchlight of pragmatism: “it is a methodological necessity to
assume that the world is wholly plastic, i.e. to act as though we believed this,
and will yield us what we want, if we persevere in wanting it.”21 This conse-
quence, in turn, has profound consequences for the nature of “axioms,” or the
most fundamental principles of thought that guide human thinking: “We con-
ceive the axioms as arising out of man’s needs as an agent, as prompted by his
desires, as affirmed by his will, in a word, as nourished and sustained by his
emotional and volitional nature.”22 In more elaborate terms, the self:
[. . .] thinks with his whole heart and personality, that his feelings enter
constantly and copiously into his reasonings, that his nature selects the
objects of his thought, and determines his aims and his motives and his
methods and the values he assigns to his objects, while his education and
history determine the meanings and associations of the instruments of
his thinking, viz. the words he uses.23
If the foundation of logic is the self, then that foundation is radically mallea-
ble, or “plastic,” since everything about the nature of the concrete self is provi-
sional. It is with these presuppositions that Schiller both criticizes formal logic
20 Schiller, “Axioms as Postulates,” 57. Though I do not mention it in this chapter other than
in a cursory manner, the advances in the physics and biology were important in persuad-
ing Schiller into taking this stance. Concepts such as “matter,” “force,” “causality,” “origin,”
and “substance” took on whole new meanings in the late nineteenth and early twentieth
century and these meanings allowed for indetermination or worse. See especially Schiller,
Riddles.
21 Schiller, “Axioms as Postulates,” 61.
22 Schiller, “Axioms as Postulates,” 86.
23 Schiller, Logic for Use, 101.
The Self, Ideology, and Logic 39
and professes an alternative humanist logic. If there are no fixed and universal
standards for logic, what is there? What, if anything, ensures the validity and
objectivity of truth, deduction, induction, and the like? What should stay, if
anything, and what should go, of formal logic?
One example of Schiller’s method at work suffices to tease out some answers
to these questions, since it branches out to most of his key concepts and argu-
ments. I have in mind Schiller’s ingenious criticism of the syllogism: if it is true
that “all men are mortal” and that “Socrates is a man,” then it necessarily fol-
lows that “Socrates is mortal.”24 Both its truth and the necessity of its validity
have been taken for granted since Aristotle, and so if it can be shown that it
is a bad form of reasoning, an important step will have been taken toward its
reform, and the reform of formal logic in general.
Schiller’s first line of attack is conventional for that time—namely, that the
conclusion begs the question, for the truth of the major premise depends on
the conclusion: for the logician, or any other thinker for that matter, to prove
that “all men are mortal,” he must know that Socrates is mortal prior to the
proof, because Socrates falls within the premise “all men are mortal.” This of
course, uproots the concept of proof from its force in the syllogism. The best
line of defence the logician can put up, according to Schiller, is to postulate
that the premise is not based on empirical observations. It is rather a universal,
or a law of nature, the conclusion of which is a particular instance. But this
retort does not convince Schiller, for it assumes that the universal is absolute,
applicable to any particular, for any purpose, by anyone and in any context,
while Schiller’s point is precisely that a particular, a specific purpose, a particu-
lar person, and a specific context, constitute thinking.
The absurdity of this postulate is brought out in the alternative, highly
value-laden, and socially circumscribed premise “all negro slaves are men,”
the truth of which is necessarily relative to concrete selves.25 Thus, Schiller
wrote, “No one in his senses, we shall say, will argue about ‘Socrates,’ whether a
defunct philosopher or negro slave, a tomcat or a character in fiction, and with-
out knowing what the problem is that has arisen about him.”26 This example
shows well the rationale of the pragmatist dictum that truths are species of
values and judgements with practical origins, desires and consequences; and
that treating truths in mere propositional form is therefore nothing more than
a pastime of philosophers in ivory towers.
Like the other values also the career of a truth is profoundly influenced
by man’s social nature; it has not merely to commend itself to its maker
for the nonce, but to continue to give him satisfaction and to continue to
seem the right remark for the occasion. Now this it will hardly do, unless
it succeeds in winning recognition also from others, and is judged valu-
able, ‘good’ and ‘true’ by them. Should it fail to do so, the penalty is in
every case the same, viz. condemnation as ‘false,’ rejection and superses-
sion by a better ‘truth.’ Hence so long as it lasts it is being tested and, it
may be, contested.33
The validity and objectivity of concepts and principles, at bottom, stand and
fall with social edifices, which in turn stand and fall depending on the inter-
actions and communications between different selves. “Axioms,” for instance,
are at bottom practical postulates regimented by working social practices. For
Schiller, the history of thought and the study of evolution in the early twenti-
eth century provided ample evidence that this was the case.34
Schiller’s most daring suggestion for a reform of the syllogism was to treat
it as a mode of inquiry for solving concrete problems for concrete selves. The
practical use of the Socrates syllogism could, for instance, arise if it addressed
a problem concerning Socrates. Schiller offered one: “a ‘problematic’ Socrates
has turned up and there are doubts about him. He is under grave suspicion. Is
he a man or a ghost?”35 This question might not make sense to philosophers
today, but if we understand it historically, we will find it be yet another example
of the historical specificity of the philosophical problems deemed legitimate
by leading philosophers in the early twentieth century. The reason why Schiller
felt he could pose such a question in the context of a discussion of logic was
the fact that he was a life-long devotee to psychical research, and the fact that
36 See e.g. Renée Haynes, The Society for Psychical Research, 1882–1982: A History (London:
Macdonald, 1982); Philosophy and Psychical Research, ed. Shivesh C. Thakur (London:
Allen & Unwin, 1976); William James, Essays in Psychical Research (Cambridge, Mass.:
Harvard University Press, 1986).
37 Mark. K. Porrovecchio, “The Curious Case of F.C.S Schiller,” Society for Psychical Research,
[http://www.spr.ac.uk/main/article/curious-case-f-c-s-schiller, accessed Jan. 4 2012].
38 For a pithy discussion on these matters, see Reuben Abel, The Pragmatic Humanism of
F.C.S. Schiller (New York: Columbia University Press, 1955).
The Self, Ideology, and Logic 43
39 Abel, The Pragmatic Humanism; Douglas McDermid, The Varieties of Pragmatism: Truth,
Realism, and Knowledge from James to Rorty (London: Continuum, 2006); John R. Shook,
“F.C.S. Schiller and European Pragmatism,” in A Companion to Pragmatism, ed. John R.
Shook and Joseph Margolis (Oxford: Blackwell, 2006), 44–54; Ahti-Veikko Pietarinen,
“Remarks on the Peirce-Schiller Correspondence,” in Transatlantic Encounters: Philosophy,
Media, Politics, ed. E.H. Oleksy and W. Oleksy (Frankfurt am Main: Peter Lang, 2011), 61–70.
40 See e.g. Hilary Putnam, Pragmatism: An Open Question (Oxford: Blackwell, 1995); Richard
J. Bernstein, The Pragmatic Turn (Cambridge: Polity Press, 2010); James Johnson, The
Priority of Democracy: Political Consequences of Pragmatism (Princeton: Princeton
University Press, 2011).
44 skodo
since they rest on “different logics,” the only effective retort must therefore be
“of the nature of rhetoric rather than logic.”41
Eastman was, along with Sidney Hook, one of Dewey’s best pupils and in
the first four decades of the twentieth century a Marxist, indeed one of the
most prominent Marxists in America of that time. It was by no accident, there-
fore, that Eastman inculpated Schiller on account of the conservative princi-
ple underscoring his revision of formal logic. Such a principle, according to
Eastman, will render it “impossible for anyone to build up a logic of science
and of practical life [emphasis added],” since it acknowledges that formal
logic works practically, and so fulfils the pragmatist criterion of truth. Instead,
according to Eastman, one must take a revolutionary, “democratic,” “system-
wrecking,” and transformative leap in logic.42 True logic, for Eastman, had to be
revolutionary, whereas for Schiller, according to Eastman, it must be conserva-
tive. What logic was and what it was supposed to do differed between Eastman
and Schiller on account of their political ideologies. Schiller was indeed a polit-
ical conservative, but of a very idiosyncratic kind; and he did attempt to justify
that conservatism with his philosophy. Yet, it is far from clear, as will be shown
below, that Schiller’s philosophy is straightforwardly conservative.
In any case, such ideological disputes as that between Eastman and Schiller
are not relative to the 1920s and the 1930s. It is important to recognize that
contemporary pragmatism harbors ideological content as well. And perhaps
we may learn something from pragmatist logic of the interwar years in recog-
nizing this fact: the difference between early twentieth century pragmatism
and contemporary pragmatism is that the former publically avowed the ines-
capability of ideology, while the latter does not. For instance, the ideological
content of Morton White’s pragmatist philosophy of science is inscribed as a
formal feature of philosophy that, moreover, attempts to appropriate histori-
cal authority in the name of ideological neutrality: “According to holistic prag-
matism, scientists’ warpings are carried out with concern for the elegance or
simplicity of the theory they adopt and with the intention to warp the heritage
conservatively—that is, by engaging in what James calls minimum modifica-
tion of it and what Quine calls minimum mutilation of it.”43
How was Schiller’s logic connected to his ideological beliefs? Schiller, as
already mentioned was a conservative. He was also part of the British eugenics
44 See e.g. G.R. Searle, Eugenics and Politics 1900–1914 (Leyden: Noordhoof International
Publishing, 1976).
45 F.C.S. Schiller, Tantalus or the Future of Man (London: Kegan Paul, Trench, Trubner & Co.,
Ltd., 1924), 47–48.
46 Schiller, Logic for Use, 105–106.
46 skodo
destroy, our freedom and our responsibility.”47 Thus, the quality of thinking,
health, beauty, and strength which nature indifferently and callously distrib-
uted across the human stocks coincided with social strata.
However, at the same time, Schiller was committed to viewing thought as
essentially historical and voluntary. Those commitments qualified Schiller’s
biological determinism and he argued that hereditary qualities are not abso-
lute or fixed. The very fact that biological facts and laws have meanings and
truths proves that they are inescapably value-laden, and so ongoingly deter-
mined by concrete selves. In the end, for Schiller, it is not some abstract con-
servative or eugenical principle or fact that is decisive for practice. All such
principles and facts “are meant for the guidance of moral agents, with whom
the decision must remain.”48 Biological truths, therefore, were no less exempt
from agency, irreconcilable differences, debates, inquiries, and contests than
were ideological ones.
This complicates Schiller’s logic, and his commitment to conservatism and
eugenics, for it shows that Schiller’s logic supervened on his ideological views:
both eugenics and conservatism were in the first place forms of social inquiry
and therefore ought to be regulated by humanist logic.49 Thus, the pressing
social issues of the day had convinced Schiller that conservatism, ironically,
must change, even take on a new, revived, character, radically different than
the conservatism of the Tories and the House of Lords.50 And eugenics must
be experimental and progressive, for that is the mode in which truth-claims
are applied and put to practical use. Moreover, because every truth-claim and
truth is social in nature, eugenics too “would have to be backed by a powerful,
enthusiastic, and intelligent public sentiment.”51 And because eugenics would
be a trial-and-error experimental practice, just one out of many competing
practices, and not internally coherent at that, according to Schiller, it “will
52 F.C.S. Schiller, Eugenics and Politics: Essays by Ferdinand Canning Scott Schiller (London:
Constable & Co., 1926), 60.
53 Schiller, Eugenics, 29.
48 skodo
effects owes to the fact that formal logic not only postulates absolute truths,
but one and only one system of thought that is able to carry that truth, and that
is formal logic. For this reason, formal logic cannot abide by the plurality of
views containing truth: “The absolute system of immutable Truth is one. Not
more than one view, therefore, can be true.”54
4 Conclusion
Bibliography
Reuben Abel, The Pragmatic Humanism of F.C.S. Schiller (New York: Columbia
University Press, 1955).
John Dewey, The Influence of Darwin on Philosophy: And Other Essays in Contemporary
Thought (New York: Henry Holt and Company, 1910).
Max Eastman, “Mr. Schiller’s Logic,” The Journal of Philosophy, Psychology and Scientific
Methods 9 (1912), 463–468.
European Intellectual History Since Darwin and Marx: Selected Essays, ed.
W. Warren Wagar (New York and London: Harper Torchbooks, 1966).
Renée Haynes, The Society for Psychical Research, 1882–1982: A History (London:
Macdonald, 1982).
David Hollinger, “William James and the Culture of Inquiry,” in In the American
Province: Studies in the History and Historiography of Ideas (Bloomington: Indiana
University Press, 1985), 3–23.
———, “The Problem of Pragmatism in American History,” in In the American Province:
Studies in the History and Historiography of Ideas (Bloomington: Indiana University
Press, 1985), 23–44.
William James, Essays in Psychical Research (Cambridge, Mass.: Harvard University
Press, 1986).
James Johnson, The Priority of Democracy: Political Consequences of Pragmatism
(Princeton: Princeton University Press, 2011).
Donald R. Kelley, Foundations of Modern Historical Scholarship: Language, Law, and
History in the French Renaissance (New York: Columbia University Press, 1970).
Kenneth B. MacIntyre, Herbert Butterfield: History, Providence, and Skeptical Politics
(Wilmington: ISI Books, 2011).
Douglas McDermid, The Varieties of Pragmatism: Truth, Realism, and Knowledge from
James to Rorty (London: Continuum, 2006).
Nietzsche and Science, ed. Gregory Moore and Thomas H. Brobjer (Aldershot: Ashgate,
2004).
Friedrich Nietzsche, The Gay Science: With a Prelude in German Rhymes and an
Appendix of Songs, trans. Josefine Nauckhoff (Cambridge: Cambridge University
Press, 2001).
John Passmore, “Some Critics of Formal Logic,” in A Hundred Years of Philosophy
(London: Penguin Books, 1966), 156–173.
Philosophy and Psychical Research, ed. Shivesh C. Thakur (London: Allen & Unwin,
1976).
Ahti-Veikko Pietarinen, “Remarks on the Peirce-Schiller Correspondence,” in
Transatlantic Encounters: Philosophy, Media, Politics, ed. E.H. Oleksy and W. Oleksy
(Frankfurt am Main: Peter Lang, 2011), 61–70.
Mark J. Porrovecchio, F.C.S. Schiller and the Dawn of Pragmatism: The Rhetoric of a
Philosophical Rebel (Plymouth: Lexington Books, 2011), 145–162.
Mark. K. Porrovecchio, “The Curious Case of F.C.S Schiller,” Society for Psychical
Research, [http://www.spr.ac.uk/main/article/curious-case-f-c-s-schiller, accessed
4 January 2012].
A.S. Pringle-Pattison, The Philosophy of History (London and Oxford: Oxford University
Press, 1923).
Hilary Putnam, Pragmatism: An Open Question (Oxford: Blackwell, 1995); Richard J.
Bernstein, The Pragmatic Turn (Cambridge: Polity Press, 2010).
Richard Rorty, Consequences of Pragmatism (Minneapolis: University of Minnesota
Press, 1982).
Bertrand Russell, “Dr Schiller’s Analysis of The Analysis of Mind,” The Journal of
Philosophy 18 (1922), 645–651.
50 skodo
1 Introduction
1 Rudolf Carnap, “The Elimination of Metaphysics through the Logical Analysis of Language,”
in Heidegger and Modern Philosophy: Critical Essays, ed. Michael Murray (New Haven: Yale
University Press, 1978), 23–34.
2 A.J. Ayer, Language, Truth and Logic (London: Penguin, 2001), 171.
other meaningful propositions apart from analytic judgments are those with
empirical content. Following the early Wittgenstein, Carnap and Ayer thought
that all complex states of affairs or empirical occurrences could be reduced
to and thus captured by elementary propositions that reflected a given set of
facts. And if simple propositions were able to reflect certain facts, then their
truth or falsity could be verified by the facts. For example, observing drops of
water falling from the sky confirms the truth of the proposition “It’s raining.”
And insofar as empirical propositions are verifiable they too are meaning-
ful. When, however, the principle of verification is applied to assertions like
“Anxiety reveals the Nothing,” we see that this statement is neither logically
verifiable, because it is neither a tautology nor a contradiction, nor is it empiri-
cally verifiable, since “the Nothing” is not a fact like rain. And therefore Carnap
dismisses Heidegger’s writing as metaphysical nonsense that needs to be elim-
inated from our philosophical vocabulary.
Perhaps the most obvious (or ironic) criticism of Carnap’s and Ayer’s prin-
ciple of verification is the extent to which it is meaningless on its own terms,3
but from a Heideggerian point of view the most fruitful critique of the veri-
fication principle comes from W.V.O. Quine and Wilfird Sellars: namely, that
Carnap and Ayer assume words and sentences have a direct relation to a given
reality without explaining how that reality is given.4 Like Quine and Sellars,
Heidegger is concerned with the conditions through which reality is presented
to human beings such that our signs can correspond to it. And when he says
“the idea of ‘logic’ itself disintegrates in the turbulence of a more original
questioning,”5 Heidegger’s point is not, as Carnap would have it, that human
inquiry should violate the laws of logic; but rather that the intelligibility of logic
is itself grounded in the essence of human beings: i.e., the being whose being
3 As noted in the text, propositions are meaningful if and only if they are empirically observ-
able or tautologies. But the verification principle doesn’t seem to be observable in the same
way that rain is. And insofar as the verification principle is that through which empirical
statements acquire meaning, it cannot itself be an empirical statement, since that through
which observation is made possible cannot itself be observed without the introduction of an
infinite regress or some sort of circular argument. Yet the verification principle cannot be
tautology either, for although it is not a fact it has a relation to the facts insofar as it is the
criterion through which facts are judged. And if the verification principle is neither a fact nor
a tautology, it is a performative self-contradiction or nonsense on its own terms.
4 See W.V.O. Quine, From a Logical Point of View (Cambridge: Harvard University Press, 1980)
and Wilfrid Sellars, Empiricism and the Philosophy of Mind (Cambridge: Harvard University
Press, 1997).
5 Martin Heidegger, “What is Metaphysics?,” in Basic Writings, ed. Krell (New York: Harper
Collins, 1993) 105.
Language, Truth, and Logic 53
6 Martin Heidegger, Being and Time, tr. Macquarrie & Robinson (New York: Harper & Row,
1962) p. 32 [12] (Hereafter BT).
54 wendland
calculus presupposes the temporal horizon built into the human activities
that present entities and aspects of the world as the entities and aspect that
they are. Finally, and insofar as human activity entails a temporal horizon,
Heidegger construes humans as historical beings: that is, as a being whose
being is bound by the possibilities available in a given socio-historical situa-
tion. And through the derivation of logic from practical activity we see that the
truth of any valid deduction is determined by, grounded in, or “disintegrates
into” the particular entities and aspects of the world that show up in certain
historical circumstances.
In §44 of Being and Time, Heidegger tells us that his “analysis takes its depar-
ture from the traditional conception of truth, and attempts to lay bare the onto-
logical foundations of that conception.”7 The traditional conception of truth,
as Heidegger characterizes it, treats assertions or judgments as the site of truth
and claims that the essence of truth lies in the correspondence or agreement
of an assertion with its object. Heidegger appeals to Aristotle who, “as the father
of logic, not only has assigned truth to the judgment as its primordial locus but
set going the definition of ‘truth’ as ‘agreement.’ ’’8 Yet Heidegger wonders what
enables assertions to correspond with objects and what is presupposed in this
particular definition of truth. “What,” he writes, “is tacitly posited in this rela-
tional totality of the adaequatio intellectus et rei? And what ontological charac-
ter does that which is thus posited have itself?”9 Heidegger’s answer to the first
question is Aletheia or unconcealment: if aspects of the world were concealed,
then our assertions would never be able to indicate those aspects or corre-
spond to them in an intelligible way. Hence, Heidegger calls unconcealment
the “primordial phenomenon of truth,” and he sees the agreement between
assertions and entities or aspects of the world as parasitic upon it.10 As for
the second question, Heidegger identifies the ontological character of Aletheia
with our disclosedness—“only with Dasein’s disclosedness is the most primor-
dial phenomenon of truth attained”—and he goes so far as to say: “There is’
truth only insofar as Dasein is and so long as Dasein is. Entities are uncovered
only when Dasein is; and only as long as Dasein is, are they disclosed.”11 And in
order to illustrate the extent to which propositional truth and our predicate
Elucidating truth in terms of a relation between ideal content and real objects
doesn’t amount to an account of the truth relation itself. And by positing a
distinction between the ideal and the real, Heidegger doubts whether “in their
kind of being and their essential content they give us anything at all with regard
to which they can agree.”14 In short, for a correspondence theory of truth to do
any work, it cannot simply assert that intellectus and res correspond; rather it
must specify the content of that so-called “correspondence.”
Although Heidegger rejects traditional correspondence theories of truth as
“very general and empty,” he is nevertheless concerned with offering a phe-
nomenological account of our experience with the ways in which assertions
Suppose someone here in the classroom states the proposition ‘the board
is black’ and does so in an immediately given context of question and
answer. To what do we then attend in understanding the statement? To
the phonetic articulation? Or to the representation that performs the
making of the statement and for which then the sounds uttered are
‘signs’? No, rather we direct ourselves to the blackboard itself, here on
the wall! In the perception of this board, in making present and thinking
about the blackboard and nothing else, we participate in the perfor-
mance of the statement. What the statement immediately presents is
that about which it states something.17
In this example, the assertion “the board is black” corresponds not by repre-
senting a fact, say, the board being black, but by providing us with a certain
direction or orientation to the board that presents a fact about it: namely, that
it is black. Heidegger characterizes the orientation that enables an assertion
to indicate its object as a kind of “uncovering.” Through assertions “the entity
itself which one has in mind shows itself just as it is in itself; that is to say, it
shows that it, in its selfsameness, is just as it gets pointed out in the assertion
as being—just as it gets uncovered as being.”18 From here Heidegger writes:
To say that an assertion ‘is true’ signifies that it uncovers the entity as it is
in itself. Such an assertion asserts, points out, ‘lets’ the entity ‘be seen’ in
its uncoveredness. The Being-true (truth) of the assertion must be under-
stood as Being-uncovering.19
our ability to use language is grounded in some prior grasp of the nonse-
mantic significance of the context in which we find ourselves. It is only
because we have first understood the nature of reality that we can then
come to comprehend the meanings of words. Language is seen as a tool
for communicating and ordering this prior grasp of reality. Although lan-
guage may play a very important role in making the world intelligible, it
is itself possible only against the background of an understanding that is
nonlinguistic.28
Briefly, the truth of assertions is parasitic on the truth of our practices that
enable entities and aspects of the world to show up as the subject of our talk.
In order to come to terms with the non-semantic significance that under-
girds propositional truth and our predicate calculus, we need to look at
Heidegger’s account of the worldliness of our work-environment and the prac-
tical understanding that that environment entails.29 The worldliness of the
world is, for Heidegger, the referential totality that determines the meaningful
presentation of its component parts and helps define the identity of existent
human beings. Hammers, in other words, are the entities that they are in rela-
tion to wood, nails, tape measures, other such tools and ultimately our ability
to engage in the activity of carpentry. Similarly, a carpenter is a carpenter by
engaging in the act of carpentry and immersing herself in the equipmental
totality that makes that activity possible. Of course, carpentry is carpentry if
and only if it is directed to some sort of end, say that of building a house, and
Hubert Dreyfus defines the significance that grounds our linguistic activity
as “the relational whole of in-order-tos and for-the-sake-of-whichs in which
entities and activities that involve equipment have a point.”30 On Dreyfus’s
reading, we disclose the component parts that make up a particular activity by
engaging in that activity. He writes, “the whole current situation is articulated
by coping,” and he goes on to say, “when I pick up a hammer and hammer with
it, I articulate one of its significations, i.e. the fact that it is used to pound in
28 Charles Guignon, Heidegger and the Problem of Knowledge, (Indianapolis: Hackett, 1983)
117–118.
29 Heidegger’s account of the worldliness of the world is found in §18 of Being and Time
and his discussion of understanding occurs in §31–32. See BT, 114–122 [83–88], 182–203
[143–160].
30 Dreyfus, Being, 223.
Language, Truth, and Logic 59
nails; and if I use it to pull nails, I articulate another.”31 Put otherwise, our pri-
mary disclosure of entities, aspects and dimensions of the world to which our
propositions correspond is a function of our practical engagement with that
world in a specific, holistic context.
Taking our cue from Heidegger’s statement “to significations, words accrue”
and building on Heidegger’s claim that “language is a totality of words . . . and
as an entity within the world, this totality becomes something which we may
come across as ready-to-hand,”32 language can bee seen as a series of signs that
we use to indicate aspects of our world. As a tool, language is an integral part
of our practical activity (and not the distinct substance that it is thought to be
by traditional correspondence theorists) and it does its job in the context of
our activities by pointing out characteristics of the work in progress, providing
predicates for subjects involved in the referential whole, and allowing com-
munication to take place in the course of communal activity. As an example of
this phenomenon, take the assertion “The hammer is heavy”. Clearly, a ham-
mer cannot be heavy in isolation, but it can be too heavy for a specific task
in a given situation. And through an assertion, I can point all of this out to
someone on the job with me. In this example, the assertion “The hammer is
heavy” picks out a particular aspect of the our work-environment, ‘hammer’,
provides it with a predicate, “heavy,” and in doing so is capable of indicating
to others that this hammer is too heavy for the task at hand.33 Yet the point of
this illustration is not to show us what language is capable of doing, but rather
to highlight the non-semantic significance that enables it to do the things that
is does. As Dreyfus writes: “Language is used in a shared context that is already
meaningful, and it gets its meaning by fitting into and contributing to a mean-
ingful whole.”34
In his influential commentary on Being and Time, Dreyfus details the deriva-
tion of linguistic meaning from an inherited historical context, through practi-
cal understanding, interpretation and assertion, and finally to the predicate
calculus of modern logic. Ultimately, the meaning of a sign is grounded in a
broader, socio-historical background understanding into which all human
beings are thrown, and which Heidegger calls a “truth of being.” Heidegger
defines our “thrownness” in Being and Time as follows:
Though truths of being are difficult to define precisely because they are the
background upon which we are able to define anything at all, they can be
crudely characterized as the worldviews of different epochs that allow differ-
ent entities and aspects of the world to show up as the entities and aspects that
they are. Heidegger captures the part truths of being play in our lives when
he writes:
The everyday way in which things have been disclosed is one into which
Dasein has grown in the first instance . . . In it, out of it, and against it,
all genuine understanding, interpreting, and communicating, all re-
discovering and appropriating anew, are preformed.36
And Dreyfus attempts to exemplify these truths of being when he asserts: “The
Greeks encountered things in their beauty and power, and people as poets,
statesmen and heroes; the Christians encountered creatures to be catalogued
and used appropriately, and people as saints and sinners; and we moderns
encounter objects to be controlled and organized by subjects in order to satisfy
their desires.”37 And whilst it may be difficult to tease out the concrete content
of the Greek, Christian and Modern worldviews, formally these truths of being
are simply the set of norms and relations on the basis of which all activities
and entities in the Greek, Christian and Modern worlds make sense.
Although a truth of being opens up the world in countless ways and presents
us with numerous possibilities, the actual significance of our inherited possi-
bilities is initially articulated when we takes a stand on our existence. Taking
a stand on our existence is achieved when we adopt a particular potentiality-
for-being, exhibit a certain practical understanding of the world, and express
that possibility’s importance to us by projecting it into the future. Adopting a
particular possibility also involves revealing certain entities and aspects of the
world and concealing others. In the act of hammering a carpenter discloses the
hammer as a tool designed for pounding nails into a piece of wood, yet ham-
mering itself fails to reveal the chemical composition or physical properties
that enable a hammer to do the job that it does. Perhaps more to the point,
successfully engaging in the act of carpentry precludes the carpenter from
pausing her activity in order to analyze the chemical composition or physical
properties of a hammer in the way a chemist or physicist would. And by taking
a stand on our existence through, say, becoming a carpenter, or a chemist, or a
physicist, we hone in on and articulate one way of being-in-the-world that our
socio-historical background makes available.
The specific significance that we articulate in our active engagement with
the world is capable of being explicitly expressed in interpretation. “That which
is disclosed in understanding,” Heidegger writes, “is already accessible in such
a way that its ‘as which’ can be made to stand out explicitly. The ‘as’ makes up
the structure of the explicitness of something that is understood; it constitutes
the interpretation.”38 Whereas understanding discloses entities and aspects of
our world through a certain use, interpretation consists in abstracting from
our practical engagement with the world and using signs to explicitly see what
we understand as the entities or aspects that they are. Heidegger elucidates
the transition from tacit practical understanding to explicit linguistic inter-
pretation by breaking down the “fore-structure” of interpretation into its basic
parts—“fore-having,” “fore-sight,” and “fore-conception”—and highlighting
the extent to which the latter concepts presuppose yet explicitly articulate the
former. “Fore-having” refers to the truth of being or background intelligibility
we have prior to any practical understanding or interpretation:
Anything which is held in our fore-having and towards which we set our
sights fore-sightedly’, becomes conceptualizable through the interpreta-
tion. In such an interpretation, the way in which the entity we are inter-
preting is to be conceived can be drawn from the entity itself, or the
interpretation can force the entity into concepts which it is opposed in its
manner of Being. In either case, the interpretation has already decided
for a definite way of conceiving it, either with finality or with reservations;
it is grounded in something we grasp in advance—in a fore-conception.41
Heidegger, however, is quick to point out that “this calculus cannot disown
its ontological origin from an interpretation which understands.”45 And this
means that our most abstract languages “depend on a series of background
practices on the basis of which all activities and objects are intelligible or make
sense.”46
With the derivation of linguistic meaning from a socio-historical truth
of being in place, we are finally in a position to see how the unconcealment
achieved in our practical activities is a condition of possibility for proposi-
tional truth and our predicate calculus. Propositional truth presupposes the
unconcealment brought about through our practical activities to the extent
that assertions are about something in the world, and that an assertion’s truth-
value is determined by that about which the assertion asserts. To continue
with our earlier example of a hammer, the assertion “The hammer is heavy”
is true or false in virtue of being about something: namely, a hammer. But
for this assertion to be about a hammer, the hammer must be disclosed in a
certain context. As Heidegger puts it: “in order for something to be a possible
about-which for an assertion,” the about-which of the assertion “must already
be somehow given for the assertion as unveiled and accessible.”47 Assertions,
however, are not simply about something that has been disclosed, since they
also make specific claims about that which is disclosed. To make an assertion
about a hammer, for instance, the assertion must focus on a particular aspect
of the hammer: namely, its heaviness. Yet in order for an assertion to focus
on a definite aspect of a hammer, say, its heaviness, that aspect must itself be
disclosed in the context of our practical activities: that is, the hammer must be
too heavy for the task at hand. Finally, the ability of true or false assertions to
assert something meaningful about the world depends on the context in which
entities and aspects of the world are disclosed. In Mark Wrathall’s words:
3 Conclusion
By illustrating the extent to which the meaning and truth of our most abstract
languages depend on our practical activities, Heidegger corrects for a lacunae
in Carnap’s and Ayer’s work by explaining how the reality that is said to verify
our empirical propositions is actually given to us. Briefly, our practical activi-
ties present certain salient entities and aspects of the world such that they
can be the subject matter of our discourse or symbolized in our predicate cal-
culus. This presentation is temporal insofar as our current practical engage-
ment with the world presupposes an appropriation of a potentiality-for-being
available our cultural inheritance along with the possibility of projecting that
potentiality into the future. And it is historical to the extent that human beings
are bound by the possibilities available in a certain socio-historical situation.
What, of course, remains to be show is whether or not the language Heidegger
uses to describe the practical activities that make propositional truth possible
is itself meaningful or mere “metaphysical nonsense.” But this task must be
deferred to another occasion.
Bibliography
The Obstacle
Jacques Lacan’s Critique of the Formal Logical Representation of the
Real
Ervik Cejvan
1 Introduction
1 Anika Lemaire, Jacques Lacan, trans. David Macey (London and Boston: Routledge & Kegan
Paul, 1977) vii; Jacques Lacan, The Other Side of Psychoanalysis, trans. Russell Grigg (New York:
Norton, 2007), 33.
2 Lacan proposes this critique in formal terms in his so-called “formula of sexuation.” Lacan
does not aim to demonstrate how things are—as he is particularly critical of metaphysical
approaches to the real—but rather to falsify the idea that things outside language are as they
are signified (by language). In particular, in the “formula of sexuation” Lacan aims to falsify,
first, the common idea that human relations are determined by sex and gender; and second,
the heteronormative idea that in terms of sexual difference, an exceptionally female (“clito-
2 Background
rial”) enjoyment is different to male (“phallic”) enjoyment. Lacan does not, however, deny the
fact that people are burdened by the problems directly related to sex and gender. See Jacques
Lacan, Encore: On Feminine Sexuality, the Limits of Love and Knowledge, 1972–1973, ed. Jacques-
Alain Miller, trans. Bruce Fink (New York: W.W. Norton and Company, Inc., 1999).
3 “le réel est en somme ce quelque chose qui résiste absolument à la symbolisation.” See Jacques
Lacan, Freud’s Papers on Technique, 1953–1954, trans. John Forrester (New York: W.W. Norton,
1998), lecture 17 February 1954.
4 Jacques Lacan, Écrits, trans. Bruce Fink (New York: W.W. Norton and Co., 2006), 736–737;
222–223; 391.
68 cejvan
any formal designation of the logic of the unconscious Lacan has to respond to
the law of non-contradiction, which effectively poses as an obstacle for logical
formalization of the unconscious. This, then, was a key dilemma for Lacan, and
it enables us to better grasp the problematic character of his psychoanalysis.
Lacan embarks on the concept of the obstacle particularly in his twenti-
eth seminar from 1972–1973, published as Encore, in reference to Aristotle’s
analytic concept of enstasis (ενστασις).5 Lacan’s obstacle entails the double
meaning of Aristotle’s enstasis, namely as an “instance” and an “objection.”
I argue that such a rendition is decisive for grasping the Lacanian idea of the
obstacle, more precisely as an obstacle to a logical formalization of the real,
which for Lacan is identical to the unconscious. Such an idea traditional logic
does not take into account simply because, as Lacan maintains, it could not do
so prior to its Freudian discovery.6 The unconscious is nevertheless an underly-
ing condition of both language and logic, indeed any symbolic system, and so
underlies even principles such as the logical operation of negation, separation,
exclusion, along with the pillars of Aristotelian logic. The unconscious under-
lies logic on the level of the structure of language, since, according to Lacan,
the unconscious is structured like a language.
In the later stages of his career, Lacan attempts to show this formally by
inscribing psychoanalytical theory in terms of an idiosyncratic version that
fuses Aristotelian logic, modern symbolic logic, and Lacan’s own formal opera-
5 In Latin, the Greek enstasis is translated as “instantia” and in English as “objection.” Aristotle
defines enstasis: “An objection [enstasis] is a premise contrary to a premise.” See Aristotle’s
Prior Analytics, Book II, Chapter XXVI: Aristotle, Analytica Priora (Prior Analytics), trans.
A.J. Jenkinson, in The Works of Aristotle, Vol I, ed. W.D. Ross (Oxford, Clarendon Press, 1928).
Also see Bruce Fink, “Preface,” in Jacques Lacan, Encore: On Feminine, the Limits of Love and
Knowledge, 1972–1973, ed. Jacques-Alain Miller, trans. Bruce Fink (New York: W.W. Norton and
Company, Inc., 1999), vii–1: “enstasis is the obstacle one raises to an adversary’s argument; it
is also the exception to a universal predicate, hence an instance or counterinstance that
refutes a general claim. This is but one example of the inappropriateness of translating
Lacan’s ‘Instance de la lettre’ as ‘Agency of the Letter.’ ” Lacan also refers to Aristotle’s Rhetoric
and Topics in the Encore: “Consult Aristotle and you will know everything when I at last come
to this business of the enstasis. You can read, one after the other, the passage in the Rhetoric
and the two sections of the Topics that will allow you to truly know what I mean when I try to
integrate my four formulas, $x–Φx and the rest, into Aristotle’s work:” Lacan, Encore, 70,
70 n16. Also, see the useful information in Fink’s “Introduction,” regarding Lacan’s exact refer-
ences to Aristotle in “The Title of the Letter” in Écrits.
6 The philosophical literature on the concept of obstacle in Lacan is rather sparse. One excep-
tion is Jean-Michel Rabaté, who discusses this concept in relation to French phenomenology:
Jean-Michel Rabaté, “Strasbourg: The Nancy School?”, url: http://www.lineofbeauty.org/
index.php/s/article/view//62/135, accessed September 1 2013.
The Obstacle 69
7 Lacan, Écrits, 129; 171; 727; Jacques Lacan, The Four Fundamental Concepts of Psychoanalysis,
trans. Alan Sheridan (New York: W.W. Norton and Co., 1998), 35–37; 44; 222; 224.
70 cejvan
3 The Real
8 See Lacan, Encore, 64–90 (the “formula” is presented on page 73). I will not explicate Lacan’s
“formula of sexuation” here as it would cause a discussion which violates the delimitation of
this chapter. For an important discussion of the the logic of sexuation see Ellie Ragland-
Sullivan, The Logic of Sexuation: From Aristotle to Lacan (Albany: State University of New York
Press, 2004).
9 Lacan, Écrits, 414–418.
The Obstacle 71
as such touches the real.10 Thus, the real is that which is meaningless, and since
formalizations are meaningless, according to Lacan, they best capture the
real.11 The mathematical sign is precisely what it is, it enounces itself precisely
as the real, as an immediate existence, here and now, beyond representation
in discourse (the notion of representation that I employ in this Lacanian con-
text does not concern the representation (or meaning) on a cognitive and neu-
rological level). Representation here means a representation in and through
language, and language is already a representation, since it structurally does
not signify anything real but yet another signifier (the signifier does not sig-
nify the signified, as we have it in Lacan’s appropriation of Sussurean linguis-
tic). The immediacy of the real is beyond signification and hence beyond
representation.
A discourse that desires to ascertain the “status” of the real fails to do so and
effectively poses an obstacle to the immediacy of the real. This means that not
mathematics, but Lacan’s mathèmes are designed to represent any notion in
Lacanian psychoanalytic theory with a mathème unique to a particular notion.
For example, the mathème “J” signifies “enjoyment” ( jouissance), such as it
is designated as a theoretical concept in Lacanian psychoanalysis. The “a” is
the object-cause of the desire (objet petit a), the “A” is the Other (l’Autre), and
so on.12 The purpose of this formalization was to provide a system which
could be exact in the sense of being properly meaningless to any discursive
approach, including the psychoanalytic discourse which is inscribed in it and
which it represents.
But from the Encore and onward, Lacan begins to question the utility of the
mathèmes, since he comes to realize that they actually still work on the level
of symbolic representation, whereas the real resists symbolization, and it pre-
cisely to suggest what is at stake in knowledge and experience of the real that
Lacan devised the mathèmes. Thus, they fail to convey what Lacan is getting at
on the one hand, and they fail to convey the real (even in their failures). Lacan’s
formulas of sexuation, especially, illustrate the failure of the Lacanian math-
ematization of psychoanalytic discourse. To find a better way of discussing the
real, Lacan eventually embarks on the project of showing it by the means of
topological models and knots, hoping that his new formalization, which is still
very much like the old one, would enable a communication of psychoanalyti-
cal discourse to the empirical sciences.13 Whether Lacan’s mathematizations,
in any form, manage to reach the real or not is a discussion which must be
omitted here. What is of concern in this chapter, to repeat, is how they enable
us to understand Lacan’s thought.
4 Lacan on Logic
According to Lacan, what logic proves, and what ontology instigates through
a discourse on what is, is merely what we already know or believe there is: it
seems nevertheless that the problem is that we are never certain of what is.14
Thus, neither metaphysical speculation nor logic, which since Aristotle and
especially among the Scholastics have been producing arguments to fit meta-
physical speculations into a coherent and seriously argued discourse, seem to
ground our knowledge of what there really is, beyond what poses as an obsta-
cle to this knowledge, namely what we already only suppose to know.
In Encore Lacan embarks on a task to approximate the psychoanalytic idea
of the unconscious, its most fundamental idea, in terms of another analytics
which have proved to be effective throughout the history of Western thought,
including modern science—namely the analytics of Aristotle. His purpose is
to communicate psychoanalytical concepts to empirical sciences and to the
13 For Lacan’s elaborations on science, mathème, linguistics and topology see Dany Nobus,
“Lacan’s Science of the Subject: Between Linguistics and Topology,” in The Cambridge
Companion to Lacan, ed. Jean-Michel Rabaté (Cambridge: Cambridge University Press,
2003), 50–69; Bernard Burgoyne, “From the Letter to the Matheme: Lacan’s Scientific
Methods,” in The Cambridge Companion to Lacan, ed. Jean-Michel Rabaté (Cambridge:
Cambridge University Press, 2003), 69–86.
14 Lacan articulates this particularly in reference to death as a domain of faith, the dilemma
of knowing that we will die, and yet, that we are unable to ascertain this as a fact until it
actually happens, and hence, only then, can be ascertained as such. See a video record-
ing of the conference at the University of Louvain October 13, 1972, which is available
in the movie Lacan Parle (1972) by François Wolff. A transcript (in French) is available
at url: http://www.psychasoc.com/Textes/La-mort-est-du-domaine-de-la-foi, accessed
September 1, 2013.
The Obstacle 73
The relation of the truth to the signifier, the detour through which ana-
lytic experience rejoins the most modern process of logic, consists pre-
cisely in the fact that this relation of the signifier to the truth can
short-circuit all the thinking which supports it. And just as a sort of aim
is outlined at the horizon of modern logic—one which reduces logic to a
correct handling of what is simply writing—in the same way for us, the
question of verification, concerning what we have to deal with, passes
along the direct line of the operation of the signifier, in so far as on it
alone the question of the truth remains suspended.16
5 The Obstacle
Today I must break new ground—with the notion of the obstacle, with
what in Aristotle’s work—whatever else may be said, I prefer Aristotle to
Jaufré Rudel—is precisely called the obstacle, ενσταις [enstasis].17
17 Lacan, Encore, 69. Jaufré Rudel was a French 12th century troubadour famous for his
poetry of the “love from afar.”
18 Jacques Lacan, Le Séminaire XXI: Les non-dupes errent (unpublished), lecture dated
May 21, 1974 (in author’s possession).
The Obstacle 75
Lacan’s discussion on the obstacle also appears in the context of Lacan’s cri-
tique of the logic of sexual difference, which according to Lacan’s critique is
19 Jacques Lacan, Le Séminaire XXI: RSI, 1974–1975 (unpublished), lecture dated March 18,
1975 (in author’s possession).
76 cejvan
20 The Lacanian supposition of the human being as a speaking being, is rendered as fun-
damental to the psychoanalytic practice of a “talking cure.” Through speech a person
articulates unconscious desire, which extends beyond mere sexual desire. Desire from a
The Obstacle 77
s ymbols which require exact knowledge of the meaning of each symbol, which
as such means virtually nothing on the level of spoken language. Hence, Lacan
wants to show that without this precise knowledge any attempt to interpret
these symbols will fail to render their accurate meaning. Consequently, there
cannot be established any relation between the symbol and meaning, unless of
course one knows the meaning of this symbol.
Lacan’s critique of the logic of the binary relation, which has governed the
idea of the sexual difference in psychoanalysis since Freud, is directly con-
nected to Lacan’s ambition to communicate the Freudian “discovery” of the
unconscious to linguistics and logic, which he considered as sciences through
which psychoanalysis can be actualized particularly by way of a formalization
of psychoanalytic discourse. Science, according to Lacan, is a formalized sys-
tem of knowledge, whereas certain properties and conditions of a particular
object of scientific enquiry are outlined in for example observation and calcu-
lation, operations which require a formalization of a scientific discourse. This
rather traditional idea of science goes back to Aristotle’s method of a scientific
analysis, known today as the Aristotelian syllogistic logic—which is precisely
where Lacan anchors his discussion on the matter of formalization as a way
of a scientific communication of psychoanalytic discourse. The difference
between Aristotle’s method of analysis and modern scientific analysis, is that
the latter, especially since Frege and Wittgenstein, abandons metaphysical
speculation.
In displacing ontology by means of an analysis of meaning at the level of syn-
tax, and posing the question of truth as a purely formal operation undertaken
by means of propositional logic, one can perhaps say that modern science in a
way still deals with a formal or symbolic representation of metaphysical con-
cepts. But does this actually have anything to do with the clear and distinct
seeing, which Descartes poses as a still highly relevant criterion of scientific
certainty? Lacan’s answer is negative. The problem Lacan thus points out in
Encore, more precisely in his critique of the inscription of the logic of sexual
difference in terms of a binary relation, is the idea of a formal logical and sym-
bolical representation of the real. The Lacanian real is the domain of truth
outside language, which cannot be represented and hence symbolized, since
it is properly speaking a matter outside of a clear and distinct seeing. “Seeing”
in this case is not a metaphor but a way of immediate understanding, of reach-
ing the real, which does not depend on interpretation, and thus never ends in
merely speculative knowledge. Seeing in this sense Lacan calls “mis/recogni-
tion” (reconnaisance/méconnaissance) which combines the idea of anamnesis
in Plato and a Cartesian scientific ideal of a certainty beyond doubt.
The Obstacle 79
8 Conclusion
One important lesson we can learn from Lacan’s discussion of the concept
of the obstacle in the context of his critique of formal logic or more gener-
ally symbolization is the following: any logical operation is an obstacle to a
clear and distinct seeing of the real. In other words, nothing of the real is actu-
ally revealed by a logical operation. Hence, according to Lacan, formal logic
ultimately does not represent anything but the coherence of its own chain of
signification. Today the idea that logic does not represent the real conditions
of concern in ontological investigations of what-is is rather widely accepted
among logicians. Still, in certain cultures of philosophical analysis, such as the
analytical tradition, the problem of what is is approached by appropriating the
formal logical derivation to prove or reject certain propositions of the ontolog-
ical status of things, assuming that the (formal) logical propositions actually
represent what is. Lacan’s critique of the formal logical approach to the real
warns against such approaches, and it does so by discerning the problem of the
obstacle as posed by the very formalized approach to the real.
A final remark regarding Lacan’s goal of overcoming logical formalization in
psychoanalysis by means of mathematization, or of creating a formalized sys-
tem which would assure the exactness to psychoanalytical theory. It remains
an open question whether Lacan’s elaboration of the mathèmes reached the
deadlock of the symbolic-formal representation it so desperately wanted to
overcome (one can certainly argue that it did). It remains an open question
whether the strict formalism of modern logic tends to create another self-
sufficient metaphysics, as for example this seems to be the problem of logical
positivsm in philosophy (one can, again, argue that it did). Is remains an open
question whether Lacan’s mathèmes are only intelligible in Lacanian theory.
However it may be with the last question, I claim that they overcome the fail-
ure of formal logic to account for the real.
Bibliography
Aristotle, Analytica Priora (Prior Analytics), trans. A.J. Jenkinson, in The Works of
Aristotle, Vol I, ed. W.D. Ross, (Oxford: Clarendon Press, 1928).
Bernard Burgoyne, “From the Letter to the Matheme: Lacan’s Scientific Methods,”
in The Cambridge Companion to Lacan, ed. Jean-Michel Rabaté (Cambridge:
Cambridge University Press, 2003), 69–86.
80 cejvan
Bruce Fink, “Preface,” in Jacques Lacan, Encore: On Feminine, the Limits of Love and
Knowledge, 1972–1973, ed. Jacques-Alain Miller, trans. Bruce Fink (New York:
W.W. Norton and Company, Inc., 1999), vii–1.
Jacques Lacan, The Other Side of Psychoanalysis, trans. Russell Grigg (New York: Norton,
2007).
———, Écrits, trans. Bruce Fink (New York: W.W. Norton and Co., 2006).
———, Encore: On Feminine Sexuality, the Limits of Love and Knowledge, 1972–1973, ed.
Jacques-Alain Miller, trans. Bruce Fink (New York: W.W. Norton and Company, Inc.,
1999).
———, Freud’s Papers on Technique, 1953–1954, trans. John Forrester (New York:
W.W. Norton, 1998).
———, The Four Fundamental Concepts of Psychoanalysis, trans. Alan Sheridan (New
York: W.W. Norton and Co., 1998).
———, Le Séminaire XXI: RSI, 1974–1975 (unpublished), lecture dated March 18, 1975
(in author’s possession).
———, Le Séminaire XIV: La logique du fantasme, 1966–1967 (unpublished), lecture
dated December 7, 1966 (in author’s possession).
———, Le Séminaire XXI: Les non-dupes errent (unpublished), lecture dated May 21,
1974 (in author’s possession).
Anika Lemaire, Jacques Lacan (London: Routledge, 1978).
Dany Nobus, “Lacan’s Science of the Subject: Between Linguistics and Topology,” in The
Cambridge Companion to Lacan, ed. Jean-Michel Rabaté (Cambridge: Cambridge
University Press, 2003), 50–69.
Jean-Michel Rabaté, “Strasbourg: The Nancy School?,” url: http://www.lineofbeauty.
org/index.php/s/article/view//62/135, accessed September 1, 2013.
Ellie Ragland-Sullivan, The Logic of Sexuation: From Aristotle to Lacan (Albany: State
University of New York Press, 2004).
chapter 5
Christopher Fear
1 Introduction
Fearing that his health would not permit him time to leave to the world the
full range and depth of his offerings in philosophy, R.G. Collingwood sat down
in the late summer of 1938 with the intention of getting as much of his think-
ing down on paper and out in public as he could in the time left to him.1 The
result of this flurry of activity was An Autobiography: a short, bold, and stylisti-
cally informal book that is not only immensely readable as the life-story of an
unceasingly active man, but also philosophically rich, in places intriguing and,
above all, accessible to any reader. After four chapters of what are mostly mem-
oirs of his youth, chapter five of this Autobiography describes one of the funda-
mental concepts of Collingwood’s thinking on various subjects: namely, what
he calls his “logic” (or “theory”) of question and answer.2 It is an extremely sug-
gestive and deceptively complex chapter—which is probably part of the rea-
son why Collingwood scholars have offered so many different accounts of the
significance or “place” of “question and answer” in Collingwood’s philosophy.3
In less that fourteen pages Collingwood explains the importance of “the
questioning activity” to human knowledge, and how it offered a theory of truth
and contradiction distinct from both the “correspondence” and “coherence”
theories of truth.4 Most provocatively as far as intellectual historians are con-
cerned, Collingwood also begins to explain here how “question and answer”
showed that in order to know what a man means by a certain proposition
you must reconstruct the question to which it is intended as an answer. And,
1 See Fred Inglis, History Man: The Life of R. G. Collingwood (Oxford: Princeton University Press,
2011), 217.
2 R.G. Collingwood, An Autobiography (Oxford: Oxford University Press, [1939] 2002), 29–43.
3 See Stein Helgeby’s thorough and admirable survey: Stein Helgeby, Action as History: The
Historical Thought of R.G. Collingwood (Exeter: Imprint Academic, 2004), 84–88. Helgeby’s
own reading of “question and answer” is presented on pages 77–100.
4 Collingwood, Autobiography, 36.
logical theories of the time, a good deal like that revolt against the scholastic
logic which was produced in the minds of Bacon and Descartes by reflection
on the experience of scientific research, as that was taking shape in the late
sixteenth and early seventeenth centuries.”10 Bacon’s Novum Organum and
Descartes Discours de la Méthode took on a new significance, he says, because
they expressed a principle of logic which (Collingwood then adds) needs
restating: namely
But the implications for logicians are no less far-reaching. What Collingwood
describes as a “revolt” in logic is actually more of an iconoclasm. It is a destruc-
tion of the false idols of contemporary logicians by way of a return to the
origins of logic—origins historical and, if I understand Collingwood cor-
rectly, practical. Formal logic is actually, Collingwood says, an abstraction
and like all abstractions it derives from concrete instances of something. In
the Autobiography his demonstration appeals to the early history of logic’s
entwinement with grammar:
the evidence itself, and the reasoning by which that evidence is connected to
the conclusion. To use a blunt analogy,18 the “realists” supposed (Collingwood
thinks) that knowledge was like the finale of a game of Cluedo: the accusation
is correct if it corresponds to the suspect, room, and weapon found in the enve-
lope. Collingwood’s objection is that, in a case of real-world knowledge, no-one
ever gets to look inside the envelope. We only have our inquiries, our evidence,
and our reasoning to go on, and the game never ends. So when someone claims
to know who murdered Dr. Black, where, and with what weapon, it is his evi-
dence and reasoning he offers as proof—never the contents of the envelope.
The “realists’” false account of knowledge, Collingwood seems to claim, owes
to a fundamental mistake about the nature of propositions.
Collingwood then offers an outline of his own logic of question and answer.
He does not explicate in the Autobiography exactly what his logic of question
and answer derives from, if not from the indicative sentence. But in view of
passages in some of his other works, it seems to me that Collingwood’s logic
of question and answer derives what I will call demonstrative narrative—that
is, from the narrative of scientific investigation and inductive demonstration
itself. Now this seems to me to be a very clever move. Where Collingwood’s
predecessors shoe-horned their theories of truth and knowledge into proposi-
tional logic as it already existed, Collingwood makes logic follow an account of
truth and knowledge that describes what it is actually like to construct knowl-
edge inductively and to decide that things are true. None of this is especially
clear in the Autobiography, where Collingwood’s attack on propositional logic
and “realist” theories of truth are a little rushed and intertwined with each
other, as well as tangled with his explanations of how “question and answer”
rescues historically-remote philosophers from the misunderstandings of their
“realist” readers. But Collingwood’s other works offer evidence that this is his
agenda for abstract logic.
Chapter five of An Autobiography was certainly not the first appearance of
“question and answer” in Collingwood’s work, and it would not be the last. His
ambitious second book, Speculum Mentis (1924), contains the following state-
ment of what “question and answer” is all about. This passage illustrates that,
for Collingwood, the question of what knowledge is ought not to be posed
separately from the question of how knowledge is achieved. The theory of
18 Collingwood offers his own analogies. I have tried to capture the important points in my
own. See Collingwood, The Principles of History and other writings in philosophy of history,
ed. W.H. Dray & W. J. van der Dussen (eds) (Oxford: Oxford University Press, [1999] 2001),
21–9; The Idea of History, 266–73; R.G. Collingwood, Essays in Philosophy of History, ed.
William Debbins (Austin: University of Texas Press, 1965), 98–99.
86 fear
None of this, Collingwood thinks, should be news to anyone. Plato, after all,
“described true knowledge as ‘dialectic,’ the interplay of question and answer
in the soul’s dialogue with itself [. . .] so Kant mildly remarked that the test of
an intelligent man was to know what questions to ask; and the same truth has
lately dawned on the astonished gaze of the pragmatists.”20
The same point is made—characteristically, more concisely—near the end
of Collingwood’s life, in The New Leviathan (1942): “Knowing a thing is more
than merely being conscious of it,” he says; “Knowing involves asking questions
and answering them.”21 And later: “Knowledge is the conviction or assurance
with which a man reaffirms a proposition he has already made after reflect-
ing on the process of making it and satisfying himself that it is well and truly
made.”22 In the years between these two books—approximately the twenty
years of his “mature” career—Collingwood announces several times that
23 Collingwood, Autobiography, 30. See also The Idea of History, 269, and The New Leviathan,
31.27.
24 As Quentin Skinner has recently emphasized. See Quentin Skinner, “Some Problems in
the Analysis of Political Thought and Action”, Political Theory 2 (1974), 283–4. See also
Collingwood, The Idea of History, 126–33.
25 Friedrich Nietzsche, Beyond Good and Evil, trans. Helen Zimmern (Mineola: Dover, [1886]
1997), ix.
26 Collingwood, Autobiography, 25–26, 30–31; The Idea of History, 269, 273; An Essay on
Metaphysics (Oxford: Clarendon, 1940), 4; The New Leviathan, 6.47, 6.43, 6.59, 22.8.
27 Collingwood, An Essay on Metaphysics, 37.
28 Collingwood, The Idea of History, 9 (emphasis added).
29 Contradictions of this last point are frequently to be encountered today. See for instance
most of the preface to Mark Bevir, The Logic of the History of Ideas, especially 8–10, 16, and
also 31–7. Compare with Collingwood, The Principles of History, 179.
88 fear
unknown.”30 The specific unknown is the thing that the scientist, whatever his
precise discipline, wants to replace with a specific “known.” The answer is what
he “desires;”31 it is what replaces emptiness with repletion;32 it is the thing that
his investigative hunger presupposes to be the “good;”33 it is what is pursued
in what Collingwood calls the “hunt.”34 And desire, Collingwood writes in The
New Leviathan, involves propositional thinking: “and a proposition is an answer
to a question; and a question offers alternatives; so desire asks and answers the
question ‘What do I want?’”35 Finding things out is, in short, the movement
from the here-and-now of ignorance to the there-and-then of knowledge.36
The basic method of induction, proceeding from the unknown to the
known—from here-and-now emptiness to there-and-then repletion,37 from
confusion to conclusion—is by employing evidence (in a very broad sense).
Whatever typical variations there might be between disciplines, all forms
of investigation aimed at establishing a conclusion have this in common.
“Anything is evidence which can be used as evidence,” Collingwood writes,
“and no one can tell what is going to serve him as evidence for answering a cer-
tain question until he has formulated the question.”38 In English we are accus-
tomed to using the word “evidence” in conjunction with historians’ disputes
and especially with criminal investigations.39 What Collingwood really means
should be more broadly conceived so that there can be overlap with what we
call “considerations.” Evidence is what helps the questioner to construct his
conclusion, of course, but it is also what he offers to other people in order to
demonstrate that the conclusion he has constructed is the right one. The rela-
tionship between evidence and conclusion is called “reason,” and it is this rela-
tionship in particular—this element of demonstrative narrative—from which
abstract logic is derived. The definition of “reason” that Collingwood offers in
The New Leviathan is wonderfully iconoclastic:
30 That the unknown is “specific” is important, according to what Collingwood calls the
“principle of the limited objective.” See The New Leviathan, 31.61–64.
31 Collingwood, The New Leviathan, 11.1–11.
32 Collingwood, The New Leviathan, 7.15.
33 Collingwood, The New Leviathan, 11.4–41.
34 Collingwood, The New Leviathan, 2.64.
35 Collingwood, The New Leviathan, 11.22.
36 Collingwood, The New Leviathan, 7.44–45, 7.69, 8.13.
37 Collingwood, The New Leviathan, 7.15.
38 Collingwood, The Principles of History, 38.
39 Indeed Collingwood discusses at length the similarities between a scientific historical
inquiry and a criminal investigation. See The Idea of History, 266–73; The Principles of
History, 21–29.
Collingwood’s Logic of Question and Answer 89
When I say that “evidence” ought to be broadly conceived, I mean broad enough
to stand for what is referred to in this passage as “y” and the relations between
y and x. In real-life demonstrative narrative, of course, there are usually lots of
“y”s—a “constellation”41 of reasons. Thus, in view of y and z (the demonstrator
says), I conclude that x is the case. The response might be offered that, in view
of counter-evidence a and b, we cannot conclude x. “All logic,” Collingwood
says, “is concerned with discussions.”42 What he has in mind (I am claiming) is
any “discussion” in which the aim is to establish the correct answer to a shared
question.
The rules of logic should be understood as abstractions from these specific
instances of individuals offering evidence for their conclusions to others who
may or may not be convinced by the demonstration. These others—other his-
torians, other astrophysicists, other philosophers etc.—are convinced by the
proponent’s reasoning when they accept that y is (probably) the case, and
accept that it demonstrates x. They fail to be convinced by it either when they
are not convinced that y is (probably) the case, or when they accept y but are
not convinced that it provides sufficient reason for concluding x. The impor-
tant point is that logic collects instances of y demonstrating x, and instances
of y failing to demonstrate x, and formulates them as rules abstracted from
the concrete cases in which those successes and failures actually arise. For
Collingwood, it is because of “modern logicians”’ lack of experience in concrete
inquiries and demonstrations of this sort that they are “in a conspiracy to pre-
tend that [instead of answering specific questions] a scientist’s business is to
‘make judgements,’ or ‘assert propositions,’ or ‘apprehend facts.’ ” This reveals,
for Collingwood, that modern logicians “have no experience whatever of sci-
entific thinking, and wish to palm off, as an account of science, an account of
their own haphazard, unsystematic, unscientific consciousness.”43
Now these are strong words, and there are several messages here that will
please those who already have certain grievances with any surviving logicians
of the kind Collingwood attacks. Firstly it is clear that, since it is really derived
knowing demands, and what knowing is like, are neatly aligned. And Colling
wood’s logic of question and answer is good news for historians who gain, in
practice, logic as a servant to their discussions, rather than as the master of
them; and gain, as a bonus prize of precisely the sort they like, the satisfac-
tion of showing logicians that their supposedly timeless science is a product
of history.
50 Collingwood, The New Leviathan, 37.4. See also Collingwood’s declaration that Hobbes’s
Leviathan is “the world’s greatest store of political wisdom”. (The New Leviathan, lx.)
For other examples see also The Idea of History, 76, 173.
51 See Skinner, “A reply to my critics”, 256–257; Quentin Skinner, Visions of Politics, vol. I,
Regarding Method (Cambridge: Cambridge University Press, 2002), 53.
52 Skinner, Regarding Method, 125.
53 Collingwood, Autobiography, 59.
54 See Collingwood, Autobiography, 72–76.
Collingwood’s Logic of Question and Answer 93
of History, “is both to re-think it in my own mind and also to think other things
in the light of which I can judge it.”55
Two questions ought to arise in response to what Collingwood is arguing
here. The first and most important is “Why?”: Why “must” historians ask not
only what past authors’ reasoning was, but also ask whether they were right?
The second question, which is more relevant to the subject at hand, is “How?”:
How, if abstract logic is as historically contingent as Collingwood seems to say
it is, can we consciously unleash later logic upon unwitting past thinkers? What
counts as a logical proof undoubtedly varies between cultures. Even under-
graduates encountering old philosophy for the first time notice that people
in the past were easily convinced of a claim by what appear to be some quite
insignificant considerations in conjunction with some very weak reasoning.
The more old philosophy you read, the clearer it becomes that what counts
as good reasoning is in a state of constant change and development. The mes-
sage that many historians of philosophy have taken from this is that the logics
of the past are distinct from our own, and that imposing upon past thinkers
logical standards which would have been unknown to them is anachronistic,
unfair, and inimical to understanding. The effect of this is that some authors
seek to defend the arguments of past thinkers against any new critiques that
other authors might want to advance. It is a defence that operates by sealing
off old arguments behind a protective barrier designed to filter out unwelcome
anachronistic logic. To be clear, these are not defences of the original argu-
ment: they are rather notices that trespassers will be disqualified.
Collingwood’s answer to the first question is not easy to find. His
Autobiography offers the claim that historians “must” ask “Was he right?”, but
not the reasoning—that is, the reader gets his “x” several times, but never his
“y”s. His Essay on Philosophical Method is also unenlightening. The answer is to
be constructed, I think, from important passages found in The New Leviathan.
What Collingwood refers to in his writings as “historical thinking”—for all
intents and purposes simply the reasoning historians use to answer their ques-
tions properly—is a type of “theoretical reason.” What Collingwood says about
theoretical reason is fundamental to the logic of his argument that the histo-
rian of philosophy “must” ask the truth question, so I will quote it in full:
56 Collingwood, The New Leviathan, 14.3–38, 1.66–68. See also The Idea of History, 406–407.
57 See Collingwood, An Essay on Metaphysics, 21–33.
58 Collingwood, The Idea of History, 230.
59 See Collingwood, An Essay on Metaphysics, 21–33.
60 For a detailed account of the rapprochement between theory and practice see David
Boucher, The Social and Political Thought of R. G. Collingwood (Cambridge: Cambridge
University Press, 1989), 51–57.
Collingwood’s Logic of Question and Answer 95
reasoning is, and much less does it follow from an analysis of the kinds of
actions, utterances, or “objects” that historians take as their subject-matter. It
follows instead from a presupposition about why historical questions are asked
in the first place. In short, the “Was he right?” question is the “primitive” ele-
ment of a practical question that survives into the kind of theoretical question
to which it is the job of historians to provide well-reasoned, well-evidenced
answers.
That is Collingwood’s answer to our first question of why historians of phi-
losophy must ask “Was he right?”. Our second question was “How?”: How, if
abstract logic is as historically contingent as Collingwood seems to say it is,
can we consciously unleash our own logic upon unwitting past thinkers? In
order to illustrate what is at stake I took the why question first. It also answers
charges of illegitimacy, since if something “must” be done then it is (at least)
sometimes a legitimate thing to do. But logically the second question comes
first, because “must” implies “can.” And it is here, where the possibility of apply-
ing contemporary logic to past reasoning, that some of today’s intellectual
historians would be inclined to ignore Collingwood. The challenge, then, is to
show that it can be done by explaining how.
Collingwood does not answer this question: the need never arose, because
his presupposition that it is possible to assess the reasoning of the past was
never challenged. So I am now departing from what Collingwood might have
argued himself. (And if the reader does not like it he can at least take comfort
from seeing that I have been quite explicit about it.) But again, Collingwood’s
logic of question and answer has wonderfully iconoclastic potential. The icon
I have in my sights is the “relativist” and/or “pluralist” principle that different
compilations of abstract logic, or different standards of what counts as a dem-
onstration among different cultures, geographical, historical, etc., enjoy pri-
vate validity that make them immune to later or “foreign” logic. It is, in short,
an iconoclastic demonstration that we can assess the rightness, logic, and even
truth of past arguments, which operates by clearing this polytheistic pantheon
of relative plural “logics.”
Collingwood’s definition of reason is simple enough to accommodate every
one of what are called different “logics.” Here it is again:
4 Closing Reflections
For reasons the reader might already have noted, Collingwood is commonly
identified as operating in a “dialectical” tradition. Louis Mink has always
emphasized this: “the key to understanding Collingwood’s thought is an appre-
ciation of how fundamentally and pervasively dialectical it is,” he says.64 I have
avoided the term “dialectical” here, since it commonly invites more confusion
than it does clarity. It does not mean that Collingwood’s philosophy is only rel-
evant if one presupposes “dialectics,”65 especially not if that is intended to indi-
cate a form, framework, or tradition of logic. Neither does it indicate “Hegelian”
dialectic, which Collingwood says involves “at least one very bad mistake,”66
or Marx’s ostensibly inverted version, which still “pretends to extract a concrete
rabbit from an abstract hat.”67 Neither does it secretly dispense with the free-
dom of the will,68 nor does it indicate a belief in the inevitability of progress.
Progress properly defined—i.e. defined as solving new problems without los-
ing hold of solutions to old ones “so that there is gain without any correspond-
ing loss”—is an ideal,69 a presupposed aim of rigorous inquiry, not necessarily
a reality,70 and still less an inevitability.71
What “dialectic” actually does mean in Collingwood’s philosophy under-
lines what I have tried to say here about the priority of concrete discussion
to abstract logic. I will close with an abridged passage from Collingwood’s last
book, The New Leviathan, which epitomizes the true meaning of “dialectic” in
his philosophy: namely, that it indicates a kind of concrete discussion, or an
attitude towards concrete discussion. I am afraid I have been unable to para-
phrase more concisely or anywhere near as gracefully as the original, so I will
leave to your scrutiny Collingwood’s own (abridged) formulation:
All logic is concerned with discussions; but Plato distinguished two kinds
of discussions, ‘eristical’ and ‘dialectical’ (Meno, 75 c–d). What Plato calls
an eristic discussion is one in which each party tries to prove that he was
right and the other wrong. In a dialectical discussion you aim at showing
that your own view is one with which your opponent really agrees, even
if at one time he denied it . . . The essence of dialectical discussion is to
discuss in the hope of finding that both parties to the discussion are right,
and that this discovery puts an end to the debate. Where they ‘agree to
differ’, as the saying is, there is nothing on which they have really
agreed . . . Ever since the world began, if anybody has become intolerable
to his neighbours, what has made him intolerable has been something
maniacal or fanatical about his demeanour. The lesson of making oneself
tolerable, the lesson of cultivating a type of demeanour which other peo-
ple find they can stand, often depends on distinctions which in them-
selves are slight; a little more here, and a little less there, may suffice to
convert what no man can stand into something tolerable. It is distinc-
tions of this kind which are systematically pursued by the man who
makes a point of coming to an agreement with everyone from whom he
might have differed; that is, what Plato calls the dialectical man.72
Bibliography
Mark Bevir, The Logic of the History of Ideas (Cambridge University Press, 1999).
David Boucher, The Social and Political Thought of R. G. Collingwood (Cambridge:
Cambridge University Press, 1989).
R.G. Collingwood, Speculum Mentis, or The Map of Knowledge (Oxford: Clarendon,
[1924] 1963).
———, An Essay on Philosophical Method (Oxford: Clarendon, 1933).
———, An Autobiography (Oxford: Oxford University Press, [1939] 2002).
———, An Essay on Metaphysics (Oxford: Clarendon, 1940).
———, The New Leviathan: or Man, Society, Civilization and Barbarism, ed. David
Boucher (Oxford: Clarendon, [1942] 1992).
———, The Idea of History: With lectures 1926–1928, ed. Jan van der Dussen (Oxford:
Oxford University Press, [1946] 1993).
———, Essays in the Philosophy of History, ed. William Debbins (Austin: University of
Texas Press, 1965)
———, The Principles of History and other writings in philosophy of history, ed. W.H.
Dray & W. J. van der Dussen (Oxford: Oxford University Press, [1999] 2001).
Alan Donagan, The Later Philosophy of R. G. Collingwood (Oxford: Clarendon Press,
1962).
Christopher Fear, “The question-and-answer logic of historical context,” History of the
Human Sciences 26 (2013), 68–81.
Stein Helgeby, Action as History: The Historical Thought of R. G. Collingwood (Exeter:
Imprint Academic, 2004).
Fred Inglis, History Man: The Life of R. G. Collingwood (Oxford: Princeton University
Press, 2011).
∵
chapter 6
Representationalist Logic
Frank Ankersmit
1 Introduction
I shall assume the historical text to consist of a finite set of true singular state-
ments about the past. Such sets I shall call historical representations of the
past5 (to be abbreviated as HR’s). I shall assume, furthermore, that the main
philosophical problems occasioned by historical writing and the historical text
can be investigated by means of an analysis of HR’s, either directly or indi-
rectly. In case the historical text possesses features going beyond the definition
of historical representation given a moment ago, but that can nevertheless be
explained on the basis of a theory of historical representation, I shall say that
the features in question can be explained indirectly (i.e. by moving backwards
from that theory of historical representation to how the historical text presents
itself to its readers). The foregoing implies that the relationship of true sin-
gular statements to what they are about falls outside the scope of a theory of
HR since any such theory deals exclusively with the relationship between such
statements and the HR of which they are part.
Though HR’s consist of statements typically having the form of propositions
either truthfully or falsely attributing a certain predicate to a subject, this it
not the case with HR’s themselves. So they cannot possibly be said to be true or
false. Nevertheless, statements can be formulated about HR’s. Such statements
4 F.R. Ankersmit, “History as the Science of the Individual,” Journal of the Philosophy of History 7
(2013), 396–425.
5 For an explanation of this terminology see my Meaning, Truth and Reference in Historical
Representation (Ithaca and London: Cornell University Press, 2012), 59–63.
representationalist Logic 105
may be of different types and express different truths or falsehoods. But one
type deserves special attention. Suppose a HR consists of the statements s1,
s2, s3. . . . sn (and where n is a finite number), then any statement of the form
“HR = sa” (and where 1 ≤ a ≤ n) will be analytically true, whereas any statement
other than those mentioned just now will be analytically false. Statements of
the form “HR = sa” should always be read as statements about HR’s (giving us
their representational meaning) and never as statements about historical real-
ity, such as for example sa itself. This leaves room for the possibility that state-
ments like “HR is sa” and “HR is sb” are (analytically) true, whereas statements
such as sa and sb themselves are (empirically) false. It follows that one and the
same statement such as sa or sb can be analytically true if interpreted repre-
sentationally and empirically false if interpreted referentially—and where the
representational interpretation is to be associated with “historical writing”
(“Geschichtsschreibung” in German) and the referential interpretation with
“historical research” (“Geschichtsforschung”).6 What is representationally true
may be empirically false, and vice versa. This, then, gives us the logical basis for
the distinction between “historical research” and “historical writing”—a dis-
tinction corresponding to that between the statement and representation—
and that may function as a permanent warning against any attempt to project
any variant of the thesis of the theory-ladeness of empirical facts on the writing
of history.7 Whereas that thesis emphasizes the link between fact and theory,
the preceding argument radically severs it between fact and representation.
Normally it makes sense to distinguish between identification and individu-
ation. A member of a set S can be said to be identified by operation O and
where O is not constitutive of that member. In case of individuation, however,
in the operation O the selection of the member in question and its constitu-
tion are identical. Statements of the form “HR x is sy” do not identify HR in the
sense of fixing the reference of that statement’s subject-term; they cannot be
read as saying: “sy is uniquely true of HR x” for there exists an infinity of HR’s
possessing the property sy. For the same reason sy cannot be said to individuate
HR x. But a HR consisting of the statements s1 to sn can properly be said to be
identified by s1 to sn and to be individuated by “HR is s1,” “HR is s2,” . . . “HR is sn.”
The statements in a historical text have a double function: to describe the past
and to individuate a HR—and from the perspective of representational logic
only the latter function demands our attention. Of this latter function it can
be said that a historical text’s statements 1 to n recursively, or self-referentially
individuate (or define) a HR, namely that HR of which all statements “HR is
s1,” . . . “HR is sn” are analytically true.
I will now introduce the notion of the representationalist universe.8 The
representationalist universe contains the totality of all HR’s. This totality—and
hence the representationalist universe is infinite. Since all we presently have
is a finite number of HR’s, independent proof is needed to support the claim
of the infinity of the representationalist universe. We can think of two strat-
egies for substantiating it. The first one goes like this. Suppose we have two
HR’s, HR1 and HR2 having no properties in common. We can then think of new
candidates to be added to the representationalist universe, each of them con-
sisting of some permutation of the properties of HR1 and HR2. However, such
combinations will not necessarily result in new HR’s. Obviously, the attempt to
derive in this way new HR’s, one say from Hellenism and another from the Cold
War, will not result in a new HR. Admittedly, in other cases this may be differ-
ent, but our example forces us to recognize that this is not necessarily the case.
It follows that the multiplication of HR’s along these lines will not necessarily
move us from a finite to an infinite representationalist universe. So this effort
to argue for an infinite representationalist universe leaves the case undecided.
Let us now address the problem from the other side, so to say. Let us begin
again with the finite representationalist universe familiar to us. Suppose it to
contain n HR’s (and where n is a finite number) and suppose there to be a
historical representation HR1. We may consider the possibility of adding one
true statement about the past to HR1 and then ask ourselves whether the pro-
cedure results into a new historical representation, say HR2. It will be here as
in the previous paragraph: it depends. Sometimes HR2 will be a new HR, but
not always so. Think of adding “Beethoven died in 1827” to a HR on medieval
theology. It would be somewhat like trying to put a tennis ball on a moving car:
the ball will blow off right away. But in other cases the extra statement may
effortlessly be absorbed by the HR to which it is added.
We might try to circumvent this sadly inconclusive state of affairs in the
following way. Suppose there to be a HR1 that is completely identical with HR2
with the exception that HR1 contains p whereas HR2 contains q. Then we can
think of a potential HR3 being identical with HR1 and HR2 with the exception
of containing both p and q. This seems a safe way to multiplicate HR’s, since
HR3 1) does not state anything not yet stated by H1 and H2, 2) is nevertheless
different from H1 and H2, and 3) thus not yet part of the (finite) set of HR’s we
already had. So is this not a first step into the direction of an infinite represen-
tationalist universe?
However, we have two possibilities here: if HR3 is not a representation we
shall be left with the finite set of HR’s we already had, but if it is one, we shall,
indeed, have only just one more HR and no more than that. So the prolifera-
tion of representations always stops right after it has begun, unlike numerical
series such as 1, 2, 3, 4, . . . going on infinitely. Of course, we can think of a HR4
having the properties p, q and also r and repeat the same trick with HR3 and
HR4. And, indeed, so can we go on in principle. However, not indefinitely so,
for we began with a finite representationalist universe of HR’s each of them
having a finite set of properties. Hence, even if we assume that each step in this
procedure will actually result in a new HR, even this will not move us from a
finite to an infinite representationalist universe. Finally, suppose we have two
HR’s not being identical except for just one property (as is in the case discussed
just now) but for x properties (x ≥ 2). Assuming again that each individual dif-
ference results in a new HR, their total will be x!; and even though x! may be a
very large number, it will never be infinite. In sum, even if we are as generous as
we could reasonably be with the admission of new HR’s to an already existing
finite set, this will never give us an infinite set.
The second strategy requires us to move from the representationalist uni-
verse to the “real” universe. It is a trivial fact that an infinity of statements can
be made on the real world; in the real world obtains the dispensation of infin-
ity. For example, for any finite length in the real universe we can think of a
smaller one, and so on ad infinitum. Inversely, the proportion of any item on
this series of ever decreasing lengths to any fixed length will then be enlarged
beyond any finite number. If there is no smallest number, than there is no
largest number either. Obviously, the representationalist universe will have to
respect this feature of the real universe, for no statement we can make on the
real world can be ruled out apriori as a candidate for being part of some HR.
Consequently, infinity will be predicated on the representationalist universe
by the real universe.
Hence, the representationalist universe is not defined or determined by any
finite set of HR’s but by the infinite set of true singular statements we can make
about the real universe. Which does not exclude, of course, that if, for either
practical or theoretical reasons, some subset of this set of this infinite set of
potential statements about the real world does not qualify as part of any pos-
sible HR, the set of possible HR’s should become finite. For however much one
subtracts from the infinite, the leftover will nevertheless remain infinite.
Two conclusions can be inferred from the foregoing. In the first place, we
adopted above two strategies for proving the claim that the representational-
108 ankersmit
ist universe is infinite. The first one failed, whereas the other was successful. It
follows from this that although the representationalist universe is infinite, it is
not a continuous one in the sense that one and the same operator (whatever
that operator may be) will allow us to infer all components of that universe
from any other in it, as is the case with the series 1, 2, 3, . . . or in Newtonian
space. For as we saw when following the second strategy, it will often be neces-
sary to appeal to the real universe in order to move from one component to an
other. We shall return to this when discussing the striking similarities between
the representationalist universe and Leibniz’s monadology.
The other conclusion is that the representationalist universe precedes any
individual HR or any set of them. The representationalist universe is not a
product of existing HR’s, however large their number may be. We should there-
fore conceive of the representationalist universe as being logically prior to its
components, viz. individual HR’s. “At the beginning” there was the representa-
tionalist universe and not individual HR’s. The relationship between the rep-
resentationalist universe and its components is like that between a whole and
its parts, and where the latter presupposes the existence of the former. In this
picture each historical text can be said to give us one of those parts that had
always been, and will always remain part of that universe. Each such text is
like stating (x1,y1,z1) and where (x1,y1,z1) corresponds to some specific point in
three-dimensional space whose existence is not dependent on stating (x1,y1,z1).
If the representationalist universe were finite, some subset of the total set of
statements contained by a HR would already suffice for giving us that specific
HR; identification would then be all we need. Now that the representationalist
universe has been found to be infinite we shall need for this nothing less than
all of the statements contained by a specific HR—as is achieved in the opera-
tion of individuation. In this way the claim of the representationalist universe’s
infinity hangs together necessarily with the thesis that HR’s can be defined
only be an enumeration of all their properties (and vice versa): they are both
sides of one and the same coin.
of containing sx. In fact, there is a whole class of them—the class of all HR’s
containing sx. The statement “this HR is sx” is true of any member of that set.
So in case we are dealing with HR’s no room seems to be left for statements
like “this HR is sx” and where “this HR” refers to one unique HR. Put differently,
statements about HR’s of the form “this HR is sx” are always statements about
classes of HR’s and never about individual HR’s.
But, fortunately, this need not be the end of the story. For we can move from
classes to individuals. However, doing so will require us to be no longer con-
tent with just one—or any subset of all the properties of a HR—for only the
complete list of all of a HR’s properties may yield statements that are true of
one and only one specific and unique HR. Only statements summing up all the
properties of some HR can be said to be true of only this HR and not of any
other member of some class of HR’s having sx as one of its properties. But in
that case we shall have one and the same list of properties on both sides of the
copula—as we shall recognize when remembering that HR’s are nothing more
and nothing less than the sum of all their properties. Truth coincides here with
identity. For only in such cases can we say e.g. “the HR having the properties
s1, . . . sx, . . . sn is sx.” In case we would for whatever reason not happen to know
that the HR in question has these properties s1 . . . sx . . . sn, the statement will be
an aposteriori truth; in case we do, it will be an analytical truth. This, then, is
how things are like with statements on individuals HR’s, hence with contexts in
which we are entitled to speak of “the HR is . . .” And where the main lesson of
the foregoing is that we can only speak of “the HR is . . .” in case all of the prop-
erties of the HR in question are enumerated on the place of the dots.
4 Russell on “the”
9 Note that Russell does not deal here with “the” as it occurs in phrases like “the average tax-
payer,” or “the man in the street.” This is of interest in the present context since “the φ” as used
in such phrases does not refer. Not because there exist no φ’s—as was the case in Russell’s
argument—but because φ’s should be seen here as aspects of the world. See Ankersmit,
Meaning, Truth, 92.
110 ankersmit
word if I were “dead from the waist down and not merely in a prison.” Russell
gave in this chapter his mature views on description and which is generally
regarded—both because of its argument and its philosophical style—as not
only one of the major contributions to contemporary philosophy, but to all
of Western philosophical thought. Russell’s theory of description was mainly
an attempt to deal with the problem of language (more specifically of denot-
ing expressions) about unreal objects. But this compelled Russell to develop
a theory of the proposition whose implications went far beyond his original
problem and that are still decisive for the philosophical analysis of proposi-
tions and of what is expressed by them.
Russell first stated his theory on description and denotation in his essay
entitled “On Denoting” that was published in Mind in 1905.10 Since this essay
provides us with a better background for both getting a grasp of Russell’s
own argument and for how it relates to historical representation, I shall dis-
cuss below this essay and not the chapter from Introduction to Mathematical
Philosophy mentioned above. Russell’s point of departure here are proposi-
tions like “C(x)” and where x is an undetermined variable allowing, however,
for quantification, as in “all x,” “no x,” or “some x.” “All,” “no”, or “some” are for
Russell the most primitive of denoting phrases; they “denote” by saying that all,
no, or some objects in the world are C. Clearly, these denoting phrases have no
meaning themselves, but they will ensure that the phrases in which they occur
have one. Russell then goes on to consider phrases like “the round square” or
“the present King of France,” hence phrases suggesting the existence of objects
that clearly do no exist. There are no round squares and France is no longer a
Kingdom. So how to understand such phrases? Both Meinong and Frege came
up with an answer to this question and both answers are condemned as unsat-
isfactory by Russell.
Meinong had argued that such phrases denoted existing objects even
though there are no round squares or Kings of France. But this sins against
Ockham’s razor and invites contradictions of the kind that round squares both
exist and do not exist.11 Of more interest is, therefore, how Frege tried to tackle
the problem. Frege’s point of departure was his well-known sense/reference or
meaning/denotation distinction. And then the problem arises what the phrase
“the present King of France” in the proposition “the present King of France is
bald” refers to if there exists no present King of France. Or, more specifically,
equivalent to “it is not always false of x that x was the father of Charles II and
that x was executed and that ‘if y was the father of Charles II, y is identical
with x’ is always true of y,” One could rephrase this in terms of symbolic logic
as follows:
and where (Ex) stands for: “there is an x,”, “.” for “and,” “FC” for “father of Charles
II,” and “B” for “beheaded.” Though this reformulation has the disadvantage
that the phrase “there is an x” possesses the unpleasant propensity to resusci-
tate again all the old existential worries that Russell’s procedure had precisely
meant to exorcise. The “it is not always false etc”. variant does not encourage
this kind of misreading.
Two remarks are in order from the perspective of the present argument. In
the first place, Russell’s main worry had been phrases denoting things that do
not exist, such as the present King of France. He solved the problem by trans-
lating existential claims into terms of truth and falsehood. However, in 1950
P.F. Strawson published an article arguing that we should suspend our judg-
ment about propositions about the present King of France as long as we do not
know what a speaker saying this at the beginning of the 21st century may have
in mind with it.12 And then Russell can be said to have created problems where
they do not actually exist. More important is, however, a second point. Russell’s
strategy had been to empty the subject-term of propositions of all content and
to shift this content to the predicate part of the proposition while replacing the
subject terms by quantifiers such as all, some, one, or no. In this way Russell
contributed to what has come to be known since Quine as the “canonical nota-
tion” of the proposition. Strawson once summarized it as follows:
[. . .] the relevant part of Quine’s programme of paraphrase can most sim-
ply be summed up as follows. All terms other than the variables of quan-
tification will be found, in canonical notation, to be general terms in
predicative positions. The position of the singular term is reserved for the
quantifiers and the variables of quantification; and since quantifiers
themselves cannot count as terms, the only singular terms left are the
variables of quantification.13
Subject-terms thus evaporate into predicate terms and only the variables of
quantification may still remind us of its existence in a previous, logically less
enlightened age.
Now, the decisive fact is that this will not work for HR’s. Suppose we get into
our hands some book on some part of the past and let us say that this book
presents a historical representation for that specific part of the past. We can
then formulate phrases like “the historical representation presented in this
book” analogous to Russell’s “the present King of France” or “the author of
Waverley” and attribute certain properties to what is denoted by “the histori-
cal representation presented in this book.” But suppose that we go on to apply
Russell’s strategy to such phrases denoting HR’s. We saw that part of that strat-
egy requires us to do justice to the uniqueness apparently being part of denot-
ing phrase. More specifically, what is said about what is denoted by a denoting
phrase is not only true of it, but of only it and of nothing else.
The crucial thing is that this strategy cannot be applied to HR’s, since any
property we might propose as singling out one specific HR from all others can
be attributed to other HR’s as well. Suppose we have a HR1 consisting of the
following set of statement about the past: s1, s2,. . . . sf, . . . sh, . . . sn. Then the set
sf . . . sh can never be the exclusive property of HR since we can think of any
desired amount of HR’s also possessing this set. I recall to mind here that we
found in the previous section that the representationalist universe precedes
the construction of HR’s, that it is not staked, or limited by existing HR’s and
that the construction of HR’s has the character of individuation (on the basis
of all of a HR’s properties) rather than of identification (on the basis of some
subset of properties believed to be a HR’s unique possession). As was argued
in section 3, this is, however, not the end of the story. For what is truly unique
about HR1 is that it consists of s1, s2, . . . sf, . . . sh, . . . sn. Put differently, nothing
short of a delimitive enumeration of all of its properties is needed to give us
HR1’s uniqueness. But this gives us back again the original subject-term; hence,
subject-terms in propositions on HR’s cannot be eliminated as is the case in
Russell’s analysis and in Quine’s canonical notation.
If anywhere, we may discern here the logical ground for the distinction
between the sciences and the humanities (as exemplified by the writing of his-
tory). The sciences have their logical model in Russell’s and Quine’s analysis of
the proposition. The sciences dissolve subjects into their properties, replacing
114 ankersmit
Russell’s theory of denotation and description has been decisive for the evolu-
tion of symbolic logic and contemporary philosophy of language. Of course
its details have intensively been discussed—I mentioned already Strawson’s
article in Mind published in 1950. But few people would doubt that it is basi-
cally correct, and, even more importantly, realize themselves that the theory
was the winner in a fierce struggle for survival of alternative attempts to define
the nature and tasks of logic at the beginning of the previous century. Yet
such an awareness is indispensable for an adequate assessment of the conflict
between Russell’s theory the account of historical representation presented in
the previous section. In order to correct this all too easy and unwitting identi-
fication with the winner we’d best turn to Ernst Cassirer’s Substanzbegriff und
Funktionsbegriff of 1910 (to be abbreviated as SF). Cassirer’s book may, there-
fore, help us to circumvent “the Whig interpretation of the history of logic,” to
use Herbert Butterfield’s well-known terminology.
The two notions Substanzbegriff (concepts expressing substance) and
Funktionsbegriff (concepts expressing function) in the title of SF stand for
two kinds of logic: traditional Aristotelian logic and modern formal logic. The
book’s main argument is that only the latter can adequately account for mod-
ern developments in mathematics and the sciences. Aristotelian logic has its
representationalist Logic 115
in the course of the second half of the nineteenth century. In the first place,
Aristotle’s “Begriffspyramiden” fail to do justice to mathematics and to the
practice of science. Points, lines, and planes are not the generic properties of
concrete objects in actual reality but the building stones of a purely abstract
construction. Similarly, the hierarchical rigidity of Aristotelian logic prevents
it from adapting to the pliability and multiformity of scientific theory. More
specifically, in Aristotelian logic abstraction inevitably results in the loss of
conceptual content, whereas the effort of the sciences is precisely to achieve
the reverse. The best scientific theory is the theory combining a maximum of
content with the greatest scope. Cassirer’s second point is that the sciences
essentially succeed in attaining this remarkable feat by showing how differ-
ent variables describing natural processes hang together—or in the appropri-
ate terminology, what is the relationship between such variables. And, indeed,
the scientific theory typically has the form of a general statement expressing a
relationship between a given set of variables such as mass, velocity, tempera-
ture, volume, and so on.
This gets us to the second term in the title of Cassirer’s book: the notion
of function. For it will need no elucidation that the two are most intimately
related to the point of even having the same meaning. Think of the simple
second order function f(x) = x2; then the function can be said express the rela
tionship between what is on the left side of the copula to what is on the right
side of it.16 Finally, in his exposition of the philosophy of arithmetic, Cassirer
discerns two strategies for the logical derivation of numbers: Russell’s strategy
for doing so in terms of classes and Gauss’s strategy to achieve the same by
means of the mutual relationship between numbers.17 And in agreement with
his relationalist approach to the philosophy of mathematics and science he
prefers the latter.
In sum, 1) the definition of axioms need not satisfy our intuitions about space,
and 2) whatever follows from the definition the axioms is true, again, regard-
less of our intuitions about them. But that does not imply that the truth of
geometry should be without consequences for our knowledge of reality. On
the contrary, precisely because of their being emptied of all empirical content
the truths of geometry will also be true of those aspects of reality that are not
at odds with how points, lines, and so on are defined by the relevant set of
axioms in geometry. Or, to out the point more forcefully, this is where models
in mathematics and the sciences are exactly the reverse of what we ordinarily
associate with that notion. One may build, for example, a model of an airplane
in order to find out about its aerodynamic properties. In such cases (as in the
models used in economics) we are first given an empirical reality, such as an
airplane or a national economy and we may, next, build a model of it imitating
its properties and behavior under certain circumstances. But in mathematics
and the sciences it is the other way round. There we have, first, a calculus as
defined by a set of axioms and we may then see, next, what aspects of reality
18 I shall not discuss here whether the term “apriorist” is wholly appropriate. Decisive is here
whether one prefers a Platonist account of mathematics (and of numbers) or a construc-
tivist and strictly nominalist one. The Platonist will have his problems with the term (as
was the case with Russell before he was convinced by Wittgenstein that the truths of logic
and mathematics are tautologies), whereas the constructivist will be ready to accept it.
But a discussion of this age-old issue is of no relevance in the present context.
19 Cassirer, Substanzbegriff, 99.
118 ankersmit
correspond to it, if any. In the case of the airplane and of national economy the
“theory” is a model of reality; in that of mathematics and the sciences reality is
a model of the wholly abstract calculus.
8 Representationalist Logic
written between, say 3,000 BC and the present day—but also has its ground
in another feature of historical representation. Elsewhere I have argued that
the meaning of historical representation is fixed or determined by other rep-
resentations, they do not have a meaning apart from those of other HR’s.22 It
follows from this that HR’s tend to be comments on each other and, next, that
they will tend to cluster together in groups of HR’s, whereas the “space” in the
representationalist universe between such clusters is relatively empty. A HR
without any clear relationship to other HR’s will tend to lose its meaning and
to disintegrate into its constituent statements—and no HR will be willing to
run that risk since it means its death. HR’s will thank their cohesion and unity
to the presence of other near-by HR’s; they are much like social beings prefer-
ring the presence of others to an existence in which they live in isolation from
the rest of society. Nevertheless, these clusters may take different forms. HR’s
on unique individual things—think of HR’s of entities as individual such as
Caesar, Charlemagne or Napoleon—will tend to form clusters around a fixed
center, much like the globular star clusters surrounding our galaxy; those on
large but vague and ill-defined topics such as Hellenism, the Enlightenment, or
the Cold War will rather be like galaxies themselves, having a formal complex-
ity agreeing with that of the topic addressed in them.
Now, this is where relations come in. For if the meaning of a HR in some clus-
ter is fixed by that of other more or less “nearby” HR’s being part of that same
cluster, the cluster can be said to structure meaning. That is to say, the cluster
will determine how one specific HR contributes to the meaning of some other.
If we are given HR1 and HR2 that are both elements from the same cluster,
the cluster defines their relationship and, hence, their meaning—though, of
course, all the other elements of the cluster will also contribute to their mean-
ing. And, inversely, we can only properly speak of the meaning of individual
HR’s on the basis of how the cluster relates it to other members of the cluster.
Assuming then, as I argued elsewhere, that historical representation has no
source outside meaning itself, it follows that in historical representation mean
ing is basically relational. Here, then, we see where historical representation
agrees with modern relationalist logic, and differs from Aristotelian logic.
Next, we saw that Cassirer’s relationalist logic compels us to see reality as
a model of an abstract mathematical calculus instead of the reverse. Or as
Dupuy put it:
In a future essay I shall discuss in what way the relationship between HR’s and
(historical) reality can be said to repeat Leibniz’s argument about the relation-
ship between substances or monads and phenomenal reality, and I restrict
myself here to what can be said about the issue of the relationship between HR’
and (past) reality from the perspective of meaning. If representionalist mean-
ing is essentially relationalist, HR’s are not models of past reality, but past real-
ity a model of the relevant HR’s. Relations between HR’s are decisive, and not
how they apply to reality. As long as we remain unaware of the relationalism
of HR’s, individual HR’s could be seen as models of those parts of past reality
that are represented by them. This is how we initially tend to conceive of how
HR’s relate to past reality. But when we recognize the relationality of HR’s the
emphasis shifts away from past reality to the relations between HR’s and the
clusters in which they tend to gather together. And then past reality can be said
to be a model of how historians represent it. Here, again, historical representa-
tion sides with modern relationalist logic rather than with Aristotelian logic.
And this brings me to the conclusion to this section. At the end of the nine-
teenth century Aristotelian logic was abandoned for modern formal, symbolic,
or relationalist logic mainly because only the latter could provide us with a
logical account of the newest developments in mathematics, and in the sci-
ences. As a result, logic was now seen to be the natural ally of mathematics and
the sciences. History and the humanities now found themselves confronted
with having to make the unpalatable choice between either associating them-
selves with futile and outdated Aristotelian logic, or the heroic declaration of
being able to do without any logic at all. But as this section suggests, the case
of the historian and of the practitioner of the humanities is not in the least
as hopeless as that. For we can think of a representationalist logic combining
features of Aristotelian logic (the praedicatum inest subjecto principle) with
the relationalism of symbolic logic and with its capacity to endow reality with
meaning having its origins in the domain of pure abstraction.
23 Jean-Pierre Dupuy, The Mechanization of the Mind: On the Origins of Cognitive Science,
trans. M.B. DeBevoise (Princeton: Princeton University Press, 2000), 29, 30. I owe this ref-
erence to Jaap den Hollander.
representationalist Logic 121
9 Conclusion
In this essay I have tried to discover the logical basis for the difference(s)
between historical representation and the sciences. Both are predicated on a
different logic, though saying this does not full justice to the complexity of the
situation. A better characteristic of the relationship between the sciences and
the humanities (insofar as representation is essential to the latter) can be given
if we realize ourselves that the shift from Aristotelian scholastic logic to mod-
ern formal logic left room for a (representationalist) logic combining elements
of both. Representationalist logic shares with Aristotelian logic its respect for
individuality,24 and with formal logic the respect for relationalism and the lat-
ter’s conception of the model.
Insofar as my argument makes sense it follows for two reasons that little is
to be expected from any epistemological approach to the agreements and dif-
ferences between the sciences and the humanities (as exemplified by either
Diltheyian, Collingwoodian, or Gadamerian hermeneutics or by any of their
(logical-)positivist counterparts). In the first place, such approaches have an
ineradicable tendency to take the true statement as their model and thus to
remain blind to the logical dimensions of historical representation. And it is
only from the latter that any good is to be expected. Secondly, and more inter-
estingly, if past reality is a model of a HR (as is the case in the sciences) and
not the reverse, epistemology is helpless. For a clarification of the relationship
between a HR and past reality as a model of that HR will require us to appeal to
logic and not to epistemology. The model, as understood in the philosophy of
the sciences, is a logical and not an epistemological concept. Epistemology can
sui generis not explain the relationship between numbers, points, or lines, nor
their role in mathematics and the sciences—and so it is with HR’s and their
role in the representation of the past.
24 Though with the crucial reservation that the “individual things” meant here are not the
inhabitants of our trustworthy universe of stars, houses, dogs and molecules (as is the
case with Aristotle’s things) but of the representationalist universe. This qualification is
not without its ironies. For it confronts us with the fact that the “individual things” of
representationalism are of a different character than these Kings of France, fathers of
Charles II, Walter Scott, and so on, that Russell had in mind. Here modern formal logic
as exemplified by Russell is still more Aristotelian than representationalist logic, which
does not unwittingly embrace an Aristotelian metaphysics claiming that the world con-
sists of individual “middle-sized dry” things having certain properties. See Ankersmit,
Meaning, 154.
122 ankersmit
Bibliography
F.R. Ankersmit, “History as the Science of the Individual,” Journal of the Philosophy of
History 7 (2013), 396–425.
F.R. Ankersmit, Meaning, Truth and Reference in Historical Representation (Ithaca and
London: Cornell University Press, 2012).
———, Narrative Logic: A Semantic Analysis of the Historian’s Language (Boston and
The Hague: Martinus Nijhoff, 1983).
Ernst Cassirer, Substanzbegriff und Funktionsbegriff: Untersuchungen über die Grund
fragen der Erkenntniskritik (Hamburg: F. Meiner, 2000).
Jean-Pierre Dupuy, The Mechanization of the Mind: On the Origins of Cognitive Science,
trans. M.B. DeBevoise (Princeton: Princeton University Press, 2000).
Dietrich Mahnke, Leibnizens Synthese von Universalmathematik und Individualmeta
physik (Halle: M. Niemayer, 1925).
Friedrich Meinecke, Die Entstehung des Historismus (Munich and Berlin: R. Oldenbourg,
1936).
Bertrand Russell, “On Denoting,” Mind 14 (1905), 479–493.
P.F. Strawson, “Singular Terms and Predicates,” in Philosophical Logic, ed. P.F. Strawson
(Oxford: Oxford University Press, 1967).
———, “On Referring,” Mind 59 (1950), 320–344.
chapter 7
On Logical Aliens
Alessandra Tanesini
1 Introduction
Frege wrote about the laws of logic that “they are the most general laws, which
prescribe universally the way in which one ought to think if one is to think at
all.”1 Hence, for Frege the laws of logic are the laws of thought. They are not
psychological laws which describe the mental processes that occur when one
is thinking. Instead, these laws stipulate how one ought to think. They are con-
stitutive of rationality, and consequently they are what makes thought possible
at all.2 Further, Frege claims that these laws have universal application. Every
thinking being is a being whose thought is governed by the same logical laws.
Frege’s view exemplifies a position which I call logical absolutism. This is
the view that there is only one correct logic whose application is universal.
This position is almost universally accepted, presumably because its denial,
logical pluralism, appears to be a non-starter. Logical pluralism, as I under-
stand it, is the view that there is more than one, mutually incompatible but
equally admissible, logic. Or to put the matter differently, there could be beings
who are capable of thought*, but whose thoughts* are governed by laws of
logic* which are incompatible with our own.3 In other words, logical pluralism
entails the possibility of logical aliens. In this paper I explain and defend
1 Gottlob Frege, The Basic Laws of Arithmetic: Exposition of the System, trans., ed., and intro.
Montgomery Furth (Berkeley and Los Angeles: University of California Press, 1964), 12.
2 The claim that for Frege the laws of logic are necessary conditions for the possibility of
thought has an obvious Kantian flavour. This Kantian aspect of Frege’s account of logic has
been discussed by James Conant, “The Search for Logically Alien Thought: Descartes, Kant,
Frege, and the Tractatus,” Philosophical Topics 20 (1991), 115–180; see especially 134–137. I shall
not address the issue as to whether the laws of logic are the sole necessary conditions for the
possibility of thought.
3 I use the asterisk to indicate that in so far as the laws of logic are constitutive of thought,
aliens cannot think. However, they could think*. That is to say, they could engage in a law-
governed activity which plays in their lives a role that is not dissimilar from the role that
thinking plays in ours. The same considerations apply mutatis mutandis to logic*, belief*,
judgement*, etc. Hereafter, I sometimes use “logic” to refer to logic proper but also logic* and
to thought proper but also thought*. What is meant should be clear from the context.
2 Logical Pluralism
The position occupied by the logical pluralist should not be confused with that
occupied by the deviant logician. Supporters of deviant logics typically are
logical absolutists. They believe that there is only one correct logic; or, at least,
only one correct logic for any given region of discourse.5 They argue, however,
that such a uniquely correct logic is one which is an alternative to classical
4 Beall and Restall have outlined and defended their position in a series of papers and a book.
See, especially, J.C. Beall and Greg Restall, “Logical Pluralism,” Australasian Journal of
Philosophy 78 (2000), 475–493, Greg Restall, “Carnap’s Tolerance, Meaning, and Logical
Pluralism,” The Journal of Philosophy 99 (2002), 426–443 and J.C. Beall and Greg Restall,
Logical Pluralism (Oxford and New York: Oxford University Press, 2006).
5 Some deviant logicians support a global reform of logic, others are in favour of a local reform.
For a good discussion of these issues, see Susan Haack, Deviant Logic, Fuzzy Logic: Beyond the
Formalism (Chicago and London: The University of Chicago Press, 1996), 42–46.
On Logical Aliens 125
logic. In a word, the deviant logician believes that classical logic is incorrect
and that it must be either globally or locally abandoned in favour of another
logic which is incompatible with it.
I have described logical pluralism as the view that there is more than one,
mutually incompatible but equally admissible, logic. In order to make the posi-
tion clear, I need to say a few things about what I mean by a logic being admis-
sible, and two logics being incompatible. I offer my account by contrasting it
with some features of the position which Beall and Restall have also labelled
“logical pluralism.” In what follows I argue that my account, unlike theirs, does
full justice to the normativity of logic as the domain of the laws of thought of
finite beings.
A logic is characterized by its laws.6 These are laws about logical conse-
quence.7 They tell us which propositions or thought contents follow logically
from other propositions or thought contents. Thus, I take the notion of logi-
cal consequence as the primitive in terms of which the notion of logical truth
is defined.8 There are at least a couple of reasons for this choice. Firstly, as
John Etchemendy remarks, logical consequence is the primitive logical notion
because, “[l]ogic is not the study of a body of trivial truths; it is the study of the
relation that makes deductive reasoning possible.”9 Secondly, Frege’s charac-
terization of the laws of logic as the laws of thought encourages this approach.10
Logic, therefore, is normative. For instance, if Modus Ponens is a logical law
so that Q follows from P and If P then Q, then one goes wrong if one fails to
accept Q whenever one accepts both P and If P then Q. In my view, a view
that I cannot fully defend here, these laws are constitutive of thought. In other
words, nothing can violate these laws and still count as fully fledged thought.
Thus, the laws of logic are akin to the laws of physics, which cannot be violated.
Hence, if I am right, the individual who fails to accept Q, whilst accepting both
P and If P then Q (assuming that Modus Ponens is a law of logic) does not
6 In this paper I am exclusively concerned with deductive logic. Thus, “logic” hereafter
should be read as shorthand for “deductive logic.” Since deductive reasoning does not
constitute the whole of thinking, there will further laws of thought besides those dis-
cussed here.
7 Beall and Restall, Logical Pluralism, 35.
8 For instance, one can define logical truth as follows: a logical truth is a logical conse-
quence of any sets of propositions whatsoever.
9 John Etchemendy, The Concept of Logical Consequence (Stanford: CSLI Publications,
1999), 11.
10 Admittedly Frege wavered between two different conceptions of logic. The one which I
have described in this paper, and another according to which logic is the science of the
most general truths.
126 tanesini
11 Beall and Restall do not think about the normativity of logic in this way. Rather, they think
that the norms of logic are regulative of thought and can be trumped by other norms.
Beall and Restall, Logical Pluralism, 17.
12 Beall and Restall, “Logical Pluralism,” 491 and Logical Pluralism, ch. 2.
13 Beall and Restall, Logical Pluralism, 27–8.
14 Etchemendy, The Concept of Logical Consequence, p. 157.
On Logical Aliens 127
results about the relation between the formal notions of syntactic and seman-
tic consequence. Whilst the formal notion of semantic consequence, employed
in these proofs, is not guaranteed to coincide with the pre-theoretical notion of
logical consequence, nevertheless the fact that it makes sense to ask such ques-
tions shows that there is a relation—namely, logical consequence—which is
not generated by the formal deductive system and which the system tries to
capture.
An admissible logic is a deductive formal system which accurately reflects
at least an aspect of the semantic relation of logical consequence. The debate
between classical and deviant logicians is over which deductive system is
admissible, both camps presuppose that only one such system will fit the bill.
Logical pluralists deny this presupposition.
“Logical Pluralism,” as I said above is a label adopted by Beall and Restall to
characterize their view. In what follows I develop further the contrast between
the view I wish to defend here and their position. Beall and Restall propose
the following schematic characterization of validity which they take to capture
our pre-theoretical concept of logical consequence:
Since logical consequence is the relation that holds between the premises and
conclusion of a valid argument, GTT identifies logical consequence with truth-
preservation in every case. However, as the presence of the subscript “x” in GTT
indicates, this characterization needs to be complemented with a specifica-
tion of the cases. Beall and Restall also point out that there are many different
specifications of such cases, because they reflect some aspect of the ordinary
concept of logical consequence This latter point, they claim, is at the heart of
their conception of logical pluralism.16
Beall’s and Restall’s position can be summarized as follows:
(1) Logical consequence is the relation that holds between the premises and
the conclusion of a deductively valid argument.
(2) A deductively valid argument is one that preserves truth in all cases.
(3) There are at least two equally admissible, but non-equivalent, specifica-
tions of all the cases.17
This object is red all over. Therefore, this object is not white all over.
This object is red. Therefore, this object is colored.
These arguments are valid, if we adopt the specification of all the cases in
terms of possible worlds, since in every world in which the premises are true,
the conclusions are also true. These same arguments are, however, classified as
not valid if we adopt a model-theoretic semantics. The first argument has true
premises and false conclusion whenever the element in the domain which is
assigned to the name “this object” is a member of the set assigned to “red”
but also a member of the set assigned to “white.” Intuitively, this is possible
because “white” could be interpreted to mean “square.”20
This example, Beall and Restall claim, shows that there are at least two
accounts of logical consequence and validity such that (1) they are not equiv-
alent (they classify different arguments as valid) and (2) they have an equal
claim to being a way of fleshing out the pre-theoretical notion because they
are both admissible.
Beall and Restall do not think of these two different specifications of all
the cases as genuine rivals. More surprising is their view that the same can be
said of the relation between, for instance, relevance and classical logic. These,
also, are not rivals. Rather, Beall and Restall think of relevance and classical
logic as different ways of making precise the vague or unsettled pre-theoretical
notion of logical consequence. Different precisifications are all admissible if
they share the settled parts of the role played by logical consequence. There is
no point in asking which of these precisifications is correct as there is no fact of
the matter which could settle this further issue.21 In so far as, for example, both
possible world semantics and model theoretic semantics, in their different
ways, offer precisifications of logical consequence as a necessary, normative
and formal relation, Beall and Restall are happy to accept both as admissible.
Although no further questions about correctness are in their view legitimate,
it makes perfect sense to ask questions about the utility of any precisification
for a given purpose. Thus, rivalry among logics only emerges at the level of
applications.22
Beall and Restall are committed to the view that there is no fact of the mat-
ter as to whether an argument is valid full-stop, since this notion of validity
is vague or unsettled. The only questions that have definite answers concern
whether arguments are valid in a specific precisification of the notion. Thus,
one can say of disjunctive syllogism that it is classically valid but not relevantly
valid. The further question as to whether it is really valid makes no sense
because there is nothing which would corroborate a negative or affirmative
answer.23
Thus formulated their position faces at least two serious objections. First,
it develops a variant of logical pluralism which is somewhat trivial insofar as
their position is compatible with Fregean absolutism about logic. Second, it
cannot do justice to the normativity of logic understood as the collection of
laws governing thought.
21 The view that the pre-theoretical notion of logical consequence is vague is developed in
Beall and Restall, Logical Pluralism, chs 2 and 3. Their earlier view was that the notion was
ambiguous and that each logic was a disambiguation of it. Cf., “Logical Pluralism,” 484.
22 Beall and Restall, Logical Pluralism, 36.
23 Restall, “Carnap’s Tolerance,” 426.
130 tanesini
In order to see why their account makes logical pluralism seem trivially true,
we need simply to consider that syllogisms are not truth-functionally valid.24
Thus, by their lights propositional logic and first order monadic predicate logic
constitute different but equally admissible logics. To the objection that these
considerations make the view trivial, they respond that not all instances of
pluralism are as uninteresting as that. Further, they add, triviality is no objec-
tion to the truth of a position.25 This response in my view misses the point of
the objection. Critics are not objecting that the view is true in an uninterest-
ing way. Rather, they are indicating that any logical pluralism worth its salt
should be defending a different view, one according to which classical proposi-
tional logic and classical first order monadic predicate logic count as one logic
but which nevertheless admits a plurality of logics. In other words, pluralism
about logics should involve some incompatibility or rivalry among the differ-
ent logics. But as I discuss below, Beall and Restall explicitly deny that this is
the case in their view.
My main objection to their view, however, is that it fails to account for
the normativity of logic as the collections of law constitutive of thought. In
response Beall and Restall would simply deny that logic is normative in this
sense. Instead, they claim that we often have inconsistent collections of beliefs
or commitments. Further, relying on the so-called paradox of the preface
(where one expresses commitment both to every claim in the book and to the
claim that there will inevitably be errors in the book), they conclude that logi-
cal norms can be trumped by other norms.26
I find both claims to be unconvincing if they are intended to refute the view
that logic is constitutive of thought so that illogical thought is impossible. The
paradox of the preface concerns warranted assertibility rather than logical
consequence. It is perfectly rational to be less warranted in asserting the con-
junction of a collection of claims than in asserting each of the conjuncts.27 The
claim that we all hold logically inconsistent commitments is not as obviously
true as Beall and Restall appear to assume it is. It is true that we are all prepared
to voice sentences which, if interpreted in accordance with their common uses,
would express inconsistent thoughts. But it does not follow from this consider-
ation that inconsistent thoughts are genuinely thinkable. Rather, what follows
24 This objection has been formulated by G.C. Goddu in “What Exactly is Logical Pluralism?”,
Australasian Journal of Philosophy 80 (2002), 218–30, see 221.
25 Beall and Restall, Logical Pluralism, 90–1.
26 Beall and Restall, Logical Pluralism, 17.
27 Contra Beall and Restall, I do not see that the point must concern degree of belief (rather
than warrant in assertion), Logical Pluralism, 17–18.
On Logical Aliens 131
is that one might under the impression that one is thinking thoughts such
that if one did think them, one would think an inconsistency. It is beyond the
scope of this chapter to develop this view. To see how an argument for it can
be developed one would need to explore the connections between possibility
and conceivability. Unless the latter is understood psychologically, only what
is possible can be conceived. Consequently, one cannot genuinely conceive or
think what is not possible. Therefore, one cannot think inconsistent thoughts.
These considerations, or something like them, are at the root of the view that
can found in Wittgenstein’s Tractatus Logico Philosophicus, according to which
logical contradictions do not express genuine propositions.28
Whilst a full defence of a constitutivist account of the normativity of logic is
beyond the scope of this chapter,29 in what follows I want to show that it could
do justice to the intuition that if there is a plurality of logics, then these must in
some sense be incompatible. I begin by showing that Beall and Restall cannot
make sense of the thought that different logics must in some important sense
be rivals. Beall and Restall claim that “pluralism is not a recipe for wholesale
agreement” among logics.30 They think there is scope for disagreement among
logical systems only with regard to how useful they turn out to be when applied
to mathematics or when developing a semantics for a given area of discourse.31
Elsewhere, Beall and Restall present the case by way of an analogy with
Euclidean and non-Euclidean geometries. They point out that, once applied,
these geometries can be seen as competing models for the physical space of
our region. Similarly, they claim, “once applied, there is scope for genuine dis-
agreement between logical systems. However, this disagreement comes about
simply by applying the logic to model the validity of the real argument.”32
This analogy is revealing. A geometry is in itself simply an abstract structure;
we can think of it as a model for space only once we have developed an inter-
pretation for it. The model is then subjected to tests to see how well it models
empirical reality. Thus three elements are in play here. There is: physical space,
28 Ludwig Wittgenstein, Tractatus Logico-Philosophicus, trans. D.F. Pears & B.F. McGuinness
(London: Routledge and Kegan Paul, 1974), §4.461.
29 An inferentialist account of semantic content would be an essential part of this posi-
tion. Offering such an account is beyond the scope of this chapter. For an extremely
sophisticated version of such a view see Robert Brandom, Making It Explicit: Reasoning,
Representing, and Discursive Commitment (Cambridge: Harvard University Press, 1994).
30 Beall and Restall, “Logical Pluralism,” 488.
31 Thus, for instance, they remark that relevant logic might be better suited than clas-
sical logic to providing a semantics for fictional discourse. Beall and Restall, Logical
Pluralism, 57.
32 Beall and Restall, “Logical Pluralism,” 489.
132 tanesini
33 For an incisive critique of these false conceptions of normativity see, Mark Norris Lance
and John Hawthorne, The Grammar of Meaning: Normativity and Semantic Discourse
(Cambridge: Cambridge University Press, 1997).
On Logical Aliens 133
least only one for any given domain of discourse. This conclusion is premature
as it neglects the finitude of those (human) beings who are capable of thought.
But in order to make this point I need first to say something about our concept
of logical consequence, and how we can make sense of the idea that there
might be incompatible laws about what logically follows from what.
In my view the pre-theoretic notion of logical consequence is a “family
resemblance” concept, rather than a concept which is vague or unsettled. Two
related aspects of family resemblance concepts are important in this context.
First, there need not be any property which is shared by all the instances of
a family resemblance concept. Second, a distinctive feature of family resem-
blance concepts is that we might disagree as to whether something is an
instance of it, and both be correct. Further, we do not need to say that in this
instance we would be using distinct concepts. Thus, our apparent disagree-
ment is not explained away as mere equivocation.34
For example, two people might disagree as to whether an activity is a sport.
Consider, for instance, the case of ballroom dancing. Some might argue that it
is a sport, and as such deserves to be included in the Olympic Games. In order
to make their case, they might point to the similarities with gymnastics which
is a well-established Olympic discipline. Others might deny that ballroom
dancing is a sport, and point to the similarities with other forms of dancing.
They might claim that since ballet is not a sport, although its practice requires
that one possess highly developed athletic skills, ballroom dancing is best seen
as an art form. In this case, both parties are making incompatible recommen-
dations on how to extend the concept of a sport. Thus, their disagreement is
genuine; it is not an equivocation. Further, since each party’s recommendation
is permitted by the current use, and neither is prescribed by it, there is a sense
in which both parties are right: they are both within their rights to make the
recommendations they do.
I think of some disagreements among supporters of different logics along
similar lines. They would be making incompatible prescriptions about how
one ought to think in novel cases which are not determined by pre-existing
laws.35 But not all disagreements about logic need to be thought of as incom-
patible extensions of a pre-existing common system of logical laws. There
might also be cases of beings which are alien to one another from the start.
34 Michael Lynch has defended metaphysical pluralism by arguing that truth is a family
resemblance concept. The logical pluralist takes this position one step further. Lynch’s
discussion of family-resemblance concepts can be found in Truth in Context: An Essay on
Pluralism and Objectivity (Cambridge, Mass.: The MIT Press, 1998), 62–66.
35 This idea was suggested to me by Alan Weir.
134 tanesini
might not be determined in every instance. Thus, unlike Beall and Restall I
am not committed to the counter-intuitive claim that it makes no sense to ask
whether, for example, disjunctive syllogism which is classical valid but not rel-
evantly valid is really valid. Given my account the question makes sense, and
it might encourage us to explore novel extensions of our reasoning practices
so as to give a definite answer to this question. In order to achieve this, we can
advance a whole host of considerations in debate.
Let me now turn to the issue of triviality. I have claimed that given Beall’s
and Restall’s characterization, even classic propositional and classic first-order
logic turn out to deploy different notions of logical consequence. I have also
claimed that this fact trivializes the position. After all Frege would not have
been concerned by it. Classical first-order predicate logic is an extension of
classical propositional logic.36 In order to obtain a genuine pluralist position
one must argue that there are incompatible, yet equally admissible, kinds of
logical consequence.
The notion of incompatibility I have in mind is more easily expressed in
terms of logical truths, but a formulation in terms of logical consequence can
be derived from it.
There are two ways in which two logics L1 and L2 can be incompatible, and
in order to characterize them both, I need to introduce the notion of a logic
being an extension of another:
The idea is that the laws of logic are so central to our thinking that they
define what a rational argument is. This may not show that we could
never change our minds about the laws of logic, i.e., that no causal pro-
cess could lead us to vocalize or believe different statements; but it does
show that we could not be brought to change our minds by a rational
argument. [. . .] And indeed, Aristotle remarks that if anyone pretends to
38 I do not address Quine’s arguments that in any case where a translation fails or interprets
the other culture as holding a logic different from our own, we should conclude that there
was a problem with the translation. These arguments have been refuted, at least to my
satisfaction, by Haack, Deviant Logic, 8–24.
On Logical Aliens 137
disbelieve one of the laws of logic and undertakes to argue with us, we
can easily convince him that his own argument presupposes the very
laws of logic that he is objecting to.39
Like Frege, Putnam takes the laws of logic to be the laws of thought. He explains
this point by saying that logic is definitive of rationality. Since nothing could
count as a thought unless it stood in rational relation to other thoughts, it fol-
lows that the laws of rationality are the laws of thought. They are what make
thinking possible.40
Putnam holds that we can derive almost immediately two conclusions from
this conception of logic: first, at least some laws of logic cannot be revised, and
that no one could offer an argument against our laws of logic without employ-
ing the very laws of logic he is arguing against. I think that neither conclusion is
warranted. But before showing that this is the case, I need to make explicit why
Putnam’s argument is relevant to whether or not logical aliens are possible.
The second conclusion that Putnam claims to derive from the conception
of the laws of logic as laws of thought is almost tantamount to denying logical
pluralism. Putnam’s conclusion states that there could not be an individual
who explicitly disagrees with us about logic, and who does not implicitly rely
on that very logic. There must be only one logic. Putnam’s conclusion requires
that the individual in question possesses a conceptual apparatus that enables
him to talk about logic. This is indicative of a lack of clarity as to whether it is
the laws of thought themselves or our theories about them which are allegedly
immune from rational revision.
In my description of what logical aliens would have to be like, I have been
silent about the breadth of their expressive capacities. Prima facie, at least,
it seems possible to think that there could be creatures whose thoughts are
governed by the laws of a particular logic, but whose conceptual apparatus
does not equip them to think and talk about these laws. I shall not explore
this issue, and assume here, for the sake of argument, that logical aliens would
have to have logical concepts* required to talk about the laws governing their
thoughts*.
In a note to the article I am considering Putnam remarks that there are two
ways of challenging the laws of logic. First, somebody might assert what another
person denies. Second, a person might understand differently from another
39 Hilary Putnam, “There is at least one A Priori Truth,” in Realism and Reason, Philosophical
Papers Vol. 3 (Cambridge: Cambridge University Press, 1983), 98–114, see 109–110.
40 Thus Putnam takes the normativity of logic to be constitutive of thought, along the lines
I have endorsed in the first section of this paper.
138 tanesini
some of the notions that are crucially involved in spelling out these laws of
logic.41 Thus, Putnam distinguishes two different ways of disagreeing about
logic. Such a distinction might not be very sharp, since as Quine suggested, one
could interpret a disagreement about logical truths as a disagreement over the
correct meaning of logical connectives, for example.42 Nevertheless, there is an
intuitive difference which is captured by Putnam’s distinction. It is the differ-
ence between, say, asserting not (P or not P) and proposing an understanding
of negation and disjunction which leads one to assert that P or not P is not a
logical principle. I shall keep this distinction in mind when I consider whether
Putnam’s conclusion follows from his conception of the laws of logic as the
laws of thought.
The first conclusion that Putnam derives from his conception of the laws
of logic as the laws of thought or rationality is that, at least some logical prin-
ciples cannot be rationally revised. Putnam’s argument for this conclusion is
deeply unconvincing. It does not seem impossible that even though the laws
of logic are definitive of what constitutes a rational argument one could revise
some of them at a given time whilst relying on others which are kept fixed.
Subsequently, one might revise those laws which one previously kept fixed in
light of the new revised principles one has already acquired. In other words, as
Sellars claimed about the rationality of science as a self-correcting enterprise,
“any claim [can be put] in jeopardy, though not all at once.”43 This point is so
obvious that it is hard to believe that Putnam could have missed it.
In fact, Putnam’s argument essentially relies on another argument which
he has developed earlier in the same paper. This is an argument that attempts
to establish that there is at least one a priori truth. This a priori truth is the
minimal principle of contradiction: not every statement is both true and false.44
Putnam hopes to show that this principle is an a priori truth by showing that it
is unrevisable. Putnam’s argument for this conclusion is an instance of Modus
Ponens:
Putnam defends the truth of the first premise by claiming that we cannot
conceive of circumstances under which it would be rational to give up this
principle. In order to defend this claim, he considers what such circumstances
would look like. First, he considers whether it could ever be rational to assert
what the minimal principle of contradiction denies, namely that every state-
ment is both true and false. This, Putnam claims, is inconceivable because it is
tantamount to envisaging circumstances under which it would be rational to
assert every statement and its negation. But, as Putnam himself acknowledges,
this is not the only way in which this logical principle could be revised.
Instead, we must also consider whether we can conceive of circumstances
under which it would be rational to give up simultaneously both the minimal
principle of contradiction and the law of double negation. In such circum-
stances, one would hold that it is not the case that not every statement is both
true and false, without also holding that every statement is both true and false.
Putnam dismisses this case as describing a genuine possibility in a rather odd
fashion:
[. . .] in that case the statement ‘every statement is both true and false’
would still have the status of being a priori false, even if the statement of
which it was the negation isn’t a priori true. And to concede the existence
of such a status as a priori falsity is, I think, as much as to concede the
existence of such a status as a priori truth.45
Both claims are incorrect. To concede the existence of the status of a priori
falsity is not on a par with the concession that there are a priori truths, given
Putnam’s understanding of what the a priori is. Also, it is not correct to claim
that in the circumstances under consideration it is being conceded that the
statement “every statement is both true and false” is a priori false. I take up
these two issues in turn.
For Putnam, as for Quine, apriority is identified with unrevisability.46 Thus
for him, a statement is unrevisable if and only if it is a priori. It should be quite
obvious that this identification is designed for a priori truths, but that it leads to
absurdity in the case of falsity. It makes no sense to say that a priori falsehoods
are those falsehoods which can never be revised. So, what is an a priori false-
hood? It cannot be defined as the negation of an a priori truth without making
unwarranted assumptions about bivalence. Perhaps, it might be a statement
which is never rational to start believing. If this is characterization is accepted,
there might be a priori falsehoods even though there are no a priori truths. In
other words, there might not be any statement which it would never be ratio-
nal to give up, although there are some statements which it is never rational
to start believing. Thus, if Putnam claims that accepting that some statements
are a priori false is essentially the same as admitting that some statements are
a priori truths, because the existence of a priori falsehoods entails the exis-
tence of a priori truths, he is wrong.
Putnam’s other claim in the passage quoted above is also mistaken. Under
the circumstances Putnam asks us to consider we are not entitled to infer that
the claim that “every statement is both true and false” is a priori false. In this
case the statement that “it is not the case that not every statement is both true
and false” is true; however, since the law of double negation does not hold, we
cannot infer the truth of the claim that “every statement is both true and false”
from the truth of its double negation. From this, it does not follow that under
these circumstances the claim that “every statement is both true and false” is
false. Rather it follows, that such a claim does not take the value true, which is
not to say that it takes the value false. In other words, Putnam holds that the
circumstances he is considering are:
Suppose that we neither assent to nor deny that every statement is both true
or false (S). Then, we assign to that claim the value indeterminate. In such cir-
cumstances we are not2 prepared to assert it. Similarly, we are not2 prepared
to deny it, by asserting that it is not1 true. But, we are prepared to assert the
negation1 of the negation1 since that would be tantamount to holding the orig-
inal claim to be false, which we do not. In other words, the circumstances that
Putnam asks us to envisage could be explained thus:
new analyses were superior to the old ones, and in light of these new analyses
we would abandon our old logical principles. In other words, a change in the
analyses of logical concepts is not sufficient to show that there is no conflict in
the logics adopted.47
I have argued that Putnam’s argument for the claim that at least some laws
of logic are unrevisable fails. I now turn to the second conclusion which he
draws from the argument. He claims that whoever disagrees with us on mat-
ter of logic must implicitly rely on the same logic that that person apparently
rejects. Of course, Putnam does not rule out the possibility of some disagree-
ment over logical matters. Putnam himself has supported the adoption of
three-valued logic in order to deal with quantum phenomena. What Putnam
thinks is impossible is wholesale disagreement.
If it is granted that Putnam’s argument against the revisability of all logical
laws fails, this second conclusion can also be immediately rejected. There is,
however, a further reason why Putnam’s argument for this second conclusion
fails. The unrevisability of at least some logical laws does not entail that whole-
sale logical disagreement is impossible.
Suppose that some laws of logic are unrevisable, so that under no circum-
stances would we rationally be prepared to give them up. In such a case, if
there were beings who disagree with us about those laws, nothing they could
say would convince us to give up those laws. There might be reasons for giving
up those laws, reasons which are grasped by those beings but which are forever
beyond our limited intellectual capacities, for instance. Thus, even if it were a
fact that there are some logical principles which we can never give up, it would
not follow that there could not be beings whose thought was governed by a
logic* which did not have those principles as laws.
It should not come as a surprise that unrevisability does not entail the
impossibility of logical pluralism. The question of revisability is an epistemic
question concerning the status of logical notions. The issues raised by logi-
cal pluralism are instead in response to questions concerning the metaphysi-
cal status of logical notions. More specifically, logical pluralism raises doubts
about the absolute necessity of logical laws, and these doubts are likely to be
independent of what we might think about our fallibility concerning which
laws are the correct ones.
47 For a good argument in defence of this claim, see Haack, Deviant Logic, 10.
On Logical Aliens 143
[W]hat if beings were even found whose laws of thought flatly contra-
dicted ours and therefore frequently led to contrary results even in prac-
tice? The psychological logician could only acknowledge and say simply:
those laws hold for them, these laws for us. I should say: we have here a
hitherto unknown type of madness.48
As is well-known, psychologism in logic is the view that the laws of logic are
psychological laws. Logic, according to this view, is an empirical science.
Frege notes that the psychologistic logician is committed to the intelligibil-
ity of a scenario in which we encounter beings, who are capable of thought,
and who contradicted our laws of logic. Instead, Conant argues on Frege’s
behalf that the scenario is unintelligible. The argument consists of two parts:
in the first Conant appears to argue that there cannot be logical aliens, in the
second he concludes that we cannot understand the use of “cannot” in the
claim that there cannot be logical aliens. I consider these two parts in turn.
First, imagine that there are beings who do not accept a basic law of logic:
for instance, the principle of non-contradiction, not (p and not p). For a psy-
chologistic logician such beings could exist. They would be creatures whose
psychology is very different from ours. Conant disagrees. He offers a dilemma
to the psychologistic logician.
[. . .] either (1) [the psychologistic logician] can claim that his account
reveals that the judgments of the aliens conflict with ours, in which case
his idea of one judgment’s conflicting with another can be shown to tac-
itly rely upon the idea of their logical incompatibility [. . .],
or (2) he can refrain from telling us anything about the logical relation in
which their judgments stand to ours, in which case he can tell us nothing
about their thought whatsoever.49
If the psychologistic logician chooses the first option, she concedes that
there is a non-psychological notion of incompatibility. Hence, she concedes
that psychologism is false. Also, Conant continues, since “we can only dis-
cern a disagreement between our beliefs and those of others against a shared
background,”50 and “it is the principles of logic [. . .] which make such discern-
ment possible,”51 the alien beings are not logical aliens at all. Their thought is
governed by the same logical principles as ours.
If the psychologistic logician opts for the second option, she also fails to
establish the existence of logical aliens, since she establishes at most that
[. . .] the noises we and the aliens make merely differ from one another,
[. . .], then they are no more in disagreement with one another than the
moos of two different cows.
Hence,
Hence, Conant concludes that psychologism in logic must be false since logical
aliens are impossible. It is worth noting, perhaps, that it is not clear why Conant
believes that the burden of proof lies with the psychologistic logician. In other
words, it is not clear why such a logician cannot rest content with choosing the
second option, and simply claim that it is not up to her to establish that there
are logical aliens. She might claim that the onus lies with Conant. He needs to
show that logical aliens are impossible, and his argument fails to do this.
It is also worth noting that the first horn of Conant’s dilemma is less than
convincing. Conant at some stages seems to rely on the Kantian idea that since
logic is constitutive of rationality it cannot be rationally disagreed with. But,
as I have already remarked in the context of my discussion of Putnam’s argu-
ment, this point merely shows that it is not possible to revise all the principles
of logic at once. It does not show that any logical principle is immune from
rational revision, and—consequently—rational disagreement.
There is, however, a way of generalizing and strengthening Conant’s
argument so that it is directed against all forms of logical pluralism, and its
c onclusion states that there cannot be logical aliens. The argument so modi-
fied would read thus:
There cannot be logical aliens because if there were such creatures, there
would be creatures whose logic is incompatible with our own. However, the
notion of incompatibility invoked here is a logical notion. Therefore, at least
some aliens’ statements stand in a logical relation of incompatibility with at
least some of our statements. But, if they stand in these relations, their state-
ments are part of the same logic as our own. Hence, such creatures are not
logical aliens, after all.
The argument, however, even when it is thus construed fails. It basically
assumes that if two logics are incompatible, there must be a metalanguage
within which it is possible to talk about both logics and show that there are
some statements which are logically true in one logic and such that their con-
tradictories are logically true in the other. Conant is aware that his argument
crucially depends on this assumption, since he writes that:
The first horn of the dilemma rests in part on the claim that it is one of
the criteria for whether someone affirms a judgment with which we dis-
agree that he means to deny what we assert.53
In the second part of his argument Conant claims that strictly speaking we
cannot be said to understand the conclusion of the first part of his argument. In
his view, we cannot make any sense of the “cannot” in the sentence “there can-
not be logical aliens.” This is the consequence of a view that Conant attributes
to Wittgenstein. It is also a view which has been recently endorsed by Putnam.55
For Conant logical truths do not have negations which we understand.
This second part of Conant’s argument seem to take the following form:
We seem to be in a position to assert: there cannot be logical aliens. But in
order to assert this sentence, we must understand what it says. The sentence
seems to say that the possibility of logical aliens must be rejected. However, in
order to understand this, we would have to understand that whose possibility
is rejected. That is to say, we would have to understand something which is
impossible. But, what is impossible is not genuinely conceivable. Hence, what
is impossible cannot be understood. Thus, no sense can be made of the sen-
tence that there cannot be logical aliens.56
Whilst I have much sympathy for these considerations, they are of no use
against the logical pluralist as they smuggle in the Wittgensteinian notion
of illogical thought. Conant merely presumes that to claim that there could
be logical aliens is the same as claiming that there is such a thing as illogical
thought. His argument can therefore be re-cast as follows: There cannot be
illogical thought. But, the thought that there cannot be an illogical thought is
itself an illogical thought. Hence, neither of the following can be coherently
stated: there can be illogical thought there cannot be illogical thought.
Thus, formulated the argument has some power. But, it derives its power
exclusively from the fact that the notion of illogical thought is nonsense, since
there is no thinking without logic. Hence, this argument does not succeed in
refuting logical pluralism unless it can be shown that logically alien thought
would have to be illogical thought. However, as this paper as shown, logical
alien thought* is not illogical. As a result, Conant’s second argument also fails.57
55 Hilary Putnam, “Rethinking Mathematical Necessity,” in Words and Life, ed. James Conant
(Cambridge, Mass.: Harvard University Press, 1995), 245–263, 256.
56 Conant, “The Search,” 149.
57 A much earlier version of this paper was presented to the philosophy departments at
Queen’s University Belfast and at the University of Nottingham. A more recent version
was delivered at the Selves and Logic conference held in Höör. I would like to thank the
audiences at these events for helpful comments and suggestions.
On Logical Aliens 147
Bibliography
J.C. Beall and Greg Restall, Logical Pluralism (Oxford and New York: Oxford University
Press, 2006).
———, “Logical Pluralism,” Australasian Journal of Philosophy 78 (2000), 475–493.
Robert Brandom, Making It Explicit: Reasoning, Representing, and Discursive
Commitment (Cambridge: Harvard University Press, 1994).
James Conant, “The Search for Logically Alien Thought: Descartes, Kant, Frege, and the
Tractatus,” Philosophical Topics 20 (1991), 115–180.
Donald Davidson, “On the Very Idea of a Conceptual Scheme,” in Inquiries into Truth
and Interpretation (Oxford: Clarendon Press, 1985), 183–198.
John Etchemendy, The Concept of Logical Consequence (Stanford: CSLI Publications,
1999).
Gottlob Frege, The Basic Laws of Arithmetic: Exposition of the System, trans., ed., and
intro. Montgomery Furth (Berkeley and Los Angeles: University of California Press,
1964).
G.C. Goddu “What Exactly is Logical Pluralism?”, Australasian Journal of Philosophy 80
(2002), 218–30.
Susan Haack, Deviant Logic, Fuzzy Logic: Beyond the Formalism (Chicago and London:
The University of Chicago Press, 1996).
Mark Norris Lance and John Hawthorne, The Grammar of Meaning: Normativity and
Semantic Discourse (Cambridge: Cambridge University Press, 1997).
Michael Lynch, Truth in Context: An Essay on Pluralism and Objectivity (Cambridge,
Mass.: The MIT Press, 1998).
Hilary Putnam, “Rethinking Mathematical Necessity,” in Words and Life, ed. James
Conant (Cambridge, Mass.: Harvard University Press, 1995), 245–263.
———, “There is at least one A Priori Truth,” in Realism and Reason, Philosophical
Papers Vol. 3 (Cambridge: Cambridge University Press, 1983), 98–114.
W.V.O. Quine, “Carnap and Logical Truth,” in The Ways of Paradox and Other Essays,
Revised and Enlarged Edition (Cambridge, Mass.: Harvard University Press, 1976),
107–132.
Greg Restall, “Carnap’s Tolerance, Meaning, and Logical Pluralism,” The Journal of
Philosophy 99 (2002), 426–443.
Wilfrid Sellars, Empiricism and the Philosophy of Mind, intro. Richard Rorty and a Study
Guide by Robert Brandom (Cambridge, Mass.: Harvard University Press, 1997).
Ludwig Wittgenstein, Tractatus Logico-Philosophicus. Trans. D.F. Pears & B.F. McGuin-
ness (London: Routledge and Kegan Paul, 1974).
chapter 8
Thord Svensson
1 Introduction
It is commonly assumed that only one of two incompatible facts can hold. For
instance, either it is a fact that God exists or it is a fact that God does not exist.
It is also commonly assumed that only one of two inconsistent propositions
can be true; for instance, either the proposition “God exists” is true or the prop-
osition “God does not exist” is true. In virtue of being incompatible, both prop-
ositions, it seems, cannot be true at once. However, some thinkers have argued
for the possibility of some exception to this commonly made assumption.1
In this chapter, I critically consider how Michael P. Lynch and Terry Horgan
together with Mark Timmons have sought to make sense of the possibility of
incompatible but true propositions, especially with regard to one key criticism
of it, sometimes and appropriately called the consistency dilemma.2 Although
I find each attempt to deal with the criticism innovative, I will argue that both
attempts face some serious problems.
I proceed as follows: In sections 2 and 3, I describe some basic features of
Lynch’s position, metaphysical pluralism, and his own preferred account of
concepts, which constitutes an essential part of his argument for metaphysi-
cal pluralism. In section 4, I turn more directly to the core idea of this kind of
1 See for instance Hilary Putnam, Representation and Reality (London: mit Press, 1989), 114 and
forward. For some who feel uncertain about the precise content of this idea, see for instance
Simon Blackburn, “Enchanting Views,” in Reading Putnam, ed. Peter Clark et al. (Cambridge:
Blackwell Publishers, 1994), 12–30, 16–18, and Peter Byrne, God and Realism, (Aldershot:
Ashgate Publishing, 2003), 38.
2 See Michael P. Lynch, Truth in Context—An Essay on Pluralism and Objectivity (London: mit
Press, 1998) and Terry Horgan and Mark Timmons, “Conceptual Relativity and Metaphysical
Realism,” in Philosophical Issues 12: Realism and Relativism, ed. Ernest Sosa et al. (Oxford:
Blackwell Publishers, 2002), 74–96.
[. . .] the idea that there can be more than one true metaphysic, that there
can be a plurality of incompatible, but equally acceptable, conceptual
schemes. These conceptual schemes are ways of dividing reality into
objects and kinds of objects; they are ways of categorizing the world. The
pluralist intuition is that the world does not dictate to us which of these
ways of categorizing is the best, the most correct, or the way the world
really is in ‘itself.’ The pluralist denies that there are any absolute facts
about ultimate reality; the facts themselves reflect our conceptual point
of view.7
According to Lynch, metaphysical theories are not true in an absolute but only
in a relative sense, because they are only true relative to a certain conceptual
scheme, relative to how we conceptualize reality. Lynch traces part of this idea
back to Kant and his “insight that our knowledge of the world, and hence the
‘world as it is for us’ is in some sense constructed.”8 However, he observes that
Kant was no pluralist in that according to him, all humans shared one common
conceptual apparatus. This is not how Lynch sees it because according to him
our metaphysical theories can be true relative to more than one single scheme.
In working out this idea, he develops what he regards as a Wittgensteinian
account of conceptual schemes.9 According to this account, a scheme “is a
network of general and specific concepts used in the propositions we express
in language and thought.”10 Some of the concepts constitutive of a concep-
tual scheme are basic and foundational in virtue of being presupposed by less
foundational ones in the network.11 However, even what is considered basic
concepts can according to Lynch change and vary between different cultures
which according to him sets him apart from the Kantian account of conceptual
schemes. On an extended use of the notion of logic, taken as a foundational
system of concepts employed to make sense of reality, Lynch can be held to
accept logical pluralism; meaning that people’s basic accounts of what makes
sense may differ. In virtue of accepting metaphysical pluralism Lynch also
opposes the idea of there being eternal and absolute facts about the subject-
matter of logic apart from how such facts are conceptualized by certain people
at a certain time. This also entails that metaphysical investigations according
to him have the purpose of trying to describe but also develop the content of
such basic concepts rather than trying to reveal the absolute nature of some
mind-independent entity believed to be referred to by such concepts.12
A strong motivation for metaphysical pluralism, according to Lynch, is the
“apparent intractability of metaphysical disputes.”13 It seems that very few, if
any, of the questions pursued and explored within the context of metaphysics
have been given a solution that all or most metaphysicians agree on. In the
following quotation, Lynch exemplifies this circumstance with regard to the
context of mathematics and logic:
In the face of our long history of disagreement and uncertainty about how to
respond to questions about the true metaphysical nature of various features of
our universe, the correct attitude to adopt is that of metaphysical pluralism. In
virtue of adopting this stance one should thus stop search for one metaphysi-
cally true analysis of justice, time or knowledge. However, as we have seen, the
reason for being a metaphysical pluralist according to Lynch is not an episte-
mological one. That is, Lynch does not believe that one metaphysical theory
about the nature of logical systems, properties, possible worlds and personal
identity is true, but due to our inability to find out which one it is, we have
to, at least for the time being, be modest and tolerate more than one theory.
According to him the motivation for metaphysical pluralism goes deeper than
that and has to do with the very nature of metaphysical concepts and issues,
not just our ability to analyze them correctly. As Lynch claims:
[. . .] it is the nature of the disagreement that fosters the relativist intu-
ition: the metaphysical concepts themselves seem to be responsible for
the suspicion that there is no absolute way to resolve the dispute.15
The reason for metaphysical pluralism is thus directly connected to our meta-
physical, foundational, concepts and not to some inability on our behalf to
access some mind-independent and external domain believed to be target of
those concepts. In the next section, I’ll account for this part of Lynch’s argu-
ment for metaphysical pluralism.16
in each and every case; its use may rather vary and change without its ceasing
to be the same concept. On this account, a concept is more like clay that can
be shaped and reshaped into different figures without being destroyed; that is,
without ceasing to be one and the same bit of clay. As Lynch writes, in bringing
out the key idea in this account of concepts:
[. . .] Concepts are not ‘absolutely determinate’ closed circles, but elastic
and flexible. Concepts on this view are more like sculpting clay. Unlike
crystal, which breaks easily, you can stretch and pull a piece of clay in
radically different directions before it tears apart.20
On this account of concepts, one and the same concept may be used differ-
ently without ceasing to be that very concept.
In elaborating on this account of concepts, Lynch naturally once more
refers to Wittgenstein and especially his idea of a family resemblance concept.
In explaining what is so special about this kind of concept, Lynch describes a
common explanation of how people can be held to come to know many of the
concepts they master, not only family resemblance concepts. Usually people
are taught certain concepts in virtue of being presented with a set of paradig-
matic examples of to what kind of objects the concepts apply. Through this
exemplification they are expected to get a grip of to what the concepts apply
to; what kind of objects the concepts designate. Relative a certain a certain set
of such paradigmatic examples the application of a concept is rather deter-
minate. The concept of gold for instance can be held to apply to all objects
sharing the same underlying property as the one possessed by objects ini-
tially presented as paradigmatic examples of gold. However, regarding a fam-
ily resemblance concept this is not the case because such a concept can be
applied in accordance to more than one set of paradigmatic examples, accord-
ing to different paradigms so to speak, and no such set of paradigmatic objects
can be singled out as being more correct than the others.21
In exemplifying this Wittgensteinian oriented account of conceptual flex-
ibility, Lynch describes a fictive scenario involving two anthropologists in an
argument over if a certain activity on a remote island should be conceived of as
a religious activity or as a game. That is, can the concept of religion be applied
to what the people on the island are doing or is the concept of a game more
applicable? According to Lynch, both anthropologists can be correct in virtue
of using the concept of a game along different paradigms. The reason for this
is that the activity on the island is complex and rich in details and has some
features commonly associated with our concept of a game and some features
commonly associated with our concept of religion. The adults are for instance
divided into two groups. Each group starts to dig a hole and tries to make the
hole as deep as possible while at the same time trying to fill up the hole the
other group is digging. When some time has passed each hole is measured and
the group with the deepest hole celebrates and the other group has to bring
food to them. According to Lynch the practice also contains some “sacred ritu-
als . . .; for example, prior to and after the digging, each group prays to their
twin deities, who are generally depicted as bearing shovels and trowels. And
all disputes are settled by the high shaman.”22 According to Lynch, one anthro-
pologist may then argue that they are witnessing a game, pointing to the fact
“there are team [. . .] and offense and defence, and clear winning and losing”
while the other anthropologist may argue that they are rather observing a reli-
gious activity, pointing to the fact that the people in each group are taking
the activity very seriously, it involves sacred rituals and is controlled by the
shamans.23 In drawing upon different paradigms of what constitutes a game
and a religious activity both anthropologists can then according to Lynch be
equally correct. According to him it is also important to resist the inclination, if
it would arise, to think that the different uses of “game” by the anthropologists
should be seen as uses of different and distinct concepts of a game. In his eyes
it is rather the same concept of game used differently.
In explaining the flexible feature of certain concepts, Lynch also introduces
a distinction between minimal and robust concepts. A minimal concept is neu-
tral to many metaphysical theories while the latter kind of concept consists of
a more substantial development of the minimal one and due to this, is not so
neutral from a metaphysical perspective.24 Lynch also talks about the minimal
concept as what people often have in mind when not reflecting too much on
the concept’s content. Lynch writes:
25 Ibid.
26 Lynch also points out that the distinction is a relative one in the sense than one concept
can be more robust or minimal than a different one, see Lynch, Truth in Context, 69.
27 See Susan Haack, “Reflections on Relativism: From Momentous Tautology to Seductive
Contradiction,” in Philosophical Perspectives 10: Metaphysics, ed. James E. Tomberlin.
(Oxford: Blackwell Publishers, 1996), 302. See also Byrne, God and Realism, 38 and John
Searle, The Construction of Social Reality (New York: Free Press, 1995), 155 and forward for
similar comments. This does not mean that no one apart from Putnam himself under-
stands it; to many others it seems more evident what it is about. This is also one of the
circumstances that make the discussion so fascinating.
156 svensson
him. Two people, Smith and Johnson, are counting objects in a bag with four
particulars. They present different accounts of how many objects the bag con-
tains because Smith thinks that mereological sums are objects, Johnson does
not. According to Putnam, Smith and Johnson can be held to present incom-
patible but equally correct accounts of the number of objects contained in
the bag. In making sense of this circumstance, Putnam seems to claim that
words like ‘object’ and ‘existence’ in the accounts may have different uses.28
With regard to this explanation more than one critic has wondered in what
sense the two accounts then can be thought to be incompatible? For them to
be incompatible, the key words within them, it seems, must be used with the
same meaning. If not, the accounts would become consistent. Lynch refers to
this worriment as the “consistency dilemma” for metaphysical pluralism and
thinks that it is important to deal with it. Recall, metaphysical pluralism states
that two statements can be incompatible and equally true and accurate. If we
were presented with an explanation of how this is possible which explicitly or
implicitly entailed that the statements were about different things or had dif-
ferent meanings, this explanation would be considered unsuccessful in that it
would seem to remove any hope for incompatibility between the statements.
Obviously, Lynch does not think that the idea of metaphysical pluralism
(or what Putnam calls “conceptual relativity”) should be considered a trivial
(or absurd) thesis.29 According to Lynch, to show that this is not the case, we
need to show how the following four statements can be true at once.
(1) Smith and Johnson are expressing distinct propositions. (2) Smith and
Johnson are expressing incompatible propositions. (3) Smith and Johnson
are expressing true propositions. (4) Smith and Johnson are not employing
28 Or as he puts it more generally “the same situation can be described in many different
ways, depending on how we use the words. The situation does not itself legislate how
words like ‘object,’ ‘entity’ and ‘exist’ must be used. What is wrong with the notion of
objects existing ‘independently’ of conceptual schemes is that there are no standards for
use of even the logical notions apart from conceptual choice.” See Putnam, Representation,
114. Putnam has also stated that: “A corollary of my conceptual relativity—and a contro-
versial one—is the doctrine that two statements which are incompatible at face value
can sometimes both be true and the incompatibility cannot be explained away by saying
that the statements have ‘different meaning’ in the schemes they respectively belong.” See
Hilary Putnam, Realism with a Human Face, (Cambridge, Mass.: Harvard University Press:
1990), x. It is not that clear how one should interpret this remark, and especially not how
it should be related to the previous ones quoted in this foot-note.
29 Of course, nor does Putnam.
the heart of metaphysical pluralism 157
According to Lynch, Smith and Johnson should then be attributed one and
the same minimal concept of an object and exists but different robust con-
cepts of an object and exists. Moreover, in virtue of relying on different
robust concepts of for instance an object, the propositions put forward, partly
constituted of them, are distinct. That is, when Smith states that the bag con-
tains a certain number of objects and Johnson objects to this they are defending
and questioning different propositions. Each such proposition is also accord-
ing to Lynch true and accurate relative to the conceptual scheme it belongs to.
So far Lynch may be taken to have accounted coherently for the majority
of the four conditions which, according to him, is needed to take care of the
consistency dilemma. That is, he has made sense of the claim that Smith and
Johnson are expressing (1) different and (3) true propositions and that (4) they
are not employing completely different concepts of “object” or “exists.” Hence
it remains to account for how Johnson and Smith may be held to offer incom-
patible accounts. In explaining this last part of his solution to the dilemma,
Lynch writes:
This passage is supposed to add the last part of his solution to the consistency
dilemma and account for more precisely in what sense the two propositions
may be incompatible. I should concede that I am a bit puzzled by what he
states. According to Lynch, the propositions in question would become incom-
patible if they are considered relative to one and the same conceptual scheme.
This appears accurate, but then they would no longer both be true. That is, on
Lynch’s approach, the propositions are either true or incompatible, but not
both at the same time. But if not, I fail to appreciate how this can be consid-
ered an adequate and non-trivial response to the consistency dilemma. Recall
that Lynch sets out to demonstrate how two incompatible propositions can be
true. Regarding this I expected it to mean true and incompatible at the same
time. To repeat, if not, I cannot help feeling that his account fails to avoid the
dilemma.
Some might wish to conclude that Smith and Johnson are simply equivo-
cating over the word ‘game’; thus, the Islanders’ activity is a game on
Smith’s concept of a game but not on Johnson’s. Yet this is surely incor-
rect, for Smith and Johnson presumably can understand each other very
well. It would be more true to our actual practice to say that we share one
very fluid concept of game rather than many very distinct concepts.35
34 See for instance Lynch, Truth in Context, 56–57 in which he explains that he is interested
in how concepts must be like to make sense of metaphysical pluralism.
35 Lynch, Truth in Context, 65.
160 svensson
I find this reply somewhat peculiar. The idea that the people cannot have two
different concepts because they can communicate successfully seems uncon-
vincing; it is not like we are considering the hypothesis of radical conceptual
relativism. Sometimes Lynch seems to mean that the different uses between
“game” and “game” by Smith and Johnson is not as big as that between “bank”
(as a sandbank) and “bank” (as financial institution or company). That is, Smith
and Johnson are not discussing completely different things as they would be
doing if they were talking about sandbanks and banks as financial institutions.36
Although Lynch may be correct in this, it does not, I think, demonstrate that
Smith’s and Johnson’s uses of “game” should be identified as different uses of
the same concept rather than uses of different and distinct concepts. Even very
similar concepts may still be distinct and different.
Moreover, even if one would accept that certain concepts are quite flexible
in the sense Lynch thinks (that is, that they can be applied differently while
still remaining the very same concepts), one may still question to what extent
this is helpful for his case for the possibility of incompatible but equally true
accounts of some subject-matter. Lynch thinks that: “Unlike words such as
‘bank,’ ‘rise,’ or ‘beat’ English speakers do not take ‘exist’ or ‘there is’ to com-
monly express more than one concept or meaning.”37 There may be some truth
in this. However, when people use concepts like “exists” we do usually take into
consideration what they mean more specifically by it. It is this contextual and
specific meaning that is important and if one person’s specific use of exists is
different compared to another person’s specific use of it, this may enough to
warrant the conclusion that they are not expressing and defending incompat-
ible accounts of something. The additional fact that each use of exists in some
sense can be held to be part of or connected to some more general concept
of exists does not according to me add anything relevant. Lynch, in contrast,
seems to think that it is precisely this circumstance that points to something
exciting and controversial: “It is this fact that disposes us to think that the
neuroscientist and the Cartesian (and the internalist and externalist in epis-
temology) are using the same concept and using different concepts. Rather
than attempting to ‘explain this away,’ we should trust our intuitions, for this
contradiction points to the flexible nature of our thought.”38 However, once we
contextualize the concepts or distinguish between the general concept and the
36 See for instance Lynch, Truth in Context, 68 for support of this reading of what Lynch is
getting at.
37 Lynch, Truth in Context, 86.
38 Lynch, Truth in Context, 71.
the heart of metaphysical pluralism 161
more specific one, or more specific uses of it, I fail to see any reason for talking
about a contradiction here.
In presenting another argument for why we should accept that we in many
contexts have one concept used differently rather than different concepts,
Lynch appeals to how the user of the concepts themselves may rule on the mat-
ter. In emphasizing the idea of a minimal and shared concept and responding
to Searle’s critical comment on Putnam’s position, Lynch writes for instance:
Lynch’s response to Searle seems a bit unfair because Searle’s comment is only
based on what Putnam himself has stated and with regard to that, Searle’s
remark does no seem to be that misplaced.40 Speaking for himself Searle may
in fact agree with Lynch that people discussing the ultimate nature of objects,
God or mind take themselves to address the same subject-matter, but this was
not in question, what was in question was Putnam’s construal and analysis of
such disputes. And this observation may also apply to Lynch’s position. Searle
or anyone else may suggest that people debating such matters commonly
assume the possibility of being correct about it in some important and sub-
stantial sense, either the people in the debate may be assumed to target some
mind-independent and absolute fact or perhaps, which seems to make more
sense to me, they are trying to make explicit what is implicit in our use of cer-
tain concepts, which may vary between different cultures and people. But this
does not seem to be how Lynch sees it, because he thinks that the different
accounts presented by people in such a debate should be seen as robust devel-
opments of a shared minimal concept. And propositions expressed through
such robust concepts would not, I contend, be addressing precisely the same
matter, nor do they need to be in conflict. Taking this into account it does seem
Terry Horgan and Mark Timmons are in the business of explaining conceptual
relativity. This is not easily done, they think, because the notion of conceptual
relativity is puzzling and in need of some elaboration.41 They do however share
Lynch’s optimism concerning the possibility and usefulness of presenting a
proper and non-trivial idea of conceptual relativity, even if they are not too
optimistic about Lynch’s own proposal, a matter I will come back to.
According to Horgan and Timmons, an accurate explanation of conceptual
relativity must show how we can apply the principles of affirmatory conflict
and mutual correctness to two propositions.42 To accomplish this is to make
clear how two propositions can be in conflict but true. Horgan’s and Timmons’
approach to this matter basically consists of the elimination of some assump-
tions about concepts and words that, according to them, are responsible for
our failure to appreciate what conceptual relativity is all about. One assump-
tion they wish to get rid of is what they refer to as the invariantist idea about
concepts and terms. About this idea they write:
The idea is that the semantic standards that govern concepts and words
cannot vary from one usage to another, insofar as the same concept of
41 As they put it: “We will argue that conceptual relativity is indeed a genuine phenomenon,
albeit an extremely puzzling one.” See Horgan and Timmons, “Conceptual Relativity,” 74.
42 Just like Lynch they present a set of conditions that a successful analysis of concep-
tual relativity must satisfy: “In order to make sense of conceptual relativity, one needs
to explain how the members of the following list of ideas can be mutually compatible:
1. Persons P1 and P2 are making conflicting claims. [Principle of affirmatory conflict] 2. So
they must be employing the same concept of object and using the term ‘object’ with the
same meaning. 3. But they are also making claims that are mutually correct. [Principle
of mutual correctness] 4. So their claims cannot be flatly inconsistent. The gist of the
puzzle is to explain how all four of these claims can be correct.” See Horgan and Timmons,
“Conceptual Relativity”, 78. Compare to Lynch, Truth in Context, 81–82.
the heart of metaphysical pluralism 163
They wish to replace this idea about concepts and meanings with the variantist
conception, according to which:
[. . .] whatever exactly concepts and meanings are, they are subject to cer-
tain kinds of identity-preserving differences in correct usage. One and
the same concept can be used by two persons (or by the one person, at
different times) in ways that are governed by somewhat different seman-
tic standards, while still being the same concept.44
According to the variantist conception the same concept can be used differ-
ently without ceasing to be that very concept. It can be used in accordance
to different but identity-preserving “governing semantic standards.” With refer-
ence to Derrida, Horgan and Timmons label this kind of identity-preserving
context-sensitivity diffèrance.45 To exemplify it, they refer to a comment made
by David Lewis on Peter Unger’s position concerning the concept of flatness.
Drawing upon Lewis’ comment, they suggest that the concept of flatness can
be used with different precision without ceasing to be the very same concept.
In expressing this idea they write:
According to Horgan and Timmons, one and the same concept of flatness can
be applied equally correct on different surfaces once each such use is made
relative a certain setting of the precision parameter for flatness. Like Putnam
and Lynch, Horgan and Timmons also exemplify much of what they hold to
be true of conceptual relativity through a fictive scenario involving two people
counting objects, this time called “Carnap” and the “Polish logician.” Timmons
and Horgan say that they may present different but equally true accounts of
how many objects there is. The reason for this is that Carnap and the Polish
logician are using the notion of an “object” differently, although in an identity-
preserving manner.47
Timmons’ and Horgan’s account may come across as rather similar to
Lynch’s proposal, which they are familiar with. However, Timmons and Horgan
suspect that there is an important difference between his proposal and the one
they are offering because according to them, Lynch’s proposal may contain a
thought they call relativized content which according to them cannot be part
of a successful account of conceptual relativity. The reason for this is that it
violates the principle of affirmatory conflict, which they take to be essential for
conceptual relativity. In explaining what they mean they return to the example
with Carnap and the Polish logician, and claim that if one accepts the prin-
ciple of relativized content, one seems to think that when Carnap states that
there are four objects, he is implicitly conceding that this is just true relative
to how he counts them and the Polish logician is judged to make the same
concession with regard to how many objects he sees.48 According to Horgan
and Timmons, this is a problematic analysis it would make the two accounts
compatible, and for this reason they do not accept it.49 In expressing how they
regard the matter, they write:
Although I appreciate the reason for why they wish to avoid the outcome of
what they call relativized content, I fail to appreciate what difference it would
make if the “relativeness” of a statement to a certain parameter-setting is
thought to be part of the content of the statement or part of some meta-anal-
ysis of the statement. I mean, Horgan and Timmons must at least accept the
latter and if they do, this would still make the statements compatible; which
would seem to lead to the same problematic outcome they think follow from
the principle of relativized content. That is, even if I would happen to agree
with them that ‘Implicit reference to a setting of the mereology parameter is
not a component of the content of what either of [Carnap and the polish logi-
cian] is saying’ this concession does not change the fact that the statements,
according to Horgan and Timmons, are governed by different parameter-set-
tings, and as far as I can tell, it is this latter circumstance that is relevant as far
as the thesis of conceptual relativity is concerned.51 My inability to make sense
of this step in their reasoning towards an adequate analysis of conceptual rela-
tivity may also be what explains why I find it difficult to agree upon or make
sense of how they more specifically wish to construe the kind of conflict they
think is involved in conceptual relativity. According to Horgan and Timmons,
Carnap and the Polish logician are not making relativizing claims; if they were
we would not have a conflict between them. In trying to make sense then of
precisely how Carnap and the Polish logician are involved in some kind of con-
flict, Horgan and Timmons claim that they are not offering directly contradic-
tory statements, but rather statements that fail to be correctly co-affirmable.
In elaborating on this possibility, Horgan and Timmons write:
In expressing the same idea they also write that the “affirmatory conflict at
work in cases of conceptual relativity” is such that:
In virtue of the idea expressed in these two quotes Horgan and Timmons take
themselves to have offered an account of how two statements may be incom-
patible, although not incompatible in the sense that they are directly inconsis-
tent, but in the sense that they “fail to be correctly co-affirmable”; or as they put
it, once more drawing upon Derrida, they are “inconsitant.”54 I must concede
that I find it difficult to appreciate to what extent the idea of conflict presented
by them amounts to any sufficiently real conflict. They claim that one and the
same person cannot employ different parameter settings at the same time
because they are mutually exclusionary, but it is not evident why this is the
case. In explaining this they seem to present and rely on a thought rather simi-
lar to the one presented by Lynch. Horgan and Timmons claim for instance
that it is an important part of the analysis of conceptual relativity they offer
that the accounts presented by Carnap and the polish logician cannot be true
relative the same parameter setting, which seems analogous to Lynch’s claim
that relative the same conceptual scheme, Smith’s and Johnson’s account of
how many objects a bag contains cannot both be true. This seems true and
reasonable, but to accept this does not seem to amount to the acceptance of
incompatible and equally correct accounts of the same circumstance. As pre-
viously remarked, the key idea implicit in Horgan’s and Timmons’ proposal
seems similar to Lynch’s, namely that a concept can be taken to be the same
concept (in a certain sense) while still being developed and used differently
(in another sense). I therefore think that the analysis of conceptual relativity
6 Concluding Remarks
Bibliography
Simon Blackburn, “Enchanting Views,” in Reading Putnam, ed. Peter Clark and Bob
Hale (Cambridge: Blackwell Publishers, 1994), 12–30.
Peter Byrne, God and Realism (Aldershot: Ashgate Publishing, 2003).
Susan Haack, “Reflections on Relativism: From Momentous Tautology to Seductive
Contradiction,” in Philosophical Perspectives 10: Metaphysics ed. James E. Tomberlin
(Oxford: Blackwell Publishers, 1996), 297–315.
Terry Horgan and Mark Timmons, “Conceptual Relativity and Metaphysical realism,”
in Philosophical Issues 12: Realism and Relativism, ed. Ernest Sosa and Enrique
Villanueva (Oxford, Blackwell Publishers, 2002), 74–96.
Michael Lynch, Truth in Context: An Essay on Pluralism and Objectivity (London: mit
Press, 1998).
Hilary Putnam, Representation and Reality (London: mit Press, 1989).
———, Realism with a Human Face (Cambridge, Mass.: Harvard University Press, 1990).
John Searle, The Construction of Social Reality (New York: Free Press, 1995).
chapter 9
Karim Dharamsi
1 Introduction1
We are invited in the first act of King Lear to witness a ritualized performance
wherein assets are to be divided by a King who is to abdicate his thrown. The
King will give, but he wants in exchange for authority and territory a demon-
stration of filial piety—quid pro quo; a kind of ritual in itself that conforms
to the economy of public display, and civility. At the core of the first scene,
as is my contention, the apparent demands of prudential reason (demands
consistent of what is required of the public ceremony) are intruded upon by
misplaced moral demands of a self-legislative will, untethered from conven-
tion and now working outside its endorsements. Cordelia, the youngest and
best-loved daughter, misunderstands or, indeed, fails to register the deontic
indicators being signalled to her by convention. She decides to tell the truth,
and objects to the rhetorical responsibilities of place and time. But these are
not alien responsibilities. She has been a member of this community and, it
can reasonably be assumed, has enjoyed the benefits of its practices. Indeed,
her very role, as heir, and perhaps her self-understanding is a construct of
Monarchical rule.
Understanding what one ought to do underwrites the very possibility of free-
dom for what Christina Korsgaard calls reflexive beings.2 Such beings exercise
a capacity to reflect on their responsibilities, their acts and how the reciprocal
relations between self-and-world are negotiated. This is as true in King Lear
as it is in life itself. In language consistent with the universe in which the trag-
edy operates, acting outside the boundaries of what is licensable, especially
1 This paper owes its reality to Dr. Admir Skodo’s excellent support and hard work.
2 Christine M. Korsgaard and Onora M. O’Neill, The Sources of Normativity (Cambridge:
Cambridge University Press, 1996), 93.
when seemingly unreflective, offends the natural order of things. Cordelia must
die! She has attempted to exit the bindingness of norms, assuming that the
sui generis character of freedom is licence to work outside the deontic limits
of licensed practice. Order must be restored. But this restoration is not merely
cosmetic. It restores social, civic order and thereby restores the socio-historical
geometry in which the ‘self’ itself operates. The self in this respect is coexten-
sive with social order, which in turn is, to shamelessly borrow a phrase, a mir-
ror of nature. For Shakespeare, the integrity of social order is governed by a
rhetorical inheritance, which for him seems entirely consonant with what is
natural. Nature can then be rendered intolerant of our precocious desires to
overcome our historical inheritance—and overcome our obligations.
Shakespeare’s tragedy depends on both Cordelia’s misunderstanding the
operations of ceremony, and her unreflective exit from required etiquette. It
is in Cordelia’s exit that we first begin to enter Shakespeare’s diagnosis of the
possibility of incompatible prudential and moral recommendations for action.
Cordelia’s incompliant response to Lear’s call for aretē or civic virtue in the
space of public reason implies a blurring of the distinction between the moral
and prudential, without eradicating the viability of the practical distinction. In
this way, Shakespeare can be read as offering a view of the self-legislative will
as free only insofar as it is appropriately responsive to the demands of the pub-
lic good. This can minimally require knowing the convention—or the rule one
is to follow—and being able to appreciably judge between different options
within the convention without attempting to operate outside its limits—some-
thing that may be impossible.
Ralph Wedgwood reflects a quietist attitude toward the distinction between
prudential and moral recommendations for action. He argues that the binary
fails to properly illuminate the logic of ‘ought’ as essentially normative, operat-
ing logically prior (if you will) to any narrowly construed moral or prudential
consideration. Instead of collapsing the distinction between the moral and pru-
dential, Wedgwood’s argument depends on accepting a kind of logical-ought
operator that is wedded to practical reasoning: how selves under the disguise
of first person transparency judge what they ought to do. Particularly interest-
ing is Wedgwood’s Platonism about normative facts. He claims “that when a
procedure for answering a normative question reaches the right answer, that
is not because of the intrinsic character of the procedure in question (indeed,
in my view such procedures are fallible), but simply because the answer corre-
sponds to an appropriate normative truth or facts.”3 I am less concerned about
Wedgwood’s Platonism in this paper, as his account is complicated and not
3 Ralph Wedgwood, The Nature of Normativity (Oxford: Oxford University Press, 2009), 7.
The Logic of “ Oughts ” and the Bindingness of Past Practice 171
“Meantime, we shall express our darker purpose.”4 And with this, Lear’s second
locution and his first substantial one in Shakespeare’s King Lear, begins the
unnatural trajectory of the Ancient King’s decline and death. As noted, the
King has decided to abdicate his thrown, and to relinquish his assets. While
many leaders outstay their welcome—the examples are too numerous, and
often involve a mixing of the pathetic with the horrifying—Lear may be leav-
ing too soon. His reasons for early succession seem sensible; his arguments
seem justified, and so rational. Lear’s primary heirs are his daughters; they are
to be bequeathed an inheritance proportionate to their expression of love. The
“darker purpose” is not an affront to nature, but sadly (perhaps) recognition of
an ordering of things.5 It is a kind of order that comes with a particular form
4 Kenneth Muir, The Arden Shakespeare: King Lear (Cambridge, Mass.: Harvard University
Press, 1972), 5.
5 Cf. Thomas Hobbes, Humane nature, or, The fundamental elements of policie: being a discov-
erie of the faculties, acts, and passions of the soul of man, from their original causes: according
to such philosophical principles as are not commonly known or asserted (London: Matthew
Gilliflower, 1650). Hobbes’s contractarian political ethics marshals a defense of authoritarian
government on the grounds that the sovereign does not enter into contracts with his sub-
jects. Perez Zagorin argues in his Hobbes and the Law of Nature (Princeton: Princeton
University Press, 2009), 64, that: “The sovereign power, as he (Hobbes) expounds its genesis,
is not a party to a contract with its subjects and therefore cannot commit any breach of legal
obligation to them. The people cannot be counterposed to the sovereign as a separate and
172 dharamsi
of participation in civic life—and custom: the social mettle from which selves
emerge. Indeed, the stuff we may detest, the darker purposes we all ultimately
accept, the bureaucratic threads that bind us to process and often to outcome,
and we take as necessary for the well-being of our community and ourselves. In
Shakespeare’s universe, the natural and the civic—physis and nomos—seem to
find ultimate expression when in alignment, when our darker purposes align
with what is best in us. It is courageous, then, to accept our place, to have the
wisdom of etiquette and know our obligations.
The play begins with the Earl of Kent and the Earl of Gloucester anticipat-
ing the division of the Kingdom. An impression is given that discussions prior
to Act 1 have determined the nature the ceremony, even if not the outcome
of its deliberations. Kent opens the play; he thinks that the King has favoured
the Duke of Albany (Goneril’s husband) over the Duke of Cornwall (Regan’s
husband).6 Gloucester’s response confirms Kent’s intuitions about Lear’s affec-
tions, but sobers those intuitions with the rights of ceremony—and the kind
of neutralizing of one’s affection required by affairs of State. Kent reveals here
that his judgement with regard to the requirements of convention may be
impaired, while Gloucester reveals just the opposite. He says:
It did always seem to us (that the King had more affected the Duke of
Albany than Cornwall); but now, in the division of the kingdom, it appears
not which of the Dukes he values most; for equalities are so weigh’d that
curiosity in neither can make choice of either’s moiety.7
What is to come is ceremonial; and ceremony is hardly ever trivial. It has bind-
ing properties, holds communities together, and can be the locus of divisive,
but restricted conflict. Conflict is “restricted” when background assump-
tions apply equally to all parties—even when some or even all of the parties
would be challenged to make explicit any one or more of those assumptions.
The rules of grammar can be said to apply equally to every English language
speaker, but many users of the language who engage in basic forms of endorse-
ment or correction with their children, for instance, might be challenged to
identify systemically the rules they are endorsing or the misapplication they
superior political entity, because without the sovereign in which it is collectively merged, the
people does not even exist and is merely a number of dissociated individuals.” Lear’s request
for an exchange is unusual because it mimics the structure of contract, but it is, rather, an
exchange captured in the way a trade between parties can be.
6 Muir, The Arden Shakespeare: King Lear, 5.
7 Muir, The Arden Shakespeare: King Lear, 5.
The Logic of “ Oughts ” and the Bindingness of Past Practice 173
are correcting. Such assumptions, be they about grammar or about social prac-
tice (generally), are binding, and conflicts themselves do not occupy regions
outside constraint of such norms. Here I wish to anchor my remarks to Henry
Jackman’s stipulation with regard to the bindingness of norms. Jackman main-
tains that “[. . .] norms must be in some sufficiently robust sense binding on
us.”8 He adds that “[a]nyone who means anything by their words will not be
able to ‘opt out’ of such norms.”9 I add here a slight but sufficiently provocative
amendment to Jackman’s stipulative definition, namely, that what is intended
by the words anyone uses is also binding; such intentions are responsive to
how conditions under which norms generally apply are appropriately inter-
preted. This applies as much to how words are used as what it is for a meet-
ing to take place. Meetings take place because rational creatures are behaving
in accordance with features of social practice within which expectations for
things called “meetings” are met. When pressed, the same endorsements may
not be met with systematic justifications. It is important to recognize that any
such systematic justification is unnecessary. What is required is behavior (lin-
guistic and otherwise) appropriate to the community’s expectations (broadly
construed).
Kent and Gloucester indicate at the opening of the play that a meeting is
about to take place; their conversation reveals that its purpose and its nature
are known. There may be misunderstanding or legitimate form of misinterpre-
tation with regard to the nature and function of the meeting. Misinterpretation
is normal social fare, but still accommodated by the vastness of binding back-
ground conditions. A member of a community may express confusion in the
following way, “Oh, I didn’t realize you called this meeting for that reason” or
“I’m sorry, I simply cannot accept your claim that-p given your claim that-q” or
“I think it’s strange how he bites his finger nails.” One is still operating within
the space of reasonable expectations and background agreements—and rea-
sonable misunderstanding. However, one (excluding cases of madness) can
occasionally appear to have “opted out” of norms (contra-Jackman) when one
has unintentionally exited or one has never belonged or one has been forcibly
ejected. There can be in either of first two cases dire consequences associated
with such conceptual and practical amputation from community. The last case
is especially egregious and outside the scope of my discussion here.10 In the
8 Hugh Jackman, “Charity and the Normativity of Meaning,” paper presented at the 2004
meeting of the Pacific Division of the American Philosophical Association, 1.
9 Jackman, “Charity,” 1.
10 I have in mind here the most egregious forms of ejecting a person or group from com-
munity. The Jews during the World War II, the Tutsis in Rwanda, the Muslims in Bosnia.
174 dharamsi
instances mentioned, one has been rendered an alien or one has always been
alien. I will refer to these cases of “opting out” as special cases. Cordelia’s sta-
tus unintentionally changes from insider to outsider. And this is the tragedy of
King Lear, if I have it right. To understand the case, I have to examine the main
event of Scene 1 more carefully.
In calling what is to happen in Lear’s court “ceremonial” and a matter of “cus-
tom” I am making a claim about the meanings and intentions associated with
having the meeting in the first place, and the demands being made on those
present—especially those being asked to exchange something for something.
Forgive my quoting Lear’s opening remarks in full, from act, 1, scene 1:
In these cases the victims are able to recognize the operations of normal life outside the
sphere of their amputated status and no doubt wondered why they have been forcibly
ejected. Hanna Arendt’s much discussed Eichmann in Jerusalem: A Report on the Banality
of Evil (London: Penguin, 2006) presents an interesting challenge to those who suggest
that Eichmann was a monster. Arendt: “The trouble with Eichmann was precisely that
so many were like him, and that they many were neither perverted nor sadistic, that they
were, and still are, terribly and terrifyingly normal. From the viewpoint of our legal insti-
tutions, and of our moral standards of judgment, this normality was much more terrify-
ing than all the atrocities put together” Arendt, “Eichmann in Jerusalem,” 276. Arendt’s
remarks continue to be controversial, offending many who think that evil natures express
evil deeds—not Arendt’s terrifyingly normal creatures. But Arendt’s observation speaks
to how profoundly unbelievable an ejection from norms can be; it presents those ejected
with a horrifying realization that the rules of the game they have so naturally endorsed
continue to apply—just not to them. By then it is too late.
The Logic of “ Oughts ” and the Bindingness of Past Practice 175
Lear is asking for something specific. He is King, and it is clear that he has a
“darker purpose,” namely, a form I have already suggested: the bureaucratic
operations of quid pro quo—something for something. Here Lear is operating
as Sovereign, who happens to be a father. This is not merely a matter of simple
emphasis, but an emphasis upon which rests a fundamental understanding of
what is required by the request being made. Lear wants something because
he is giving something. We know from both Lear and later Cordelia that it is
an exchange. And insofar as the request is the request of a Sovereign, what is
required ought to be understood as binding on those who expect to receive
something, but binding, also, because the King has made the request. This is
not binding in any legal sense since Kings do not typically enter into contracts
with their subjects. The binding features run deeper and excavate the sub-
stance of rhetorical interchange between the King and his successors. Each
side will have to deliver.
Following conventional interpretations, Harold Bloom may be right to rec-
ognize the two elder sisters as “transparent vessels of wickedness.”12 While I
agree with Bloom on their transparency, I am not entirely in agreement on
what such access reveals. This is, sadly, outside the scope of this particular
argument. I do, however, think Bloom is right to remind us that Cordelia does
not sound like a victim.13
In response to Lear’s request, Goneril answers, “Sir, I love you more than
word can wield the matter [. . .]” And, Regan, for her turn says, “I am made
of that self mettle as my sister . . .” Adding, “Only she comes too short: that I
profess Myself an enemy to all other joys.”14 Their effusion is theatre; it is, no
doubt, duplicitous. However, for all their moral defects, the sisters are authen-
tic. They are meeting the rhetorical demands of Lear’s request, and keeping
their interests in view. In this sense they are not dishonest but guided by the
recommendations of prudential reason. If we assume with Bloom that the sis-
ters are “transparent vessels” of any kind, then we have to assume too that we
understand them as they understand themselves. In this way the sisters are
not acting against their interests; insofar as this is trivially the case, Goneril
and Regan are being all that they can be: good prudential reasoners. As readers
there is little mystery associated with the sisters’ character. And Lear is satisfied.
While Goneril and Regan are speaking Cordelia’s mental state is revealed by
way of two asides. The reports of her introspection include, while Goneril is
responding to Lear’s request
Cor. Then poor Cordelia! And yet not so; since I am sure my love’s
More ponderous than my tongue.15
When Cordelia’s turn comes to bid in Lear’s auction, she voices our con-
tempt for the oily speeches of Goneril and Regan and for the premises
behind the whole charade. We are relieved to hear the bubbles pricked,
but Cordelia’s premises do not present a clear antithesis to the faults in
Lear’s. Her ideas are only a variation on Lear’s; she too thinks of affection
as a quantitative, portionable medium of exchange for goods and ser-
vices (1.1.95–104). Moreover, she sounds priggish. When she parries Lear’s
“So young, and so untender?” with “So young, my lord, and true,” we share
her triumph and her righteousness. We exult with her, but we may well be
put off by the cold competence of our Cinderella. We agree with Kent
when he says that she thinks justly and has “most rightly said” (1.1.183),
but we are probably much more comfortable with his passionate speeches
on her behalf than we were with her own crisp ones.17
In this passage Bloom makes four observations, each of which concern how
readers understand what is to unfold. First, Bloom takes for granted that
Cordelia represents our collective interests in reacting as she does to her sis-
ters’ “oily speeches.” Second, Bloom notes that Cordelia’s “premises” do not
present us with a clear antithesis to the “faults” in Lear’s. He adds that her
ideas are only a variation on Lear’s as she thinks of affection as “quantitative,”
making reference to proportionate distribution in “a medium of exchange for
goods and services.” Third, Bloom recognizes Cordelia’s “priggishness.” This
is, by my lights, a necessary insight in making sense of Cordelia’s role in the
narrative and what her apparent smugness and arrogance represents. Finally,
Bloom rightly notes Kent’s passionate speeches better ally with our expecta-
tions of measured response than does the “competent” righteousness of “our
Cinderella.”
I have suggested, contra-Bloom, that the ceremony is meaningful and not
a charade. Succession is not a light affair. Lear’s request is no doubt bizarre,
but it is not unintelligible when set in the framework of quid pro quo. This is
the “natural” underwriting the civic in Shakespeare’s Ancient Briton. As John
Danby suggests in his Shakespeare’s Doctrine of Nature: A Study of King Lear,
“[i]t is impossible to talk about Nature without talking also about pattern and
ideal form; about Reason as displayed in Nature; about Law as the innermost
expression of Nature; about Custom which is the basis of Law and equally with
Law an expression of Nature’s pattern; about Restraint as the observance of
Law, and the way to discover our richest self-fulfilment.”18
In my view, Lear’s judgement is not impaired. Rather, his office, the locus
of contact between the natural and the civic, is exploiting custom to endorse
a procedural form of just dessert with regard to the sisters’ inheritance. And
custom, following Danby’s remarks, expresses nature’s pattern—or at least can
be understood by those who hold office or are part of the Monarchical class
(in this case) as consistent with the natural course of things. As I have sug-
gested, this appreciation of pattern rendering is not alien to Cordelia; she has
been initiated into the practices and expectations she is rejecting in the first
act. In this way, Shakespeare’s Ancient King is facing off against his daughter
who occupies a liminal realm between the pre-modern and the modern. She
is not one of us, even though she is showing signs, and she’s no longer part of
the community that raised her. Indeed, Cordelia may represent our interests in
distancing herself from Goneril and Regan, but she does not move us into her
corner or motivate us to defend her sisters. Cordelia’s apparent self-legislative
priggishness allows proper distance between our interests and the interests
of those who are to receive Lear’s gifts. While Goneril and Regan overreach
and exaggerate, Cordelia seems amputated from the situation—she renders
herself “outside” the fray and is, remarkably, orphaned. Her very being is now
unnatural in Shakespeare’s creation. She can represent our collective inter-
ests if and only if we understand those interests in very narrow terms that are
qualified simply by our dislike of her sisters. If Bloom is right in suggesting that
Cordelia represents our collective interests, then one cannot help but wonder
how prudential recommendations for the good of the community could not
have animated Cordelia’s response to her sisters’ oily speeches. Shakespeare
has nicely halved the prudential from the moral in presenting us a form of
moral obduracy ignorant of custom, alienated from history and, now, divorced
of future.
Cordelia acts from moral recommendations, but her position transcends
context and she seems to misread the demands of Lear’s rhetorical queues. The
demands may be strictly prudential, but they are also moral when placed in
their respective historical-rhetorical context. When Lear advises she “mend her
speech,” he is sincere; it is not truth he is after—not the kind of truth Cordelia
is motivated to give. Rather, truth here conforms to the requirements of
ceremony—and custom. What is being demanded is “demonstration,” indeed,
a display of filial piety towards the King who happens to be father.
In failing to read the situation Cordelia moves us from what would other-
wise be the typical transitional formality to a dark revolution. In short, and
more to the point of this discussion, Cordelia’s response preserves an ideal of
truth that is procedurally neutral, but it fails to achieve a moral end; she casts
prudential considerations aside. In other words, how she believes she “ought”
to act is attached directly to a purely moral position. And she is the reason for
the tragedy. If Cordelia was sensitive to the rhetorical requirements of custom,
she may have responded differently to Lear’s question. As I have suggested,
Lear’s “dark purposes” are not an affront to the order of things; the order
180 dharamsi
enjoins all parties to play the game properly. By being “orphaned,” Cordelia has
sealed her fate and her father’s. It is her response that is an affront to nature,
and so an affront to the civic order. In short, exiting norms is tantamount to an
exiting of self. And there’s no self-exit. Cordelia must die.
19 Immanuel Kant, Groundwork for the Metaphysics of Morals, trans. Arnulf Zweig, ed.
Thomas E. Hill and Arnulf Zweig (Oxford: Oxford University Press, 2002).
20 In Groundwork on the Metaphysics of Morals Kant illustrates the overlapping of the pru-
dential and the moral by way of an example. A shopkeeper has moral reasons to not cheat
his customers—it’s just wrong. He also has prudential reasons; cheating his customers
will likely make for an unsuccessful business. In this way the moral and prudential can
overlap.
21 Wedgwood, The Nature of Normativity, 24.
The Logic of “ Oughts ” and the Bindingness of Past Practice 181
[. . .] if you are rational, and your answer to the question ‘What ought I to
do?’ is that you ought to go to bed (and going to bed is “of the appropriate
sort”), then you will not just judge that you ought to go to bed; you will
also intend to go to bed.
This is hardly a surprising conclusion. It is widely accepted by philoso-
phers that akrasia is a kind of irrationality; and akrasia consists of will-
ingly failing to do something that one judges one ought to do . . . so long
as φ-ing something of the appropriate sort, if you do not intend to φ, you
will count as willingly failing to φ. So at least as long you φ-ing is some-
thing of the appropriate sort, if you judge that you ought to p, and yet do
not intend to φ, you are being akratic—and so irrational.25
Sometimes rational states can be confused for akratic ones, as in cases where
one’s actions seem out of place or when others act in ways that seem patently
outside the scope of normal behavior. One might think here of ss guards during
World War Two as expressing behaviors that to observers would appear akratic.
Wedgwood’s remarks, however, rest on the first-person and so determining
whether one is being irrational seems to also rest with oneself. While I agree
with Wedgwood that what one ought to do can also be what one intends to do
(in the trivial sense), it is not clearly the case that what one intends is what one
ought to—especially in areas of moral judgment where tense competitions
between what ought to be done and one’s intentions arise. Still, Wedgwood’s
internalism puts the emphasis on Cordelia’s own understanding of what she
ought to do—how she ought to respond to Lear. Contra-Shakespeare, the self
is a kind of logical operator for Wedgwood. The logical self operates outside of
the constraints of history or the requirements of a given social order if that self
is moral. Cordelia must live!
As I have suggested, Cordelia’s asides during her sisters’ responses to Lear
suggest reflexive self-understanding. She is struggling to decide on how to
respond to Lear, but her reflections do not challenge her attitude. Her ques-
tions are about how to express her attitude. When she responds, her intentions
are clearly aligned with what she thinks she “ought” to say. Wedgwood main-
tains that one ought to φ when φ-ing is of the appropriate sort; if you intend
to φ, then it is rational to φ and it is what you ought to do. But what makes
something “of the appropriate sort?” Wedgwood writes:
[. . .] nji is only true of judgments of the form ‘I ought to φ’, where φ-ing is
something “of the appropriate sort” . . . for φ-ing to be of the appropriate
sort, it must be the case that one knows that one’s having intention to φ
will make a significant difference to the chances of one’s actually φ-ing.
Let us say that in fact, for φ-ing to be of the appropriate sort, something
stronger must be the case: one must know that one will φ if and only if
one intends to. Let us say that in this case, φ-ing is a course of action that
is “manifestly dependent on intention.”26
that she ought to do (tell Lear what she really thinks), is consistent with her
intention to φ. Lear’s ideal sense of “what is appropriate” is not as narrow as
either Wedgwood’s or Cordelia’s, and this is the crux of the moral and pruden-
tial impediment facing the latter’s imperilled state. Lear is acting on behalf of
history and custom, and Cordelia is acting, in the main, from a contextually
detached first-person vantage. She is not irrational, just out of touch.
Kant associates the moral law with the human will. For some Kantians,
Christina Korsgaard, for instance, the source of normativity resides in the self-
imposition of moral obligations by the autonomous will. If Korsgaard and Kant
are correct, then, contra-Wedgwood, the “ought” of “Ought I to do what I ought
to do?” is not prior to its moral or prudential species, but the very conflict that
self-legislation of the autonomous will requires to assert its freedom to choose
between competing ends. A possible confusion arises with regard to such con-
siderations because Wedgwood ignores questions of what we value in broadly
social or historical terms when we choose x over y or the other way around. He
also ignores Korsgaard’s construal of Kant’s moral theory, and her especially
robust defence of freedom. For Korsgaard, persons are reflexive creatures. We
turn our attention on our own moral activities and unless we have a reason to
act, she says we cannot go forward.27 But questions arise for all of us when we
wonder about our reasons for acting. Sometimes those reasons align our moral
considerations (be they in the first-person) or with our responsibility to the
wellbeing of community, and perhaps its officers.
Cordelia demonstrates her ability to turn her attention to her own moral
activities, but I have maintained that she is insensitive to the rhetorical queues
and certain deontic signals—the stuff that recommends in favor of custom
in much the way Danby suggests that nature and civic order are conjoined
in Shakespeare’s tragedy. For Wedgwood, NJI takes as essential the connec-
tion between normative judgment and practical reasoning or motivation for
action.28 He argues that normative judgments about acts one ought to perform
are essentially connected to motivation and practical reasoning. Wedgwood
argues that such judgments “involve a concept whose essential conceptual
role is its role in practical reasoning.”29 For Wedgwood, an essentially practi-
cal mode of presentation of the ought-relation characterises normative judg-
ments made in practical reasoning. Many concepts are individuated by their
conceptual or inferential role. Wedgwood’s innovative argument suggests that
some concepts serve a special practical purpose. He argues that a concept
is that Cordelia is not only a social-outsider; she is an exited self. Her truth is
her dower. Cordelia is Shakespeare’s moral realist, exiled from community and
from self. As is revealed by the narrative of the play, Cordelia’s exile is final and
ultimate.
4 Conclusion
Bibliography
Anders Kraal
1 Introduction
Modern formal logic has oftentimes been said to provide a tool for conceptual
analysis. Gottlob Frege, for example, says in Begriffsschrift that his formal logic
aims at clarifying “the relations of concepts.”1 Similarly, Bertrand Russell and
A.N. Whitehead say in the Principia Mathematica that their formal logic aims
at “the greatest possible analysis of the ideas with which it deals.”2 And Wilfred
Hodges, a distinguished contemporary logician, speaks of formal logic as “an
aid to definition and conceptual analysis.”3
The most widely used version of modern formal logic in contemporary ana-
lytic philosophy is standard first-order predicate logic (henceforth just “first-
order logic”). Indeed, first-order logic, in its Gentzen-style natural deduction
guise, has become “the most universally accepted method (within philosophy)
of ‘doing logic’.”4
As is the case with all formal logics, however, the idea that first-order logic
is an adequate tool for the conceptual analysis of a given proposition is some-
thing that is (or ought to be) open to inquiry, and there is more than one posi-
tion that can be taken in response to it. Let us use the name congruism for the
position that for a given system of formal logic and a given set of propositions,
the propositions of that set can be adequately analysed in terms of the relevant
system of formal logic; and let us use the name incongruism for the opposite
view. Let us moreover use the name formalism for the position that formal logic
1 Gottlob Frege, “Begriffsschrift,” trans. M. Beaney, in The Frege Reader, ed. M. Beaney (Oxford:
Blackwell, 1997), 50–51.
2 Bertrand Russell and A.N. Whitehead, Principia Mathematica, vol. 1 (Cambridge: Cambridge
University Press, 1910), 1.
3 Wilfred Hodges, “Classical Logic I—First-Order Logic,” in The Blackwell Guide to Philosophical
Logic, ed. L. Goble (Oxford: Blackwell Publishing, 2008), 9.
4 Francis Jeffry Pelletier, “A Brief History of Natural Deduction,” History and Philosophy of Logic
20:1 (1999): 2.
is a better tool than non-formal logic for the conceptual analysis of a given set
of propositions; and let us use the name anti-formalism for the opposite view.
In this chapter I shall single out a set of propositions with regard to which
I shall defend incongruism (vis-à-vis first-order logic) and anti-formalism.
The set of propositions I shall single out takes as its members what I shall call
“divine nature doctrines,” by which I mean doctrines such as “God exists,” “God
is almighty” and “God is all-good” as these doctrines are understood in classical
theism.5 The selection of this particular set is pertinent in view of a number of
special difficulties that have long been taken to attach to these propositions.6
To the extent that analytic philosophers have made use of modern for-
mal logic in analyzing divine nature doctrines, first-order logic has been the
preferred choice. But exactly how first-order analyses of divine nature doc-
trines are to be carried out in practice is a matter of disagreement.7 Consider
for example the doctrine “God exists.” Some take “God” as an argument and
“exists” as a monadic function,8 and then subject the doctrine to an argument-
function analysis:9
Exists(God)
5 My understanding of classical theism accords with that of Brian Leftow in his encyclo-
pedia article “Concepts of God” in The Routledge Encyclopedia of Philosophy, vol. 4, ed.
E. Craig (London and New York: Routledge, 1998), 93–102. Cf. also my encyclopedia article,
“Theism, Classical” in Encyclopedia of Sciences and Religions, vol. 4, eds. A. Runehov and
L. Oviedo (Springer: New York and Dordrecht, 2013), 2239–2240.
6 For more on this, see my papers “The Emergence of Logical Formalization in the
Philosophy of Religion: Genesis, Crisis, and Rehabilitation,” History and Philosophy of
Logic (forthcoming); and “Logic and Divine Simplicity,” Philosophy Compass 6:4 (2011):
282–294.
7 See, once again, my papers “The Emergence of Logical Formalization in the Philosophy of
Religion” and “Logic and Divine Simplicity.”
8 In this paper I follow Fregean terminology and speak of arguments and functions rather
than of singular terms and predicates.
9 See Alvin Plantinga, “Self-Profile,” in Alvin Plantinga, eds. J.E. Tomberlin and P. van
Inwagen (Dordrecht: Reidel, 1985), 38, 95.
10 See Jan Woleński, “Theism, Fideism, Atheism, Agnosticism,” in Logic, Ethics and All That
Jazz: Essays in Honour of Jordan Howard Sobel, eds. L.-G. Johansson, J. Österberg and
R. Sliwinski (Uppsala: Uppsala Philosophical Studies, 2009), 388.
190 Kraal
∃x(God(x))
∃x(God(x) ∧ Exists(x))
∃x(x = God)
Still others take “God” as a monadic function and go for a definite description
analysis:13
11 See Kaj B. Hansen “Formal logic, Models, Reality,” in Neither/Nor, eds. R. Sliwinski and
F. Svensson (Uppsala: Uppsala Philosophical Studies), 86–88. Hansen reads ‘∃x’ as “x
exists in a model,” and ‘Exists(x)’ as “x exists in reality.”
12 See William Mann “Definite Descriptions and the Ontological Argument,” in Philosophical
Applications of Free Logic, ed. K. Lambert (Oxford: Oxford University Press, 1991), 269–270.
13 See W.V.O. Quine, Mathematical Logic (Cambridge, Mass.: Harvard University Press, 1951),
150; Russell and Whitehead, Principia, 32; and Jozef Bocheński, The Logic of Religion (New
York: New York University Press, 1965), 68.
First-Order Logic, Incongruism, and Anti-Formalism 191
φ, ψ 𐅂 φ ∧ ψ
φ ∧ ψ 𐅂 φ
φ 𐅂φ ∨ ψ
φ ∨ ψ, [φ] χ, [ψ] χ 𐅂 χ15
[φ] ψ 𐅂 φ → ψ
φ, φ → ψ 𐅂 ψ
[φ] ⊥ 𐅂 ¬φ
[¬φ] ⊥ 𐅂 φ
φ, ¬φ 𐅂 ⊥
16 In this paper I shall only be considering monadic functions, i.e. functions with only one
argument.
First-Order Logic, Incongruism, and Anti-Formalism 193
The quantificational level makes use of the inference rules of the propositional
level, and four additional inference rules of its own, which can be given as fol-
lows. Let D be a non-empty domain of items over which the variables bound
by quantifiers range, let ‘t’ be a term that is either a variable ranging over one
or several of these items or else a name denoting one of the items, and let ‘Ψ’
be any predicate; then
Ψ(x) 𐅂 ∀xΨ(x)
∀xΨ(x)𐅂 Ψ(t)
Ψ(t)𐅂 ∃xΨ(x)
∃xΨ(x), [Ψ(x)] Φ 𐅂 Φ
(These rules are subject to some well-known restrictions which I omit here).17
Functions are understood set-theoretically, in terms of the extensions of ele-
ments that satisfy the function in question. The standard way of understand-
ing sets accords with these features:18
3 Incongruism
We turn next to criteria for the quantificational level. A first criterion can be
derived from (C1) and (C2):
First-Order Logic, Incongruism, and Anti-Formalism 195
(i) The semantics of first-order logic rules out that sets can be mem-
bers of their own sets, or, equivalently, that properties can be prop-
erties of themselves.
(ii) Since a set cannot be a member of itself, a (non-empty) set entails
the existence of both a set and a distinct member of that set; and,
equivalently, a property had by a bearer entails the existence of the
property and a distinct bearer.
(iii) Hence whatever is amenable to first-order analysis will presuppose
the existence of two distinct items.
In what follows I shall take (C1)–(C2) to be necessary and sufficient criteria for
amenability to propositional first-order analysis, and (C3)–(C4) to be necessary
criteria for amenability to quantificational first-order analysis. I now proceed
to argue that even if divine nature doctrines fulfil the requirements specified
in (C1)–(C2) and hence are amenable to propositional first-order analysis, they
don’t fulfil the requirements specified in (C4) and so fail to be amenable to
quantificational first-order analysis.
That classical theistic doctrines fulfil the requirements specified in (C1)–(C2),
might be thought obvious, although there might be room for some doubt. With
regard to the requirement specified in (C1) we reason as follows:
With regard to (C2) one could note that many attempts to show that there are
non-bivalent propositions involve controversial assumptions. For example,
attempts to show that propositions about future contingents are non-bivalent
typically presuppose libertarianism,19 and attempts to show that undecid-
able propositions are non-bivalent typically presuppose verificationism.20 An
exception would seem to be propositions expressed by sentences involving
vague predicates, i.e. predicates that seem both to apply and not to apply to
some object. There might perhaps be reason to think that predicates used to
express divine nature doctrines (e.g. “almighty,” “all-good,” “all-knowing”) are
sufficiently vague to induce non-bivalence. But as far as I know there has been
no substantial attempt to show that this is in fact the case, and so the matter
seems rather uncertain.
More serious problems emerge with regard to the quantificational level and
in particular criterion (C4). Divine nature doctrines can be shown to fail to
fulfil the requirement specified in (C4). We reason as follows:
19 Cf. Jan Łukasiewicz, Jan Łukasiewicz: Selected Works, ed. L. Borkowski (Amsterdam and
London: North-Holland Publishing Company, 1970), 114–115.
20 Cf. Michael Dummett, Truth and Other Enigmas (Cambridge, Mass.: Harvard University
Press, 1978), 215–247.
21 See e.g. Augustine, The City of God, vol. 3, trans. D. Wiesen (Cambridge, Mass.: Harvard
University Press, 1968), 465–469; Thomas Aquinas, Summa Theologica, vol. 1, trans. the
First-Order Logic, Incongruism, and Anti-Formalism 197
almighty” and “God is all-good,” classical theism is not presupposing that God
is one thing and his existence or almightiness or all-goodness something else;
rather, it is presupposed that God is identical to his existence, almightiness and
all-goodness. Given this framework, the claim made in (ii) is correct: divine
nature doctrines presuppose the existence of only one item.
I conclude that the incongruity thesis is vindicated: divine nature doctrines
aren’t amenable to first-order analysis.
4 Formalism
English Dominican Province (London: Sheed & Ward, 1948), 19; Martin Chemnitz, Loci
Theologici, vol. 1, trans. J.A.O. Preus (St. Louis: Concordia Publishing House, 1989), 51; and
Francis Turretin, Institutes of Elenctic Theology, vol. 1, trans. G.M. Giger (Phillipsburg: P&R
Publishing, 1992), 193. See also Leftow, “Simplicity, divine,” in The Routledge Encyclopedia
of Philosophy, vol. 8, ed. E. Craig (London and New York: Routledge, 1998), 784–788; and
Kraal, First-Order Logic and Classical Theism (Uppsala: Uppsala University, 2010), 167–181.
198 Kraal
‘M╞ Δ(δ)’ iff the property-bearer I(δ) has the property I(Δ).
P(a)
Q(a)
Neither the syntax nor the semantics of these respective formulas will force an
ontological distinction between God and his properties.
The inference rules of the propositional level of first-order logic can be
adopted into our CT-Logic language without qualification. The inference rules
of the quantificational level of first-order logic can also be adopted into our
CT-Logic language provided that their variables range only over items that
are denotable by arguments of type A and their functions are similarly all of
type A.
We turn next to Leśniewski. Leśniewski’s system of formal logic aims at
reflecting the structure of reality more adequately than the logic of Frege and
Russell.22 In 1956 Czesław Lejewski gave a classic exposition of this system,
which at the same time was an enrichment of it. I here refer to the resulting
system as “Leśniewski-Lejewski Logic.”23
Leśniewski-Lejewski Logic can be seen to not force an ontological subject/
predicate distinction on the subject-matter of predications, and is in this sense
a more adequate tool for the formal analysis of divine nature doctrines than
first-order logic. This can be seen as follows.24
22 For historical overviews of Leśniewski’s work and its aims, see Peter Simons, “Stanisław
Leśniewski,” in Stanford Encyclopedia of Philosophy (http://plato.stanford.edu/entries/
lesniewski/), accessed Jan. 25, 2010; and Jan Woleński, “Lvov-Warsaw School,” in Stanford
Encyclopedia of Philosophy (http://plato.stanford.edu/entries/lvov-warsaw/), accessed
Jan. 25, 2010.
23 See Lejewski, “On Leśniewski’s Ontology,” in Lesniewski’s Systems: Ontology and Mereology,
ed. J.T.J. Srzednicki (The Hague: Martinus Nijhoff Publishers, [1956] 1984), 123–148.
24 The following exposition is based primarily on Lejewski, “On Leśniewski’s Ontology.”
200 Kraal
‘α ε β’ is true iff (d) or (f) give the status of ‘α’ and ‘β’, otherwise it’s false.
‘α < β’ is true iff (d), (f), (l) or (m) give the status of ‘α’ and ‘β’, otherwise it’s
false.
‘α ⊂ β’ is true iff (d), (f), (k), (l), (m), (r) or (s) give the status of ‘α’ and ‘β’,
otherwise it’s false.
‘α Δ β’ is true iff (d), (f), (g), (l), (m), (n) or (o) give the status of ‘α’ and ‘β’,
otherwise it’s false.
‘α = β’ is true iff (d) gives the status of ‘α’ and ‘β’, otherwise it’s false.
‘α ™ β’ is true iff (d) or (l) give the status of ‘α’ and ‘β’, otherwise it’s false.
‘α ○ β’ is true iff (d), (l) or (s) give the status of ‘α’ and ‘β’, otherwise it’s false.
‘ex(α)’ is true iff (a) or (b) gives the status of ‘α’, otherwise it’s false.
‘sol(α)’ is true iff (a) or (c) gives the status of ‘α’, otherwise it’s false.
‘ob(α)’ is true iff (a) gives the status of ‘α’, otherwise it’s false.
5 Anti-Formalism
(i) In the doctrine “God exists” the term “God” is used to denote God
and the term “exists” is used to express the property of existing, and
the doctrine itself asserts that God has the property of existing.
(ii) In the doctrine “God exists” the term “God” is used to express the
property of being God, and the doctrine itself asserts that there
exists an object that has this property.
(iii) In the doctrine “God exists” the term “God” is used to express the
property of being God and the term “exists” is used to express the
property of existing in reality, and the doctrine itself asserts that
there exists an object that has the property of being God and the
property of existing in reality.
(iv) In the doctrine “God exists” the term “God” is used to denote God,
and the doctrine itself asserts that there exists an object that is
identical with God.
(v) In the doctrine “God exists” the term “God” is used to express the
property of being God, and the doctrine itself asserts that there
exists exactly one object that is identical to God.
The above analyses do not themselves involve logical concepts such as impli-
cation, negation, disjunction, and so on. However, on the basis of these analy-
ses we can derive various logical features of the claims, e.g. these ones:
(i*) The doctrine “God exists” implies that existence is a property, and is
inconsistent with the claim that existence is not a property.
First-Order Logic, Incongruism, and Anti-Formalism 203
(ii*) The doctrine “God exists” is consistent with the claim that there are
properties.
(iii*) The doctrine “God exists” is inconsistent with the claim that there
are no properties.
(iv*) The doctrine “God exists” implies that something is identical to
God, and is inconsistent with the claim that nothing is identical to
God.
(v*) The doctrine “God exists” is consistent with the claim that there is
no more than one God, and is inconsistent with the claim that there
is more than one God.
We see, then, that various logical properties of the doctrine “God exists” can be
derived from the non-formal logic analyses offered in (i)–(v).
It can easily be seen that the non-formal logical analyses (i)–(v) are just
as informative as their formalistic counterparts ‘Exists(God)’, ‘∃x(God(x))’,
‘∃x(God(x) ∧ Exists(x))’, ‘∃x(x = God)’, and ‘∃(y)∀(x)(x=y ↔ God(x))’. But, con-
trary to their formalistic counterparts, they do not presuppose an ontological
distinction between God and the divine properties. The reason why the formal-
istic counterparts presupposed such a distinction was because standard first-
order semantics forces such a distinction. In the case of (i*)–(v*), however,
there are no analogous semantic rules to which the explications are bound,
and hence no equivalent ontological distinction between God and his proper-
ties can be inferred.
I now seek to vindicate anti-formalism by arguing that the above non-for-
malistic response to the incongruity thesis is more adequate than the formalis-
tic responses of section 4. I offer three reasons for thinking this.
First, non-formal logic is epistemically more secure than formal logic. This
can be made clear by examples: the non-formal principle “no proposition
is both true and false” is not certain because it accords with the first-order
formula ‘¬(φ ∧ ¬φ)’, but, rather, the first-order formula ‘¬(φ ∧ ¬φ)’ is certain
because it accords with the non-formal principle “no proposition is both true
and false.” Again, the non-formal principle “every proposition is either true or
false” is not certain because it accords with the first-order formula ‘φ ∨ ¬φ’,
but, rather, the first-order formula ‘φ ∨ ¬φ’ is certain because it accords with
the non-formal principle “every proposition is either true or false.” Granting
that an epistemically more secure logic is more adequate than an epistemically
less secure one, it follows (all else being equal) that non-formal logic is more
adequate than formal logic.
Second, non-formal logic has greater expressive resources than formal logic.
The principles and inference rules of a formal logic can all be expressed also in
non-formal logic, but not all principles and inference rules of non-formal logic
204 Kraal
can be expressed in a formal logic such as first-order logic. For example, the
non-formal logical principle “anything implied by a true proposition is true”
cannot be adequately expressed in formal logic, as e.g. Whitehead and Russell
point out.25 Granting that a logic with greater expressive resources is more
adequate than a logic with more limited expressive resources, it follows (all
else equal) that non-formal logic is more adequate than formal logic.
And third, the real strong-points of formal logic vis-à-vis non-formal logic
are largely irrelevant to the task of getting clear about the conceptual content
of divine nature doctrines. Three well-known strong-points of formal logic are
that it (i) provides a means for compressing long and complicated proposi-
tions into brief formulas that are easy to grasp, (ii) that it can be used in com-
puter programming, and (iii) that it allows for interesting meta-logical results
such as Gödel’s completeness and incompleteness theorems. These are indeed
strong-points; but, as can be seen, they are largely irrelevant to the task of get-
ting clear about the conceptual content of divine nature doctrines. Divine
nature doctrines are not of such a long and complicated sort as to benefit in
any obvious way from being compressed into symbolic formulas, and facility in
computer programming along with meta-logical theorems, important as they
are, are of no direct or obvious relevance to the task of getting clear about the
logic of divine nature doctrines.
For the above three reasons I think that anti-formalism is to be preferred
to formalism when it comes to the conceptual analysis of divine nature doc-
trines. My suggestion, therefore, is that we abandon the use of formal logic in
seeking to get clear about the conceptual content of divine nature doctrines,
and instead go for with non-formal logic.
6 Conclusion
of more than one item. This, I argued, is a presupposition that classical theism
does not meet due to the framework significance of classical theism’s doctrine
of divine simplicity.
The relevant version of anti-formalism was argued for by first proposing
two responses to the incongruity thesis, one formalistic and the other non-
formalistic, and then arguing that the non-formalistic response is the more
adequate response. The non-formalistic response was deemed more adequate
than the formalistic response in that it is epistemically more secure, has greater
expressive resources, and because the strong-points of first-order logic vis-à-vis
non-formal logic are largely irrelevant to the task of getting clear about the
conceptual content of divine nature doctrines.
Should the results of the present paper be considered surprising? Perhaps
not. After all, first-order logic was not developed for the formal analysis of
divine nature doctrines, but for the formal analysis of mathematical proposi-
tions. So if it turns out that first-order logic is conceptually inadequate for the
logical analysis of divine nature doctrines, we shouldn’t be too surprised. On
the other hand, since the use of first-order logic as a tool for the conceptual
analysis of divine nature doctrines has become widespread in contemporary
analytic philosophy, our results, if sound, are not insignificant.26
Bibliography
Wilhelm Ackermann and David Hilbert, Grundzüge der theoretischen Logik. (Berlin/
Göttingen/Heidelberg: Springer, 1949).
Augustine. The City of God, vol. 3, trans. D. Wiesen (Cambridge, Mass.: Harvard
University Press, 1968).
Thomas Aquinas, Summa Theologica, vol. 1, trans. the English Dominican Province
(London: Sheed & Ward, 1948).
Józef Bocheński, The Logic of Religion (New York: New York University Press, 1965).
Martin Chemnitz, Loci Theologici, vol. 1, trans. J.A.O. Preus (St. Louis: Concordia
Publishing House, 1989).
Michael Dummet, Truth and Other Enigmas (Cambridge, Mass.: Harvard University
Press, 1978).
Gottlob Frege, “Begriffsschrift,” trans. Michael Beaney, in The Frege Reader, ed.
M. Beaney. (Oxford: Blackwell, 1997), 47–78.
Kaj B. Hansen, Grundläggande logik (Lund: Studentlitteratur, 1997).
26 Many thanks to Kaj Børge Hansen, of Uppsala University, for helpful remarks on an earlier
version of this paper.
206 Kraal
———, “Formal logic, Models, Reality,” in Neither/Nor, eds. R. Sliwinski and F. Svensson
(Uppsala: Uppsala Philosophical Studies, 2011), 79–99.
Wilfred Hodges, “Classical Logic I—First-Order Logic,” in The Blackwell Guide to
Philosophical Logic, ed. L. Goble (Oxford: Blackwell Publishing, 2008), 9–32.
Anders Kraal, First-Order Logic and Classical Theism: Toward Logical Reorientation.
(Uppsala: Uppsala University, 2010).
———, “Logic and Divine Simplicity,” Philosophy Compass 6:4 (2011): 282–294.
———, “Classical theism,” in Springer Encyclopedia of Sciences and Religions
(forthcoming).
———, “Theism, Classical” in Encyclopedia of Sciences and Religions, vol. 4, eds.
A. Runehov and L. Oviedo (Springer: New York and Dordrecht, 2013), 2239–2240.
Czeław Lejewski, “On Leśniewski’s Ontology,” in Lesniewski’s Systems: Ontology and
Mereology, ed. J.T.J. Srzednicki (The Hague: Martinus Nijhoff Publishers, [1956]
1984), 123–148.
Brian Leftow, “God, concepts of,” in The Routledge Encyclopedia of Philosophy, vol. 4,
ed. E. Craig (London and New York: Routledge, 1998), 93–102.
———, “Simplicity, divine,” in The Routledge Encyclopedia of Philosophy, vol. 8, ed.
E. Craig (London and New York: Routledge, 1998), 784–788.
Jan Łukasiewicz, Jan Łukasiewicz: Selected Works, ed. Borkowski. L. Amsterdam and
(London: North-Holland Publishing Company, 1970), 110–128.
William Mann, “Definite Descriptions and the Ontological Argument,” in Philosophical
Applications of Free Logic, ed. K. Lambert (Oxford: Oxford University Press, 1991),
257–272.
Francis Jeffry Pelletier, “A Brief History of Natural Deduction,” History and Philosophy
of Logic 20:1 (1999): 1–31.
Alvin Plantinga, “Self-Profile,” in Alvin Plantinga, eds. J.E. Tomberlin and Peter van
Inwagen (Dordrecht: Reidel, 1985), 3–97.
W.V.O. Quine, Mathematical Logic (Cambridge, Mass.: Harvard University Press, 1951).
Peter Simons, “Stanisław Leśniewski,” in Stanford Encyclopedia of Philosophy, 2011,
accessed May 21, 2013. http://plato.stanford.edu/entries/lesniewski/.
Robert R. Stoll, Set Theory and Logic (San Francisco and London: W.H. Freeman and
Company, 1963).
Francis Turretin, Institutes of Elenctic Theology, vol. 1, trans. G.M. Giger (Phillipsburg:
P&R Publishing, 1992).
A.N. Whitehead and Bertrand Russell. Principia Mathematica, vol. 1 (Cambridge:
Cambridge University Press, 1910).
Jan Woleński, “Theism, Fideism, Atheism, Agnosticism,” in Logic, Ethics and All That
Jazz: Essays in Honour of Jordan Howard Sobel, eds. L.-G. Johansson, J. Österberg and
R. Sliwinski (Uppsala: Uppsala Philosophical Studies, 2009), 387–400.
———, “Lvov-Warsaw School,” in Stanford Encyclopedia of Philosophy, 2009, accessed
Jan. 25, 2010. http://plato.stanford.edu/entries/lvov-warsaw/.
chapter 11
1 Introduction
The history of human beings is crowded with all kinds of strange, imagined
beings, such as gods, ghosts, souls, witches, fairies, trolls, zombies, gnomes and
so forth. As the archaeological evidence indicates, the consciousness of human
beings achieved the cognitive capability to conceive such beings at least 30,000
years ago.1 After that, the human beings have frequently imagined that their
cognitive imaginations are cases of existent beings. In fact, it has been assumed
that the existence of such beings is more certain than anything.
Another important historic or even prehistoric conception, still prevalent in
many religions, is the idea of afterlife. The basic idea is here that the identity
of an individual is preserved after death. In other words: it is claimed that it is
logically possible for the self to exist post mortem.
Prima facie, we can all, as human beings, conceive that there is a spiritual
substance that can take different forms as soul or divine being. From our cul-
tures, we have historical conceptions of divine beings and human souls. Thus
is may appear to most of us that we actually can grasp the existence of such
beings and things, as representations in our minds. From this, some or even
most of us conclude that they (possibly) also (can) exist. Thus, in this cogni-
tive-historical sense, selves, logic and ontology are strongly connected in the
context of religion. It is natural for human beings to conceive supernatural
things.
Now there is no obvious empirical evidence for the existence of any afterlife,
divine being, or spiritual substance whatsoever. The importance of this fact
cannot be overrated.2 By contrast, the empirical evidence for the existence of
a physical world is overwhelming. But in the face of this evidence and lack of
evidence, at the same time, the absolute majority of people believe that there
are spiritual substances and afterlife. It is a natural, cultural position to see the
1 Steven Mithen, The Prehistory of Mind: A Search for the Origin of Art, Religion and Science
(London: Thames & Hudson 1996).
2 See the discussion in John Searle, Mind, Language and Society: Philosophy in the Real World
(London: Phoenix 1999), 33–37.
world as partly spiritual, in the sense that there is a spiritual substance, and
that human beings are partly spiritual. This is indeed a strange situation. The
Enlightenment and modern science came out very hard on religious ideas. The
many times iterated point was and still is of course that there is no empirical
evidence of spiritual substances—at least not the kind of evidence that the
scientific view requires. The contemporary prevalence of religion is, however,
contradicting this. Religion still has its strongholds, despite the Enlightenment
critique. But I cannot go into any details here, as that would go beyond the
scope of this paper.
Another consideration is my real concern, and that is the status of our cul-
tural discourses. Since the dawn of human history, philosophers and theolo-
gians have tried to demonstrate the possible or even necessary existence of
some divine being, soul or spiritual substance by the use of logical tools. A
related attempt has been to clarify these concepts, showing that they do not
entail any contradiction. The absence of logical contradictions is then taken as
a platform for ontological assumptions.
It is unclear whether or not this discourse has contributed to a situation
where religion has made a comeback or in the contemporary world. One
aspect of that discourse is nonetheless the focus of the present chapter.
zombie movies have basically the same conception but here the ghouls often
move incredibly fast.
The zombie of the philosophers, by contrast, is a less dangerous being. It is a
human being without consciousness. The philosophical debate about zombies
is mainly related to the mind-body discussion, issues concerning the debate on
physicalism in general, and—more recently—the debate about conceivability
arguments as such.3
A historical source for these conceivability arguments is Hume’s famous
claim in his Treatise of Human Nature: “[. . .] whatever the mind clearly con-
ceives, includes the idea of possible existence, or in other words, that noth-
ing we imagine is absolutely impossible.”4 Hume claims here that a coherent
conception includes the idea of possible existence, and also that in fact no
imagination of the mind can be without that concept. Descartes famous cogito
is dependent on the same assumption, that conceptual or coherence conceiv-
ability leads to ontological conclusions.5 And, of course, we have the same
assumption behind Anselm’s ontological proof. All these arguments go from
the conceivability of a concept to possible or even necessary existence.
Similarly, the contemporary, basic conceivability argument for zombies has
the following logical form:
This argument is valid. But the question is if the premises are acceptable. Both
can be challenged. The usefulness of the conceivability argument can also be
disputed, even if Hume claims that this form of argument is “an establish’d
maxim in metaphysics.”6
3 David Chalmers, The Conscious Mind: In Search of a Fundamental Theory (New York: Oxford
University Press 1996); Stephen Yablo, “Is Conceivability a Guide to Possibility?,” Philosophy
and Phenomenological Research 53 (1993), 1–42; Stephen Yablo, “Concepts and Consciousness,”
Philosophy and Phenomenological Research 59 (1999), 455–463; Stephen Yablo, “Textbook
Kripkeanism & The Open Texture of Concepts,” Pacific Philosophical Quarterly 81 (2000),
98–122.
4 David Hume, A Treatise of Human Nature, eds. L.A. Selby-Bigge and P.H. Nidditch (Oxford:
Oxford University Press 1968), 32; cf. Yablo, “Conceivability.”
5 Yablo, “Conceivability.”
6 Hume, Treatise, 32.
210 Modée
The driving idea of this chapter is that arguments for the possible existence
of divine beings basically have the same structure as the basic zombie argu-
ment or that they presuppose a similar kind of argument. A clear example
from the philosophical-theological literature, supporting this idea, is Richard
Swinburne’s different arguments for substance dualism, which he has pre-
sented in several works. But here I want to focus on a particular argument that
he presented in, e.g., Personal Identity7 and in The Evolution of the Soul.8
The first step in that particular argument is a reflection over the “logical pos-
sibility” of afterlife. Swinburne claims that it is generally agreed, at least among
people that are “uninfluenced by philosophical theory,”9 that the notion after-
life is coherent, which means that it is conceptually consistent. There is no
contradiction in the idea that a person may survive his or her own death,
according to Swinburne. Then he says this: “From the mere logical possibility
of my continued existence [i.e., in afterlife, without a body] there follows the
actual fact that there is now more to me than my body; and that more is the
essential part of myself.”10 The argument as such aside,11 the idea behind it is
clearly the philosophical idea that a coherent conception (“logical possibility”)
entails that corresponding existence is metaphysically possible.
I think that this broadly logical move is commonplace in theology and prac-
tical religion, even if the philosophical argument is not at hand. Taking gods as
existent beings, in the absence of direct empirical confirmation, presupposes
that conceivability is a guide to ontological possibility or even to “the truth”
itself. In the absence of evidence, adherents are also quite satisfied with con-
ceivability, which, at best, can be empirically supported by some theological
interpretation of facts (e.g., the “creation,” “afterlife,” etc.). So it could be argued
that religion and philosophical arguments about its rationality are dependent
on some version of the conceivability argument.
Now the metaphysical idea of conceivability arguments, that conceivability
indicates, guide or entails possible existence, has been challenged. I will first
outline the debate, from which we have that attack, and then discuss the impli-
cation of the attack for Swinburne’s argument.
7 Sidney Shoemaker and Richard Swinburne, Personal Identity (Oxford: Blackwell, 1984).
8 Richard Swinburne, The Evolution of the Soul (Oxford: Clarendon Press, 1997).
9 Shoemaker and Swinburne, Personal, 244.
10 Shoemaker and Swinburne, Personal, 30.
11 See Nicholas Everitt, “Substance Dualism and Disembodied Existence,” Faith & Philosophy
17 (2000), 331–347, for a critical discussion.
Zombies, Selves, and the Possibility of Afterlife 211
it is possible to assert that there is a square triangle. It has not been shown that
we actually can conceive that sort of being just because it is possible to claim
that it is conceivable when, in fact, it is perhaps just possible assert that there
is a being or thing such as such. For instance, it is very difficult to explain a
zombie being in detail and show how this being actually works (without con-
tradiction). It is easy to submit fuzzy and hasty statements about imagined
beings and reflect very superficially on what we actually say, but—on a closer
examination—it is clear that things are not at all that easy. Fuzzy or vague
concepts can hardly be claimed to be “conceptually possible” without detailed
specification.
Consider the example of Santa Claus, who delivers Christmas gifts to all
children in a few hours. This is easy to say and (in a superficial sense, also con-
ceive, since “all” is a vague word), but Santa’s logistics is of course impossible in
practice. But consciousness is surely an even harder case, compared with Santa
and his impossible logistics. Add a beard, some typical gear including a deer
and you have Santa Claus. And that he can deliver gifts to all children in e few
hours goes of course without saying.
It is far more difficult to conceive the case where you can remove conscious-
ness from a person and still have exactly the same behaviour intact. For exam-
ple, imagine the situation where we experience the smell of cheese with some
verbal approval and the case where the zombie behaves exactly like us. What
sense could be made of the zombie behaviour? It has no consciousness, so how
could it express that it enjoyed the smell of cheese? Is it a lie or what is it? But
how can a zombie lie? Lies seem to presuppose consciousness. If you have no
consciousness you cannot possibly lie.24 Not even the typical zombie behavior
makes sense, if the zombie is entirely devoid of consciousness. A zombie must
be aware of the presence of human brains and be in the position of distinguish
non-zombies from zombies. That awareness seems to entail consciousness.
Another way to reject Chalmers’ position is to challenge the conceivabil-
ity argument as such. This is, for instance, Yablo’s approach.25 For example,
given the physicalist assumption that the world is entirely physical and that
everything apparently non-physical can be reduced to the physical substance,
it is clear that the consistent physicalist must formulate the position so that
zombies are not possible in the metaphysical sense. As Yablo says, it “is not
24 These arguments are developed in Allin Cotrell, “Sniffing the Camembert: On the
Conceivability of Zombies,” Journal of Consciousness Studies 6 (1999), 4–12; and in Nigel
Thomas, “Zombie Killer,” in Toward a Science of Consciousness II, eds. Stuart R. Hameroff,
Alfred W. Kaszniak & A.C. Scott Cambridge (Cambridge, ma: mit Press, 1998), 171–177.
25 Yablo, “Conceivability”; Yablo, “Concepts.”
Zombies, Selves, and the Possibility of Afterlife 215
The hand of the Lord was on me, and he brought me out by the Spirit of
the Lord and set me in the middle of a valley; it was full of bones. 2 He led
me back and forth among them, and I saw a great many bones on the
floor of the valley, bones that were very dry. 3 He asked me, ‘Son of man,
can these bones live?’ I said, ‘Sovereign Lord, you alone know.’ 4 Then he
said to me, ‘Prophesy to these bones and say to them, “Dry bones, hear
the word of the Lord! 5 This is what the Sovereign Lord says to these bones:
I will make breath enter you, and you will come to life. 6 I will attach ten-
dons to you and make flesh come upon you and cover you with skin; I will
26 John Hick, Death and Eternal Life (Louisville: Westminster 1994); Melford Spiro, “Religion:
Problems of Definition and Explanation,” in Anthropological Approaches to the Study of
Religion, ed. Michael Banton (London: Tavistock 1966).
216 Modée
put breath in you, and you will come to life. Then you will know that I am
the Lord.”’ 7 So I prophesied as I was commanded. And as I was prophesy-
ing, there was a noise, a rattling sound, and the bones came together,
bone to bone. 8 I looked, and tendons and flesh appeared on them and
skin covered them, but there was no breath in them. 9 Then he said to me,
‘Prophesy to the breath; prophesy, son of man, and say to it, “This is what the
Sovereign Lord says: Come, breath, from the four winds and breathe into
these slain, that they may live.”’ 10 So I prophesied as he commanded me,
and breath entered them; they came to life and stood up on their feet—a
vast army [my italics].
Ezekiel’s description of bones that become a zombie army shows us the steps
that make the impression that something actually is conceived and possible.
To bones he adds tendons and flesh and finally breath. Hence: we go from
bones to a zombie conception, and even a “vast army.” All stages can be con-
ceived, thus the whole composition is allegedly conceived. Life is possible and
partly non-physical (breath), given the power and will of God. The human self
must therefore be aware of its divine dependence.
The theological point is mainly moral and not ontological: humans are
dependent on the divine and must honour this relation. The focus is thus on
human accountability. The possibility of afterlife is in the hands of the divine
but also dependent on the moral standard of the individual. Despite all sorts of
differences, it can be argued that Buddhist, Hindu and Muslim ideas of afterlife
are also basically moral arguments along the same line.27
Now this moral point of afterlife is pointless if afterlife itself is metaphysi-
cally impossible. Since there is no clear empirical evidence of afterlife, the
doctrine stands or falls with the feasibility of conceivability arguments. Let us
therefore turn to Swinburne’s afterlife argument again.28 Its first premise is as
follows:
This premise starts with well-known, easily conceivable features in the real
world: the self and the physical body of the person. Then the move is the
opposite of Ezekiel’s: Swinburne claims that the self, logically speaking, can be
27 Cf. Hick, Death, 46; Jane Smith, “Reflections on Aspects of Immortality in Islam,” The
Harvard Theological Review 70 (1977), 85–98.
28 See Shoemaker and Swinburne, Personal, 30; cf. Everitt, “Substance.”
Zombies, Selves, and the Possibility of Afterlife 217
separated from its body. This idea is seen as logically possible because—prima
facie at least—there is no real contradiction in terms.
Still we must admit that it is an astonishing and startling claim to submit,
that it is possible to exist without a body. Everything in our everyday experi-
ence confirms the opposite.
The anthropologist Pascal Boyer’s theory of how religious concepts are
constructed could highlight what is going on here. In Boyer’s terms, first, reli-
gious concepts are based on familiar ontological categories, such as PERSON,
PLANT, or ANIMAL. For instance, in Christianity and Islam, the post-mortem
souls are persons, and it is clear that the received view also is that the soul’s
person is identical to the person who just died. Secondly, concepts of supernat-
ural agents or entities then “invariably specify information that violates intuitive
expectations associated with the relevant ontological category.”29 For example,
the idea that a PERSON lacks physical body would be such a violation because
we intuitively take for granted that persons are identical to a particular physi-
cal body. Finally, “a supernatural concept also activates the intuitive expecta-
tions that are not violated, among those associated with the relevant ontological
category.”30 An example of this would be that is assumed that souls perceive
things: they can see and feel, without physical eyes, brains and nerve-endings.
Now we can go back to premise (A) again: as already indicated, since it is
a conceivability argument, Swinburne’s premise can be challenged in many
ways. Given Boyer’s analytical tools, here is one additional way of challenging
(A): if a concept now internally violates “intuitive expectations” of the onto-
logical category to which it belong, is it then really possible to claim that it
is logically coherent? Of course, since the dawn of mankind religions have
submitted views of afterlife without having any logical worries. Traditional
communities may have experienced their view as conceptually possible and
unproblematic. As Swinburne says, people “uninfluenced by philosophical
theory” apparently have no trouble with their local conceivability arguments.31
But it is really conceivable that a dead person is alive? For is not that logi-
cal contradiction what the concept afterlife idea really says and what also is
making the whole idea so startling and—using Pascal Boyer’s terminology—
basically “counter-intuitive?”32
In other words: given the doctrine of the soul (A), it is possible that we could
have a self that can be separated from its zombie appearance (B). I—the con-
sciousness separated from the body—could watch my zombie body eating
brains and human flesh in some possible world. To rule out this absurd pos-
sibility Swinburne must argue that (B) is false or absurd. But if (B) is more eas-
ily seen as puzzling or counter-intuitive while (A) should be seen as logically
possible, it is probably for the reason that (A) is not sufficiently conceptually
unpacked and supported by social conventions of acceptance. Because at face
value, compared to (B), it is equally absurd. For there are many aspects of con-
sciousness that clearly are mixed up with bodily sensations. How, then, can the
self be separated from such constitutive bodily aspects of itself? The bodily
environment of consciousness seems to be part of the self.33
Moreover, rejecting (B) leads to trouble for (A), since both rests upon the
conceivability argument. And I have already indicated various difficulties with
that argument above.
6 Final Remarks
This chapter has argued that (1) afterlife arguments and arguments about the
existence of divine beings can be seen as conceivability arguments and that
the feasibility of these religious matters should be considered in such terms
(see above). On the other hand, (2) given that a religious conceivability argu-
ment can be justified, it is difficult to see how different conceptions of afterlife
can be ruled out. And (3), it seems like everyday conceptions of afterlife are not
Bibliography
34 For a discussion, see Rationality, ed. Bryan Wilson (Oxford: Blackwell, 1970).
220 Modée
Steven Mithen, The Prehistory of Mind: A Search for the Origin of Art, Religion and
Science (London: Thames & Hudson, 1996).
Hilary Putnam, “The Meaning of Meaning,” in Philosophical Papers, Volume 2: Mind,
Language and Reality (Cambridge: Cambridge University Press, 1975).
John Searle, The Mystery of Consciousness (London: Granta Books, 1998).
———, Mind, Language and Society: Philosophy in the Real World (London: Phoenix,
1999).
Sidney Shoemaker and Richard Swinburne, Personal Identity (Oxford: Blackwell, 1984).
Richard Swinburne, The Evolution of the Soul (Oxford: Clarendon Press, 1997).
Jane Smith, “Reflections on Aspects of Immortality in Islam,” The Harvard Theological
Review 70 (1977), 85–98.
Melford Spiro, “Religion: Problems of Definition and Explanation,” in Anthropological
Approaches to the Study of Religion, ed. Michael Banton (London: Tavistock, 1966).
Rationality, ed. Bryan Wilson (Oxford: Blackwell, 1970).
Nigel Thomas, “Zombie Killer,” in Toward a Science of Consciousness II, eds. Stuart R.
Hameroff, Alfred W. Kaszniak & A. C. Scott Cambridge (Cambridge, ma: mit Press,
1998), 171–177.
Stephen Yablo, “Is Conceivability a Guide to Possibility?,” Philosophy and Pheno
menological Research 53 (1993), 1–42.
———, “Concepts and Consciousness,” Philosophy and Phenomenological Research 59
(1999), 455–463.
———, “Textbook Kripkeanism & The Open Texture of Concepts,” Pacific Philosophical
Quarterly 81 (2000), 98–122.
chapter 12
Giuseppina D’Oro
1 Introduction
It has been argued that all attempts to justify logic presuppose precisely what
ought to be explained (the rules of deductive inference) and thus that no
attempt to justify logic can succeed because there is no non-circular justifica-
tion of deductive inference. This, in a nutshell, is the logocentric predicament.
It is the predicament in which one finds oneself in when one asks for a justifi-
cation of the standards of measurement. The logocentric predicament was the
subject of Lewis Carroll’s “What the Tortoise said to Achilles.”1 Carroll argues
that every valid deductive inference from premises to conclusion presupposes
the principle that deductive inferences are truth-preserving. The principle
that deductive inferences are truth-preserving must therefore be included as
a premise in a deductive argument in order for its conclusion to be justified.
This, however, generates an infinite regress since the new deductive argument
which contains the principle of valid inference amongst its premises will be
justified only by introducing another principle of valid inference, and so on.
Carroll thus concluded that the justification of deductive inference can never
be complete.2
The logocentric predicament has more recently been revisited by Susan
Haack in “The Justification of Deduction.”3 Haack argues that the principle
that deductive inferences are truth-preserving cannot be justified either
inductively or deductively. It cannot be justified inductively because an induc-
tive justification would be too weak. It cannot be justified deductively either,
as a deductive justification would be circular. Although the logocentric pre-
dicament has been discussed primarily in the context of deductive logic, it
applies, mutatis mutandis to inductive logic as well. A deductive justification of
1 Lewis Carroll, “What the Tortoise Said to Achilles,” Mind 14 (1895), 278–280.
2 For a close discussion of Carroll and a book-length analysis of the logocentric predicament
see Robert Hanna’s Rationality and Logic (Cambridge Massachusetts: mit Press, 2006).
3 Susan Haack, “The Justification of Deduction,” Mind 85 (1976), 112–119.
induction would be too strong, but an inductive one, as Hume pointed out,
would be circular. In this chapter I argue that the logic of question and answer,
as developed in Collingwood’s An Essay on Metaphysics,4 escapes the logocen-
tric predicament and that it does so by rejecting the very assumption which
gives rise to the predicament, namely the view that all circularity is bad and
therefore to be avoided. This is not to say that Collingwood was an advocate
of arguments which are circular in the pejorative sense of being question-
begging. Rather, he sought to distinguish between a form of circularity that
is vicious and one which is not. This chapter tries to illustrate this claim by
considering Collingwood’s logic of question and answer in the context of his
conception of metaphysics as a science of absolute presuppositions.
6 I have defended this exegetical claim in my “The Myth of Collingwood’s Historicism,” Inquiry
53 (2010), 627–641 and in Collingwood and the Metaphysics of Experience (London and New
York: Routledge, 2002). On this see also James Connelly “Metaphysics and Method: A
Necessary Unity in the Philosophy of R. G. Collingwood,” Storia, Antropologia e Scienze del
Linguaggio 5 (1990), 1–2, Tariq Modood “The Later Collingwood’s Alleged Historicism and
Relativism,” Journal of the History of Philosophy 27 (1989), 101–125; A. Oldfield “Metaphysics
and History in Collingwood’s Thought,” and Rex Martin, “Collingwood’s Claim that
Metaphysics is a Historical Discipline,” both in Philosophy, History and Civilization:
Interdisciplinary Perspectives on R. G. Collingwood, ed. David Boucher, James Connelly and
Tariq Modood (Cardiff: University of Wales Press, 1995).
224 D ’ Oro
7 See R.G. Collingwood, An Essay on Philosophical Method, (Oxford: Oxford University Press,
2005 [1933]), reprinted with an introduction by James Connelly and Giuseppina D’Oro,
128–29.
The Logocentric Predicament 225
presupposition “Ceri owns a pencil case” could not give rise to the question “do
you need a pencil case Ceri?” unless by the question one meant: “do you need
another pencil case?” So, if we change presuppositions we change the kind of
questions we can intelligibly ask.
The sense in which presuppositions give rise to questions is not causal or
genetic but logical. Whereas there must always be someone to do the presup-
posing (otherwise questions would not be asked), it is not the act of presup-
posing but rather the content of the presupposition and the internal relation
in which that content stands to the question to which the presupposition gives
rise that constitutes the object of the argumentative regress from a form of
knowledge to its presuppositions. The presupposition that dinosaurs existed
on Earth would still have the logical power to give rise to the question “Why did
dinosaurs become extinct?” even if in the absence of anybody assenting to that
presupposition the question would not be asked. It is because Collingwood
is concerned with the way in which presuppositions logically constrain ques-
tions, rather than in the fact of us making presuppositions or asking the ques-
tions, that he speaks of the power of presuppositions to give rise to questions
as to their logical as opposed to causal efficacy.8
A similar relation holds, for example between Dasein and the world for
Heidegger. When Heidegger claims that where there is no Dasein there is no
world,9 he does not mean that if there were no Dasein empirical reality would
disappear. If empirically reality were causally dependent on Dasein for its
existence, then it would indeed be true that where there is no Dasein there is
nothing, as a form of Berkeleyan idealism would claim. What is dependent on
Dasein, for Heidegger, is not empirical reality, but meaningful reality. To say
that only where Dasein is, is there a world, is not like saying that only where
there is water is there life (where water is a causal condition for life). Similarly,
for Collingwood to say that presuppositions give rise to questions is not to say
that they are causal conditions of the asking of questions in the way in which
the presence of water is a causal condition for the existence of life. Since the
dependence of a question on a presupposition is not a dependence of the act
of asking on the act of presupposing, but of the content of the question on the
content of the presupposition, this relation would hold even if certain presup-
positions were no longer made or assented to and consequently the questions
to which they have the power to give rise were no longer being asked. Just as we
would want to distinguish between the text of a play and its performance on
the stage so Collingwood wants to distinguish between the act of presupposing
and the content of the presupposition even if, in the absence of the act of pre-
supposing no questions could actually be asked. To conflate the logical relation
between an absolute presupposition and the questions to which it gives rise
with the causal relation between the act of presupposing and that of question-
ing, would be tantamount to losing sight of the distinction between the text of
a play and its performance, thereby reducing the content of the dialogue in the
script of a play to the conversation between the actors on the stage. Conflating
a causal conditions for the asking of questions with the power that presup-
positions have to give rise to questions (logical efficacy) would be like arguing
that a producer’s willingness to fund the staging of a play, is a causal condition
for the existence of the play’s text as well as its performance. Just as we would
want to deny that a producer’s willingness to fund the staging of a play is a
causal condition for the existence of the play’s text as well as its performance,
we should be wary of conflating the causal conditions for the asking of ques-
tions with the logical efficacy of presuppositions, or their power to give rise to
questions.
That there is a logical nexus between presuppositions and the questions
to which they give rise is evident from the fact that we fail to understand
questions when we do not share the presuppositions from which they arise.
Suppose that unbeknown to me a dangerous criminal had entered the build-
ing followed by a plain-clothes policeman on his trail, and that the policeman
had seen him run in the direction of my office. Since I was absorbed in reading
a document, I was blissfully unaware of these goings-on. If I were asked: “have
you seen him; where did he go?” I would not understand what the policeman
is asking, not because I do not understand the words he is uttering (for he is
speaking in a foreign tongue), but because I am not sharing the presupposi-
tion that gives rise to that question (that there is a dangerous criminal in the
building). In short: presuppositions have the power to give rise to questions, by
which Collingwood means that they have logical rather than causal efficacy. As
such, they do their work not in so far as they are believed or assented to, but in
virtue of their content.
Often presuppositions are made not for argument’s sake but to in so far as
they are believed to be true. If I did not believe it to be the case that Ceri owns a
pencil case, I would not presuppose it in my reasoning, and if I did not assume
it, I would not be asking questions such as “where is it? Did you put it in your
school bag? Did you forget it at school?” etc. However, while we tend to presup-
pose what we believe to be true, the truth of a presupposition, or even the fact
it is believed to be true, is irrelevant to its logical efficacy or its power to give
rise to questions. Suppose that I falsely presupposed that there are eggs in the
fridge because I bought them yesterday and put them there, but I was mistaken
The Logocentric Predicament 227
because Mark had them for lunch while I was out at work. My presupposi-
tion gives rise to the question “Mark, shall we have omelette for dinner?” Mark
can understand my question even if he does not assent to the presupposition
which gave rise to it (“that there are eggs in the fridge”), for he knows he cooked
them for his lunch. Assenting to or believing a presupposition to be true is thus
irrelevant to our ability to understand the questions to which it gives rise. As
Collingwood says: “the logical efficacy of a supposition does not depend upon
the truth of what is supposed, or even upon its being thought to be true, but
only on its being supposed [. . .] the process of thought from question to ques-
tion does not depend on each question being answered truly, but only upon its
being answered: and not upon the questioner’s thinking the answers true, but
only on his accepting the answers given to him, or ‘assuming them for the sake
of argument.’”10 Whilst the logical efficacy of a presupposition is independent
of its truth, grasping the logical entailment between a presupposition and the
question to which it gives rise is a condition for understanding the question.
For if I asked: “Mark shall we have dinosaur eggs for dinner?” he would be justi-
fiably puzzled by my question for he, as in all likelihood the reader, would be in
the dark as to what presupposition one must make in order for such a question
to arise. Questions appear crazy or unintelligible, not when the presupposi-
tions which give rise to them are false—the question “shall we have omelette
for dinner?” is perfectly intelligible to Mark even if it rests on the false pre-
supposition that there are eggs in the fridge—but when the presuppositions
which give rise to them remain unfathomable.
Another important aspect of the logic of question and answer is the claim
that presuppositions may be either relative or absolute. A presupposition is
relative if it could be asserted as a proposition with a definite truth-value in
answer to a question. For example, the presupposition “Ceri has a pencil case”
could be either a claim that, when presupposed, has the power to give rise to
questions (“Where is your pencil case?” etc.), or it can be offered as an answer
to a question such as “What school items does Ceri own?” What determines
whether “Ceri has a pencil case” is a presupposition or a proposition is the role
it plays in the logic of question and answer. If its role is to give rise to questions
then it is a presupposition whose truth or falsity is irrelevant to its logical effi-
cacy; if its role is to answer a question then it is a proposition with a definite
truth-value.
Unlike relative presuppositions, absolute presuppositions have the power
to give rise to questions but can never be asserted in answer to a question as if
they were propositions with a definite truth-value. Absolute presuppositions,
12 “If we take in our hands any volume; of divinity, or school of metaphysics, for instance,
let us ask, Does it contain any abstract reasoning concerning quantity or number? No.
Does it contain any experimental reasoning concerning matters of fact and existence?
No. Commit it then to the flames. For it can contain nothing but sophistry and illusion:”
David Hume, An Enquiry Concerning Human Understanding (Oxford, Oxford University
Press, 2007 [1748]), Section 12, “The Sceptical Philosophy,” part 3).
13 Ludwig Wittgenstein, Philosophical Investigations (Oxford: Basil Blackwell, 1953), §50.
230 D ’ Oro
But what is the status of the logic of question and answer? And is the kind of
metaphysical knowledge that is obtained through its application something
that one cannot justify unless one justifies the logic of question and answer
itself? Arguably not. Unlike deductive and inductive arguments, the logic
of question and answer is not designed to generate new knowledge by add-
ing to the repertoire of truths that are already known. Metaphysical analysis,
for Collingwood, “does not, like exact or empirical science, bring us to know
things of which we were simply ignorant, but brings us to know in a differ-
ent way things which we already knew in some way.”14 Through deduction
we can extend our repertoire of a priori truths. By means of induction we can
extend our empirical knowledge by moving from observed to unobserved
matters of fact. By contrast, metaphysical analysis makes explicit what is in
some sense already known to the practitioners of first order sciences. What
is already known to them are not the truths at which the deductive logicians
arrive by applying Modus Ponens, or the predictions which are made by means
of inductive inference, but rather the forms of inference through which these
truths are arrived at.
Unlike deductive and inductive arguments, the logical regress from a form of
knowledge to the conditions of its possibility (absolute presuppositions) does
not introduce any new knowledge. Strictly speaking, then, the logic of ques-
tion and answer is not a new kind of logic which generates its own peculiar
kind of knowledge, i.e., metaphysical knowledge. Presuppositional arguments
of the kind that Collingwood deploys simply make explicit the forms of infer-
ence which are presupposed at the first order level. The job of the metaphysi-
cian, as Collingwood says “is not to propound them (absolute presuppositions)
but to propound the proposition that they are presupposed.”15 Thus the meta-
physician does not affirm the claim “causes are events by producing or pre-
venting which [. . .] is true,” or “causes in the sense which they are deployed in
the practical sciences of nature exist;” the metaphysician propounds the claim
that this conception of causality is absolutely presupposed by practical scien-
tists of nature because it is a sine qua non of their form of enquiry. Absolute
presuppositions are always presupposed and never propounded. First order
investigators presuppose them; philosophers propound the proposition that
they are presupposed. To propound them as if they were propositions would
be to mistake their role in the logic of question and answer.
16 George Berkeley, The Principles of Human Knowledge and Three Dialogues (Oxford: Oxford
University Press, 1996 [1710 and 1713]).
17 Aschenbrenner, quoted in I. C. Tipton, Berkeley: The Philosophy of Immaterialism (London:
Methuen, 1976), 322.
232 D ’ Oro
Bibliography
G. Berkeley, The Principles of Human Knowledge and Three Dialogues (Oxford: Oxford
University Press, 1996 [1710 and 1713]).
L. Carroll, “What the Tortoise Said to Achilles,” Mind 14 (1895), 278–280.
R.G. Collingwood, An Essay on Philosophical Method, (Oxford: Oxford University Press,
2005 [1933]), reprinted with an introduction by James Connelly and Giuseppina
D’Oro.
———, An Essay on Metaphysics, revised edition with an introduction by Rex Martin
(Oxford: Oxford University Press, 1998 [1940]).
J. Connelly, “Metaphysics and Method: A Necessary Unity in the Philosophy of R. G.
Collingwood,” Storia, Antropologia e Scienze del Linguaggio 5 (1990), 1–2.
A. Donagan, The Later Philosophy of R. G. Collingwood (Oxford: Clarendon Press,
1962).
G. D’Oro, “The Myth of Collingwood’s Historicism,” Inquiry 53 (2010), 627–641.
———, Collingwood and the Metaphysics of Experience (London and New York:
Routledge, 2002).
S. Haack, “The Justification of Deduction,” Mind 85 (1976), 112–119.
R. Hanna, Rationality and Logic (Cambridge Massachusetts: mit Press, 2006).
R. Harrison, “Atemporal Necessities of Thought; or, How Not to Bury Philosophy by
History,” in Reading Kant: New Perspectives on Transcendental Arguments and
Critical Philosophy, ed. E. Schaper and W. Vossenkuhl (Oxford: Basil Blackwell, 1989),
43–54.
M. Heidegger, Being and Time (Oxford: Blackwell Publishing, 2005 [1927]).
D. Hume, An Enquiry Concerning Human Understanding (Oxford, Oxford University
Press, 2007 [1748]).
R. Martin, “Collingwood’s Claim that Metaphysics is a Historical Discipline,” in
Philosophy, History and Civilization: Interdisciplinary Perspectives on R. G. Colling
wood, ed. David Boucher, James Connelly and Tariq Modood (Cardiff: University of
Wales Press, 1995).
T. Modood, “The Later Collingwood’s Alleged Historicism and Relativism,” Journal of
the History of Philosophy 27 (1989), 101–125.
O. Oldfield, “Metaphysics and History in Collingwood’s Thought,” in Philosophy, History
and Civilization: Interdisciplinary Perspectives on R. G. Collingwood, ed. David
Boucher, James Connelly and Tariq Modood (Cardiff: University of Wales Press,
1995).
N. Rotenstreich, “Metaphysics and Historicism,” in Critical Essays on the Philosophy of
R. G. Collingwood (Oxford: Clarendon Press, 1972), 179–200.
I. C. Tipton, Berkeley: The Philosophy of Immaterialism (London: Methuen, 1976).
234 D ’ Oro
S. Toulmin, “Conceptual Change and the Problem of Relativity”, in Critical Essays on the
Philosophy of R. G. Collingwood, ed. Michael Krausz (Oxford: Clarendon Press, 1972),
212–213.
L. Wittgenstein, Philosophical Investigations (Oxford: Basil Blackwell, 1953).
Name Index