Where the syllogism "All men are mortal / Socrates is a man / Therefore, Socrates is mortal" first appeared?


Comment on similar example.

The example is not from Aristotle.

Categorical propositions with singular terms are used in Medieval logic; see Peter of Spain's Summulae logicales (XIII century):

I,8 Propositio singularis est illa [...], ut "Sortes currit" [Socrates runs].

Into this textbook we can find many examples of them in the discussion of loci and entimema [V,3], bt it seems to me that there is no occurrence of the specific example of syllogism.

According to: Joseph Maria Bochenski, A History of Formal Logic (1961, or.ed.1956), page 232:

A first widening of the Aristotelian syllogistic consists in the admission of singular terms and premisses. William of Ockham (c.1287–1347) already knows of the substitution that was to become classic [Summa Logicae, III 1,3;36rb]:

Every man is an animal;

Socrates is a man;

Therefore, Socrates is an animal.

Here the minor premiss is singular. But Ockham also allows singular propositions as major premisses.

The earliest occurrence I've found is:

Socrates is human.

Everything human is an animal.

Therefore, Socrates is an animal.

| improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.