syllogism

Page numbers are for draft copy at present; they will be replaced with correct numbers when final book is formatted. Chapter numbers are correct and will not change now.

A syllogism is a formal rule to combine logical premises. The classic is Aristotle's:
  FROM "all men are mortal
  AND "Socrates is a man"
  CONCLUDE: "Socrates is mortal".
. This is using a general syllogism of the form:
    FROM "all members of CLASS(x) HAS_PROPERTY(y)
  AND "ENTITY(z) is of CLASS(x)"
  CONCLUDE: "ENTITY(z) HAS_PROPERTY(y)"

Used on Chap. 3: page 38