МЕТАЛОГИКА

Большая советская энциклопедия (БЭС)

(от Мета...)
        часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория) строения и свойств различных логических теорий. Возникшая на рубеже 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.
         Ю. А. Гастев, В. К. Финн.

Орфографический словарь Лопатина

метал`огика, метал`огика, -и

Философский словарь

(греч. meta — после. за и logos — слово, понятие, рассуждение) — теория, исследующая системы и понятия (Метатеория) совр. формальной логики. Разрабатывает вопросы теории доказательств, определимости понятий, истины в формализованных языках. интерпретации, смысла и т. д. М. делится на два раздела: логический синтаксис и логическую семантику. Развитие М. связано с построением и изучением свойств формализованных языков. Осн. работы в области М. принадлежат Фреге, представителям львовско-вар-шавской школы польских логиков, Гильберту, Геделю, А. Черчу, Карнапу, Дж. Кемени и др.

Философский энциклопедический словарь 2

методология д е д у к т и в-ных наук, часть логики, посвящённая изучению метатеоретич. (см. Метатеория) средствами свойству различных логич. систем и логики в целом. К М. не.-редко относят также метаматематику, т. е. теорию (формальных, математич.) доказательств, и теорию, определимости понятий (см. Определение). Проблемы этих теорий, относящиеся к чисто структурным свойствам различных исчислений, образуют «синтаксич. ветвь» М. (см. Синтаксис). Её «семантич, ветвь» — это логич. семантика (теория смысла и теория значения), «ал-гебраич. ядро» которой оформилось в спец. логико-ма-тематич. дисциплину — теорию моделей, а вопросы соотношения между экстенсиональными и интенсиональными языками (см. Экстенсиональность и Интенсио- -налъность) — в прагматику.
см. ст. Семиотика и лит. к ней.

Если вы желаете блеснуть знаниями в беседе или привести аргумент в споре, то можете использовать ссылку:

будет выглядеть так: МЕТАЛОГИКА

будет выглядеть так: Что такое МЕТАЛОГИКА