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

Софистика и риторика (основатель последней Горгий) повысили интерес к вопросам логики. Сократ и Платон пытались решить основные вопросы логики на идеалистической основе.

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

Логика Аристотеля – закономерное звено в историческом развитии древнегреческой логики. Она находится в теснейшей связи с состоянием научного знания того времени. Несмотря на то, что Аристотель много занимался естествознанием и написал специальные научные трактаты по физике и зоологии, а математическим наукам не посвятил ни одного своего сочинения, тем не менее на его логике лежит печать не естественнонаучного, а математического мышления. Объяснение этому надо искать в том, что Аристотель в течение 20 лет был учеником платоновской школы, в которой процветала математика и где, кроме научных открытий в области математики, большое внимание уделялось вопросу о придании строго логической формы математическим доказательствам, логическому обоснованию истин и приведению их в строгую систему, построенную дедуктивным методом.

В платоновской Академии была создана та методология математики, которая в III в. до н. э. нашла свое завершение в знаменитых «Началах» Евклида. В платоновской Академии современником Аристотеля, величайшим математиком того времени Евдоксом, была создана стереометрия. Именно с этим развитием математических наук в платоновской Академии необходимо поставить в связь учение Аристотеля о началах доказательства, его высокую оценку дедукции.

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

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

Данная В. И. Лениным характеристика «Метафизики» Аристотеля: «Масса архиинтересного, живого, наивного (свежего), вводящего в философию…»[34] применима и к его логике. Ленин говорит, что «логика Аристотеля есть запрос, искание»[35], он отмечает в логике Аристотеля подход к диалектике.

В частности, следует отметить материалистический и диалектический взгляд Аристотеля на отношение между мышлением и языком.

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

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

Напротив, по мнению В. Лютославского, первым логиком в Древней Греции был Платон, который создал две системы логики – более раннюю, основанную на теории абсолютных неизменных и неподвижных идей (в диалогах «Пир», «Федон» и «Государство»), и другую, развитую в диалектических его диалогах «Софист», «Политик» и «Парменид». Лютославский говорит, что в диалоге Платона «Филеб» впервые встречается понятие «средний термин» в том самом значении, в котором Аристотель употребляет его в своей силлогистике. Термин «силлогизм», по мнению Лютославского, также встречается у Платона. Он считает, что Платон далеко не все подал в письменной форме, многое излагалось в его устных лекциях. Но Лютославский, по-видимому, преувеличивает роль Платона в создании науки логики.

Преувеличивают роль Платона также и такие исследователи, как К. Прантль, Г. Тейхмюллер, Г. Майер, П. Наторп и др. Г. Тейхмюллер говорит, например, что Платон – солнце, а Аристотель – луна, светящая отраженным светом, что Аристотель только подбирает колосья из богатого урожая, собранного Платоном, а аристотелевская логика – только созревший платоновский плод. Г. Майер утверждает, что методология Платона оказала глубокое влияние на Аристотеля: без диалектики Платона не могла бы появиться силлогистика Аристотеля.

Еще дальше идет П. Наторп. Он говорит, что теория доказательства, содержащаяся в «Аналитиках» Аристотеля, вытекает из сочинений Платона. В особенности, по мнению Наторпа, это относится к диалогу «Федон», где развиты основы дедуктивного метода. Наторп истолковывает идеи Платона как «методы», а его диалектику – как «чистое построение методов»; суть платонизма он усматривает в учении, что только в чистом развитии методов – именно в логике и математике – достижима полная строгость обоснования, следовательно, и наука в полном смысле слова и что нет подлинной науки о явлениях, об опыте. Превознося логику Платона, Наторп при этом извращает его учение. Э. Целлер приписывает Платону идею о необходимости дисциплинирования мышления. Платон, то мнению Целлера, пришел к убеждению, что эристический скепсис есть плод серьезных апорий, в которые стихийно вовлекается недисциплинированное мышление. Средство, помогающее избежать этих ошибок, Платон видел в диалектическом методе. Сущность же диалектики, по Платону, – в общих понятиях, а ее задача – в строгом логическом обосновании вечного содержания истины. Таковы идеи логики Платона. Аристотель же следует ему. Но Платоном были даны лишь зачатки логики, которые Аристотель развил в цельную и стройную систему. Платон говорит, что все наши убеждения должны находиться в согласии друг с другом, что нельзя давать противоречивых определений одному и тому же в одно и то же время, что высказывание противоположного об одном и том же в одном и том же отношении есть доказательство заблуждения, что истинное знание есть лишь там, где мы сознаем основания принятых нами положений.