Для логического деления Платон устанавливает следующие правила. Кто хочет дать правильное деление, тот не должен вносить в вещи произвольные различия, но должен отыскивать различия в самих вещах. Надо искать естественные расчленения родовых понятий. При этом следует соблюдать два условия: 1) делить по действительным качественным различиям, а не просто по количественным и 2) не пропускать промежуточных ступеней. Без соблюдения этих двух условий мы получим искусственное деление. Конечная задача – посредством логического деления видов и подвидов отыскать весь объем родового понятия и создать систему понятий.
В своей концепции истины Платон примыкает к метафизической позиции Парменида, и, исходя из нее, он говорит, что об изменчивом преходящем предмете не может быть высказано истинное утверждение (истинное в собственном, строгом смысле слова). По Платону, понятие истины требует не только формальной последовательности мышления и не только правильного соответствия представлений отображаемой ими реальности, но и еще истинного объема, а таковым является только идея. Платоновские же идеи суть гипостазированные элементы действительности, отвлеченные от конкретной связи, в которой они даны в действительности, изолированные, взятые в застывшем виде и превращенные в самостоятельные сущности.
Теория идей Платона является типичной метафизической доктриной, отрицающей движение и изменение подлинно сущего и уничтожающей живую связь действительности. Критикуя учение школы Гераклита, Платон говорит, что признание абсолютной изменчивости вещей несовместимо с логическим законом противоречия, который является основным законом мышления. Без этого основного закона невозможны никакое мышление и никакое познание; мышление по самой своей природе связано с этим законом, и взгляд Гераклита именно потому ложен, что он противен природе мышления. Для Платона основное условие мышления – постоянный, пребывающий объект.
Понятие не может принять в себя свою противоположность – это положение Платон высказывает в диалогах «Федон» и «Государство» (IV и X книги). В «Федоне» закон противоречия выступает в качестве одного из главных аргументов, доказывающих бытие идей. Каждая идея есть только то, что она есть, и поэтому она совершенно проста. Две единицы, прибавленные друг к другу, не могут дать два, ибо прибавление не порождает новую идею. Прибавление есть только субъективная сторона вечного отношения между идеей единицы и идеей двух, существующего независимо от нашего разума.
Платон пользуется законом противоречия как нормой мышления. Он понимает этот закон в том смысле, что любая определенная вещь не может в одно и то же время в одном и том же отношении иметь противоречивые свойства. Логические законы тождества и противоречия, применяемые Платоном, отличны от формальнологических законов тождества и противоречия в том виде, как последние выступают уже у стоиков. Платон определенно выставляет в качестве критерия истинного суждения положение: «Истинное суждение высказывает бытие, как оно есть в действительности, ложное суждение высказывает бытие, как оно не есть на самом деле».
Платоновский закон тождества есть логический закон в старометафизическом смысле: он утверждает постоянство (неизменность) истинного бытия, а потому также и истинной мысли.
Платоновский закон тождества отличается от формальнологического еще и тем, что в противоположность абстрактному характеру последнего Платон подвергает критике единство, лишенное различия, и показывает сосуществование противоположностей (в «Филебе» и особенно в «Пармениде»).
Для Платона законы тождества и противоречия суть законы самого бытия. Лишь в X книге «Государства» закон противоречия трактуется как закон мышления. Закон достаточного основания формулируется в «Федоне», где сказано, что не следует доверять простой вероятности; подобно тому, как в геометрии нет места для вероятности, так же должно быть и в остальных науках.
Платон неоднократно в своих диалогах опровергает положение софистов и эристиков о том, что все истинно. Для опровержения этого положения у Протагора Платон (в «Теэтете») заимствует у Демокрита прием «перитропэ». Положение Протагора обращается против него самого.
У Платона теория научного метода строится на теории основных логических функций. Суждение, по его учению, есть элементарная форма соединения представлений. Можно даже сказать, что высказанное суждение идентично с самим мышлением, ибо мышление, по Платону, есть внутренняя беседа души с собой. Поэтому для Платона суждение есть наиважнейший элемент философии, уничтожение которого есть уничтожение самого мышления и самой речи.
По своей логико-грамматической структуре суждение представляет собой объединение имени, т. е. подлежащего, и глагола, т. е. сказуемого. Оно есть или утверждение или отрицание. Теория суждения развита Платоном в диалоге «Софист» (259 Д).