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

Чтение книги онлайн.

СКАЧАТЬ к синтаксическому анализу языка.

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

      В рамках своей концепции Карнап сформулировал метод семантического анализа, который назвал методом экстенсионала и интенсионала и который является развитием и обобщением фрегевского подхода к анализу значения. Понятия экстенсионала и интенсионала соответствуют значению и смыслу, предложенным Фреге. Различие между этими парами терминов состоит лишь в том, что у Фреге они, по мнению Карнапа, являются экспликатами понятий «денотация» и «коннотация», предложенных Дж. С. Миллем, а экстенсионал и интенсионал являются экспликатами для таких логических терминов, как объем и содержание понятия. Все языковые выражения, к которым применяется семантический анализ и которые соответственно имеют более или менее независимое значение, Карнап называет десигнаторами и выделяет среди них три основных вида: индивидные выражения, предикаторы и (декларативные) предложения. Десигнатор любого вида обладает экстенсионалом и интенсионалом. Для определения последних Карнап вводит понятия фактической истинности (F-истинности) и логической истинности (L-истинности)[49], а также понятия (фактической) эквивалентности (F-эквивалентности) и логической эквивалентности (L-эквивалентности). Если для установления F-истинности предложения необходимо обращаться к внеязыковым фактам, то L-истинность устанавливается на основе одних лишь семантических правил языка. Два предложения являются F-эквивалентными, если они одновременно F-истинны или одновременно F-ложны. Понятие F-эквивалентности Карнап распространяет, с соответствующими уточнениями, на все виды десигнаторов и на его основе определяет L-эквивалентность: два десигнатора L-эквивалентны, если их F-эквивалентность вытекает из одних только семантических правил, т. е. если они одновременно СКАЧАТЬ