Every man exists

From The Logic Museum
Jump to navigationJump to search
Omnis homo est

Every man exists (omnis homo est) is a medieval sophism used to illustrate and explore problems connected with the meaning of the term 'exist'[1], the range or 'supposition' of common terms like 'man', and the relation between affirmative and negative propositions. Does every man exist? On the one hand, yes, because every man who is, is an existing man, and so every such man exists. On the other hand no, because Caesar does not exist, and hence some man (namely Caesar) does not exist. But 'some man does not exist' is the contradictory of 'every man exists', and so the second is false.

See also

Notes

  1. as expressed by the verbs esse, existere