Металогика
Металогика (от мета...), часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория) строения и свойств различных логических теорий. Возникшая на рубеже 19 и 20 вв. в связи с исследованиями оснований дедуктивных наук (прежде всего математики), М. в ходе дальнейшей специализации этих исследований разделилась на синтаксическую и семантическую "ветви". К первой из них, посвященной рассмотрению чисто структурных свойств исчислений, относятся прежде всего теория (формальных) доказательств (или метаматематика) и теория определимости понятий. Вторая "ветвь" М., распадающаяся на теорию смысла и теорию референции (теорию значения), — это логическая семантика; уже из основополагающей для неё работы А. Тарского, посвященной исследованию понятия истины (истинности) в формализованных языках, выделилась вскоре самостоятельная теория алгебраического содержания — т. н. моделей теория. К М. относится и интересная проблема соотношения между экстенсиональными и интенсиональными языками, явившаяся отправным пунктом новой дисциплины — прагматики (см. Семиотика).
Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Карнап Р., Значение и необходимость, пер. с англ., М., 1959; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960 (введение); Carnap R., The logical syntax of language, N. Y. — L., 1937; Tarski A., Logic, semantics, metamathematics, Oxf., 1956; Martin R., Towards to systematic pragmatics, Amst., 1959.
Ю. А. Гастев, В. К. Финн.
Следующие
Метальдегид, полимеризованный ацетальдегид, средство для борьбы с голыми слизнями; см. Лимациды.… читать дальше
Метамагнетик, вещество, обладающее в слабых магнитных полях свойствами антиферромагнетиков, а в полях напряжённостью выше 5—10 к… читать дальше
Метаматематика, теория доказательств, теория доказательства, в широком смысле слова — метатеория математики, не предполагающая н… читать дальше
