Начнем с вопроса: "Что есть философ?" Буквально это слово означает любящий мудрость, но не каждый, кто интересуется знаниями, - философ. Это определение следует сузить: философ - это человек, который любит созерцание истины. Собиратель произведений искусства любит прекрасные вещи, но это не делает его философом. Философ любит красоту как таковую. Любитель прекрасных вещей дремлет, а любитель самой красоты - бодрствует. Там, где у любителя произведений искусства только мнение, у любителя прекрасного знание. Знание должно иметь объект, оно должно быть о чем-то, что существует или еще не существует, как сказал бы Парменид. Знание фиксированно и определенно, это истина, свободная от ошибок. С другой стороны, мнение может быть ошибочным. Но, поскольку мнение - это и не знание о том, что существует, и не ничто, оно должно быть о том, что и существует, и не существует, как рассматривал это Гераклит.
Таким образом, Сократ считает, что все конкретные вещи, которые мы улавливаем через наши чувства, имеют противоположные черты. Конкретная прекрасная статуя имеет также какие-то уродливые стороны. Конкретная вещь, большая с какой-то точки зрения, может быть маленькой с другой точки зрения. Все они - объекты мнения. Но красота, как таковая, и величина, как таковая, не улавливаются нашими чувствами, они неизменны и вечны, они объекты знания. Соединив вместе Гераклита и Парменида, Сократ получил свою теорию "идей", или "форм", нечто новое, не присущее ни одному из двух ранних мыслителей. Греческое слово "идея" означает картина или образец.
Эта теория имеет логический и метафизический аспекты. С логической стороны мы имеем различие между какими-либо конкретными объектами и общими словами, которыми мы их называем. Так, общее слово "лошадь" относится не к той или иной лошади, а к любой лошади. Его значение независимо от конкретных лошадей и от того, что с ними происходит, оно вне времени и пространства, оно вечно. С метафизической стороны это означает, что где-то существует "идеальная" лошадь, лошадь, как таковая, единственная и неизменная, и именно к ней относится общее слово "лошадь". Конкретные лошади являются таковыми, поскольку они подпадают под определение или имеют часть "идеальной" лошади. Идеальное - совершенно и реально, конкретное несовершенно и только кажущееся.
Чтобы помочь нам понять теорию идей, Сократ приводит знаменитое сравнение с пещерой. Те, кто живет без философии, как пленники в пещере. Они в цепях и не могут повернуться. Позади них - огонь, а перед ними пустая пещера, которая заканчивается чистой стеной. На ней, как на экране, они видят свои тени и тени предметов, находящихся между ними и огнем. Из-за того, что они не видят ничего больше, они думают, что тени - это реальные вещи. В конце концов один человек сбрасывает оковы и нащупывает путь к выходу из пещеры. Там впервые он видит свет солнца, освещающего истинные предметы реального мира. Он возвращается в пещеру, чтобы рассказать товарищам о своих открытиях, и пытается показать им, что их вещи - это не более чем неясные отражения реальности, мир простых теней. Но, увидев свет солнца, он был ослеплен светом, и ему теперь труднее различать тени. Он пытается показать товарищам путь к свету, но для них он кажется более глупым, чем раньше, и поэтому убедить их - нелегкая задача. Если мы чужды философии, тогда мы - как эти пленники. Мы видим только тени, видимость предметов, но если мы философы, мы видим вещи вокруг в свете разума и истины и это - подлинная действительность. Этот свет, который дает нам истина и сила знания, символизирует идею добра.
Форма (Е) не может быть соединена с частностью (А); каждая попытка приносит новые проблемы.