Day 3631, Medieval Theories of the Categories.

Medieval Theories of the Categories (SEP)

This entry is intended as a brief and general introduction to the development of category theory from the beginning of the Middle Ages, in the sixth century, to the Silver Age of Scholasticism, in the sixteenth. This development is fascinating but extraordinarily complex. Scholars are just beginning to take note of the major differences in the understanding of categories and of how these differences are related to the discussion of other major philosophical topics in the Middle Ages. Much work remains to be done, even regarding the views of towering figures, so necessarily we have had to restrict our discussion to only a few major figures and topics. Still, we hope that the discussion will serve as a good starting point for anyone interested in category theory and its history.

1. Issues

Philosophers speak about categories in many different ways. There is one initial, and rather substantial, difference between philosophers who allow a very large number of categories and those who allow only a very small number. The first include among categories such different things as human, green, animal, thought, and justice; the second speak only of very general things such as substance, quality, relation, and the like, as categories. Among twentieth-century authors who allow many categories is Gilbert Ryle (b. 1900, d. 1976). Roderick Chisholm (b. 1916, d. 1999) is an example of those who have only very few. Medieval authors follow Aristotle’s narrow understanding.

The disagreement concerning categories in the history of philosophy does not end there. Even if we restrict the discussion to a small number of items of the sort that Aristotle regards as categories, many issues remain to be settled about them, and philosophers frequently disagree about how to settle them. These issues may be gathered into roughly ten groups.

The first group comprises what may be described roughly as extensional issues; they have to do with the number of categories. The extension of a term is comprised by the things of which the term can be truthfully predicated. Thus the extension of ‘cat’ consists of all the animals of which it is true to say that they are cats. Philosophers in general frequently disagree on how many categories there are. For example, Aristotle lists up to ten, but gives the impression that the ultimate number is not settled at all. Plotinus (204/5–270) and Baruch Spinoza (1632–77) reduce the number radically, but their views do not by any means establish themselves as definitive. In the Middle Ages the number of categories is always small (ten or less) but it nonetheless varies.

Read the rest here: https://plato.stanford.edu/entries/medieval-categories/

Chatbot

Medieval theories of the categories concern how medieval philosophers interpreted and developed Aristotle’s Categories. Aristotle had proposed that there are fundamental kinds of things that can be said or predicated of a subject. Medieval thinkers—especially from the 12th to 14th centuries—debated what these categories actually represent: linguistic forms, logical structures, or features of reality itself.

Aristotle originally listed ten categories: substance, quantity, quality, relation, place, time, position, state (having), action, and passion. Medieval philosophers inherited this framework through Latin translations and commentaries, especially from Boethius, and it became central to scholastic logic and metaphysics.

A major medieval question was whether the categories describe things in the world or ways language refers to things. Early medieval thinkers often treated them as grammatical or logical classifications of predicates. Later scholastics, such as Thomas Aquinas, argued that the categories correspond to real modes of being. In this realist interpretation, substance is primary—an independent entity such as a person or animal—while the other categories are accidents, properties that exist in substances (for example, color, size, or location).

Another debate concerned the status of relations. Some philosophers argued that relations (like “larger than” or “father of”) are real features of the world. Others considered them largely conceptual, depending on how the mind compares things.

Medieval logicians also connected the categories to predication theory. When a statement is made—such as “Socrates is wise”—the predicate belongs to one of the categories. This allowed scholars to analyze how propositions are structured and how knowledge claims are formed.

By the late Middle Ages, thinkers such as Duns Scotus and William of Ockham questioned whether the Aristotelian list truly reflects the structure of reality. Ockham, for instance, reduced the ontological importance of many categories and treated them more as features of language and logic rather than independent kinds of being.

In summary, medieval discussions of the categories revolved around three central issues:

whether categories describe language, thought, or reality,
the primacy of substance and the status of accidents, and
whether all ten Aristotelian categories are genuinely necessary.

Categories (Aristotle)

The Categories (Ancient Greek: Κατηγορίαι, romanized: Katēgoriai; Latin: Categoriae or Praedicamenta) is a text from Aristotle’s Organon that enumerates all the possible kinds of things that can be the subject or the predicate of a proposition. They are “perhaps the single most heavily discussed of all Aristotelian notions”.[1] The work is brief enough to be divided not into books, as is usual with Aristotle’s works, but into fifteen chapters.

The Categories places every object of human apprehension under one of ten categories (known to medieval writers as the Latin term praedicamenta). Aristotle intended them to enumerate everything that can be expressed without composition or structure, thus anything that can be either the subject or the predicate of a proposition.

The antepraedicamenta

The text begins with an explication of what Aristotle means by “synonymous”, or univocal words, what is meant by “homonymous”, or equivocal words, and what is meant by “paronymous”, or denominative (sometimes translated “derivative”) words.

It then divides forms of speech as being:

Either simple, without composition or structure, such as “man”, “horse”, “fights”.
Or having composition and structure, such as “a man argued”, “the horse runs”

Only composite forms of speech can be true or false.

Next, he distinguishes between what is said “of” a subject and what is “in” a subject. What is said “of” a subject describes the kind of thing that it is as a whole, answering the question “what is it?” What is said to be “in” a subject is a predicate that does not describe it as a whole but cannot exist without the subject, such as the shape of something. The latter has come to be known as inherence.

Of all the things that exist,

Some may be predicated (that is, said) of a subject, but are in no subject; as man may be predicated of James or John (one may say “John is a man”), but is not in any subject.
Some are in a subject, but cannot be predicated of any subject. Thus, a certain individual point of grammatical knowledge is in me as in a subject, but it cannot be predicated of any subject; because it is an individual thing.
Some are both in a subject and able to be predicated of a subject, for example science, which is in the mind as in a subject, and may be predicated of geometry as of a subject (“Geometry is science”).
Last, some things neither can be in any subject nor can be predicated of any subject. These are individual substances, which cannot be predicated, because they are individuals; and cannot be in a subject, because they are substances.

Read the rest here: https://en.wikipedia.org/wiki/Categories_(Aristotle)