Металогика
МЕТАЛОГИКА
МЕТАЛОГИКА — область метатеоретических исследований проблем логики. См. Метатеория.
Большой энциклопедический словарь
Металогика
Логика, используемая в рассуждениях о формальной аксиоматич. теории в рамках пек-рой метатеории. В основаниях математики к метатеории часто предъявляются специфич. требования, связанные с отказом от нек-рых употребительных математич.
Математическая энциклопедия
Металогика
(от Мета...)
часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория) строения и свойств различных логических теорий. Возникшая на рубеже 19 и 20 вв.
Большая советская энциклопедия
металогика
орф.
металогика, -и
Орфографический словарь Лопатина
металогика
Мета/ло́г/ик/а.
Морфемно-орфографический словарь
МЕТАЛОГИКА
МЕТАЛОГИКА – раздел современной логики, в котором исследуются способы построения различных логических теорий, свойства, присущие им, а также отношения, существующие между ними.
Новая философская энциклопедия
металогика
МЕТАЛОГИКА (от греч. meta — после и логика). Если предметом логики являются рассуждения, то предметом М. являются рассуждения о рассуждениях.
Энциклопедия эпистемологии и философии науки
НЕПРОТИВОРЕЧИВОСТЬ ТЕОРИИ
НЕПРОТИВОРЕЧИВОСТЬ ТЕОРИИ – см. Металогика [МЕТАЛОГИКА], Непротиворечия закон, Паранепротиворечивая логика.
Новая философская энциклопедия
НЕРАЗРЕШИМОСТЬ ТЕОРИЙ
НЕРАЗРЕШИМОСТЬ ТЕОРИЙ – см. МЕТАЛОГИКА, Разрешения проблемы [РАЗРЕШЕНИЯ ПРОБЛЕМА].
Новая философская энциклопедия
мета...
к предыдущему описанию; "описание описания". Металингвистика, металогика, метаматематика, метаобозначение
Толковый словарь Кузнецова
Тарский
работы Т. в моделей теории (См. Моделей теория), логической семантике, металогике и методологии
Большая советская энциклопедия
Васильев, Николай Александрович
чувственного восприятия человека. Реализуя психол. подход к логике, В. ввел понятие металогики, к к-рой
неаристотелева) логика // ЖМНП. 1912. Ч.40, август; Логика и металогика // Логос. 1912—1913. Кн.1—2
Большая биографическая энциклопедия
Противоречия принцип
или, в современной терминологии, относящийся к металогике (См. Металогика)) тезис: каждое слово
Большая советская энциклопедия
ПОСТ
посредством истинностных таблиц. В ней впервые получен ряд фундаментальных результатов в металогике
[МЕТАЛОГИКА]для классической логики высказываний [ЛОГИКА ВЫСКАЗЫВАНИЙ]: непротиворечивость, дедуктивная
Новая философская энциклопедия
метатеория
математической дисциплины, названной им метаматематикой или теорией доказательств. О металогике
Нечто подобное возникало бы и в металогике, если бы мы каждый раз требовали, чтобы М. представляла
Энциклопедия эпистемологии и философии науки
ТАРСКИЙ
ряд исследований в области методологии дедуктивных наук. Работы Т. по семантике и металогике
Новейший философский словарь
ИОАНН СОЛСБЕРИЙСКИЙ
II. В 1163 переехал во Францию, а в 1176 стал епископом Шартра.
В сочинении «Металогик» (Metalogicon
Новая философская энциклопедия
Метатеория
конкретной предметной теории; так, М. логики называют металогикой (См. Металогика), М. математики
Большая советская энциклопедия
ЛОГИЧЕСКИЕ СВЯЗКИ
см. Металогика [МЕТАЛОГИКА]). Однако в некоторых случаях истинностно-функциональная трактовка связок
Новая философская энциклопедия
МЕТАТЕОРИЯ
построения метаматематики и металогики. Именно в этой области в метатеоретических исследованиях
имеются в метаматематике и металогике.
Одной из исходных посылок метаматематической программы
Новая философская энциклопедия
ВАСИЛЬЕВ
Васильев ввел понятие металогики, к которой он относил минимум законов, необходимых
Новая философская энциклопедия
ЭФФЕКТИВИЗМ
исследования в области логики и металогики (А.Тарский [ТАРСКИЙ], Т.Скулем [СКУЛЕМ], П.С.Новиков
Новая философская энциклопедия
Ладенко, Иоасаф (Иосаф) Семенович
Ладенко, Иоасаф (Иосаф) Семенович
(16.09.1933—16.03.1996) — спец. по логике, металогике и ме-тодол
Большая биографическая энциклопедия
воображаемая логика
для логического рассуждения, слагает металогику — науку о структурах, общих для всех мыслимых логик.
Принято
Энциклопедия эпистемологии и философии науки
Метаматематика
эти метатеоремы, строго говоря, не принадлежат к М., в связи с чем их часто относят к металогике
См. Металогика) или к т. н. теоретико-множественной логике предикатов). Однако (мета) теоремы
Большая советская энциклопедия
ЛОГИКА
теорию дедуктивных рассуждений и теорию правдоподобных рассуждений), металогику [МЕТАЛОГИКА
является металогика [МЕТАЛОГИКА]. В последней исследуются различные проблемы, относящиеся к логическим
принципов, а также о различных отношениях между теориями и т.д. В этом смысле металогика является
Новая философская энциклопедия
СЕМИОТИКА
систем (относимых часто к металогике) применительно к искусственно формализованным языкам, т.е
Новая философская энциклопедия
ЛОГИКА
с решением многих проблем металогики (греч. meta — после, сверх), изучающей принципы построения
Новейший философский словарь
Синтаксис
Карнапом (1934).
См. Исчисление, Металогика, Метаязык и лит. при этих статьях.
II
Си́нтаксис
раздел
Большая советская энциклопедия
СЕМИОТИКА
выделять логико-математическую С, так называемую «металогику» (которая изучает метатеоретическими
Новейший философский словарь
СИСТЕМА
систем (металогика, математика). Результаты этих исследований широко применяются в кибернетике
Новая философская энциклопедия
Теория познания
Метаматематика, Металогика и т. д.). так и изучение с помощью аппарата современной формальной логики связей
Большая советская энциклопедия
ЛОГИКА ПРЕДИКАТОВ
свойств (см. Металогика [МЕТАЛОГИКА]). В связи с наличием двух способов построения логических теорий
Новая философская энциклопедия
ЛОГИКА В РОССИИ
которая является эмпирической, и поэтому они вариативны, и законы металогики, которые неизменны
Новая философская энциклопедия
металогика
Металогіка
Русско-белорусский словарь
металогика
сущ. жен. рода
металогіка
Русско-украинский словарь
формализованная металогика
Мат. formalized metalogic
Полный русско-английский словарь
metalogic
Металогика
Полный англо-русский словарь
металогіка
імен. жін. роду
металогика
Украинско-русский словарь
formalized metalogic
Мат. формализованная металогика
Полный англо-русский словарь