Syllogism Validity Checker

How this syllogism checker works

A categorical syllogism is a compact argument with two premises and one conclusion. The question is not whether the statements sound persuasive or whether the premises happen to be true in real life. The question is narrower and more logical: if the premises were true, would the conclusion have to follow because of the argument’s structure? This page checks that structural question. You choose the type of the major premise, the type of the minor premise, the type of the conclusion, and the figure. The checker then compares that combination against the traditional list of valid forms encoded in the page’s logic.

That matters because ordinary language can disguise weak reasoning. A sentence can feel plausible simply because the subject matter is familiar, emotionally charged, or stated confidently. Syllogistic logic strips away most of that noise. Instead of arguing about cats, planets, voters, or laws, it asks whether the pattern itself works. If the pattern is invalid, then no amount of confident phrasing rescues it. If the pattern is valid, you still have more work to do, because a valid argument can begin from false premises. Validity is about form; truth is about content. The calculator helps you keep those ideas separate.

The form on this page uses the standard A, E, I, and O proposition letters from traditional categorical logic. Those letters are not units and they are not arbitrary scores. Each one names a specific kind of categorical statement. Understanding those four letters is the key to using the checker correctly.

What the four proposition letters mean

The first three inputs ask for a proposition type. In syllogistic logic, a proposition type tells you both quantity and quality. Quantity means whether the statement is universal or particular. Quality means whether it affirms or denies a class relationship. The usual labels are short because they appear constantly in logic texts:

When the form asks for the major premise type, it is asking which of those four patterns the major premise has. The same idea applies to the minor premise type and the conclusion type. The actual terms inside the statement are not entered here. You are entering only the shape of each statement. That is why the tool is fast: it checks logical form rather than natural-language wording.

In the background, syllogisms use three terms. The major term becomes the predicate of the conclusion, the minor term becomes the subject of the conclusion, and the middle term appears in the premises but not in the conclusion. The middle term is the hinge that is supposed to connect the other two terms. If that hinge is misplaced, undistributed, or otherwise mishandled, the syllogism fails even if its wording looks tidy.

Why the figure matters as much as the letters

The fourth input is the figure. Figure tells you where the middle term sits in the premises. This is the part new learners often underestimate. Two syllogisms can use the same proposition letters and still differ in validity because the middle term changes position. In other words, the mood alone is not enough. The checker needs both the mood and the figure.

That small positional difference changes the distribution of terms and the kinds of conclusions that can be drawn. A student may recognize that AAA is a famous valid mood in figure 1 under the mnemonic name Barbara, then assume any AAA syllogism must be valid. This tool helps prevent that mistake. AAA-1 is accepted by the checker, while AAA-2 is not. The same letters do not guarantee the same result when the figure changes.

How the checker decides validity

For this page, the decision rule is straightforward: your selected mood and figure are compared against the set of valid traditional forms included in the script. If the combination appears in that set, the result is valid and the checker names the mnemonic form such as Barbara, Celarent, Darii, or Ferio. If the combination does not appear, the result is reported as invalid according to the classical forms used here.

You can express that decision compactly by saying that validity is an indicator of set membership. If the tuple made of major premise type, minor premise type, conclusion type, and figure belongs to the stored set of valid forms, the verdict is valid. Otherwise it is invalid.

Here, S stands for the set of valid syllogistic forms, M is the major premise type, m is the minor premise type, C is the conclusion type, and F is the figure. If you prefer a more abstract view, the next two MathML expressions show the general idea that any calculator maps inputs to an output and can weight or combine information in a systematic way. They are preserved here because they express the broad pattern of a decision tool, even though this specific checker ultimately uses logical classification rather than arithmetic totals.

For the syllogism checker, the important takeaway is simple: the output is determined by the exact combination of your categorical inputs. A tiny structural change can flip the result. That is why careful selection of mood letters and figure matters more here than any intuition about the subject matter.

Worked examples that show what the result means

Suppose you choose major premise type A, minor premise type I, conclusion type I, and figure 1. The resulting form is AII-1. The checker recognizes that as Darii, a traditional valid syllogism. In plain terms, figure 1 arranges the premises as M-P and S-M, and an A plus I pattern supports a particular affirmative conclusion S-P. When the page reports that this combination is valid, it is telling you that the conclusion follows from those premises because of form.

Now compare that with a near miss. Choose A for the major premise, A for the minor premise, A for the conclusion, and figure 2. That gives AAA-2. Even though AAA is famous in figure 1, the figure 2 version is not one of the valid forms stored in this checker, so the result is invalid. This example is useful because it shows exactly why the figure dropdown is not an optional extra. The same letters can move from valid to invalid when the middle term changes place.

If you want a second quick check, try EIO-1. The checker labels it Ferio, which is valid. Then try EIO-2, which is also valid under the name Festino. Here the same mood letters lead to valid forms in more than one figure, but the mnemonic name changes because the pattern of terms changes. The result panel helps by giving you both the mood and the traditional mnemonic.

The copy button becomes useful once you begin comparing cases. For example, an instructor might ask students to test several candidate conclusions against the same premises, or a student might translate a paragraph argument into multiple possible moods before deciding which formalization is most charitable. Copying the result lets you save the exact mood, figure, and name without retyping them.

How to interpret the result without overreading it

A result of Valid syllogism identified means the selected categorical form is one of the recognized valid syllogisms in the page’s traditional list. It does not mean the premises are true, that the argument is sound, or that a natural-language paraphrase has been translated perfectly. It means only that, assuming the premises really have the selected form and assuming the traditional framework used by this checker, the conclusion follows formally.

A result of Invalid syllogism according to classical forms means the selected combination is not in that valid set. Usually that tells you the proposed conclusion does not follow from the two premise types in the chosen figure. Sometimes it also signals that the natural-language argument needs to be translated again. Many apparent mistakes in student work come from mistranslating a statement with hidden quantifiers, singular terms, or ordinary-language ambiguity into A, E, I, or O form.

The most reliable way to use the checker is to slow down for one moment before you click. Ask yourself three questions. First, did I assign the right proposition letter to each sentence? Second, did I identify the figure correctly by tracking the middle term’s position? Third, am I checking validity rather than truth? If those three pieces are clear, the result is usually easy to interpret.

Assumptions and limitations

This checker is intentionally focused. It covers standard categorical syllogisms and the traditional valid forms contained in the script. That makes it excellent for classroom exercises, self-study, and quick verification of mood-and-figure combinations. It also means there are boundaries you should keep in mind.

First, the tool works on formal categorical structure, not on rich predicate-logic content. Arguments involving relations, identity, multiple quantifiers, conditionals, or disjunctions are outside its scope. Second, the hardest part of many real examples is not the final validity test but the translation into standard form. Natural language often hides existential assumptions and shifts the meaning of words across premises. Third, traditional syllogistic systems and modern textbook treatments do not always make exactly the same choices about existential import. This page follows the classical named forms encoded in its logic, so you should interpret the result within that framework.

Those limitations do not make the checker weak. They make it precise. A narrow tool can be very strong when it is used for the right job. If you are learning syllogisms, grading practice problems, checking whether you remembered a mnemonic correctly, or testing how figure affects validity, this page is exactly the right level of detail. If you are analyzing a more complicated argument from law, science, or mathematics, treat this as a first-pass form checker rather than a complete logic engine.

If you want extra practice, the mini-game below turns the same skill into a fast recognition drill. It does not change the calculator’s result, but it gives you repeated exposure to mood, figure, and valid conclusion patterns in a way that is easier to remember than reading a list of mnemonics once.