Skip to main content
Calcimator

Syllogism Validator

Check the validity of categorical syllogisms by figure and mood. Identifies all 19 traditionally valid syllogistic forms.

Inputs

Results

Valid Syllogism (1=Yes)

1

Figure1
Valid Forms in Figure4
Total Valid Forms (All Figures)19
Total Possible Moods64
Mood NameAAA
How to Use This Calculator
  1. Enter the major premise (e.g., 'All men are mortal').
  2. Enter the minor premise (e.g., 'Socrates is a man').
  3. Input the proposed conclusion (e.g., 'Socrates is mortal').
  4. Review whether the syllogism is valid (the conclusion necessarily follows) and whether the premises are true.
  5. Identify the syllogism figure and mood to classify it in classical logic.

What each input means

Figure (1-4)
Syllogistic figure determining the position of the middle term in premises
Major Premise (1=A, 2=E, 3=I, 4=O)
A=All S are P, E=No S are P, I=Some S are P, O=Some S are not P
Minor Premise (1=A, 2=E, 3=I, 4=O)
Categorical proposition type for the minor premise
Conclusion (1=A, 2=E, 3=I, 4=O)
Categorical proposition type for the conclusion

How this is calculated

Worked example, using the default values

  1. Identify Input Parameters
    4 parameters
    Figure (1-4) = 1, Major Premise (1=A, 2=E, 3=I, 4=O) = 1, Minor Premise (1=A, 2=E, 3=I, 4=O) = 1, Conclusion (1=A, 2=E, 3=I, 4=O) = 1 = 4 input(s) provided
  2. Calculate Valid Syllogism
    Valid Syllogism
    1 = 1
  3. Calculate Figure
    Figure = 1
    1 = 1
  4. Calculate Valid Forms in Figure
    Valid Forms in Figure
    4 = 4

Engine last updated . Checked against 4 independently-derived tests — how we verify calculators.

Related Calculators

The questions that sit next to this one — chosen by subject, including calculators filed under a different category.

Logic & Formal Reasoning

Truth Table Generator

Generate a complete truth table for propositional logic formulas with 2-4 variables and common logical operations.

Logic & Formal Reasoning

Predicate Logic Evaluator

Evaluate quantified predicate logic statements (universal, existential, unique existential) over a finite domain.

Logic & Formal Reasoning

Logical Equivalence Checker

Test whether two propositional logic expressions produce identical truth values across all variable assignments.

Crypto Advanced

Validator Node Cost Calculator

Estimate the costs and profitability of running a Proof-of-Stake validator node, including hardware, bandwidth, electricity, staking rewards, and slashing risk.

More in Math & Statistics.