Search results
Results From The WOW.Com Content Network
The two possible qualities are called affirmative and negative. [4] For instance, an A-proposition ("All S is P") is affirmative since it states that the subject is contained within the predicate. On the other hand, an O-proposition ("Some S is not P") is negative since it excludes the subject from the predicate.
Examples of these are the universal affirmative 'every man is white', and the universal negative 'no man is white'. These cannot be true at the same time. However, these are not contradictories because both of them may be false. For example, it is false that every man is white, since some men are not white.
The immediately inferred proposition is termed the "obverse" of the original proposition, and is a valid form of inference for all types (A, E, I, O) of categorical propositions. In a universal affirmative and a universal negative proposition the subject term and the predicate term are both replaced by their negated counterparts:
A universal affirmative proposition ("Every man is mortal") and the non-universal denial of that proposition in a way ("Some men are not mortal") are called contradictories. Of contradictories, one must be true, the other false. Contraries cannot both be true, although they can both be false, and hence their contradictories are both true.
An affirmative (positive) form is used to express the validity or truth of a basic assertion, while a negative form expresses its falsity. For example, the affirmative sentence "Joe is here" asserts that it is true that Joe is currently located near the speaker. Conversely, the negative sentence "Joe is not here" asserts that it is not true ...
affirmative proposition A proposition that asserts the truth of a statement, as opposed to negating it. [7] [8] [9] affirming the consequent A logical fallacy in which a conditional statement is incorrectly used to infer its converse. For example, from "If P then Q" and "Q", concluding "P". alethic modal logic
A proposition may be universal or particular, and it may be affirmative or negative. Traditionally, the four kinds of propositions are: A-type: Universal and affirmative ("All philosophers are mortal") E-type: Universal and negative ("All philosophers are not mortal") I-type: Particular and affirmative ("Some philosophers are mortal")
The logical quality of a proposition is whether it is affirmative (the predicate is affirmed of the subject) or negative (the predicate is denied of the subject). Thus "every man is a mortal" is affirmative, since "mortal" is affirmed of "man". "No men are immortals" is negative, since "immortal" is denied of "man". [1]