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