Александр Маковельский - История логики

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

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

Таким образом, в диалектике Сократа заключались уже зачатки объективного идеализма, которые затем были развиты Платоном.

Поскольку у Сократа не было философской системы, его ученики стали развивать отдельные стороны его учений и разбились на несколько школ. Кроме Платона, известны четыре сократовца, основавшие свои философские школы: Евклид [15] . Не путать с выдающимся математиком. , Федон, Антисфен и Аристипп.

Евклид основал мегарскую школу, наиболее видными представителями которой были Евбулид, Диодор Крон и Стильпон. Мегариков называли в древности эристиками и диалектиками. Евклид соединил сократовский взгляд на истинное познание как на познание общего в понятиях с элейским учением о единстве сущего и о противоположности между чувственным и разумным познанием. Он пришел к положению, что чувственное познание показывает нам только становящееся и изменчивое, и лишь мышление открывает нам неизменное истинно сущее. Это учение Евклид выработал совместно с Платоном, с которым он находился в дружеском общении. Евклид отбросил сократовскую индукцию, говоря, что привлечение подобного не делает предмет рассуждения более ясным, а неподобное не относится к предмету рассуждения.

Сократовское требование поисков истины в понятиях мегарики поняли как задачу, уже осуществленную в языке. В обозначении вещей в речи они усматривали готовое и завершенное знание в понятиях, производя таким образом подмену понятий обычными представлениями. То, что для Сократа было искомым (понятие), для них стало известным само по себе. В результате подмены понятий готовыми застывшими представлениями мегарики пришли к отрицанию движения, так как при допущении движения пришлось бы признать изменение понятий, а последние признавались ими неизменными.

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

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

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

В целях дискредитации логической функции суждения мега-рики также строили ложные умозаключения, основанные на отождествлении слова «есть», выполняющего роль связки суждения, со словом «есть», указывающим на существование предмета (отождествление копулятивного и экзистенциального бытия). Имеются суждения, которые несуществующему предмету приписывают положительный предикат (об этом предмете разъясняется, что он есть то-то и то-то), и имеются суждения, которые о существующем предмете говорят, что он не есть что-нибудь. Указывая на это, мегарики заявляли, что такое применение суждения заключает в себе предпосылки, что несуществующее существует и существующее не существует; следовательно, суждение в самом себе абсурдно.

Мегарики стремились доказать, что тот, кто не придерживается основного их положения об изолированности понятий (как от мира явлений, так и от других понятий), неизбежно впадает в неразрешимые противоречия. Здесь источник всех эристических фокусов мегариков. Для этой цели ими была выработана специальная техника ведения рассуждений с характерной, в высшей степени вымеренной и скупой на слова точностью выражения (Прантль).

Положительная часть учения Евклида и мегарской школы была очень скудной и чрезмерно абстрактной, зато мегарики развернули обширную полемику против учений других философских школ и в этой борьбе проявили большое остроумие. Их эристические доказательства были облечены в катехизическую форму, причем запрещались всякие другие ответы, кроме «да» и «нет». Обычно они нападали не на посылки своих противников, а на заключения и прибегали к косвенному доказательству (deductio ad absurdum). Мегарской школе приписывалось семь софизмов и парадоксов: «Лжец», «Спрятанный», «Электра», «Покрытый», «Куча», «Рогатый» и «Лысый».

1) Парадокс «Лжец»:

«Если кто-нибудь говорит, что он лжет, то лжет ли он или говорит правду?»

2) Парадокс «Куча»:

«Одно зерно еще не есть куча. Равным образом, если мы будем прибавлять все время по одному зерну, кучи еще не будет. Когда же прибавление одного зерна образует кучу?»

3) Парадокс «Лысый»:

«Если вырвать один волос, человек не становится лысым, равным образом, если вырвать еще один волос, еще один и т. д. С которого по счету вырванного волоса человек становится лысым?»

4) Софизм «Рогатый»:

«Чего ты не потерял, то у тебя есть.

Рогов ты не терял. Следовательно, ты рогат».

Парадокс «Куча» был уже сформулирован Зеноном Элейским. Парадоксы «Спрятанный», «Покрытый» и «Электра» являются лишь различными формами одного парадокса: «Знаешь ли ты спрятанного? Знаешь ли ты покрытого? Знала ли Электра своего брата прежде, чем он назвал себя?» Дается на эти вопросы ответ «нет» и отсюда делается заключение: «Следовательно, ты не знаешь того, кого знаешь».