Философия и методология науки XX века: от формальной логики к истории науки (стр. 11 )

Формальные языки, которые мне нравятся, – первопорядковые языки со стандартной логикой – предпочитал и Куайн, однако мы выбираем их по разным причинам. Такие языки нравятся Куайну потому, что логика их проста и в них можно выразить интересные с точки зрения науки части естественного языка. С этим я согласен. Поскольку, однако, меня интересует не улучшение естественного языка, а его понимание, я вижу в формальных языках или канонических системах записи лишь средства исследования структуры естественного языка. Мы знаем, каким образом сформулировать теорию истины для формального языка, поэтому если бы мы также знали, как систематическим образом преобразовать предложения естественного языка в предложения формального языка, то мы имели бы теорию истины для естественного языка. С этой точки зрения, обычные формальные языки представляют собой вспомогательные средства, используемые нами для истолкования естественных языков как более сложных формальных языков.

Работа Тарского об определениях истины для формализованных языков вдохновляет на поиски теории истины для естественных языков. Его метод заключается в том, чтобы сначала задать семантические свойства элементов конечного словаря, а затем на этой основе рекурсивно охарактеризовать истину для каждого бесконечного множества предложений. Истина определяется с помощью тонкого и плодотворного понятия (выполнимости), связывающего предложения и иные выражения с объектами мира. Важная особенность подхода Тарского состоит в том, что определение предиката «истинно» считается приемлемым только в том случае, если для каждого предложения языка L из него следует теорема вида «х истинно в L тогда и только тогда, когда…», где «x» представляет описание данного предложения, а вместо точек стоит перевод предложения в язык теории.

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

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

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

Для естественного языка теория истины полезна тем, что помогает раскрыть его структуру. Рассматривая каждое предложение как составленное определенным образом из конечного числа слов, она делает эту структуру явной. Когда мы изучаем термины и предложения непосредственно, без помощи универсальной теории, мы должны приписать языку метафизику. Словам и предложениям мы приписываем некоторые роли в соответствии с категориями, которые мы постулируем, исходя из эпистемологических или метафизических оснований. Действуя таким образом, философы размышляют над вопросом о том, должны ли существовать сущности или универсалии, соответствующие предикатам, или несуществующие сущности, соответствующие необозначающим именам или дескрипциям; они пытаются обосновать, что предложения соответствуют или не соответствуют фактам или суждениям.

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

III

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

Допустим, мы приняли правило, подобное этому, в качестве части теории истины: «Предложение, состоящее из сингулярного термина, перед которым стоит одноместный предикат, истинно тогда и только тогда, когда объект, именуемый сингулярным термином, принадлежит классу, заданному данным предикатом». Данное правило нарушает это требование, так как если принять такое правило, то для «Сократ мудр» Т‑предложением было бы «Сократ мудр» истинно тогда и только тогда, когда объект, именуемый "Сократ", принадлежит классу, заданному предикату "мудр"». Здесь утверждение условий истинности включает в себя два семантических понятия (именования и детерминации класса), непринадлежащих к концептуальным средствам предложения «Сократ мудр».

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

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

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

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

Идею возможного решения можно извлечь из замечания Куайна относительно того, что взятие в кавычки можно заменить записью по буквам (почти то же самое говорил Тарский). Запись по буквам обладает структурой. Она представляет собой способ построения семантически четкого описания некоторого выражения посредством использования конечного числа выражений: соединительного знака, скобок и (собственных) имен букв. Следуя этим путем, мы могли бы представить выражение в кавычках, например, «кот», как имеющее форму «"к" Ç "о" Ç "т"». Идея оказывается полезной, по крайней мере, на этом уровне. Однако обратим внимание на ее следствия. Мы больше уже не рассматриваем выражение в кавычках «кот» как лишенное структуры, скорее мы видим в нем сокращенную форму некоторого сложного описания. Но не произвольное сокращение для данного конкретного случая, а способ сокращения, которое может быть механически развернуто в описание с более четкой структурой. На самом деле, разговор о сокращении является ошибкой; мы вполне могли бы сказать, что данная теория истолковывает выражения в кавычках как сложные описания.

Другое следствие состоит в том, что в заданной структуре выражений в кавычках мы должны выделять повторяемые и независимые «слова»: имена конкретных букв и соединительный знак. Число этих «слов» конечно, что и требовалось, но они также раскрывают некоторый онтологический факт, который трудно заметить, если рассматривать выражения в кавычках как лишенные структуры имена, – обязательство по отношению к буквам. Мы получаем удобную теорию, рассматривая молекулы как состоящие из конечного числа видов атомов, но при этом мы получаем также атомы.

