# Categorical Logic

Categorical Logic: Categorical Propositions

What is a proposition/ What does a proposition do?

Answer: it proposes that something is the case.

That’s the same as: it says something about something.

And that is often called “predicating” (also “attributing”).

There is a limit to the number of ways that you can say something about something. i.e., there is a limit to the number of ways you can predicate.

To start with, you can say something about one single individual or individual thing, like “Pluto is not a planet.”

Or you can say something about a group of things. When you say something about a group of things, you are always either talking about the entire group (in which case you either use “all” or “no,” or something roughly equivalent), or you are talking about less than the entire group (in which case you use “some” or something roughly equivalent).

So, for instance, you might say

Water is wet (which is equivalent in meaning to All water is wet)

or

No popes have daughters

or you might say:

Some teapots break easily

or

Some Members of the House send inappropriate emails.

You can use any number of different verbs to make a predication (like “send,” “break,” “have,” or “is”). But if you wanted to simplify things and make all your predications be of the same form –verb-wise, I mean–the best candidate is the verb “to be.”

All the predications above can be restated using “to be.” But not all predications using “to be” could be restated as readily using “have” or “send.”

No Popes are people who have daughters.

Some teapots are things that break easily.

Some Members are people who send inappropriate emails.

When you do that, when you use “to be” as the main verb of your predication, what you are doing is explicitly setting up a claim about a relation between two groups of things, or what we’ll call two categories. Your predication is proposing that one category is either completely inside, or completely outside, or partially inside, or partially outside of another category.

In Logic, this is known as the study of Categorical Propositions, i.e., statements which assert something about membership between two categories of things.

There are four standard form categorical propositions, and they are going to be our focus in this chapter. Here are the forms they take:

All S is P

No S is P

Some S is P

Some S is not P

There are four elements to each of them:

1. A quantifier: the word that clues you in to whether we are saying something about an entire class or only part of the class.

2. A Subject term –indicated by the letter “S.” A term is an expression (a word or a phrase) that describes a group or category. The subject is the category about which something is being said.

3. A Predicate term –indicated by the letter “P.” The predicate is what is being said of the subject.

4. A form of the verb “to be,” which connects the subject term to the predicate term. This is known in Logic talk as “the copula.”

Those are all pretty easy to spot.

You might have noticed that two of these four propositional forms are negative: the one that begins with “No” and the one that has “is not” in it. The other two are positive, or affirmative, as we say in Logic. This is called the Quality of the proposition: whether it affirms or denies the inclusion of a class in another class.

Two of them begin with “some” while the other two begin with words that indicate an entire class or group: “all” and “no” respectively. This is called the Quantity of the proposition: whether it is about all or only some members of a class. Talk about all is called “universal,” and talk about some is called “particular.”

In Latin, “I affirm” is “Affirmo.” “I deny” is “Nego.”

The working out of the basic knowledge about categorical propositions was done in Latin, by medieval scholars. They chose to use letters from these two Latin words to provide names –as shorthand–for the four forms of predication that we call “categorical propositions.”

“A” is the name of the universal statement that affirms inclusion of one class in another: All S is P.

“E” is the name of the universal statement that denies inclusion of one class in another: No S is P.

“I” is the name of the particular statement that affirms the inclusion of one class in another: Some S is P.

“O” is the name of the particular statement that denies the inclusion of one class in another: Some S is not P.

“A” and “I” are affirmative statements, and these letters are the first two vowels in the Latin word “Affirmo.”

“E” and “O” are negative statements, and these letters are the first two (only) vowels in the Latin word “Nego.”

That’s why “A” stands for the universal affirmative, “E” for the universal negative, “I” for the particular affirmative, and “O” for the particular negative.

Before you go to the exercise set, there is an oddity about standard form categorical propositions: when a statement is about a single individual (person, place, country, planet, etc.), that individual has to be represented in the proposition as a category.  This is not how we think of individuals in everyday life.  So this means that it won’t be enough to use the person or planet’s name, and say “Pluto is not a planet.”  That looks somewhat like an O statement, since O is the one with “is not” in it.  Instead you have to refer to the category that Pluto makes up.  Now there is only one thing in that category, namely Pluto itself. So you are going to write this as a standard E statement:

“No things identical to Pluto are planets,”

or

“No thing that is Pluto is a planet.”

This way you preserve the four parts of the standard form proposition.

Distribution

