Античная философия Асмус Валентин Фердинандович

Вид материалаДокументы
Силлогизм как импликация
Прочие идеи
Подобный материал:
1   ...   35   36   37   38   39   40   41   42   ...   60




342

 

или, напротив, отрицание. Там, где это произошло, имеется налицо предложение (суждение).

Аристотель классифицирует предложения, разделяя их на четыре группы. Одну из них составляют утвердительные и отрицательные предложения; в первых понятия соединяются, во вторых отделяются друг от друга. Вторую группу составляют истинные и ложные предложения. Для логики Аристотеля, в частности и в особенности для его теории силлогизмов и доказательств, различение истинных и ложных предложений фундаментально. В обосновании этого различения сказывается первенство онтологического аспекта: истинными предложениями Аристотель называет те, в которых утверждается соединение понятий таково, каково соединение их предметов в действительности, или разделение-понятий таково, каково разделение их предметов в действительности. Ложными он называет те предложения, в которых либо соединяется то, что разделено в действительности, либо разъединяется то, что в действительности соединено.

Соединение обоих оснований классификации предложений дает четвероякое их разделение на: 1) утвердительные истинные; 2) отрицательные истинные; 3) утвердительные ложные; 4) отрицательные ложные.

Третье основание для классификации предложений определяется характером их общности. То, что высказывается в предложении, может относиться к одному предмету или к их множеству. Предложение, в котором высказывание относится к одному предмету, — единичное. Предложение, в котором высказывание относится ко всем предметам известного вида, — общее. Предложение с высказыванием не о всех, а о нескольких предметах вида — частное. Кроме того, Аристотель выделяет предложения, называемые неопределенными. Это предложения, в которых неясно, указывается, к какой именно части класса предметов относится высказывание, например: «Удовольствие не есть добродетель».

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




 




343

 

смысле, например, возможным считается не то, что признается таковым, а то, что возможно само по себе.

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

Силлогизм как импликация

Главная и наиболее оригинальная часть логики Аристотеля — его теория силлогизма и теория доказательства. В учении о силлогизме он сам сознавал себя пионером и признавался, что на создание этой теории он затратил большой труд.

Аристотель — основатель формальной логики. Он мог стать им вследствие сделанного им фундаментального для всей логики открытия. Исследуя строение силлогизмов, он все термины в них представляет буквами, т. е. вводит в логику переменные. Уже древний комментатор Аристотеля Александр правильно указал на цель этого нововведения: Аристотель, говоря словами Я. Лукасевича, «представил свою теорию в буквенной форме, , для того чтобы показать, что заключение получается нами не как следствие содержания посылок, а как следствие их формы и сочетания; буквы являются знаками общности и показывают, что такое заключение будет следовать всегда, какой бы термин мы ни избрали» [32, с. 42]. Например: «Если А высказывается о




 




344

 

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

Из этого взгляда на переменные вытекает весь характер логики Аристотеля. Логика эта не есть конкретное учение о конкретных вещах или терминах, не есть учение о «человеке», «смертности» и «Сократе» («все люди смертны», «Сократ — человек», «следовательно, Сократ смертен»). Логика — наука о законах силлогизмов, выраженных в переменных, а не наука о приложении этих законов к примерам или конкретным терминам. Силлогизм Аристотеля вовсе не есть вывод типа: «Всякое В есть Л; всякое С есть В; следовательно, всякое С есть Л». Только под влиянием логики стоиков силлогизм Аристотеля был истолкован как вывод, вроде указанного. У самого Аристотеля силлогизм — импликация указанного выше типа:

Если А присуще всякому В

и В присуще всякому С,

то А присуще всякому С.

Это адекватный пример аристотелевского силлогизма. В нем две посылки, представляющие конъюнкцию, образуют антецедент импликации. Первая посылка: «Если А присуще всякому В», вторая «В присуще всякому С». Консеквент этой импликации: «А присуще всякому С». Общая формула всей импликации: «Если  и , то ». В традиционной логической литературе до самых последних десятилетий этот характер аристотелевской теории силлогизма понимался неточно: силлогизм рассматривался как вывод, в то время как у самого Аристотеля нигде он не выступает в качестве вывода со словом «следовательно». Отличение силлогизма — импликации Аристотеля —




 




