МЕТАЛОГИКА — область метатеоретических исследований проблем логики. См. Метатеория.

Логика, используемая в рассуждениях о формальной аксиоматич. теории в рамках пек-рой метатеории. В основаниях математики к метатеории часто предъявляются специфич. требования, связанные с отказом от нек-рых употребительных математич.

(от Мета...)

часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория) строения и свойств различных логических теорий. Возникшая на рубеже 19 и 20 вв.

орф.

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

Мета/ло́г/ик/а.

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

МЕТАЛОГИКА (от греч. meta — после и логика). Если предметом логики являются рассуждения, то предметом М. являются рассуждения о рассуждениях.

НЕПРОТИВОРЕЧИВОСТЬ ТЕОРИИ – см. Металогика [МЕТАЛОГИКА], Непротиворечия закон, Паранепротиворечивая логика.

НЕРАЗРЕШИМОСТЬ ТЕОРИЙ – см. МЕТАЛОГИКА, Разрешения проблемы [РАЗРЕШЕНИЯ ПРОБЛЕМА].

к предыдущему описанию; "описание описания". Металингвистика, металогика, метаматематика, метаобозначение

работы Т. в моделей теории (См. Моделей теория), логической семантике, металогике и методологии

чувственного восприятия человека. Реализуя психол. подход к логике, В. ввел понятие металогики, к к-рой

неаристотелева) логика // ЖМНП. 1912. Ч.40, август; Логика и металогика // Логос. 1912—1913. Кн.1—2

или, в современной терминологии, относящийся к металогике (См. Металогика)) тезис: каждое слово

посредством истинностных таблиц. В ней впервые получен ряд фундаментальных результатов в металогике

[МЕТАЛОГИКА]для классической логики высказываний [ЛОГИКА ВЫСКАЗЫВАНИЙ]: непротиворечивость, дедуктивная

математической дисциплины, названной им метаматематикой или теорией доказательств. О металогике

Нечто подобное возникало бы и в металогике, если бы мы каждый раз требовали, чтобы М. представляла

ряд исследований в области методологии дедуктивных наук. Работы Т. по семантике и металогике

II. В 1163 переехал во Францию, а в 1176 стал епископом Шартра.

В сочинении «Металогик» (Metalogicon

конкретной предметной теории; так, М. логики называют металогикой (См. Металогика), М. математики

см. Металогика [МЕТАЛОГИКА]). Однако в некоторых случаях истинностно-функциональная трактовка связок

построения метаматематики и металогики. Именно в этой области в метатеоретических исследованиях

имеются в метаматематике и металогике.

Одной из исходных посылок метаматематической программы

Васильев ввел понятие металогики, к которой он относил минимум законов, необходимых

исследования в области логики и металогики (А.Тарский [ТАРСКИЙ], Т.Скулем [СКУЛЕМ], П.С.Новиков

Ладенко, Иоасаф (Иосаф) Семенович

(16.09.1933—16.03.1996) — спец. по логике, металогике и ме-тодол

для логического рассуждения, слагает металогику — науку о структурах, общих для всех мыслимых логик.

Принято

эти метатеоремы, строго говоря, не принадлежат к М., в связи с чем их часто относят к металогике

См. Металогика) или к т. н. теоретико-множественной логике предикатов). Однако (мета) теоремы

теорию дедуктивных рассуждений и теорию правдоподобных рассуждений), металогику [МЕТАЛОГИКА

является металогика [МЕТАЛОГИКА]. В последней исследуются различные проблемы, относящиеся к логическим

принципов, а также о различных отношениях между теориями и т.д. В этом смысле металогика является

систем (относимых часто к металогике) применительно к искусственно формализованным языкам, т.е

с решением многих проблем металогики (греч. meta — после, сверх), изучающей принципы построения

Карнапом (1934).

См. Исчисление, Металогика, Метаязык и лит. при этих статьях.

II

Си́нтаксис

раздел

выделять логико-математическую С, так называемую «металогику» (которая изучает метатеоретическими

систем (металогика, математика). Результаты этих исследований широко применяются в кибернетике

Метаматематика, Металогика и т. д.). так и изучение с помощью аппарата современной формальной логики связей

свойств (см. Металогика [МЕТАЛОГИКА]). В связи с наличием двух способов построения логических теорий

которая является эмпирической, и поэтому они вариативны, и законы металогики, которые неизменны