Новая философская энциклопедия. Том второй Е—М

МЕТОД чезает после небольшого исправления приведенного предложения: «Слово «лошадь» — это существительное». Значительно большие трудности возникают с известными еще из Античности парадоксами (позднее их назовут семантическими), напр. с парадоксом «Лжец» (4 в. до н. э.): «Один критянин сказал, что все критяне — всегда лгут. Что он сказал — истину или ложь?», в котором наряду с предметными терминами используется метаязыковое понятие «истина», причем не только для оценки соответствующего предметного высказывания, но и по отношению ко всему этому утверждению в целом. Подобные парадоксы представляют проблему и ныне. Т. о., с иерархией человеческих дескриптивных (описательных) языков и трудностями использования языков разных уровней человечество неявно стало сталкиваться, начиная с античности (Ксенофан, Платон, Аристотель), во всяком случае со времени более или менее ясного понимания содержания мета- языковых терминов типа «истина». Впервые различение языка-объекта и метаязыка проведено Д. Гильбертом, однако без использования соответствующей терминологии, а применительно к различению «математики» и «метаматематики». Термины «язык-объект» и «метаязык» были введены А. Тарским и Р. Карнапом в сер. 1930-х гг. Это различение стало активно использоваться в исследованиях проблем математической логики и оснований математики. Несколько позже его стали применять в лингвистике, семиотике, в философии и методологии науки. В каждой из этих дисциплин применение термина «метаязык» при сохранении его общего значения приобретает некоторые специфические черты. Так, в логике и математике метаязык обычно понимается как средство изучения формализованных языков—логических и математических исчислений, или (в несколько иной формулировке) как формализованный или неформализованный язык, на котором формулируются утверждения метаматематики; в лингвистике метаязык рассматривается как средство построения металингвистики и т. д. При всем различии таких трактовок общепризнано, что метаязык должен быть богаче соответствующего языка-объекта, так как он должен содержать не только обозначения для всех имен и выражений последнего, но и фиксировать с помощью своих специфических средств их свойства и устанавливать различного рода отношения и связи между ними. Только в этом случае удается избежать различного рода парадоксов и антиномий при использовании иерархии используемых человеком языков. Богатые выразительные средства метаязыков логики, математики, лингвистики и других дисциплин позволяют формулировать на них метатеории соответствующих предметных об ластей научного знания. Лит.: Клини С. К. Введение в метаматематику. М, 1957; ЧерчА. Введение в математическую логику. М., 1960; ГастевЮ. А. Гомоморфизмы и модели. М, 1975; Драгалин А. Г. Математический интуиционизм. Введение в теорию доказательств. М, 1979; Гвишиани Н. Б. Язык научного общения (вопросы методологии). М., 1986; Смирнова ЕД. Логическая семантика и философские основания логики. М., 1986; Тарский А. Семантическая концепция истины и основания семантики. — В кн.: Аналитическая философия. Становление и развитие. М., 1998; Carnap R. Der logische Syntax der Sprache. W, 1934; Tarski A. Logic, Semantic, Metamathematic. Oxf, 1956. В. Н. Садовский