Categorical syllogisms are arguments built from a specific type of statement: the categorical proposition. These statements link two categories, or classes, of things. Every categorical proposition has a quantity (universal or particular) and a quality (affirmative or negative).

Quantity tells us how much of the subject class is included in the predicate class. Universal propositions, using words like "all" or "no," refer to every member of a class. Particular propositions, using "some," refer to at least one member of a class.

Quality tells us whether members of the subject class are included in or excluded from the predicate class. Affirmative propositions (all, some) include the subject in the predicate class. Negative propositions (no, some... are not) exclude the subject from the predicate class.

This gives us four standard forms of categorical propositions, each assigned a vowel as a label: A, E, I, and O. The labels come from the Latin words AffIrmo (I affirm) and nEgO (I deny).

A standard categorical syllogism is an argument with two premises and one conclusion, all of which are categorical propositions. These propositions contain exactly three terms, each appearing twice.

• The major term is the predicate of the conclusion.
• The minor term is the subject of the conclusion.
• The middle term appears in both premises but not in the conclusion. It's the crucial link between the major and minor terms.

Let's look at an example:

1. All mammals are warm-blooded animals. (Major Premise)
2. All dogs are mammals. (Minor Premise)
3. Therefore, all dogs are warm-blooded animals. (Conclusion)

Here, the terms are:

• Major Term: "warm-blooded animals"
• Minor Term: "dogs"
• Middle Term: "mammals"

The logical structure of a syllogism is defined by its mood and figure.

Mood is a three-letter code representing the type of categorical proposition (A, E, I, or O) for the major premise, minor premise, and conclusion, in that order. For our example above, every statement is an 'A' proposition ("All S are P"), so the mood is AAA.

Figure is a number (1, 2, 3, or 4) that describes the position of the middle term (M) in the two premises. S represents the minor term, and P represents the major term.

In our "all dogs are mammals" example, the middle term 'mammals' (M) is the subject of the major premise and the predicate of the minor premise. This matches Figure 1. Therefore, the complete logical form of the syllogism is AAA-1.

Since there are 4 proposition types and 3 slots in the mood, there are $4^3 = 64$ moods. With 4 figures, there are $64 \times 4 = 256$ possible forms of syllogisms. However, only 15 of these are considered valid in classical (Aristotelian) logic.

How do we know if a syllogism is valid? A valid deductive argument is one where if the premises are true, the conclusion must be true. We can test this visually using diagrams.

Before we can test validity, we need to understand distribution. It tells us whether we are talking about all members of a category or just some.

• In A propositions (All S are P), the subject (S) is distributed.
• In E propositions (No S are P), both the subject (S) and predicate (P) are distributed.
• In I propositions (Some S are P), neither term is distributed.
• In O propositions (Some S are not P), the predicate (P) is distributed.

There are a few key rules for a syllogism to be valid, two of which relate to distribution:

1. The middle term must be distributed in at least one premise.
2. If a term is distributed in the conclusion, it must also be distributed in its premise.

While these rules are powerful, diagrams can make validity much more intuitive.

Euler diagrams use circles to represent categories. For the syllogism AAA-1, we can see that the conclusion is unavoidable. If the 'Dogs' circle is inside 'Mammals', and 'Mammals' is inside 'Warm-blooded animals', then 'Dogs' must be inside 'Warm-blooded animals'.

While Euler diagrams are intuitive, they can be difficult to draw for more complex arguments. For that, we turn to Venn diagrams.

Venn diagrams for syllogisms use three overlapping circles for the three terms. We diagram the premises, not the conclusion. A shaded area means the region is empty. An 'X' means at least one thing exists there.

Let's test the syllogism EIO-2:

• No P are M.
• Some S are M.
• Therefore, Some S are not P.

First, we diagram the universal premise: "No P are M." We do this by shading the entire area where the P and M circles overlap. This shows there is nothing in that section.

Next, we diagram the particular premise: "Some S are M." We place an 'X' in the area where S and M overlap. Since part of that overlap is already shaded, the 'X' must go in the unshaded part.

Now, we inspect the diagram to see if it proves the conclusion. The 'X' is in the S circle, but it is outside the P circle. This confirms that "Some S are not P." The argument is valid. If the conclusion is not automatically represented on the diagram after drawing the premises, the argument is invalid.

Understanding these structures is the first step toward analyzing complex arguments with formal precision.