МЕТАЛОГИКА

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

Смотреть больше слов в «Энциклопедическом словаре естествознания»

МЕТАМАГНЕТИК →← МЕТАЛЛЫ (ГРЕЧ .)

Смотреть что такое МЕТАЛОГИКА в других словарях:

МЕТАЛОГИКА

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

МЕТАЛОГИКА

МЕТАЛОГИКА (от мета...), часть ло гики, посвящённая изучению метатеоре тическими средствами (см. Метатеория) N. Y.- L., 1937; Т а г s k i A., Logic,... смотреть

МЕТАЛОГИКА

МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории.В рамках данного раздела изучаются все те... смотреть

МЕТАЛОГИКА

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

область логики, в к-рой метатеоретич. средствами (см. Метатеория) изучается строение логич. теорий. М. возникла в связи с исследованиями оснований дедуктивных наук (в особенности математики). В качестве исследуемых ("предметных") теорий в М. рассматриваются логич. исчисления, изучение к-рых привело к созданию различных теорий формального доказательства (см. Вывод в математической логике, Доказательство), теории определимости понятий, теории моделей, теории истинности в формализованных языках и др. К числу осн. результатов М. в собственном смысле (т.е. результатов, не затрагивающих специально-математич. понятия, к-рые естественно отнести к области метаматематики) относятся доказательство Черчем неразрешимости разрешения проблемы для узкого предикатов исчисления и доказательство Тарским факта невыразимости предиката истинности для к.-л. исчисления средствами того же исчисления (см. Метаязык, Семантика в логике). Работы Тарского и Карнапа положили начало новому разделу М. – логической семантике. В рамках М. возникает также интересная проблема взаимоотношения между т.н. экстенсиональными и интенсиональными языками, явившаяся исходным пунктом исследований по формализованной п р а г м а т и к е (см. Семиотика), к-рые связаны с попытками выразить смысловые отношения и психологич. аспекты обычных содержат. рассуждений. Последний круг вопросов весьма актуален в связи с задачами моделирования интеллектуальной деятельности человека. Идеи и методы М. прилагаются также к исследованию законов рассуждения в естеств.-науч. теориях. Лит.: Гильберт Д., Аккерман В., Основы теоретической логики, пер. с нем., М., 1947; ?арский ?., Введение в логику и методологию дедуктивных наук, М., 1948; Карнап Р., Значение и необходимость, пер. с англ., М., 1959; Черч ?., Введение в математическую логику, [т. ] 1, пер. с англ., [М. ], 1960; Church ?., A note on the Entscheidungsproblem, "J. Symbolic Logic", v. 1, 1936, p. 40–41, 101–102; Сarnap R., The logical syntax of language, N. Y.–L., 1937; его же, Logical foundations of probability, Chi., 1950; ?arski ?., Logic, semantics, methamathe-matics, Oxf., 1956; Martin R., Towards to systematic pragmatics, Amst., 1959. В. Финн. Москва. ... смотреть

МЕТАЛОГИКА

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

МЕТАЛОГИКА

Омлетика Омлет Омет Омела Омег Олим Олег Олеат Окат Ока Мотка Моталка Мот Моки Могилка Могила Млеко Мка Миот Мио Мило Милка Мила Мик Мигалка Миг Метол Метла Метко Метка Метил Металогика Мета Меота Мелок Мелкота Мелко Мел Мегалит Мег Мгла Мга Матка Матико Мат Мао Мало Малка Малик Мали Малек Маки Макет Макао Мак Маета Магот Маго Маг Лот Ломтик Ломка Ломик Ломака Лом Лок Логик Лог Литка Лита Лима Лик Лиго Лига Летом Лето Летка Лемка Лек Легко Легато Легат Латка Лата Лама Лактам Лак Лаг Котел Кот Коми Комета Кома Ком Колит Колет Кола Кол Коат Коала Кмет Клио Климат Клим Клеом Кито Кит Киот Ким Килт Кило Кил Кета Кеа Катио Каталог Кат Камлот Кама Калот Калит Калига Кали Кале Каламит Калам Кал Кагат Кагал Каг Итог Итл Итак Иол Имаго Илот Икт Икота Иголка Иго Игла Емко Елка Елико Гто Готика Гот Гомик Голик Гол Глотка Глот Глиома Глет Гко Гит Гик Гет Гемлка Гем Гелио Гекат Гата Гамлет Гамета Гамак Гам Гало Галка Галит Галиот Галета Галат Гала Гак Атом Атм Амт Амок Амил Отек Отел Тагал Тагил Талик Амати Алма Там Тамга Тамил Алик Алигота Алеатико Тамилка Тег Текила Акт Теком Телика Акмола Телка Акм Тело Тик Аимак Аил Агитка Агит Агам Ага Тим Тимка Тимол Агалит Агат Аки Акие Аким Тема... смотреть

МЕТАЛОГИКА

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

МЕТАЛОГИКА

1) Орфографическая запись слова: металогика2) Ударение в слове: метал`огика3) Деление слова на слоги (перенос слова): металогика4) Фонетическая транскр... смотреть

МЕТАЛОГИКА

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

МЕТАЛОГИКА

приставка - МЕТА; корень - ЛОГ; суффикс - ИК; окончание - А; Основа слова: МЕТАЛОГИКВычисленный способ образования слова: Приставочно-суффиксальный или... смотреть