The point of the doctrine of the forms is to answer three questions:
- How is universal, necessary knowledge possible?
- What makes a sentence like
`Socrates is white' true?
- What explains why different objects are members of the same kind?
The doctrine is actually quite elegant in that it offers a unified answer to all three questions. Briefly, here's the significance of each question and how Plato's theory solves it.
Re: 1. It is obvious that there are some truths we know that simply cannot have been otherwise. Think about the pythagorean theorem or a sentence like `All bachelors are unmarried men'. Plato thinks it is obvious these sentences are always true for everyone and at all times and place and that they have to be true. Now he also thinks that every true sentence is made true by something (see q. 2 below), but look, nothing in the visible world around us is universal and necessary and changeless like that. Therefore the things that make sentences like this true must not be part of the visible world around us, it must be part of a different world that we know not by experience, but by pure intellectual insight. And bingo, that's the world of the forms.
Re: 2. Aristotle thinks that a sentence like `Socrates is white' is going to be true if and only if there is some kind of relationship between that sentence and what the world is like--there has to be some object or thing that that sentence resembles or pictures or something. Why he thinks this isn't entirely clear to me, but it isn't entirely crazy. The forms then, are these objects that can fill that explanatory role. `Socrates is white' is true because Socrates is related to this object whiteness in some way. So the theory of the forms again solves an interesting philosophical problem. Of course, in this case the theory creates other problems: Trying to make sense of how Socrates, this individual, visible object is related to this other universal, invisible object whiteness is the biggest difficulty Plato's theory faces.
Re: 3. Again the theory does seem to do some useful explanatory work for Plato in that it helps explain an interesting fact: Socrates and Callias are members of the kind `human being'. What explains their similarity? In short the theory of the forms says that they are the same kind because they are both related to the same object, humanity.
The theory of the forms has really bad problems to avoid too, like the third man argument, the dilemma of participation, and so forth. But it is a really interesting theory and prior to the discovery of these problems (which happens very quickly, Plato's pupil Aristotle knows about them all already) it is a very compelling solution to a complex of difficult problems.