“What many things have in common, or a feature they share, is a universal or, in Plato’s terms, a Form. Of course there seems to be a huge number of properties. Many different things are white. Many different things are animals. Each (shared) property is a universal—a ‘one over many instances,’ whiteness over the many white things, roundness over the many round things, and so on. Thus, for Plato, Roundness and Whiteness are Forms.”
This theory is the first known theory of Universals.
The following OntoUML Class Diagram shows the main elements of Plato’s (429?-347 BC) theory of forms:

Class | Description | Relations |
Form | “What many things have in common, or a feature they share, is a universal or, in Plato’s terms, a Form. Of course there seems to be a huge number of properties. Many different things are white. Many different things are animals. Each (shared) property is a universal—a ‘one over many instances,’ whiteness over the many white things, roundness over the many round things, and so on. Thus, for Plato, Roundness and Whiteness are Forms. […] Forms are immaterial, non-spatial and atemporal […] Forms are […] perfect and what particulars strive to be like but fall short of . […] Forms are simple or incomposite, of one form (monoeidetic). Forms are the objects of knowledge, grasped by the intellect through definitions. […] Forms are pure, simple or uniform (monoeidetic , hen). | is being Essence; componentOf Particular |
Good | “[…] all Forms are related to the Good. […] each Form is good, that is, that each Form is a good thing or is characterized by goodness.” | characterizes Form |
Essence | “Each Form is its essence (ousia), which is to say that the relation of Being links the essence of beauty to the subject, Beauty itself. Being, then, is a primitive ontological relation designed exclusively to capture the special tie between that which possesses an essence and the essence possessed.” | |
Being | “Being, then, is a primitive ontological relation designed exclusively to capture the special tie between that which possesses an essence and the essence possessed.” | relates Essence with Form |
Particular | “Particulars are dependent on Forms whereas Forms are not dependent on them. Particulars strive to be such as the Forms are and thus in comparison to Forms are imperfect or deficient treat Partaking as a relation between material particulars and Forms, the result of which is that the particular is characterized by the Form of which it partakes […].” | partakes in Form |
Related posts in theory of Universals: [1.2.2], [1.3.1], [1.3.2], [2.5], [2.7.3], [4.3.1], [4.3.2], [4.4.1], [4.5.2], [4.9.8], [4.11], [4.15.6], [4.18.8]
The source of all citations and more about the topic in: Silverman, Allan, “Plato’s Middle Period Metaphysics and Epistemology“, The Stanford Encyclopedia of Philosophy (Fall 2014 Edition), Edward N. Zalta (ed.)
First published: 9/1/2019
Updated: 6/2/2019: changed relationship type of Form-Particular
Updated: 18/9/2021: added being, and OntoUML notation
15 thoughts on “[1.2.1] Plato: Theory of Forms”