« 'Institutionalized Racism' | Main | Henri the Feline Existentialist »

Wednesday, April 11, 2012


Feed You can follow this conversation by subscribing to the comment feed for this post.

Man is a species (logical supposition)
Socrates is a man (real supposition)
Therefore, Socrates is a species.

Iirc & fwiw, medieval logicians would say the major is in logical supposition (has only mental existence) because the predicate cannot be passed on from the universal to the singular. The minor is in real supposition (has real existence) since the predicate can accept singulars. Hence, the syllogism is invalid because even though the middle-term ‘man’ is the same term it’s meaning (mode of existence, i.e. mental v. real) is different in the major and minor, resulting in the syllogism becoming a logical quadruped.


Perhaps we could construe species as a second-order property of man rather than as a concept included in the concept *man*.

Another possibility is to think of 'species' as an undetachable modifier predicate of the predicate 'man'. For instance, in 'x is a short basketball player', the predicate 'short' modifies 'basketball player' and therefore one cannot infer from the sentence 'x is a short basketball player' the sentence 'x is short'.

Both methods might avoid David's problem and preserve your intuition that the species inference is invalid.

The comments to this entry are closed.

My Photo
Blog powered by Typepad
Member since 10/2008



August 2020

Sun Mon Tue Wed Thu Fri Sat
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31          
Blog powered by Typepad