МЕТАЛОГИКА
(от мета...), часть
ло гики, посвящённая изучению метатеоре тическими средствами (см. Метатеория)
строения
и свойств различных логических теорий. Возникшая на рубеже 19 и 20 вв.
в связи с исследованиями оснований дедуктивных наук (прежде всего математики),
М. в ходе дальнейшей специализации этих исследований разделилась на синтаксическую
и семантическую «ветви». К первой из них, посвящённой рассмотрению чисто
структурных свойств исчислений, относятся прежде всего теория (формальных)
доказательств (или метаматематика) и теория определимости понятий. Вторая
«ветвь» М., распадающаяся на теорию смысла и теорию референции (теорию
значения),— это логическая семантика, уже из основополагающей для неё работы
А. Тарского, посвящённой исследованию понятия истины (истинности) в формализованных
языках, выделилась вскоре самостоят, теория алгебраич. содержания — т.
н. моделей теория. К М. относится и интересная проблема соотношения между
экстенсиональными и интенсиональными языками, явившаяся отправным пунктом
новой дисциплины— прагматики (см. Семиотика).
Лит.: Тарский А., Введение в логику и методологию дедуктивных
наук, пер. с англ., М., 1948; К а р н а п Р., Значение и необходимость,
пер. с англ., М., 1959; Ч ё р ч А., Введение в математическую логику, пер.
с англ., т. 1, М., 1960 (введение); С а r n а р R., The logical syntax
of language, N. Y.- L., 1937; Т а г s k i
A., Logic, semantics, metamathematics, Oxf., 1956; Martin R., Towards to
systematic pragmatics, Amst., 1959. Ю. А. Гостев, В. К. Финн.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я