Aristotelian logic
Introduction
What we call today Aristotelian logic, Aristotle himself would have labelled analytics. The term logic he reserved to mean dialectics. All that remains of his analytics are the Organon.[IEP] Most of Aristotle’s work is probably not authentic, since it was most likely edited by students and later lecturers.[BI] The order in which the books were written is not certain. But some probable order is given, this order is given on analysis of the texts and styles, and references by Aristotle.[BI] The logical works of Aristotle were compiled in about 1 B.C.E.. They were compiled in 6 books listed below. (There is also one additional volume of Aristotle’s concerning logic, it is the called the fourth book of Metaphysics.)[BI]

1.
Categories

2.
On Interpretation^{}

3.
Prior Analytics

4.
Posterior Analytics

5.
Topics

6.
On Sophistical Refutations
If we introduce Aristotelian logic by stating that the following is an example of a syllogism
All men are mortal,
Socrates is a man,
therefore Socrates is mortal.
then we are wrong.[LJ] The above example is not an example of an Aristotelian Syllogism, although it is often mistaken for one. In fact it is a Peripatetic syllogism, a form that was not considered by Aristotle. A better example for illustrating an Aristotelian Syllogism would be the following
If all men are mortal
and all Greeks are men,
then all Greeks are mortal.[LJ]
The two above examples will be further explained in the following sections.
Terms
In Aristotelian logic one subject and one predicate^{} are used in a sentence^{}(). A is either a subject or a predicate. A subject has a quantity and the subject together with its quantity is known as the grammatical subject. The quantity of the subject is particular if we refer to some subset of the set of all subjects. A subject is if we refer to the set of all subjects. For example “All planets” is a universal^{} grammatical subject whereas “Some of the planets” is a particular grammatical subject. Predicates however, can only be universal, and we refer to the grammatical predicate as the predicate, verb and modifiers. For example
$\stackrel{\text{particular gram. subject}}{\stackrel{\u23de}{\text{Some}\underset{\text{subject}}{\underset{\u23df}{\text{Greeks}}}}}\stackrel{\text{gram. predicate}}{\stackrel{\u23de}{\text{are strong}\underset{\text{predicate}}{\underset{\u23df}{\text{men}}}}}$
In Aristotelian logic subjects and predicates must have the possibility of being interchanged. That is, a subject in one proposition^{} could be a predicate in an other. This explains why Aristotle excluded what are called individual subjects or singular terms from his logic.
Singular Terms
Some examples of singular terms are ‘Socrates’, ‘Plato’, ‘Xenocrates’. Singular terms cannot have a universal quantity, we can not for example say “All Plato” (here we consider ‘Plato’ to be a unique individual). Aristotle presented the following dichotomy “Some things are universal, others individual.”([AI] 1:9). Elaborating: “By the term ‘universal’ I mean that which is of such a nature as to be predicated of many subjects”([AI] 1:9) then defining ‘individual’ as “that which is not thus predicated”([AI] 1:9). The inability to deal with individual subjects is considered to be one of the greatest flaws of Aristotelian logic. Although many have argued that we could universally predicate an individual subject such as ‘Socrates’, Aristotle himself disagreed: “ ‘Socrates’ is not predicable of more than one subject, and therefore we do not say ‘every Socrates’ as we say ’every man’.”([AM] 5:9). The following example illustrates the awkwardness of propositions containing singular terms.
All men are mortals,
all Socrates are men,
therefore all Socrates are mortals.
Although one would be tempted to convert an ungrammatical sentence like “All Socrates are men” into the singular proposition “Socrates is a man” this type of sentence would never have been considered by Aristotle. All singular terms and consequently singular propositions are ignored in Aristotelian logic.
Propositions
An Aristotelian proposition is constructed from two terms; a grammatical subject and a grammatical predicate. A proposition has two properties: quality and quantity. The quality of a proposition is either affirmative that is, the predicate is affirmed for the subject or negative if the predicate is denied for the subject. Since the quality of a proposition is either affirmative or negative, they are referred to as affirmative propositions or negative propositions. The quantity of a proposition is either universal or particular and are consequently called universal propositions or particular propositions. Thus there are four types of propositions in Aristotelian logic, they are listed below:
code letter  quantity  quality  example 

