Aristotle's definition of the syllogism -- a dialogical interpretation
By Catarina Dutilh Novaes
(Cross-posted at NewAPPS)
(I am currently finishing a paper on the definition of the syllogism according to Aristotle, Ockham, and Buridan. I post below the section where I present a dialogical interpretation of Aristotle's definition.)
(Cross-posted at NewAPPS)
(I am currently finishing a paper on the definition of the syllogism according to Aristotle, Ockham, and Buridan. I post below the section where I present a dialogical interpretation of Aristotle's definition.)
Aristotle’s
definition of ‘syllogismos’ in Prior Analytics (APri) 24b18-22 is among one of the most
commented-upon passages of the Aristotelian corpus, by ancient as well as (Arabic
and Latin) medieval commentators. He offers very similar definitions of syllogismos in the Topics, Sophistical
Refutations, and the Rhetoric,
but the one in APri is the one having
received most attention from commentators. In the recent Striker (2009)
translation, it goes like this (emphasis added):
A ‘syllogismos’ is an argument (logos) in which, (i) certain things being posited (tethentôn), (ii) something other than what was laid down (keimenôn) (iii) results by necessity (eks anagkês sumbainei)(iv) because these things are so. By ‘because these things are so’ I mean that it results through these, and by ‘resulting through these’ I mean that no term is required from outside for the necessity to come about.
It
became customary among commentators to take ‘syllogismos’ as belonging to the genus ‘logos’ (discourse, argument), and as characterized by four (sometimes
five) differentiae:
(i)
there are at least two premises which are
posited
(ii)
the conclusion is different from the premises
(iii)
the conclusion follows necessarily from the
premises
(iv)
the premises imply the conclusion by themselves;
they are jointly necessary and sufficient for the conclusion to be produced.
My
starting point is the idea that the best way to understand Aristotle’s project
in the APri is as the formulation of
a formal theory that could be suitably applied in particular in contexts of dialectical disputations. In other
words, dialectical (or more generally, dialogical) considerations are always in
the background in the development of the syllogistic theory (as also argued by
(Kapp 1975)). True enough, he states at the very beginning of APri that the framework applies both to demonstrative and to dialectical syllogisms. But in both
cases we may think of a multi-agent, dialogical situation (e.g. demonstration in the context of teaching), even
if there are important differences between dialectical and demonstrative
contexts. However, while the dialectical context is inherently dialogical and
multi-agent, the demonstrative context need not be.
As
Aristotle presents it in Chap. 1 of Book I, the distinction between dialectical
and demonstrative syllogisms seems to pertain exclusively to the status of the
premises: if known to be true, and more primary than the conclusion, then the
syllogism will be demonstrative; if merely ‘reputable’ (endoxa), then the syllogism is dialectical. But with respect to the
pragmatics of the two situations,
there are other relevant differences. In particular, demonstrative syllogisms
used in the context of teaching will presuppose an asymmetric relationship
between the interlocutors (teacher and pupil), whereas in a dialectical
context, although questioner and answerer have different roles to play, their
statuses are usually comparable – they are peers. Indeed, the overall goals of
a demonstration are quite different from the goals of a dialectical
disputation, even though both can rely on syllogistic as a background theory of
argumentation.
Be
that as it may, each of the clauses formulated by Aristotle and numbered above
can be given compelling dialogical, if not dialectical, explanations (on
occasion I will also refer to demonstrative contexts). Let us discuss each of
them in turn.
(i) Multiple premises. This requirement
excludes single-premise arguments as syllogistically correct. Indeed, in the
formal theory subsequently developed in APri,
the arguments considered are almost exclusively those that we now refer to as
syllogistic arguments, namely composed of two premises and one conclusion, all
of which are categorical sentences of the A, E, I, O forms. But as often noted,
this definition excludes for example the conversion rules (from AiB infer BiA
and vice-versa; from AeB infer BeA and vice-versa), creating some difficulty to
account for the nature of the validity of these rules. Moreover, consider the
following description of the general enterprise by Striker:
Aristotle intended his syllogistic to serve as a general theory of valid deductive argument, rather than a formal system designed for a limited class of simple propositions. (Striker 2009, 79)
If
we follow Striker (as I think we should!), the specific features of the theory
later developed in APri should not be
taken to explain the general definition at the starting point: this would
amount to putting the cart before the horse. Indeed, it is the formal theory that
is meant to offer a regimented account of the conceptual starting point, which
is the general notion of a valid deductive argument. So this specific feature
of the formal apparatus cannot be summoned to explain this aspect of the definition.
What
could then explain the requirement that there be multiple premises? As noted by
Striker (2009, 79), the verb ‘to syllogize’ originally meant something like ‘to
add up’, ‘to compute/calculate’, and so it immediately suggests the idea of
‘putting things together’, of a fusion of more than one element (a point often
made by the ancient commentators).
Plato
already used the term ‘to syllogize’ in the sense of ‘to infer’ or ‘to
conclude’, which Aristotle seems to have adopted. Indeed, from a dialectical/dialogical
perspective as illustrated in Plato’s dialogues, the multiple premises
requirement makes good sense. In a typical dialectical situation, the
questioner (e.g. Socrates) elicits a number of discourse commitments from the
answerer, and then goes on to show that they are collectively incoherent – for
example, because they entail something absurd – thus producing a refutation.
Typically, a refutation will not come about with only one discursive
commitment: it is usually the interaction
of multiple commitments that gives rise to interesting (and sometimes
embarrassing!) conclusions.
Notice
also the use of the terms ‘posited’ and ‘laid down’, which have a distinctive
dialectical flavor. They introduce the dimension of a speech-act, of an agent
actually putting forward premises to an interlocutor or audience, again
suggesting multi-agent situations. Later authors such as Boethius will make the
multi-agent dimension even more explicit, adding that the premises are not only
laid down by the producer, but also granted by the receiver.
(ii) Irreflexivity. Aristotle’s
requirement that the conclusion be different from the premises seems puzzling
at first sight, since it entails that the consequence relation underlying
syllogistic is irreflexive. This is in tension with the currently widely accepted
view that reflexivity is a core feature of deductive validity.
However,
here again, taking into account the various contexts of application of
syllogistic arguments, irreflexivity makes good sense for each of them (as
argued in (Duncombe 2014)). Indeed, in a demonstrative context, the function of
a syllogism is to lead from the known to the unknown, and so obviously premises
and conclusion should be different. In a dialectical context, it makes no sense
to ask the opponent to grant as a premise precisely that which one seeks to
establish as a conclusion; this would amount to an instance of petition principii. So the irreflexivity
of the syllogistic consequence relation is exactly what one would expect, given
the applications Aristotle seems to have in mind when developing the theory. ( There are issues of propositional identity that arise in connection with this requirement (e.g. are logically equivalent propositions such as AiB and BiA ‘the same’?), but we will set those aside for the present purposes.)
(iii) Necessary truth-preservation.
Aristotle distinguishes syllogistic arguments from those whose premises make
the conclusion likely but not certain, such as induction or analogy. It is in
this sense that his main target seems to be the notion of a valid deductive
argument, but from the start necessary truth-preservation will be a necessary
but not sufficient condition for deductive validity (in particular, in light of
the three other clauses).
There
is much to be said with respect to why the ‘results by necessity’ clause makes
sense in the different contexts of application of syllogistic arguments, in
particular demonstrative and dialectical contexts, but let us keep it brief for
the present purposes. In a dialectical context, an argument having this
property will force the opponent to grant the conclusion, if she has granted
the premises, so it is a strategically advantageous property for the one
proposing the argument. In a demonstrative context, Aristotle’s whole theory of
demonstration is premised on the idea of deriving rock-solid conclusions from
self-evident axioms, and thus again necessary truth-preservation becomes advantageous.
(iv) Sufficiency and necessity of the
premises. This is perhaps the most obscurely formulated of the four clauses
in the definition, and indeed Aristotle goes on to offer a gloss of what he
means, which is however still not very illuminating. In the Topics, his phrasing is more
transparent, as described by Striker:
The definition as given in the Topics is clearer in this respect: it has the clause ‘through the things laid down’ instead of ‘because these things are so’. In this passage, Aristotle adds the remark that this clause should also be understood to mean that all premises needed to derive the conclusion have been explicitly stated. (Striker 2009, 81)
This
clause has been variously interpreted by commentators. It seems to amount to
some sort of relevance requirement: it must be precisely in virtue of the premises that the conclusion comes
about. To be sure, the premises may be false or uncertain (at least outside
demonstrative contexts), but the conclusion must be produced through them. Some commentators, in
particular in the Arabic tradition, have interpreted this clause as a
requirement for an essential connection between premises and conclusion. But the requirement can also be interpreted logically as stating
that no premise is redundant for the
conclusion to come about; all of them are de facto needed for the conclusion to
result of necessity. (This is indeed one of the two main formulations of the
requirement of relevance in modern relevant logics, known as ‘derivational
utility’ (Read 1988, 6.4).) This requirement is also often discussed in
connection with the fallacy of False Cause, which we will discuss briefly below.
Moreover,
as Aristotle’s gloss suggests, this clause can also be read as the requirement
that everything that is needed for
the conclusion to result of necessity has been explicitly stated; there are no
hidden premises required (“no term is required from outside”). And so, this
clause may be read as the requirement that the premises laid down are exactly those needed for the conclusion
to come about; no more, no less.
In
demonstrative contexts, this clause is very natural: for Aristotle, a
demonstration is an explication unearthing the causes of a given phenomenon, and so both redundancy and lack of
explicitness go against this desideratum. In dialectical contexts however, both
these requirements are less straightforward: the participants may have a fair
amount of endoxa in common, which
could plausibly be taken for granted without being explicitly put forward; and
redundancy may be advantageous in purely adversarial contexts, as asking for
various redundant premises may serve the strategic purpose of confusing one’s
opponent. But in the Topics,
Aristotle wants to move away from the purely adversarial dialectical disputes
(though he also gives advice on how to perform well in such cases – see also
the Sophistical Refutations) and
towards a more cooperative model – dialectic as inquiry, where two parties
together consider what would follow from given assumptions (Topics VIII.5). In such contexts, redundancy
would be out of place, and relevance comes out as a notion related to
cooperativeness.
Hi Catarina,
ReplyDeleteI really like the post. I just have a few comments. First, I’m not sure that (i)-(iv) are differentia in the usual sense. I think its worth pointing out that (i)-(iv) are individually necessary and jointly sufficient for an argument to be a syllogismos. Necessary truth preservation, for example, is not enough on its own!
Second, I’ve also been thinking more about (iv). In APr claim is that
‘the conclusion results because these things are so’. By ‘because these things are so’ I mean that it results through these, and by ‘resulting through these’ I mean that no term is required from outside for the necessity to come about.’
Clearly, the premises should explain how the conclusion comes about. But ‘the conclusion’ seems use/mention ambiguous here. ‘The conclusion’ could mean either (1) the conclusion of the argument or (2) the state of affairs described in the conclusion. Similarly for ‘the premises’.
On either reading, (iv) could be something like a relevance requirement, but in the two different cases, the relevance will have a very different character. Read as (1), the premises need to explain on a logical level, how there conclusion follows. Something like derivational utility might come into play here (or indeed, might variable sharing, another popular option for making syllogisms relevant arguments). And certainly explanations like that operate on the level of the argument. Likewise, with what you take as the ‘no hidden premises’ requirement. This is clearly a requirement on the argumentative level.
But on (2) the premises must be relevant because they express states of affairs that explain the SoA described in conclusion. So the premises might be relevant in the sense that you block explosion directly: you can never have as a syllogism ‘(p and not p) entails q’, since contradictions cannot explain anything. But as you say an explanation also cannot invoke occult explanans, otherwise it is not a very good explanation!
So, can this distinction help with your worry in the last paragraph? I think it can. The Topics is primarily concerned with arguments, not with explanations. Hence, reading (iv) in way (1) is natural there, and the premises can still explain, logically, why a conclusion comes about, even if there are redundant or unstated premises. After all, plenty of explanations take some background for granted, or involve redundancy. But the Analytics is more about explaining things in the world, hence, reading (2) seems to come into play more.
This is a bit off the cuff. It might profit from a bit more thinking through. But I certainly think that there is an ambiguity here, and it may be worth exploring…
Hi Matt, thanks for these comments! Talk about 'differentia' with respect to the four clauses is something that one encounters in many commentators, Greek as well as Arabic and Latin. I agree that don't seem to be dealing with differentiae in the 'proper' sense, but since they read the definition as a *definition*, and they had this model that a definition is 'species = genus + differentia', it made sense for them to think in these terms.
DeleteThe more 'metaphysical' reading of (iv) that you propose is very much what one finds in many Arabic commentators. It's all detailed in Paul Thom's chapter on the syllogism for the Cambridge Companion that I'm editing with Stephen; I think you'll love Paul's chapter! :)
ReplyDeleteIs it possible that he wasn't referring to the premises but the necessity itself in (iv)? That is, when he says:
>by ‘resulting through these’ I mean that no term is required from outside for the necessity to come about.
is he trying to guarantee the *necessity* of logic and not say anything about the relevance of the premises at all? Specifically he could mean that the logical reasons for the conclusion following from the premises are true or self-evident. Then the conclusion is reached *resulting through* the self evident rules of syllogism.
Also:
>petition principii
petitio principii?