Лолита Макеева - Язык, онтология и реализм

Важным шагом в логических исследованиях Карнапа стало дополнение синтаксического анализа языка семантическим, т. е. опирающимся на понятия значения и истины. В 1920–1930-е годы главным образом усилиями логиков Львовско-Варшавской школы были заложены основы логической семантики. Так, Тарский разработал общий метод построения точных определений истины для дедуктивных языковых систем, т. е. метод формулировки правил, определяющих для каждого предложения такой системы необходимые и достаточные условия его истинности [Тарский, 1998, с. 90–129]. Эти правила формулируются в метаязыке, и каждому предложению объектного языка они ставят в соответствие задаваемые в метаязыке условия, при которых это предложение истинно [47] Задание условий истинности предложения осуществляется по схеме: « s » истинно в языке L тогда и только тогда, когда p , где « s » представляет собой имя произвольного предложения s объектного языка L, а p — перевод предложения s в метаязыке. Например, «snow is white» истинно тогда и только тогда, когда снег бел. . Это позволяет дать строгое и точное описание отношений между предложениями языка и фактами. Взяв теорию Тарского в качестве основы, Карнап создал развернутую концепцию логической семантики в серии работ под общим названием «Исследования по семантике» («Studies in Semantics», 1942–1947) [48] В эту серию входят «Введение в семантику» (1942), «Формализация логики» (1943) и «Значение и необходимость» (1947). .

В рамках своей концепции Карнап сформулировал метод семантического анализа, который назвал методом экстенсионала и интенсионала и который является развитием и обобщением фрегевского подхода к анализу значения. Понятия экстенсионала и интенсионала соответствуют значению и смыслу, предложенным Фреге. Различие между этими парами терминов состоит лишь в том, что у Фреге они, по мнению Карнапа, являются экспликатами понятий «денотация» и «коннотация», предложенных Дж. С. Миллем, а экстенсионал и интенсионал являются экспликатами для таких логических терминов, как объем и содержание понятия. Все языковые выражения, к которым применяется семантический анализ и которые соответственно имеют более или менее независимое значение, Карнап называет десигнаторами и выделяет среди них три основных вида: индивидные выражения, предикаторы и (декларативные) предложения. Десигнатор любого вида обладает экстенсионалом и интенсионалом. Для определения последних Карнап вводит понятия фактической истинности ( F -истинности) и логической истинности ( L -истинности) [49] Понятие L -истинности служит у Карнапа экспликатом для понятия аналитической истины. , а также понятия (фактической) эквивалентности ( F -эквивалентности) и логической эквивалентности ( L -эквивалентности). Если для установления F -истинности предложения необходимо обращаться к внеязыковым фактам, то L -истинность устанавливается на основе одних лишь семантических правил языка. Два предложения являются F -эквивалентными, если они одновременно F-истинны или одновременно F -ложны. Понятие F -эквивалентности Карнап распространяет, с соответствующими уточнениями, на все виды десигнаторов и на его основе определяет L -эквивалентность: два десигнатора L -эквивалентны, если их F -эквивалентность вытекает из одних только семантических правил, т. е. если они одновременно L -истинны или одновременно L -ложны. Все эти понятия нужны Карнапу для того, чтобы сформулировать следующие два постулата. 1. Два десигнатора имеют один и тот же экстенсионал, если и только если они F -эквивалентны. Это означает, что экстенсионалом индивидного выражения является объект, предикатора — класс объектов, а предложения — истинностное значение. 2. Два десигнатора имеют один и тот же интенсионал, если и только если они L -эквивалентны. В результате интенсионалом индивидного выражения является индивидный концепт (смысл), предикатора — свойство или отношение, предложения — выражаемое им суждение [50] Карнап, безусловно, дает более строгие определения, используя для этого понятие «описание состояния», под которым понимает класс предложений языка, содержащий для каждого атомарного предложения или его самого, или его отрицание, но ни то и другое вместе, и не содержащий никаких других предложений. Это понятие задает полное описание возможного состояния универсума индивидов с их свойствами и отношениями, выраженными десигнаторами языка. Сегодня в философской литературе такое полное описание называют возможным миром, а экстенсионал и интенсионал определяют следующим образом: экстенсионал термина — это множество объектов в каждом возможном мире, относительно которых данный термин является истинным. Поскольку в разных возможных мирах множество, составляющее экстенсионал термина, может быть различным, то вводится функция f (M) , значением которой в каждом возможном мире M является множество объектов, составляющих экстенсионал термина. Эта функция и называется интенсионалом термина. . Интенсионал десигнатора — это то, что известно человеку, когда он понимает данный десигнатор. Экстенсионалы десигнаторов определяются их интенсионалами, и механизм этого определения обеспечивается связью между интенсионалом и аналитической истиной. Так, в случае индивидных выражений этот механизм состоит в том, что некоторый объект входит в экстенсионал некоторого выражения, если и только если он имеет характеристики, включенные в интенсионал данного выражения [51] Так, если P — свойство, входящее в интенсионал T , то предложение «Все T есть P» является аналитическим, а стало быть, необходимо истинным. .

