В избранное
Поиск в словарях
Искать во всех

Советский философский словарь - металогика

 
 

Связанные словари

1
2

Металогика

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

Понятие М. впервые было выдвинуто Гильбертом в связи с его программой обоснования классич. математики средствами созданной его школой теории доказательств (метаматематики). Ряд важных метатеоретич. результатов (гл. обр. семантич. содержания) был получен Тарским.

См. также Аксиоматический метод, Метаязык.

Советский философский словарь
Рейтинг статьи:
Комментарии:
Оставить комментарий

Вопрос-ответ:

Что такое металогика
Значение слова металогика
Что означает металогика
Толкование слова металогика
Определение термина металогика
metalogika это

Похожие слова

Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Назад

Самые популярные термины

© 2013-2024 www.вокабула.рф
Все права защищены
Контакты
Использование любых материалов, размещённых на сайте, разрешается при условии ссылки. При копировании материалов со страницы сайта www.вокабула.рф – обязательна прямая открытая для поисковых систем гиперссылка.