Illicit Minor Fallacy Detector

Detect a minor term distributed in a categorical conclusion but undistributed in its minor premise.

Description

Categorical propositions use A for universal affirmative, E for universal negative, I for particular affirmative and O for particular negative.

Categorical propositions use A for universal affirmative, E for universal negative, I for particular affirmative and O for particular negative. The illicit minor fallacy distributes the subject S of the conclusion without distributing that term in its premise.^[1]

The tool returns illicitMinor. Interpret the result under the rule and assumptions below; an encoded premise’s truth is not independently established.

When to use Illicit Minor Fallacy Detector

Use this for the following task: Detect a minor term distributed in a categorical conclusion but undistributed in its minor premise. Prepare the specified logical encoding before running the check or transformation.

How to use Illicit Minor Fallacy Detector and understand its results

Prepare the requested Boolean values, complete truth-table rows, or identifier atoms. An atom is a name such as p or premise_1, not a natural-language sentence.
Enter minorKind, conclusionKind, figure according to the field table, then run the tool.
Read illicitMinor. Use the matching rule, assignment order or nonempty-class assumptions below to interpret the result.
For a false check, inspect the supplied encoding and matching rule. A well-formed false result is different from an input error.

Input field	Meaning	Value type and bounds	Requirement
minorKind	Minor proposition kind	string; choices "A", "E", "I", "O"	Required
conclusionKind	Conclusion proposition kind	string; choices "A", "E", "I", "O"	Required
figure	Syllogism figure	integer; minimum 1; maximum 4	Required

Choose minorKind, conclusionKind and figure. Locate the relevant term in its premise and compare premise and conclusion distribution using A/E/I/O rules.

illicit minor ⇔ conclusion distributes term AND premise does not

The symbols and boundary conditions refer to the supplied fields and the implementation described above.

Output field	Meaning	Value type
illicitMinor	Illicit Minor	boolean

json

{
  "input": {
    "minorKind": "A",
    "conclusionKind": "A",
    "figure": 3
  },
  "output": {
    "illicitMinor": true
  }
}

Limitations and assumptions

The flag checks one necessary validity rule. A false result does not certify a whole syllogism.

The supplied encodings must represent the intended propositions or classes. No natural-language parsing or assessment of empirical premise truth is performed. Malformed input gives a tool error rather than a logical false result.

Alternative or Complementary methods

Choose Undistributed Middle Fallacy Detector when you need its operation: Detect an undistributed middle term in the two premises of a standard categorical syllogism. Choose Illicit Major Fallacy Detector for the complementary operation: Detect a major term distributed in a categorical conclusion but undistributed in its major premise.

Background reference: Categorical Logic.

References

Categorical Logic — Philip B. Stark, University of California Berkeley

Similar or alternative tools

Undistributed Middle Fallacy Detector
Detect an undistributed middle term in the two premises of a standard categorical syllogism.
Illicit Major Fallacy Detector
Detect a major term distributed in a categorical conclusion but undistributed in its major premise.