Summa Logicae

Quick Facts

• Full title: Summa Logicae, usually translated as Sum of Logic
• Author: William of Ockham
• Date: probably around 1323, with some scholarly uncertainty
• Genre: medieval logic textbook
• Main topics: terms, propositions, syllogisms, supposition theory, universals, mental language
• Traditions: Scholasticism, Late Scholasticism, nominalism

The Problem

Ockham is trying to make logic do two jobs at once.

First, logic should explain how arguments work. A student should be able to tell when a sentence is true, when an inference follows, and when a word is being used in a misleading way.

Second, logic should stop philosophers from inventing extra things just because grammar seems to ask for them. We say "humanity is noble" or "redness is a color." Does that mean there is a real object called humanity or redness, over and above individual humans and individual red things? Ockham says no. The grammar is real, but it does not force that metaphysics.

The Summa Logicae is his big manual for this project. It studies terms, sentences, and arguments so carefully that many metaphysical puzzles can be treated as problems about how signs stand for things.

In One Minute

The Summa Logicae is Ockham's major work on logic. It belongs to the medieval tradition of term logic, where the basic unit is not a modern symbol like P or Q, but a term such as "human," "animal," "white," or "Socrates."

Its main claim is simple but powerful: many philosophical mistakes come from treating words as if each important word named a special thing. General words like "human" and abstract words like "humanity" are signs. They help us think and speak about many individual things, but they do not prove that there is a universal object called humanity existing outside the mind.

The work matters because it ties together logic, language, and metaphysics. Ockham uses supposition theory, a medieval theory of reference, to explain what terms stand for in different sentences. That lets him defend nominalism: the view that only individual things exist outside the mind, while universals are signs or concepts used to talk about many individuals.

The Main Argument

The main argument of the Summa Logicae is not one single proof. It is a method. Ockham argues that logic should begin with signs, then explain how signs combine into true or false sentences, then explain how sentences combine into valid arguments.

Book I starts with terms. A term is a meaningful part of a proposition, such as "human," "runs," "white," or "Socrates." Ockham asks what terms signify, how they are divided, and how general terms work. A categorematic term has meaning on its own, like "human" or "stone." A syncategorematic term helps structure a sentence, like "every," "not," or "if." "Human" can stand for humans; "every" does not name a thing, but it changes how the sentence works.

This is where Ockham attacks realist views of universals. A universal is something that can be said of many things. "Human" applies to Socrates, Plato, and many other people. Ockham denies that this requires one shared thing, humanity, existing in all of them. Outside the mind there are individual humans. In the mind there is a concept that can naturally represent many humans. In speech and writing there are words that conventionally stand for them.

Book II studies propositions. A proposition is a sentence that can be true or false, such as "Every human is an animal." Ockham explains truth by looking at what the terms stand for in that proposition. The sentence is true if the subject and predicate are connected in the right way among the things they stand for.

Book III studies arguments, including syllogisms, demonstrations, consequences, and fallacies. A syllogism is a structured argument such as: every human is an animal; Socrates is a human; therefore Socrates is an animal. Ockham keeps the Aristotelian school framework, but his deeper aim is semantic clarity. A good argument depends on how terms are used, not on hidden universal objects behind the terms.

The result is a spare picture of reality and a rich picture of language. Ockham does not make the world thin because he thinks language is unimportant. He makes the world thin because language can already explain why general talk works.

Key Ideas With Examples

• Term logic: logic built around terms and how they fit into propositions. In "Every dog is an animal," the important terms are "dog" and "animal," while "every" tells us how widely the claim ranges.

• Signification: the basic meaning of a sign. The spoken word "dog" signifies dogs by human convention. A mental concept of dog signifies dogs naturally, because it is the mind's way of representing them.

• Supposition: what a term stands for in a particular sentence. In "Dogs bark," "dogs" stands for actual dogs. In "'Dog' has three letters," the word "dog" stands for the word itself. Same mark, different job.

• Personal supposition: a term stands for the individual things it signifies. In "Every human is mortal," "human" stands for individual humans.

• Material supposition: a term stands for the word or expression itself. In "'Human' is a noun," the sentence is about the word "human," not about people.

• Simple supposition: a term stands for a concept or common intention rather than directly for individual things. In "Human is a species," Ockham treats "human" as standing for the concept used in classification, not for Socrates or Plato.

• Nominalism: the view that universals are not extra things outside the mind. "Horse" applies to many horses, but there is no separate universal horse running through all of them. There are individual horses and signs that represent them together.

• Mental language: Ockham's idea that thought itself has structured signs. Spoken languages differ: English says "human," Latin says "homo." But the mind can have a natural concept that represents humans before any chosen word is attached to it.

• Connotative terms: terms that signify one thing while implying something else. "White" can apply to a wall, but it also points to the quality whiteness. Ockham uses these terms to explain tricky language without multiplying entities.

• Parsimony: the rule that we should not posit more kinds of things than we need. This is the spirit behind Ockham's razor. If individual people and concepts explain the word "humanity," then we should not add a separate universal thing called humanity.

Why It Matters

The Summa Logicae became one of the clearest statements of late medieval nominalist logic. It shows how a technical study of words can reshape metaphysics.

It also matters for the history of semantics, the study of meaning. Ockham is not doing modern analytic philosophy, but many of his questions sound familiar: What does a general term refer to? How does context change reference? What is the relation between public language and thought? When does grammar tempt us into bad metaphysics?

For scholastic education, the work is important because it gathers many standard topics of medieval logic into one systematic account: predicables, categories, terms, propositions, syllogisms, demonstration, and fallacies. For the history of philosophy, it matters because it makes nominalism look like a disciplined logical program rather than just a slogan about universals.

Proponents, Critics, and Opponents

Ockham's closest allies are later nominalists and terminists. Terminism is the scholastic approach that puts terms and their modes of reference at the center of logic. The Summa Logicae helped make that approach a major part of Late Scholasticism.

Peter Abelard is an important precursor because he had already pushed medieval debates about universals toward language, predication, and meaning. Ockham is more systematic and more radical, but he belongs to a longer anti-realist line.

Realist opponents thought Ockham cut too much away. Moderate realists, including many readers of Aristotle, Thomas Aquinas, and Duns Scotus, did not usually defend crude Platonic Forms. But they did think there had to be some real basis for common natures, shared essences, or stable classifications. Ockham replies that similarity among individuals and the mind's concepts are enough.

Other critics worried that Ockham's parsimony weakened science and theology. If only individuals exist outside the mind, then scientific knowledge cannot be knowledge of universal things in the old realist sense. Ockham's answer is that science uses universal propositions, but those propositions are made from signs. They can be general without needing universal objects.

Related Pages

• William of Ockham
• Peter Abelard
• Late Scholasticism
• Scholasticism
• Aristotle
• Thomas Aquinas
• Duns Scotus