Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. A syllogism in which all three propositions are of the form "All X are Y" or "X is a Y".

from the GNU version of the Collaborative International Dictionary of English

  • n. The first word in certain mnemonic lines which represent the various forms of the syllogism. It indicates a syllogism whose three propositions are universal affirmatives.

from The Century Dictionary and Cyclopedia

  • n. In logic, a mnemonic name of a syllogism of the first figure, all whose parts are universal affirmative propositions: as, All men are mortal; all the patriarchs (Enoch, Elijah, etc.) are men; hence, all patriarchs are mortal.

Etymologies

An arbitrarily chosen word with three A's in it representing universal affirmatives. (Wiktionary)

Examples

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.

  • "In logic, a mnemonic name of a syllogism of the first figure, all whose parts are universal affirmative propositions: as, All men are mortal; all the patriarchs (Enoch, Elijah, etc.) are men; hence, all patriarchs are mortal. It is the type of all syllogism. This name is believed to have been invented by Petrus Hispanus (Pope John XXI., died 1277), although Prantl thinks the work of William of Shyrwode (died 1249) in which it is found is earlier. See mood."

    - Century Dictionary

    July 9, 2010

  • Aaa, I see.

    December 13, 2008

  • All A are B.
    All B are C.
    Therefore, all A are C.

    December 13, 2008