Неоконченный поиск

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

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

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

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

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

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

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

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

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

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

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