$A$  universal  affirmative  All men are mortal. 
$E$  universal  negative  No men are immortal. 
$I$  particular  affirmative  Some men are weak. 
$O$  particular  negative  Some men are not moral. 
These are the only accepted types of proposition in Aristotelian logic. They are denoted by the code letters $A$,$E$,$I$,$O$. These code letters are derived from the vowels of the two Latin words affirmo and nego.[WTL] They also have the following Latin verse has been used to remember the code letters
Asserit A, negat E, verum generaliter ambo;
Asserit I, negat O, sed particulariter ambo.[CL]
Below is a table that compares modern predicate logic propositions to Aristotelian propositions.
code letter  quantity  quality  proposition  modern notation 

$Asp$  Universal  Affirmative  All S are P  $\forall x(S(x)\to P(x))$ 
$Esp$  Universal  Negative  No S are P  $\forall x(S(x)\to \mathrm{\neg}P(x))$ 
$Isp$  Particular  Affirmative  Some S are P  $\exists x(S(x)\wedge P(x))$ 
$Osp$  Particular  Negative  Some S are not P  $\exists x(S(x)\wedge \mathrm{\neg}P(x)$ 
The code letters differ slightly from the code letters in the previous table. Here we specify the subject and predicate represented by $s$ and $p$ respectively.
The Square of Opposition
The square of opposition is used to analyze the relation^{} between propositions in Aristotelian logic. Two propositions with the same subject and same predicate are said to be opposites if one of or both their quality and quantity are different (i.e. All men are mortal and Some men are mortal, is an example of opposite propositions). There are different types of opposite propositions: two propositions are said to be alterns if they only differ in quantity (i.e. All S are P and Some S are P). Two universal propositions are said to be contraries if they only differ in quality (i.e. All S are P and No S are P). Two particular propositions are said to be subcontraries if they differ in quality (i.e. Some S are P and Some S are not P). Two propositions are said to be contradictories if they differ in quality and quantity (i.e. No S are P and Some S are P, also All S are P and Some S are not P). The following diagram illustrates the relation between the opposites:
The square itself was not thought up by Aristotle but the information to devise the square comes directly from the writings of Aristotle. Below is Aristotle’s definition of contraries:
… a man states a positive and a negative proposition of universal character with regard to a universal, these two propositions are ‘contrary’. ([AI] 1:7)
and his definition of contradictory:
An affirmation is opposed to a denial in the sense which I denote by the term ‘contradictory’, when, while the subject remains the same, the affirmation is of universal character and the denial is not. ([AI] 1:7)
The diagram itself is at least as old as the second century C.E. where it is present in the writings of Boethius.[PT]
Singular Propositions
In Aristotelian logic, as noted earlier, there are no singular propositions. Therefore propositions like ‘Socrates is a man’ would never be present in his logic. This is why the original example
All men are mortal,
Socrates is a man,
therefore Socrates is mortal.
is not an Aristotelian syllogism.
Syllogisms
An Aristotelian syllogism is composed of two premises^{} and a conclusion which follows from the two premises in a particular way. The two premises and conclusion are of the propositional form presented earlier (i.e. either $A$,$I$,$E$,$O$). Every term was given a name by Aristotle. The two premises must have a term in common which is called the middle term. The other terms of the premises are called extreme terms. In addition^{} the predicate of the conclusion is called the major term while the subject of the conclusion is called the minor term. The premise that contains the minor term is called the minor premise and similarly the premise containing the major term is called the major premise.[SR] Furthermore the order of the premises are not important to Aristotle although according to Jan Lukasiewicz “some queer philosophical prejudices which cannot be explained rationally” led the commentators of Aristotle to state that the major premise must be first, the minor premise must be second, and the conclusion last.[LJ] Some argue that the order is important simply to prevent the creation of new forms of arguments that are similar to other arguments.[PH] Here is an example illustrating the above definitions
major premise  All $\stackrel{\text{middle term}}{\stackrel{\u23de}{\text{men}}}$ are $\stackrel{\text{major term}}{\stackrel{\u23de}{\text{mortals}}}$ 

minor premise  and all $\underset{\text{minor term}}{\underset{\u23df}{\text{Greeks}}}$ are $\underset{\text{middle term}}{\underset{\u23df}{\text{men}}}$ 
conclusion  then all Greeks are mortals. 
Aristotle divides syllogisms into two categories a perfect syllogism “which needs nothing other than what has been stated to make plain what necessarily follows”([AP] 1:1) and imperfect syllogism which “needs either one or more propositions, which are indeed the necessary consequences of the terms set down, but have not been expressly stated as premisses.”([AP] 1:1). The perfect syllogisms are not provable and are taken as axioms in Aristotelian logic.[LJ] Aristotle uses these axioms to prove the imperfect syllogisms with the use of conversion.
Conversion
A conversion is the process of changing a proposition by reversing the subject and predicate while maintaining the same quality. There are two types of conversions: simple conversions where the quantity of the proposition is kept unchanged and conversion per accidens where the quantity of the proposition is changed from being universal to being particular. It is important to note that not all conversions are valid and that some conversions do not exist. Below is a table of all conversions of Aristotelian propositions which have a conversion.[PH]
original proposition  simple conversion  per accidens conversion  

All S are P  $Asp$  not valid  Some P are S  $Ips$  
No S are P  $Esp$  No P are S  $Eps$  Some P are not S  $Ops$ 
Some S are P  $Isp$  Some P are S  $Ips$  does not exist  
Some S are not P  $Osp$  not valid  does not exist 
We see that Aristotle accepts the conversion per accidens of $Asp$ to $Ips$ but not the simple conversion of $Asp$ to $Aps$ stating “the terms of the affirmative must be convertible, not however, universally, but in part”([AP] 1:2) and gives the following example of this accepted conversion: “if every pleasure,is good, some good must be pleasure”([AP] 1:2). He also accepts the conversion of $Esp$ to $Eps$ and also the per accidens conversion $Esp$ to $Osp$. Below is Aristotle’s proof of the simple conversion of $Esp$ to $Eps$:
If no B is A, neither can any A be B. For if some A (say C) were B, it would not be true that no B is A; for C is a B. But if every B is A then some A is B. For if no A were B, then no B could be A. But we assumed that every B is A. ([AP] 1:2)
He also proves the simple conversion $Isp$ to $Ips$ and also states various counter examples for non valid conversions. He presents a counter example for the simple conversion of $Osp$ to $Ops$: “but the particular negative need not convert, for if some animal is not man, it does not follow that some man is not animal.”([AP] 1:2)
It is important to note that for the conversion per accidens to be valid there must be a presupposition. The presupposition being that there exists at least one subject in the universe of discourse. This presupposition is the simplest one that keeps the Aristotelian logic valid. Many controversies and attacks on Aristotelian logic have been based on this problem of having a possible empty universe of discourse.
The Four Figures
The position of the middle term (the term which appears in both the major and minor premise) gives rise to what are called figures. The figures represent the possible placement of the middle term in a syllogism. The first figure is based on what Aristotle thought was the deduction^{} which was closest to natural reasoning. So the first figure will only generate perfect syllogisms. The figures below are illustrated using $M$ as the middle term, $P$ as the major term, and as $S$ the minor term. It is clear that there are only 4 such figures.
first figure  second figure  third figure  fourth figure  
major premise  $M$  $P$  $P$  $M$  $M$  $P$  $P$  $M$ 
minor premise  $S$  $M$  $S$  $M$  $M$  $S$  $M$  $S$ 
conclusion  $S$  $P$  $S$  $P$  $S$  $P$  $S$  $P$ 
Note that the fourth figure was not explicitly stated in Aristotle’s work. Although he accepted the reasoning which can be derived from that figure. The fourth figure is sometimes called the Galenian figure as it was possibly first used or discovered by Galen(131201 C.E.) although some contest its discovery.[LJ] Carl Prantl rejects the fourth figure since it does not appear directly in Aristotle’s work, however fails to recognize that Aristotle accepted its derived results.[LJ]
0.0.1 Syllogistic Moods
The mood of a syllogism is a sequence of propositions and conclusions. The figures associated with a mood make a syllogism. Below is a table of the valid syllogisms with their associated moods and figures.
first figure  second figure  third figure  fourth figure 
$AAA$  $AEE$  $AAI$  $AAI$ 
$EAE$  $EAE$  $IAI$  $AEE$ 
$AII$  $EIO$  $AII$  $IAI$ 
$EIO$  $AOO$  $EAO$  $EAO$ 
$OAO$  $EIO$  
$EIO$ 
The table below show the valid syllogistic moods derived from the first figure. As stated above these syllogisms are perfect.
form  mnemonic 

$Amp\&Asm\therefore Asp$  Barbara 
$Emp\&Asm\therefore Esp$  Celarent 
$Amp\&Ism\therefore Isp$  Darii 
$Emp\&Ism\therefore Osp$  Ferio 
Although all the above are perfect syllogisms, for Aristotle, the most clear syllogisms are Barbara and Celarent. In his later work he deduced the Darii, and Ferio syllogisms as they were less natural to him.[LJ] The mnemonics are used to remember the valid moods. Take the classical perfect syllogism ‘Barbara’, the important information in the mnemonic are the vowels. ‘Barbara’ represents the mood $AAA$. In addition to observing the vowels one must know ahead of time that ‘Barbara’ is a mood of the first figure. We now have all the information to deduce that the syllogism has the following form: $Amp\&Asm\therefore Asp$. This syllogism can be written as
All M are P
and all S are M
then all S are P.
Where the placement of the $M$’s, $P$’s, and $S$’s correspond to the first figure (shown below).
major premise  M  P 
minor premise  S  M 
conclusion  S  P 
To remember in which figure each mood is derived from, medieval logicians invented verses to remember them. For example this verse:
Barbara, Celarent, Darii, Ferioque prioris.
Cesare, Camestres, Festino, Baroko, secundae.
Tertia Darapti, Disamis, Datisi, Felapton,
Bocardo, Ferison habet. Quarta insuper addit
Bramantip, Camenes, Dimaris, Fesapo, Fresison.
The key words in the above verse are prioris which refers to moods of the first figure, secundae to those of second figure, tertia to those of the third figure and finally quarta to those of the fourth figure.
The moods of the second figure are listed below, they are all imperfect syllogisms.
form  mnemonic 

$Epm\&Asm\therefore Esp$  Cesare 
$Apm\&Esm\therefore Esp$  Camestres 
$Epm\&Ism\therefore Osp$  Festimo 
$Apm\&Osm\therefore Osp$  Baroco 
Since the above syllogisms are imperfect, their validity must be proven. For example Aristotle proves the validity of the syllogism Cesare:
Let M be predicated of no N, but of all O. Since, then, the negative relation is convertible, N will belong to no M: but M was assumed to belong to all O: consequently N will belong to no O. This has already been proved.([AP] 1:5)
Therefore Cesare is a valid mood, here is a decomposition of Aristotle’s proof:
1. Let M be predicated of no N, No N are M $Enm$ premise 2. but of all O. All O are M $Aom$ premise 3. N will belong to no M No M are N $Emn$ since the simple conversion from $Esp$ to $Eps$ is valid 4. consequently N will belong to no O. No O are N $Eon$ using line 2 and 3 we reduce to the syllogism Celarent which is an axiom
The process illustrated above is called reduction^{} where premises and conclusions of a certain argument are converted to a first figure syllogism to conclude that the argument is valid.
The moods of the third figure are listed below, noting that they are also all imperfect
form  mnemonic 

$Amp\&Ams\therefore Isp$  Darapti 
$Emp\&Ams\therefore Osp$  Felapton 
$Imp\&Ams\therefore Isp$  Disamis 
$Amp\&Ims\therefore Isp$  Datisi 
$Omp\&Ams\therefore Osp$  Bocardo 
$Emp\&Ims\therefore Osp$  Ferison 
The mnemonics contain more information than simply the mood. The mnemonic of the second, third and fourth figures have first letter: ‘B’, ‘C’, ‘D’ or ‘F’ this indicates to which first figure mood the syllogism is reduced to, to prove its validity (for example Felapton will be reduced to Ferio). In addition some of the letters that succeed vowels in the mnemonic have a particular meaning. If a ‘c’ follows an ‘o’ it indicates that the proof must be done reductio ad impossibile.(There are two such syllogisms, Bocardo and Baroco which are not correctly proven by Aristotle. To see the reason why consult Aristotle’s Syllogistic, From the Standpoint of Modern Formal Logic by Jan Lukasiewicz, section 17.) If an ‘s’(or ‘p’) follows the first or second vowel, this indicates that the proposition corresponding to this vowel is simply(or per accidens) converted in the proof. If an ‘s’(or ‘p’) follows the last vowel this implies that the conclusion will be derived by making a simple(or per accidens) conversion of the conclusion of the first figure syllogism that is used in the reduction. Finally an ‘m’ indicates a rearrangement of the premises to satisfy the order: major premise, minor premise and conclusion.[PH]
The moods of the fourth figure are listed below, these are all imperfect
form  mnemonic 

$Apm\&Ams\therefore Isp$  Bramantip 
$Apm\&Ems\therefore Esp$  Camenes 
$Ipm\&Ams\therefore Isp$  Dimaris 
$Epm\&Ams\therefore Osp$  Fesapo 
$Epm\&Ims\therefore Osp$  Fresison 
The proof of the validity of all imperfect syllogisms can now be given by using the rules associated to the mnemonics. This will be illustrated using the syllogism associated to the mnemonic ‘Dimaris’. It is known to begin with, that ‘Dimaris’ is a fourth figure syllogism. Its vowels are $IAI$ thus the following syllogism will be proven: $Ipm\&Ams\therefore Isp$. Since ‘Dimaris’ begins with the letter ‘D’ a reduction to the first figure syllogism ‘Darii’ will be used. The ‘s’ following the last vowel indicates that a simple conversion in the conclusion of the syllogism ‘Darii’ will be necessary. In addition the ‘m’ indicates a reordering of the premises. The details of the proof are given below
1. Some P are M $Ipm$ premise 2. All M are S $Ams$ premise 3. Some P are M $Ipm$ repetition of line 1 to reorder the premises 4. Some P are S $Ips$ by line 2 and 3 and the axiom ‘Darii’ 5. Some S are P $Isp$ by simple conversion of line 4
Conclusion
The above example brings together the various concepts presented in this discourse. These include figures, moods, conversion and reduction. Presented were the mnemonic techniques that have been developed to better master Aristotle’s work. His logic is riddled with subtleties and rules which today seem restricting. We tried to present a strict account of Aristotelian logic as summarized by later contributors. Although, accounts of his original work differ from various commentators. What is repeated by all sources is the recognition of Aristotle’s work whether for historic or scientific value.
See also

•
Stanford Encyclopedia of Philosophy: http://plato.stanford.edu/entries/square/Traditional Square of Opposition

•
Stanford Encyclopedia of Philosophy: http://plato.stanford.edu/entries/aristotlelogic/Aristotle’s Logic

•
Wikipedia: http://en.wikipedia.org/Aristotelian_logicAristotelian Logic

•
Wikipedia: http://en.wikipedia.org/Term_LogicTerm Logic

•
The works of Aristotle can be obtained at http://classics.mit.eduhttp://classics.mit.edu
Recommended reading

•
Łukasiewicz, Jan: Aristotle’s Syllogistic, From the Standpoint of Modern Formal Logic. Clarendon Press. Oxford, 1951.
References
 AI Aristotle: On Interpretation. Translated by E. M. Edghill, 350 BCE.
 AM Aristotle: Metaphysics. Translated by W. D. Ross, 350 BCE.
 AP Aristotle: Prior Analytics. Translated by A.J. Jenkinson, 350 BCE.
 BI Bocheński, I. M.: Ancient Formal Logic. NorthHolland Publishing Company, Amsterdam, 1951.
 CL Couturat, Louis: La Logique de Leibniz. Georg Olms Verlagsbuchhandlung, Hildesheim, 1961.
 IEP The Internet Encyclopedia of Philosophy: Aristotle. [online] http://www.utm.edu/research/iep/a/aristotl.htmhttp://www.utm.edu/research/iep/a/aristotl.htm , 2004.
 LJ Lukasiewicz, Jan: Aristotle’s Syllogistic, From the Standpoint of Modern Formal Logic. Clarendon Press. Oxford, 1951.
 PH Parry, William T., Hacker, Edward A.: Aristotelian Logic. State University of New York Press. Albany, 1991.
 PT Parsons, Terence: Stanford Encyclopedia of Philosophy: Traditional Square of Opposition. [online] http://plato.stanford.edu/entries/square/http://plato.stanford.edu/entries/square/
 RL Rose, Lynn E.: Aristotle’s Syllogistic. Charles C Thomas Publisher, Springfield, 1968.
 SR Smith, Robin: Stanford Encyclopedia of Philosophy: Aristotle’s Logic. [online] http://plato.stanford.edu/entries/aristotlelogic/http://plato.stanford.edu/entries/aristotlelogic/
 WA Wikipedia: Aristotle. [online] http://en.wikipedia.org/Aristotlehttp://en.wikipedia.org/Aristotle , 2004.
 WAL Wikipedia: Aristotelian Logic. [online] http://en.wikipedia.org/Aristotelian_logichttp://en.wikipedia.org/Aristotelian_logic , 2004.
 WTL Wikipedia: Term Logic. [online] http://en.wikipedia.org/Term_Logichttp://en.wikipedia.org/Term_Logic , 2004.
Title  Aristotelian logic 

Canonical name  AristotelianLogic 
Date of creation  20130322 14:21:32 
Last modified on  20130322 14:21:32 
Owner  Daume (40) 
Last modified by  Daume (40) 
Numerical id  9 
Author  Daume (40) 
Entry type  Topic 
Classification  msc 03B05 
Classification  msc 01A20 
Synonym  term logic 