Teori bentuk
Salah satu kesulitan terletak pada konseptualisasi "partisipasi" dari suatu objek dalam bentuk (atau Bentuk). Socrates muda memahami solusinya atas masalah universalisme dalam metafora lain, yang meskipun sangat sesuai, tetap harus dijelaskan:
Tapi tepatnya bagaimana Bentuk seperti hari ada di mana-mana bersamaan? Solusi dibutuhkan untuk bentuk yang berbeda, yang dalam kasus tertentu, tidak identik dengan bentuk,berpartisipasi; yaitu, bentuk berbagi entah bagaimana seperti hari pada banyak tempat. Konsep "partisipasi", dalam bahasa Yunani diwakili oleh lebih dari satu kata. Plato berhipotesis bahwa perbedaan berarti keberadaan yang independen, yang dengan demikian ia mengemukakan argumen orang ketiga yang terkenal dari Parmenides, yang membuktikan bahwa bentuk tidak dapat secara independen ada dan berpartisipasi.