Логика

Философы делят логическую аргументацию на два больших и существенно различающихся класса: аргументы индуктивной и дедуктивной структуры.

Заманчивой кажется нам мысль о соответствующем делении рассматриваемой проблемы: объект-гипотезы формируются путем логической индукции, а организация языковой символики отражает логическую дедукцию. Дело в том, что различие между индукцией и дедукцией является чрезвычайно существенным для дальнейшего изучения связей между восприятием и мышлением.

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

Если бы аргументация была построена по принципу дедукции, вывод никогда не был бы опровергнут. Следовало взять "белый" в качестве определяющей характеристики "лебедя"; тогда появление черных австралийских птиц, похожих во всем, кроме окраски, на лебедей, ничуть не повлияло бы на сделанный ранее вывод, потому что этих птиц нельзя включить в тот же класс объектов - "лебеди". Новое наблюдение, новый факт может опрокинуть вывод, сделанный путем индукции, но не путем дедукции.

Если в основу дедуктивного построения положены верные посылки, вывод непременно будет верным. Возьмем пример из арифметики. Пусть в столовой стоит восемь стульев и еще два стула - в кухне, тогда всего будет десять стульев. Если посылка неверна, то и вывод будет фактически неверным, но сама дедукция все же верна, поскольку ее построение правильно. Дедуктивные заключения не опровергаются фактами; последние могут показать лишь, что посылки для дедуктивных построений были выбраны неверно. Маловероятный или даже совсем невероятный вывод заставляет нас более внимательно изучить посылки; очень может быть, что в результате такого изучения будут исправлены исходные положения и сделан фактически верный вывод. Чтобы определить, является данное рассуждение индуктивным или дедуктивным, следует рассмотреть посылки, на которых оно построено, связав посылку с заключением, противоположным первоначальному. Если рассуждение построено на дедукции, то противоположное заключение окажется логически несовместимым с посылками. Если же оно построено на индукции, то новое сочетание не будет логически невозможным, хотя не исключено, что оно покажется весьма мало-вероятным. Так, в случае когда птицу нельзя назвать лебедем, если птица не белой окраски, заявление "Я видел небелого лебедя" - абсурд. И поскольку такое утверждение логически невозможно, сразу становится ясно, что заключение, которому оно противоречит, было построено на дедукции. Это ясно потому, что мы приняли "белый" в качестве определяющей характеристики "лебедя". Не сделай мы такого ограничения - и заявление "Я видел небелого (черного) лебедя" не окажется абсурдом, хотя и будет воспринято как крайне маловероятное (именно так оно и воспринималось, пока из Австралии не завезли в Европу черных лебедей).

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

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

По-видимому, можно утверждать, что - поскольку в отличие от владения формальной речью восприятие не является исключительной привилегией человека - перцептивные процессы в своей сущности не дедуктивны. Остается принять, что они индуктивны.

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

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