Третьим этапом изучения является уточнение условий адекватности семантических понятий; примером может служить построение конвенции Т.

В построении семантики Тарский видит два пути: один из них преодолевается аксиоматическим методом, другой - методом определений. Первый метод заключается в введении семантических понятий в состав первичных понятий метаязыка, характеризуемых системой соответствующих аксиом, из которых затем выводились бы "семантические утверждения". Этот путь Тарский считает сомнительным по нескольким причинам. Он пишет: "В этом представлении семантика является самостоятельной дедуктивной теорией, для которой логическим фундаментом является морфология языка. Этот метод, кажущийся легким и простым, в сущности однако чреват рядом трудностей и вызывает всевозможные сомнения". ([1936a],S.54) Во-первых, отсутствуют объективные критерии выбора аксиом и они могут носить "в определенной мере случайный характер, зависящий от разных второстепенных факторов, например, от актуального состояния знаний в рассматриваемой области". Во-вторых, "трудно с психологической точки зрения признать естественным такой метод построения науки, в котором роль первичных понятий,- а следовательно понятий, содержание которых вроде как понятно само по себе и не требует дальнейших выяснений - выполняют того рода понятия, которые в прошлом были неоднократно источником путаницы и недоразумений."(S.54) В-третьих, Тарский опасается, удастся ли аксиоматическое представление семантики согласовать с постулатами физикализма и единства знаний, ибо "нелегко было бы согласиться с таким широким пониманием физики, при котором семантика помещалась бы еще и в ее границах." (S.54)

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

Весьма важным использованием развиваемой концепции семантики является конструирование Тарским дефиниции логического следования [1936b]. Как и в случае с истинностью Тарский обращается к интуитивному пониманию следования, которое может быть выражено следующим образом: X логически следует из класса предложений К тогда и только тогда, когда невозможно, чтобы все предложения из класса К были истинны, а предложение X - ложно. Определение логического следования посредством выводимости при помощи совокупности правил, по мнению Тарского, не может помочь в реконструкции вышеприведенной интуитивной выражения, ибо, согласно утверждению Геделя о неполноте, можно всегда построить предложение (например, в арифметике натуральных чисел), которое не выводимо, хотя к нему и применимо интуитивное понятие следования. Тем не менее понятие логического следования удается сформулировать точно, используя семантические понятия. Так понятие выполнения позволяет определить понятие модели, а при помощи этого последнего Тарский предлагает следующую дефиницию: Предложение X логически следует из предложений класса К тогда и только тогда, когда каждая модель класса К является одновременно и моделью предложения X.

Результат Тарского показывает, что следование в семантическом смысле (логическое следование) не перекрывается понятием следования в синтаксическом смысле, т.е. выводимостью: если X выводимо из класса К, то X логически следует из класса К, но не всегда верно обратное. Этот результат может служить подтверждением того факта, что семантика "богаче" синтаксиса, а одним из главных результатов "идейных" работ Тарского [1936a],[1936b] считать обоснование тезиса, что семантику языка никогда не удается полностью погрузить в его синтаксис (за исключением простых языков).

И наконец, отметим сам метод семантического анализа, используемого Тарским при построении "научной семантики". Занимаемая им позиция - это, как правило, простая и интуитивно ясная формулировка (классическая теория истинности, понятие выполнения), которая затем совершенствуется при помощи точных логических понятий.

ЗАКЛЮЧЕНИЕ


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