There is another feature of categorical propositions, besides their quantity and their quality, that is important to understand if one is to master them. It is called “distribution.”

If you will entertain the connotation of “distribute” as “giving something out to all,” you may find this concept less difficult to grasp than otherwise. We say that a proposition distributes a term when the term is located in a place that means that something is being said about all members of the class named by it.

By “place,” what I mean is this: whether it occurs as subject or as predicate. In “All S is P,” whatever term might go into the place occupied by “S” is going to be distributed. Whether we say

All jerks are inconsiderate people

or

All cats are animals

or

All smokers are people at higher risk for lung disease than others,

it is obvious in each case that something is being said about every member of the class that follows the word “all.”

So we can say that in A propositions (that is, in universal affirmative propositions), the subject term is always distributed, i.e., something is being said about each and every member of the class named by the subject term. Once this is clear, it should be obvious that it is also true for E propositions: universal negative statements also say something about each and every member of their subject term:

No popes have daughters

No Christians are Buddhists

No vegetarians are scuba divers.

In all three of these examples, it is clear that the predication being made is made of each and every member, respectively, of the class of popes, Christians, and vegetarians. There is never going to be an exception to this point: all universal statements make a predication about all members of their subject class.

But it is important to note that No popes have daughters also says something about all daughters, whereas All cats are animals does not say anything about each and every animal.

How is this the case?

No popes have daughters says that every single daughter has for her father a person who is not a pope. But All cats are animals does not tell us anything about all animals; it only says something about the animals that are cats. So in a universal negative (E) statement, we find that the predicate term is always distributed as well as the subject term, but that in universal affirmative (A) statements, the predicate term is not distributed.

It’s too early in our study of Logic, and of Categorical Propositions, for you to see the relevance of this just yet, but it is helpful to get the concept in front of you early on, so you’ll have time to digest it, so to speak, for later on, when you’ll need to bring it back up. (Note the metaphor.) Just in case you are wondering, the reason it is relevant is that when you build an argument using two or more categorical statements, the validity or invalidity is going to depend on whether or not connections between the categories are established. If a term is never distributed in an argument, then no overlaps or explicit connections have been made, and no conclusion will be able to follow as a result.

Let’s finish this discussion of distribution with two more points: particular affirmative statements, which we call “I” statements, distribute neither term. No surprise there: “Some birds are robins” clearly does not say anything about all birds, and no statement of the form “Some S is P” ever could. It also does not say anything about all robins.

But like the universal negative statements, the particular negative (O) statements do say something about each and every member of their predicate terms’ classes. To say that they say something about these terms’ classes is to say that these statements contain information about them: it takes a little thought to see how they say it. Consider the O statements

Some animals are not cats

and

Some cats are not dogs.

Both are true, and you can see that the first means that there is at least one animal that falls outside the class of cats –outside the entire class of cats. Search through the entire class of cats, this statement says, and you are guaranteed to realize that there is at least one animal that is not a member of it. The same is true if you search through the whole class of dogs. That is a reference to every member of the predicate class, the class of cats in the first example, the class of dogs in the second.

This brings us to the need to comment on how we interpret “some” in Logic. We take it to mean “at least one.” So the statement that Some dogs are animals is one we call true. It might sound funny to you at first to say that this is true, since you want to say “No you idiot, all of them are!” And you are quite right, of course, if a little rude.

But your being right that all of them are animals is completely consistent with my claiming only the weaker point– that at least one of them is.

So take note: this will take a little getting used to on your part: accepting that in Logic, “some” only means “there is at least one,” and that therefore sentences like “Some wives are married” are not false, even though they tell less than the whole story; rather, they are true in what we call a trivial sense. If what you say is not the whole story, that does not mean that it must be false. In fact, that is something most of us know intuitively, and explains why, from time to time, we are tempted to not tell the whole story: under the right circumstances, at least we can say we were not lying!

Time to summarize the results of this discussion of distribution:

Universal statements distribute their subject terms, and Negative statements distribute their predicates.

That’s what it boils down to. As long as you can tell universals and negatives apart, you can make the relevant call on the question of distribution. Like much in Logic, there is a formal element to this knowledge: you can get it right without even understanding it, as long as you memorize the formalizable aspects accurately.

But it is preferable to also understand what it is that you memorize. Insight has its own rewards.

Here is a link to a Powerpoint that reviews this material:  7 Categorical Propositions