Карл Поппер - Неоконченный поиск. Интеллектуальная автобиография

• Название: Неоконченный поиск. Интеллектуальная автобиография
• Автор: Карл Поппер
• Издательство: Раймунд
• Жанр: Философия
• Год: 2014
• ISBN: 978-5-906345-02-8

Предлагаемая вниманию читателей книга представляет собой философскую автобиографию Карла Раймунда Поппера (1902–1994), — крупнейшего философа науки и социального мыслителя XX века. Повествование автора об особенностях его интеллектуального становления и философской эволюции разворачивается на фоне масштабных событий XX века — первой мировой войны, межвоенного лихолетья 1920–1930 годов, вынужденной эмиграции и годов скитаний. Автор приоткрывает перед читателем вход в лабораторию своей мысли, показывает рождение своих главных философских концепций и идей через призму споров с коллегами, друзьями и оппонентами. Книга рассчитана на широкий круг читателей.

---

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

(3) Мы должны отличать достижения или решения в объективном смысле от субъективного чувства достижения, знания или веры. Любое достижение может считаться решением проблемы, а потому и, в обобщенном смысле, теорией; и, будучи таковым, оно принадлежит миру знания в объективном смысле — который, строго говоря, является миром проблем, их пробных решений и их критического рассмотрения. Геометрические и физические теории, например, принадлежат этому миру в объективном смысле («миру 3»). Как правило, они являются предположениями на различных стадиях их критического обсуждения.

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

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

32. Индукция, дедукция, объективная истина

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

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

Как мы можем понять, что конкретно означает, когда люди говорят, что утверждение (или «осмысленное утверждение, как называет его Тарский)[241] соответствует фактам? В самом деле, может показаться, что, если мы не примем что-нибудь вроде изобразительной теории языка (как поступил Витгенштейн в «Трактате»), то мы не сможем говорить ни о чем таком, как соответствие утверждения факту. Но изобразительная теория безнадежно и чудовищно ошибочна, и поэтому можно подумать, что не существует никаких перспектив объяснения соответствия утверждения факту.

Можно сказать, что в этом заключается фундаментальная проблема так называемой «теории истины как соответствия», то есть теории, которая объясняет истину соответствием фактам. Можно понять, что эта трудность вызвала у философов подозрение, что теория соответствия неверна или — еще хуже — бессмысленна. Философское достижение Тарского в этой области, по-моему, состоит в том, что он опрокинул это решение. Он сделал это очень просто, рассудив, что теория, которая имеет дело с любыми взаимоотношениями между утверждениями и фактами, должна быть способной говорить (а) об утверждениях и (Ь) о фактах. Для того, чтобы мочь говорить об утверждениях, она должна использовать имена утверждений, описания утверждений и, возможно, такие слова, как «утверждение»; то есть эта теория должна быть сформулирована в метаязыке — в языке, на котором можно говорить о языке. А для того, чтобы мочь говорить о фактах и о предполагаемых фактах, она должна использовать имена фактов, или описания фактов и, возможно, такие слова, как «факт». Как только у нас появляется метаязык — язык, на котором можно говорить и об утверждениях, и о фактах, — мы можем с легкостью делать заявления о соответствии между утверждением и фактом, поскольку мы можем сказать:

Утверждение на немецком языке, состоящее из трех слов, «Gras», «ist» и «grün», в этом порядке, соответствует фактам, если и только если трава зелена.

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

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

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

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

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

Теория истины как соответствия, спасенная Тарским, рассматривает истину как объективное явление — как свойство теорий, а не опыт, веру или что-нибудь субъективное вроде этого. Она также является абсолютной, а не относительной к некоторому множеству предпосылок (или представлений), так как вопрос, истинны ли данные предпосылки, может быть задан о любом их множестве.

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

Все люди смертны. Сократ смертен… Сократ человек.

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

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