Более интересным примером того, каким образом постулирование нужной языковой структуры влечет за собой принятие некоторой онтологии, является семантика Фреге для косвенных контекстов, создаваемых предложениями с пропозициональными установками. По мнению Фреге, в предложении типа «Дэниел верит, что в логове есть лев» главным является двуместный предикат «верит», при котором на первом месте стоит сингулярный термин «Дэниел», а на втором месте стоит сингулярный термин, именующий некоторое суждение или «смысл». Такое истолкование не только требует от нас трактовать предложения как сингулярные термины, но еще и находить сущности, которые они именуют. Более того, место точек в выражении «Дэниел верит, что…» может занимать бесконечное множество предложений, поэтому при формулировке определения истины мы должны раскрыть семантическую структуру этих сингулярных терминов: нужно показать, каким образом их можно истолковать как описания суждений. Во избежание противоречий, которые неизбежно появляются, если сингулярные термины в предложении сохраняют свои обычные значения, Фреге утверждает, что они относятся к интенсиональным сущностям. Аналогичные изменения должны претерпеть семантические свойства предикатов, кванторов и пропозициональных связок. Таким образом, теория истины, которую нам нужно найти, способна справиться с данной ситуацией, но лишь за счет двусмысленного истолкования каждого слова языка: слова имеют одну интерпретацию в обычных контекстах и другую – в контекстах, содержащих выражения типа «верит, что». То, что выглядит одним словом, с точки зрения данной теории должно считаться двумя словами. Фреге обратил на это внимание и счел двусмысленность порочным свойством естественного языка; в искусственных языках своей работы «Построение логики смысла и обозначение» Чёрч устранил двусмысленность за счет введения разных выражений, отличающихся написанием.

Фреге предполагал, что при добавлении глагола пропозициональной установки к обозначающему выражению это выражение начинает говорить о сущности более высокого семантического уровня. Отсюда вытекает, что каждое слово и предложение бесконечно двусмысленны; в теории же Чёрча должен существовать бесконечный базисный словарь. Ни в том, ни в другом случае нельзя сформулировать такую теорию истины, которая нам нужна.

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

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

«Джек и Джилл поднимаются на холм» истинно тогда и только тогда, когда Джек поднимается на холм и Джилл поднимается на холм.

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

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

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

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

«Джек упал раньше, чем Джек разбил свою корону»?

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

Фреге показал, как справиться с этим случаем. Условия истинности предложения «Джек упал раньше, чем Джек разбил свою корону» можно сформулировать следующим образом: это предложение истинно тогда и только тогда, когда существует момент времени t и существует момент времени f, такие, что Джек упал в момент t, Джек разбил свою корону в момент f и t предшествует f. Вот так мы вынуждены принимать существование моментов времени, если считаем истинным такого рода предложение. А если принять во внимание холистский характер определения истины, то открытие скрытой онтологии в предложениях, содержащих выражение «раньше, чем», следует распространить и на другие предложения: «Джек упал» истинно тогда и только тогда, когда существует момент времени t, такой, что Джек упал в момент t.

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

Корректная теория выражения «причинно обусловлено», о чем я говорил в других местах, параллельна теории Фреге для выражения «раньше, чем»[8]. Я полагаю, что предложение «Джек упал, что причинно обусловило разбиение его короны» истинно тогда и только тогда, когда существуют события е и f такие, что е есть падение Джека, есть разбиение его короны и е причинно обусловило f. Согласно этому предикат «падение», говорящий о событии, становится первичным, а контексты, содержащие глагол, – производными. Таким образом, предложение «Джек упал» истинно тогда и только тогда, когда существует падение, в котором участвует Джек; «Джек прогуливается» истинно тогда и только тогда, когда существует прогулка, в которой участвует Джек, и так далее. При таком анализе существительное типа «Падение Джека» становится подлинным описанием, и оно описывает некоторое падение, в котором участвует Джек.

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

Это средство действует, но как мы видели, оно заставляет нас принимать некоторую онтологию – онтологию, включающую людей для предложения «Некто упал и разбил свою корону» и (вдобавок) события для предложения «Джонс порезал себе щеку в ванной в субботу». Несколько смешным кажется то обстоятельство, что в современной философии стало модным пытаться избежать онтологических проблем, рассматривая определенные фразы как наречия. Полагают, что мы можем избежать обращения к чувственно данному, если предложение типа «Гора кажется Смиту голубой» перепишем в виде «Гора выглядит голубо для Смита». Другая сходная идея состоит в том, что мы можем обойтись без онтологии интенсиональных объектов, рассматривая предложения о пропозициональных установках как, по сути дела, конструкции с наречиями: предложение «Галилей сказал, что Земля вертится» тогда превращается в «Галилей говорил так‑как‑будто‑Земля‑вертится». Я думаю, мало шансов осуществить систематический семантический анализ таких конструкций, не впадая в онтологическую путаницу.

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

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

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

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

