Скачать 15.12 Кбайт
Метод истины в метафизике[1]
Следуя этим путем, мы могли бы представить выражение в кавычках, например, «кот», как имеющее форму «"к" З "о" З "т"» или, еще лучше, «((ка З о) З т)». Идея оказывается полезной, по крайней мере, на этом уровне. Однако обратим внимание на ее следствия. Мы больше уже не рассматриваем выражение в кавычках «кот» как лишенное структуры, скорее мы видим в нем сокращенную форму некоторого сложного описания. Но не произвольное сокращение для данного конкретного случая, а способ сокращения, которое может быть механически развернуто в описание с более четкой структурой. На самом деле, разговор о сокращении является ошибкой; мы вполне могли бы сказать, что данная теория истолковывает выражения в кавычках как сложные описания.
Другое следствие состоит в том, что в заданной структуре выражений в кавычках мы должны выделять повторяемые и независимые «слова»: имена конкретных букв и соединительный знак. Число этих «слов» конечно, что и требовалось, но они также раскрывают некоторый онтологический факт, который трудно заметить, если рассматривать выражения в кавычках как лишенные структуры имена, — обязательство по отношению к буквам. Мы получаем удобную теорию, рассматривая молекулы как состоящие из конечного числа видов атомов, но при этом мы получаем также атомы.
Более интересным примером того, каким образом постулированйе нужной языковой структуры влечет за собой принятие некоторой онтологии, является семантика Фреге для косвенных контекстов, создаваемых предложениями с пропозициональными установками. По мнению Фреге, в предложении типа «Дэниел верит, что в логове есть лев» главным является двуместный предикат «верит», при котором на первом месте стоит сингулярный термин «Дэниел», а на втором месте стоит сингулярный термин, именующий некоторое суждение или «смысл». Такое истолкование не только требует от нас трактовать предложения как сингулярные термины, но еще и находить сущности, которые они именуют. Более того, место точек в выражении «Дэниел верит, что...» может занимать бесконечное множество предложений, поэтому при формулировке определения истины мы должны раскрыть семантическую структуру этих сингулярных терминов: нужно показать, каким образом их можно истолковать как описания суждений. Во избежание противоречий, которые неизбежно появляются, если сингулярные термины в предложении сохраняют свои обычные значения, Фреге утверждает, что они относятся к интенсиональным сущностям. Аналогичные изменения должны претерпеть семантические свойства предикатов, кванторов и пропозициональных связок. Таким образом, теория истины, которую нам нужно найти, способна справиться с данной ситуацией, но лишь за счет двусмысленного истолкования каждого слова языка: слова имеют одну интерпретацию в обычных контекстах и другую — в контекстах, содержащих выражения типа «верит, что». То, что выглядит одним словом, с точки зрения данной теории должно считаться двумя словами. Фреге обратил на это внимание и счел двусмысленность порочным свойством естественного языка; в искусственных языках своей работы «Построение логики смысла и обозначение» Чёрч устранил двусмысленность за счет введения разных выражений, отличающихся написанием[7].
Фреге предполагал, что при добавлении глагола пропозициональной установки к обозначающему выражению это выражение начинает говорить о сущности более высокого семантического уровня. Отсюда вытекает, что каждое слово и предложение бесконечно двусмысленны; в теории же Чёрча должен существовать бесконечный базисный словарь. Ни в том, ни в другом случае нельзя сформулировать такую теорию истины, которая нам нужна.
Фреге ясно понимал, что при создании систематической теории нужно рассматривать истинностное значение каждого предложения как функцию семантических ролей его частей или аспектов — гораздо яснее, чем кто-либо до него, и яснее, чем многие после него. Чего Фреге не смог оценить, как показывает последний пример, так это тех дополнительных ограничений, в частности требования конечности словаря, которые вытекают из универсальной теории истины. Фреге развил семантику до того пункта, в котором данное требование становится понятным и, может быть, даже выполнимым, однако ему не пришло в голову сформулировать это требование.
Посмотрим более внимательно на операцию, позволяющую нам выявить скрытую структуру с помощью характеристики предиката «истинно». Начальные шаги можно проиллюстрировать на примере такого простого предложения, как «Джек и Джилл поднимаются на холм». При каких условиях это предложение истинно? Проблема заключается в том, что в данном предложении присутствует повторяющееся средство - конъюнкция. Ясно, что после слова «Джилл» мы можем до бесконечности добавлять фразы типа «и Мэри». Поэтому любое утверждение об условиях истинности этого предложения должно иметь в виду бесконечность предложений, создаваемых тем же самым средством, и это требует истолкования. Для этого в теорию истины включается рекурсивная процедура, которая может использоваться столько раз, сколько нужно.
Другое следствие состоит в том, что в заданной структуре выражений в кавычках мы должны выделять повторяемые и независимые «слова»: имена конкретных букв и соединительный знак. Число этих «слов» конечно, что и требовалось, но они также раскрывают некоторый онтологический факт, который трудно заметить, если рассматривать выражения в кавычках как лишенные структуры имена, — обязательство по отношению к буквам. Мы получаем удобную теорию, рассматривая молекулы как состоящие из конечного числа видов атомов, но при этом мы получаем также атомы.
Более интересным примером того, каким образом постулированйе нужной языковой структуры влечет за собой принятие некоторой онтологии, является семантика Фреге для косвенных контекстов, создаваемых предложениями с пропозициональными установками. По мнению Фреге, в предложении типа «Дэниел верит, что в логове есть лев» главным является двуместный предикат «верит», при котором на первом месте стоит сингулярный термин «Дэниел», а на втором месте стоит сингулярный термин, именующий некоторое суждение или «смысл». Такое истолкование не только требует от нас трактовать предложения как сингулярные термины, но еще и находить сущности, которые они именуют. Более того, место точек в выражении «Дэниел верит, что...» может занимать бесконечное множество предложений, поэтому при формулировке определения истины мы должны раскрыть семантическую структуру этих сингулярных терминов: нужно показать, каким образом их можно истолковать как описания суждений. Во избежание противоречий, которые неизбежно появляются, если сингулярные термины в предложении сохраняют свои обычные значения, Фреге утверждает, что они относятся к интенсиональным сущностям. Аналогичные изменения должны претерпеть семантические свойства предикатов, кванторов и пропозициональных связок. Таким образом, теория истины, которую нам нужно найти, способна справиться с данной ситуацией, но лишь за счет двусмысленного истолкования каждого слова языка: слова имеют одну интерпретацию в обычных контекстах и другую — в контекстах, содержащих выражения типа «верит, что». То, что выглядит одним словом, с точки зрения данной теории должно считаться двумя словами. Фреге обратил на это внимание и счел двусмысленность порочным свойством естественного языка; в искусственных языках своей работы «Построение логики смысла и обозначение» Чёрч устранил двусмысленность за счет введения разных выражений, отличающихся написанием[7].
Фреге предполагал, что при добавлении глагола пропозициональной установки к обозначающему выражению это выражение начинает говорить о сущности более высокого семантического уровня. Отсюда вытекает, что каждое слово и предложение бесконечно двусмысленны; в теории же Чёрча должен существовать бесконечный базисный словарь. Ни в том, ни в другом случае нельзя сформулировать такую теорию истины, которая нам нужна.
Фреге ясно понимал, что при создании систематической теории нужно рассматривать истинностное значение каждого предложения как функцию семантических ролей его частей или аспектов — гораздо яснее, чем кто-либо до него, и яснее, чем многие после него. Чего Фреге не смог оценить, как показывает последний пример, так это тех дополнительных ограничений, в частности требования конечности словаря, которые вытекают из универсальной теории истины. Фреге развил семантику до того пункта, в котором данное требование становится понятным и, может быть, даже выполнимым, однако ему не пришло в голову сформулировать это требование.
Посмотрим более внимательно на операцию, позволяющую нам выявить скрытую структуру с помощью характеристики предиката «истинно». Начальные шаги можно проиллюстрировать на примере такого простого предложения, как «Джек и Джилл поднимаются на холм». При каких условиях это предложение истинно? Проблема заключается в том, что в данном предложении присутствует повторяющееся средство - конъюнкция. Ясно, что после слова «Джилл» мы можем до бесконечности добавлять фразы типа «и Мэри». Поэтому любое утверждение об условиях истинности этого предложения должно иметь в виду бесконечность предложений, создаваемых тем же самым средством, и это требует истолкования. Для этого в теорию истины включается рекурсивная процедура, которая может использоваться столько раз, сколько нужно.
|
|