345

 

от вывода традиционной логики имеет важное значение. Как импликация силлогизм Аристотеля есть предложением потому должен быть либо истинным, либо ложным. Напротив, традиционный силлогизм как вывод может быть правильным или неправильным, но не может быть истинным или ложным, так как он не предложение, а ряд предложений, не спаянных в форму единства.

Поскольку указанное здесь различие между аристотелевским силлогизмом и его пониманием в традиционной логике как вывода не проводилось до самого последнего времени, прав Я. Лукасевич, говоря, что «и по сей день мы не имеем изложения подлинной аристотелевской логики» [32, с. 60].

Форма силлогизма характеризуется числом переменных, их расположением и, кроме того, так называемыми логическими константами (постоянными). Две из них не представляют специфических характеристик аристотелевской логики и входят как часть в более широкую и более основную логическую систему. Это соединения, выражаемые союзами «и» и «если». Кроме них, имеется еще четыре постоянных, специфически характерных для логической системы Аристотеля. Это отношения между общими терминами: 1) «быть присущим всякому», 2) «не быть присущим ни одному», 3) «быть присущим некоторому» и 4) «не быть присущим некоторому». В схоластической логике эти отношения обозначались соответственно латинскими символами А, Е, I и О. На этих четырех отношениях при посредстве соединений «и» и «если» построена вся теория силлогизма Аристотеля. Теория, эта есть система истинных предложений, или, согласно терминологии Лукасевича, «положений», касающихся констант А, Е, I, О, [см. там же, с. 57].

Аристотелевская логика предполагает свое применение только к общим терминам — вроде: «животное» или «млекопитающее». Но\и эти термины собственно характеризуют не саму его логическую систему, а лишь сферу ее применения.

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




 




346

 

которого Аристотель разделил модусы силлогизма на фигуры, оказалось положение среднего термина в качестве субъекта или предиката посылок. «Мы узнаем фигуру, — говорит он, — по положению среднего термин на» [4, I, 32, 47 в 13]. Цель силлогизма — обосновать отношение А к В. Для этого необходимо найти нечто общее как для Л, так и для В. Найти его возможно тремя способами: 1) посредством утверждения А относительно С, а С относительно В; 2) посредством утверждения С относительно их обоих; 3) посредством утверждения А и В относительно С. «Отсюда очевидно, — поясняет Аристотель, — что всякий силлогизм необходимо строится по какой-нибудь из этих фигур» [там же, I, 23, 41 а]. В этой схеме А — предикат силлогистического заключения, В — его субъект, а С — его средний термин. В первой фигуре средний термин — субъект по отношению к А (к «большему» термину) и предикат по отношению к В (к «меньшему» термину). Во второй фигуре средний термин — предикат, а в третьей — субъект по отношению к большему и меньшему терминам.

Аристотель разделил все силлогизмы на «совершенные» и «несовершенные». «Совершенные» силлогизмы — это, по сути, аксиомы силлогистики: не требующие доказательства и недоказуемые самоочевидные утверждения. «Несовершенные» силлогизмы лишены очевидности и доказываются.

Если не существует термина среднего по отношению к А и В, то предложение «А присуще В» будет «непосредственным». Недоказуемые непосредственные положения, или «начала», составляют фонд основных истин.

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

Аристотель развил систематическое исследование силлогистических форм. В нем он, во-первых, доказывает истинность некоторых из них и, во-вторых, доказывает ложность остальных. Подробности этого исследования принадлежат не истории философии, а логике, где они и рассматриваются.




 




347

 

Прочие идеи

«Вторая Аналитика» Аристотеля посвящена учению о доказательстве. Основные черты и положения этого учения уже даны в анализе теории познания Аристотеля. Добавим немногое.

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

Аристотель тщательно обосновывает тезис о недоказуемости последних, высших посылок знания. Но если это так, то возникает вопрос: существует ли способ убедиться в том, что эти посылки истинны?

