Editing Problem of universals (section)

=== Aristotle ===
{{See also|Aristotelian realist philosophy of mathematics}}
Plato's student Aristotle disagreed with his tutor. Aristotle transformed Plato's forms into "[[Four causes#Formal cause|formal causes]]", the blueprints or [[essence]]s of individual things. Whereas Plato idealized [[geometry]], Aristotle emphasized [[Nature (philosophy)|nature]] and related disciplines and therefore much of his thinking concerns living beings and their properties. The nature of universals in Aristotle's philosophy therefore hinges on his view of [[natural kind]]s. Instead of categorizing ''being'' according to the structure of thought, he proposed that the categorical analysis be directed upon the structure of the natural world.<ref>{{Cite book|last=Cocchiarella|first=Nino B.|title=Formal Ontology and Conceptual Realism|publisher=Springer Science & Business Media|year=2007|isbn=978-1-4020-6203-2|location=Dordrecht|pages=14}}</ref> He used the principle of [[Predication (philosophy)|predication]] in ''[[Categories (Aristotle)|Categories]]'', where he established that universal terms are involved in a relation of predication if some facts expressed by ordinary sentences hold.<ref>{{Cite book|last=Pinzani|first=Roberto|title=The Problem of Universals from Boethius to John of Salisbury|publisher=BRILL|year=2018|isbn=978-90-04-37114-9|location=Leiden|pages=2}}</ref>

In his work ''[[De Interpretatione|On Interpretation]]'', he maintained that the concept of "universal" is apt to be predicated of many and that singular is not.<ref>{{Cite book|last=Spade|first=Paul V.|title=Five Texts on the Mediaeval Problem of Universals: Porphyry, Boethius, Abelard, Duns Scotus, Ockham|publisher=Hackett Publishing|year=1994|isbn=087220250X|location=Indianapolis, Indiana|pages=x}}</ref> For instance, ''man'' is a universal while ''Callias'' is a singular. The philosopher distinguished highest genera like animal and species like man but he maintained that both are predicated of individual men.<ref name=":2">{{Cite book|last1=Berchman|first1=Robert|title=Studies on Plato, Aristotle and Proclus: The Collected Essays on Ancient Philosophy of John Cleary, Volume 15|last2=Finamore|first2=John|publisher=BRILL|year=2013|isbn=978-90-04-23323-2|location=Leiden|pages=364}}</ref> This was considered part of an approach to the principle of things, which adheres to the criterion that what is most universal is also most real.<ref name=":2" /> Consider for example a particular [[oak]] tree. This is a member of a species and it has much in common with other oak trees, past, [[present]] and future. Its universal, its oakness, is a part of it. A biologist can study oak trees and learn about oakness and more generally the intelligible order within the sensible world. Accordingly, Aristotle was more confident than Plato about coming to know the sensible world; he was a prototypical [[Empiricism|empiricist]] and a founder of [[Inductive reasoning|induction]]. Aristotle was a new, [[Moderate realism|moderate]] sort of realist about universals.