Источник: Метод истины в метафизике // Аналитическая философия: становление и развитие. Антология / Общая редакция и составление . – М.: Дом интеллектуальной книги, Прогресс − Традиция, 1998.

Дополнительные источники

1. Дэвидсон, Д. Истина и интерпретация. – М.: Праксис, 2003.

2. Дэвидсон, Д. Материальное сознание // Аналитическая философия: Избранные тексты. – М.: Изд‑во МГУ, 1993.

3. Дэвидсон, Д. Об идее концептуальной схемы / Пер. // Аналитическая философия: Избранные тексты / Сост. . – М.: Изд‑во МГУ, 1993. – C. 144–159.

4. Дэвидсон, Д. О создании звезд / Пер. с англ. // Синергетическая парадигма. Когнитивно‑коммуникативные стратегии современного научного познания. – М.: ИФРАН, Прогресс − Традиция, 2004.

5.  Философия логики. – М.: Канон, 2008.

Список литературы по теме

1. Аналитическая философия: учебное пособие / Под ред. , (гл. 7, 8). – М.: Изд‑во РУДН, 2006. – С. 397−415, 428−483.

2. Печенкин тезисы У. Куайна в их взаимосвязи // Философия науки в историческом контексте. Сборник статей в честь 85‑летия . – Спб: РХГИ, ИД СпбГУ, 2003. – С. 221−230.

3. Современная философия науки: знание, рациональность, ценности в трудах мыслителей Запада: Учебная хрестоматия / Составление, перевод, вступительные статьи, вводные замечания и комментарии . – М.: Логос, 1996. – С. 18−37.

Контрольные вопросы

1. В чем проявляется бихевиоризм и номинализм в философской концепции У. Куайна?

2. Принимает или критикует У. Куайн концепцию языковых каркасов Р. Карнапа?

3. В чем заключается суть ограничительного тезиса Дюгема‑Куайна?

4. Что с помощью «мифа о музее» хотел доказать У. Куайн?

5. Как можно проиллюстрировать принцип онтологической относительности У. Куайна на примере физических объектов и гомеровских богов?

6. Что такое языковая конвенция?

7. Как оценивает Д. Дэвидсон вклад своих предшественников в разработку проблемы построение теории истины для естественного языка (Фреге, Куайн, Тарский)?

8. Как меняется отношение к метафизике у Д. Дэвидсона по сравнению с логическими эмпиристами?

МОДУЛЬ 2. ПОСТПОЗИТИВИСТСКАЯ ФИЛОСОФИЯ И МЕТОДОЛОГИЯ НАУКИ

1. ПРОГРАММА КРИТИЧЕСКОГО РАЦИОНАЛИЗМА

1.1 Карл Раймунд Поппер. Логика научного исследования

Часть 1. Введение в логику науки

Глава I. Обзор основных проблем

Ученый, как теоретик, так и экспериментатор, формулирует высказывания или системы высказываний и проверяет их шаг за шагом. В области эмпирических наук, в частности, ученый выдвигает гипотезы или системы теорий и проверяет их на опыте при помощи наблюдения и эксперимента. Я полагаю, что задачей логики научного исследования, или, иначе говоря, логики познания, является логический анализ этой процедуры, то есть анализ метода эмпирических наук. Что же это такое – "методы эмпирических наук"? И что вообще мы называем "эмпирической наукой"?

1. Проблема индукции

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

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

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

Вопрос об оправданности индуктивных выводов, или, иначе говоря, о тех условиях, при которых такие выводы оправданны, известен под названием "проблема индукции".

Проблему индукции можно также сформулировать в виде вопроса о верности или истинности универсальных высказываний, основывающихся на опыте, – гипотез и теоретических систем в эмпирических науках. Многие люди убеждены, что истинность таких универсальных высказываний "известна из опыта". Однако ясно, что описание любого опыта – наблюдения или результата эксперимента – может быть выражено только сингулярным высказыванием и ни в коем случае не является универсальным высказыванием. Соответственно когда о некотором универсальном высказывании говорят, что истинность его известна нам из опыта, то при этом обычно подразумевают, что вопрос об истинности этого универсального высказывания можно как‑то свести к вопросу об истинности сингулярных высказываний, которые признаются истинными на основании имеющегося опыта. Иначе говоря, утверждается, что универсальные высказывания основываются на индуктивных выводах. Поэтому когда мы спрашиваем, истинны ли известные нам законы природы, то это просто иная формулировка вопроса о логической оправданности индуктивных выводов.

Из за большого объема этот материал размещен на нескольких страницах: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20