Let the subject be “bird” and the predicate “flies.” Four combinations illustrate logical form; they are not offered as four simultaneously true claims.
Universal affirmative: Every bird flies.
Particular affirmative: Some birds fly.
Universal negative: No bird flies.
Particular negative: Some birds do not fly.
We first identify each proposition’s form, then assess its truth against the facts. Even a false statement retains its logical form.
Opening interactive controls...
Categorical Propositions: Singular, Natural, Quantified and Indefinite Forms
Let the subject be “bird” and the predicate “flies.” Four combinations illustrate logical form; they are not offered as four simultaneously true claims.
Universal affirmative: Every bird flies.
Particular affirmative: Some birds fly.
Universal negative: No bird flies.
Particular negative: Some birds do not fly.
We first identify each proposition’s form, then assess its truth against the facts. Even a false statement retains its logical form.