Исследуя этот вопрос, Аристотель различает два класса невыводимых, недоказуемых истин: 1) наиболее общие положения, или начала; 2) начала, наиболее частные. Последние непосредственно относятся к единичному бытию: Так как положения от единичном даются восприятием, то восприятие, таким образом, рассматривается у Аристотеля как источник истины. Если бы в основе восприятия не коренились действительные факты, то само появление восприятия было бы непостижимо.

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

Аристотель принимает и другие характеристики чувственного восприятия, на основании которых делались возражения против способности восприятия быть источ-




 




348

 

ником истинного знания. Так. указывали: 1) что свойства, воспринимаемые посредством чувств, противоположны, как, например, тепло и холод; 2) что эти противоположные свойства воспринимаются только оттого, что воспринимающий сам находится в некотором среднем состоянии, от которого эти противоположные состояния отличаются; поэтому с изменением состояния самого воспринимающего изменяются и его восприятия; 3) что восприятия в силу всего указанного относительны. Аристотель принимает все эти указания. Но он полагает, что ошибки, возникающие вследствие всех условий восприятия, исправляются, а по крайней мере, могут быть исправлены, суммарным опытом людей. Сверх того, восприятием обосновываются некоторые общие положения. Как таковые они подлежат, компетенции уже не восприятия, а ума, но ум располагает способностью исправлять и устранять проникшие в познание ошибки.

По Аристотелю, восприятие обладает для познания важным свойством: оно не требует никакого особого доказательства своей истинности. Больше того. Факт восприятия как таковой убедительнее всякого доказательства, полученного посредством операций ума.

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

Каков же источник наивысших и самых общих положений науки? .Будучи высшими посылками всех силлогизмов, они уже не могут быть получены из более общих, чем они, начал. Для получения их возможно предложить только путь опыта.

Аристотель прямо заявляет в «Аналитиках», что для установления общих предложений необходимо обратиться к данным опыта — к единичным фактам. Но суть вопроса остается в том, какими именно средствами опыт может обосновать самые общие положения.




 




349

 

Аристотель указывает средства обобщения единичных и частных положений. Это: 1) индукция; 2) умозаключение по аналогии (называемое у Аристотеля «примером»); 3) способы для сообщения всего лишь вероятным положениям максимума обоснованности.

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

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

Средства, повышающие степень вероятности не вполне достоверных положений, рассматриваются в «Топике». Анализ их основывается на различении достоверного знания и мнения. Знание может быть предметом изучения, мнение может быть оправдываемо на основе вероятности. «Топика» — трактат, в котором излагается искусство доказывать истину из вероятных положений




 




350

 

и ограждать исследование от внутренних противоречий. «Топика» указывает «общие места» (, отсюда название всего сочинения), или точки зрения, из которых возможно получить положения, опорные для доказательства мнения, которое само по себе лишь вероятно. Указываются в основном четыре такие точки зрения: 1) мнения сведущих людей и народа; 2) анализ слов и понятий; 3) усмотрение сходства; 4) усмотрение различий.

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

Поэтому опыт, как его понимает Аристотель, есть всего лишь неизбежный путь для ознакомления с посылками знания, но сам по себе еще не есть последнее основание для принятия высших посылок. Усмотрение таких, последних или высших, принципов может быть, по Аристотелю, достигнуто только с помощью непосредственного усмотрения ума, умозрительного созерцания или, как это назвали впоследствии, в XVIII в., посредством «интеллектуальной интуиции».

Для чего же необходим опыт, если он не может дать доказательства высших принципов? Он необходим не для их доказательства, а для того, чтобы ум имел повод осознать эти принципы. Дело в том, что, по Аристотелю, общие и высшие начала, или принципы знания, не врожденны человеческому уму: они находятся в нем лишь как возможность быть приобретенными. Чтобы эта возможность стала действительностью, необходимо собрать факты, поставить их в поле зрения мысли; необходимо побуждение, которое заставило бы вглядеться в них и возбудило бы в уме акт интеллектуального созерцания этих фактов. Безусловная уверенность в том, что известный предикат принадлежит известному субъ-