По Платону, чувственным явлениям могут быть присущи противоречащие предикаты. Отсюда основное положение для суждений опыта гласит: возможно соединение контрадикторных предикатов с одним и тем же субъектом. Сообразно с этим Платон доказывает, что контрадикторные высказывания об одном и том же субъекте могут быть значимыми: 1) в одно и то же время вследствие различия отношений, например, «B велико по сравнению с A, но мало по сравнению с C»; 2) последовательно во времени контрадикторные предикаты могут быть присущи одному и тому же субъекту и в одном и том же отношении.

В конечном результате, по учению Платона, противоречия нет и в мире опыта, следовательно, и в эмпирических суждениях, так как контрадикторные предикаты или вовсе не относятся друг к другу, или один уступает место другому во времени; следовательно, и в том и в другом случае они в действительности как контрадикторные не сосуществуют.

Платон разработал учение о понятиях, об их взаимоотношениях по объему и содержанию, об отношении родов к видам и о соединимости и несоединимости понятий. Он представил их в виде системы, а именно – пирамиды, вершиной которой является «идея идей» (идея блага). Платон пытался свести все возможные понятия к самым общим понятиям – категориям, которые лежат в основе всякой предикации. Впервые перечень категорий дан Платоном в диалоге «Теэтет». Если сопоставить таблицы категорий, данные Платоном в диалогах «Теэтет», «Парменид» и «Софист», то оказывается, что во всех трех таблицах первое место занимает пара – бытие и небытие. Общими для них являются также пары категорий: тождественное и иное, сходное и несходное. Единое и многое образуют третью пару категорий в «Теэтете» и «Пармениде». Четвертая пара – движение и покой – приводится в «Пармениде». Категории количества предшествуют категориям качества. В «Софисте» вместо двух пар противоположностей (единство и множество, сходство и несходство) дана одна пара: тождество и различие, объединяющая понятия количества и качества.

В «Софисте» в качестве категорий (наивысших родов сущего, являющихся основными видами соединения понятий в суждении) выступают пять понятий: бытие, покой, изменение, тождество и различие. Это – универсальные предикаты. Всякая вещь, о которой что-нибудь высказывается, существует, тождественна в одном отношении и различна в других отношениях, находится или в покое, или в движении, или в обоих этих состояниях различным образом.

В «Тимее» категории перечисляются еще полнее и весьма похожи на список категорий Аристотеля.

Учение о дефиниции Платон развил главным образом в диалоге «Теэтет». Там Сократ ставит вопрос: «Что такое знание?» – и в качестве ответа получает перечисление различных знаний. Сократ указывает, что это перечисление может быть бесконечным вследствие бесконечного разнообразия предметов знания. Требуется не это перечисление, а общее понятие о знании, т. е. дефиниция знания. Платон пишет, что дефиниция должна состоять в указании специфического различия, которое отличает данный объект от всех других, причем мы должны избегать круга, когда объясняют понятие его синонимом, и должны помнить, что примеры как замены дефиниции недостаточны для решения поставленной задачи.

Для дефиниции понятий Платон иногда применяет особый «гипотетический метод». Чтобы решить вопрос, соответствует ли то или иное определение понятию, Платон сперва гипотетически предполагает соединение субъекта с предикатом, которое образует предполагаемую дефиницию. Затем из этой гипотезы выводятся следствия. Если при этом получается нечто противоречивое, т. е. суждение которое соединяет два несоединимых понятия, то гипотеза отвергается как ложная. Если же все согласуется между собой, то это еще не значит, что гипотеза доказана. Из отсутствия противоречий в следствиях и между последними и первоначальным тезисом еще нельзя заключать об истинности тезиса.

Однако то обстоятельство, что данный тезис, превращенный в гипотезу, выдержал контрольное испытание, а именно, следствия, выведенные из него, не оказались неприемлемыми, говорит уже в пользу этого тезиса и способствует его защите, если можно найти и другие аргументы истинности данного тезиса.

Что такое гипотетический метод, Платон поясняет на примере математики. Геометра спрашивают, можно ли данный прямоугольник вписать в данный круг. Он отвечает, что может ответить на это лишь гипотетически: вписать можно, если радиус круга равен половине гипотенузы. Можно привести еще один пример применения гипотетического метода. При решении вопроса, можно ли обучить добродетели, Платон постулирует предпосылку: добродетели можно обучить, если она есть наука. А затем доказывается, что она действительно есть наука.

На основе гипотетического метода ведется диалектическое исследование в диалоге «Парменид». Здесь тезис трактуется сперва как гипотеза. Затем рассматриваются следствия, вытекающие из принятой гипотезы, исследуется, что дает принятие данной гипотезы для выяснения или определения каждого из соединенных в тезисе понятий, как для самого по себе, так и в отношении к другим понятиям, а также для родственных и противоположных понятий. Равным образом исследуется, к каким следствиям приводит противоположное положение, т. е. суждение, отрицающее гипотезу. И после обзора всех следствий решается вопрос об истинности выставленной гипотезы.

В «Пармениде» Платона гипотетический (метод выступает как высший диалектический прием, тогда как в других его применениях у Платона он является лишь вспомогательным приемом, одним из моментов диалектического метода.

В школе Платона много занимались определениями, в частности определениями вещей неорганической и органической природы. Известно, например, что Платон дал следующее определение человека: «Человек есть двуногое животное без перьев». Услышав об этом, киник Диоген, ощипав петуха, принес его в Академию и во время лекции Платона выпустил его со словами: «Вот человек Платона». Платон признал свою ошибку и внес в свое определение поправку: «Человек есть двуногое животное без перьев с широкими ногтями».

Во времена Платона стояла задача преодоления того скепсиса, той эристики, того отрицания истины, которые развивались в сократовских школах. Сократовская философия дала толчок к размышлениям о сущности логических функций. Но, занявшись вопросами логики, сократовские школы пришли к теориям, разрушавшим объективную истину и общезначимое знание. Необходимо было, так сказать, спасти мышление, восстановить его в правах, найти выход из лабиринта эристики, разбить всю эту скептическую аргументацию сократовских школ. Эта задача была выполнена Аристотелем. Еще раньше пытался ее решить Платон, но он был не в состоянии сделать это.

Главный порок логики Платона – отрыв понятий от единичных вещей, перенесение их в потусторонний мир, превращение понятий в самостоятельные сущности. Роды вещей у Платона существуют по ту сторону единичных вещей. По Платону, даже вся совокупность единичных вещей данного рода (в том случае, если бы мы могли охватить ее полностью) не даст нам понятия о роде. Невозможно извлечь понятие из вещей через простое их сравнение. Напротив, нужно уже заранее привнести готовое понятие, чтобы иметь возможность судить, что в вещах соответствует понятию и что не соответствует. Отдельные же вещи являются лишь примерами, которые нам напоминают об общих понятиях. Сами понятия в их чистом и совершенном виде существуют в потустороннем мире, материальные же вещи вовсе не являются той реальностью, к которой относятся понятия. Чтобы найти последние, недостаточно путем наблюдения установить общие, остающиеся себе равными, свойства вещей определенного рода. Для этого необходимо подняться к миру идей.

Господство в логике Платона метафизически-идеалистического способа мышления приводит к тому, что у Платона как понятия, так и Другие логические формы (суждений и т. д.) обособлены друг от друга и в своей изолированности даны в совершенно застывшем виде. Поэтому для логики Платона является абсолютно недоступным познание живой связи действительности. Единственная связь, которая признается Платоном (да и то лишь в его позднейших «диалектических» диалогах), – это общение (койнония) идей.