Итак, в логической семантике Карнапа допускаются в качестве экстенсионалов разного рода языковых выражений (т. е. того, что обозначается ими) не только отдельные «индивиды», но и такие абстрактные сущности, как классы, свойства и т. п. Многие его молодые коллеги (У. В. О. Куайн, Н. Гудмен и др.) усмотрели в таком решении проявление платонизма и стали настаивать на том, что нельзя просто «гипостазировать» подобные сущности; необходимо доказать, что они «действительно существуют». Ответ на возражения своих оппонентов Карнап дал в статье «Эмпиризм, семантика и онтология» (1950), где и сформулировал теорию языковых каркасов. Чтобы лучше понять, чем вызвана предложенная в рамках этой теории трактовка онтологических вопросов, необходимо принять во внимание ряд важных аспектов логического эмпиризма Карнапа.

Как известно, одной из центральных тем в творчестве Карнапа был поиск точного и строгого выражения основной идеи эмпиризма, трактуемой им как сведение всех предложений науки к некоторому классу элементарных («протокольных») предложений, образующих предел их логического анализа и фиксирующих «чистый» опыт. Система знания воспринималась им как закрытая система, в которой протокольные предложения обеспечивали неопровержимый и абсолютно достоверный базис знания, а сводимость к ним всех других предложений науки трактовалась как критерий их истинности и осмысленности. В осуществлении эмпирической редукции Карнап отводил принципиальную роль построению формально-логических языков и строгому определению процедур сведения. Первую попытку соединения эмпиризма и логики Карнап предпринял в книге «Логическое построение мира» («Der logische Aufbau der Welt», 1928), где им была разработана «конструкционная» методология сведения всего массива знания к феноменалистическому базису, составленному из элементов индивидуального чувственного опыта [52] Вдохновила Карнапа на создание этой работы концепция «дефинициальной реконструкции мира», изложенная Б. Расселом в книге «Наше познание внешнего мира» (1914). Карнап определяет феноменалистический базис своей системы как «солипсический», а свою позицию — как «методологический солипсизм», подчеркивая, что выбор базиса — это вопрос методологии, а не метафизики, поэтому возможны и иные решения. . Эта методология предполагала построение многоуровневой системы понятий, связанных между собой цепями определений, цель которых — обеспечить строгую сводимость понятий более «высоких» уровней к понятиям низшего уровня [53] Под определением понятия а на основе понятий b и с Карнап имел в виду правило перевода всех предложений, в которых встречается а , в предложения, в которых встречаются только b и с. Осуществление этого перевода означало бы, что понятие а сводимо к понятиям b и с или строится из них, а в силу транзитивности отношения сводимости можно было бы показать, считал Карнап, что все понятия системы сводятся к ее базисным элементам. . Возможность использования ресурсов символической логики для подобной реконструкции знания, а главное, для описания «сырого материала» опыта обосновывалась Карнапом тем, что наука имеет дело с описанием не содержания опыта, а лишь его структурных свойств, допускающих формальное представление в логических символах. С помощью разработанной им «конструкционной» методологии Карнап надеялся продемонстрировать адекватность предложенного логическими позитивистами верификационистского критерия значения, согласно которому предложение имеет значение, если оно может быть верифицировано, т. е. сведено к протокольным предложениям.