Металогика

МЕТАЛОГИКА – раздел современной логики, в котором исследуются способы построения различных логических теорий, свойства, присущие им, а также отношения, существующие между ними. Зачатки металогической проблематики можно обнаружить уже в «Аналитиках» Аристотеля, который пытался обосновать синтаксическими методами полноту своей ассерторической силлогистики. Однако в подлинном смысле металогика стала активно развиваться в связи с построением разнообразных логических систем и их использованием в обосновании математики (в метаматематике)...

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

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

МЕТАЛОГИКА — раздел современной логики, в котором исследуются способы построения логических теорий, свойства, присущие им, а также отношения, существующие между ними. Зачатки проблематики М. можно обнаружить уже в «Аналитиках» Аристотеля, пытавшегося обосновать синтаксическими методами полноту своей ассерторической силлогистики, однако активно М. стала развиваться лишь в современной логике.

Обычно под логикой понимается множество предложений, связанных между собой отношением логического следования. Поэтому первый вопрос, который здесь встает, есть вопрос о формализации (аксиоматизации) этого отношения, т.е. о возможности построения логической теории, в которой это отношение задавалось бы отношением выводимости...