<<
>>

МЕТАЛОГИКА

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

<< | >>
Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме МЕТАЛОГИКА: