Теория идей. Эта теория является частично логической и частично метафизической.
Логическая часть ее имеет дело со значением общих слов. Имеется много отдельных животных, о которых мы можем точно сказать Это кошка. Обычно люди подразумевают под словом кошка нечто отличное от каждой отдельной кошки. По-видимому, какое-либо животное является кошкой потому, что оно разделяет общую природу, свойственную всем кошкам. Язык не может обойтись без таких общих слов, как кошка, и такие слова, очевидно, не являются бессмысленными.
Но если слово кошка означает что-либо, то оно означает что-то, не являющееся той или этой кошкой, а представляющее собой нечто вроде универсальной кошачности. Она не родилась, когда родилась отдельная кошка, и не умрет вместе со смертью отдельной кошки. На самом деле она не имеет места в пространстве или времени она вечна. Это логическая часть теории, независимая от метафизической части этой теории. Согласно метафизической части, слово кошка означает некоторую идеальную кошку, кошку, созданную Богом и единственную в своем роде. Отдельные кошки разделяют природу кошки, но более или менее несовершенно. Только благодаря этому несовершенству может быть много кошек.
Идеальная кошка реальна отдельные кошки являются лишь кажущимися. Только об этой одной кошке, созданной Богом, возможно знание, но в отношении многих кошек может быть лишь мнение. Философа как такового будет интересовать лишь одна идеальная кошка, а не многие кошки, обнаруживаемые в чувственном мире. Он будет испытывать некоторое равнодушие к обыкновенным мирским делам. Таким образом, юноша, способный стать философом, будет выделяться среди своих товарищей как справедливый и кроткий, любящий ученье, обладающий хорошей памятью и, естественно, гармоничным умом. Такой юноша должен быть воспитан, чтобы стать философом и стражем.