Negative conclusion from affirmative premises

Core claim: A negative categorical conclusion is inferred solely from affirmative premises, which is invalid in standard syllogistic logic.

• The argument is a formal categorical (syllogistic) inference, or is explicitly presented as one, and all of its premises are affirmative, e.g. “All X are Y” or “Some X are Y”.
• The conclusion is negative, e.g. “No X are Y” or “Some X are not Y”, while no premise contains an explicit negation or a term such as “non-Y”.
• The inference treats the affirmative inclusion relations alone as sufficient to establish exclusion, exception, limitation, or non-membership.

• This is a formal fallacy: the invalidity follows from the logical form of the argument, not from the subject matter.
• A typical invalid pattern is: “All A are B; All B are C; Therefore, some C are not A.” The premises may be true and the conclusion may happen to be true, but it does not follow from those premises alone.
• Affirmative universal statements can sometimes be rewritten negatively (e.g., “All A are B” is equivalent to “No A are non-B”), but only if that transformation is made explicit before the inference; an implicit switch to a negative conclusion about the original terms remains fallacious.
• Do not confuse this with the broader, non-logical “complement fallacy”; this entry covers specifically the formal syllogistic pattern in which all premises are affirmative and the conclusion is negative.

• At least one premise is explicitly negative (e.g., “No A are B”, “Some A are not B”) or contains a negated term (e.g., “non-B”), and the negative conclusion relies on that negative information.
• The argument first transforms an affirmative statement into an equivalent negative form and uses that transformed premise openly in the inference.
• The claim is statistical, empirical, or inductive rather than a formal categorical deduction, unless it is presented as a logically necessary syllogistic inference.

• Affirmative conclusion from a negative premise (MD) – concerns an affirmative conclusion drawn despite a negative premise. Ask: Is the problem an affirmative conclusion from negative material (→ that), or a negative conclusion from all-affirmative premises (→ this)?
• Fallacy of exclusive premises (MD) – involves two negative premises. Ask: Are the problematic premises both negative (→ exclusive premises), or are all premises affirmative while the conclusion is negative (→ this)?

Input: “All squares are rectangles. All rectangles are tetragons. Therefore, some tetragons are not squares.”
Output: Both premises are affirmative; they do not establish that any tetragon falls outside the class of squares. A negative conclusion requires an explicit premise about exclusion or non-overlap.

Input: “All managers are employees. All employees are persons covered by the contract. Therefore, some persons covered by the contract are not managers.”
Output: The premises only state inclusion relations. They do not show that any contracted person is excluded from being a manager; an additional premise or factual assumption would be needed for that negative conclusion.