Theory of Forms

Read this description of Plato's theory of the forms. What does Plato mean by "forms"?; How does this relate to justice? What does the ideal state have to do with justice?

Nominalism (from Latin nomen, "name") says that ideal universals are mere names, human creations; the blueness shared by sky and blue jeans is a shared concept, communicated by our word "blueness". Blueness is held not to have any existence beyond that which it has in instances of blue things. This concept arose in the Middle Ages, as part of Scholasticism.

Scholasticism was a highly multinational, polyglottal school of philosophy, and the nominalist argument may be more obvious if an example is given in more than one language. For instance, colour terms are strongly variable by language; some languages consider blue and green the same colour, others have monolexemic terms for several shades of blue, which are considered different; other, like the Mandarin qing denote both blue and black. The German word "Stift" means a pen or a pencil, and also anything of the same shape. English does not have such a word. The English "pencil" originally meant "small paintbrush"; the term later included the silver rod used for silverpoint. The German "Bleistift" and "Silberstift" can both be called "Stift", but this term also includes felt-tip pens, which are clearly not pencils.

The shifting and overlapping nature of these concepts makes it easy to imagine them as mere names, with meanings not rigidly defined, but specific enough to be useful for communication. Given a group of objects, how is one to decide if it contains only instances of a single Form, or several mutually-exclusive Forms?