Try Logic Foundations

Introduction

Have you ever noticed how your mind can group things together? When you hear the word "dog," you don't just think of one particular dog. You think of dogs in general. Your mind holds a kind of mental picture that covers all dogs: big ones, small ones, fluffy ones, sleek ones. That mental picture is what logicians call a concept.

Concepts are the starting point of all logical thinking. Before we can make statements, draw conclusions, or build arguments, we need to understand what a concept is and how to recognize one. In this lesson, you'll learn to tell the difference between a concept and things that aren't concepts, like questions, commands, or the names of individual people and places.

By the end, you'll have a solid foundation for everything that follows. Let's get started!

What Is a Concept?

A concept is a mental representation of a class of things. It's the idea your mind forms when it groups similar things together under one label.

For example, "triangle" is a concept. It represents the whole class of three-sided shapes. "Fairness" is a concept too; it represents an abstract quality that many different situations can share.

Here's the key: a concept is always general. It applies to more than one individual thing. "Dog" is a concept because it covers all dogs. But "my neighbor's dog Biscuit" is not a concept in the logical sense; it points to one specific individual.

Concepts are also different from questions, commands, and exclamations. "Is it raining?" is a question, not a concept. "Close the door!" is a command, not a concept. A concept is simply a class idea: a mental grouping of things that share a common nature.

Introduction

You now know what concepts and terms are. But a single term, like "dogs" or "mammals," doesn't really say anything on its own. To make a claim about the world, you need to combine two terms into a statement.

That statement is called a proposition. Not just any sentence counts, though. A question doesn't make a claim. A command doesn't either. And a wish or a guess is too uncertain to reason with.

A categorical proposition is a very specific kind of statement: it takes two classes of things and says that one is (or isn't) included in the other. It makes a definite, clear-cut claim about class membership, and that's what makes it useful for logic.

In this lesson, you'll learn to spot categorical propositions and tell them apart from every other kind of sentence.

What Is a Proposition?

A categorical proposition is a statement that makes a definite claim about the relationship between two classes of things.

It has a specific structure: • A quantifier ("All," "Some," or "No") • A subject term (the class we're talking about) • A copula ("are," "are not") • A predicate term (the class we're relating it to)

Example: "All cats are mammals." This says something definite: the class of cats is included in the class of mammals.

Here's what a categorical proposition is NOT: • A question: "Are cats mammals?" (asks, doesn't claim) • A command: "Feed the cat!" (tells, doesn't claim) • A wish: "I hope cats are friendly." (hopes, doesn't claim) • A hypothetical: "If cats are mammals, then they nurse their young." (conditional, not categorical)

The word "categorical" means unconditional: no ifs, no maybes. A categorical proposition simply states what is or is not the case.