Theory of Forms
The Theory of Forms (also Theory of Ideas) is Plato's central metaphysical doctrine: that the physical world is not the most fundamental reality, but rather an imperfect shadow of a higher realm of eternal, unchanging, mind-independent entities called forms (Greek: eidos or idea). Every beautiful thing participates in the Form of Beauty; every equal thing participates in the Form of Equality; the Form itself is perfectly beautiful, perfectly equal — qualities no physical object ever instantiates without qualification.
The epistemic corollary is decisive: genuine knowledge (episteme) is of forms, not particulars. Particulars are the objects of perception and opinion (doxa); they are, are-not, change, and perish. Forms are the objects of reason; they are, unconditionally, and cannot not-be. Mathematics is Plato's standing proof of concept — we know mathematical truths with certainty that no amount of observation could provide, which demonstrates that at least some knowledge is of non-physical, non-changing objects.
The doctrine generates the Third Man Argument — a regress objection Plato himself staged in the Parmenides — and it has been rejected by Aristotle, all empiricist traditions, and most analytic philosophy. Yet the problems it was designed to solve — the objectivity of mathematics, the basis of moral facts, the possibility of a priori knowledge — remain open. The forms were Plato's answer to a genuine question, and dismissing the answer is easier than answering the question.