История логики.

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

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

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

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

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

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

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

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

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