Смотреть больше слов в «Философской Энциклопедии»
(от Мета...) часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория) строения и свойств различных логических теорий. В... смотреть
МЕТАЛОГИКА (от мета...), часть ло гики, посвящённая изучению метатеоре тическими средствами (см. Метатеория) N. Y.- L., 1937; Т а г s k i A., Logic,... смотреть
МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории.В рамках данного раздела изучаются все те... смотреть
МЕТАЛОГИКА (от греч. meta - после и логика). Если предметом логики являются рассуждения, то предметом М. являются рассуждения о рассуждениях. П... смотреть
методология дедуктивных наук, часть логики, посвящённая изучению метатеоретич. (см. Метатеория) средствами свойству различных логич. систем и логики в целом. К М. нередко относят также метаматематику, т. е. теорию (формальных, математич.) доказательств, и теорию, определимости понятий (см. Определение). Проблемы этих теорий, относящиеся к чисто структурным свойствам различных исчислений, образуют «синтаксич. ветвь» М. (см. Синтаксис). Её «семантич, ветвь» это логич. семантика (теория смысла и теория значения), «алгебраич. ядро» к-рой оформилось в спец. логико-математич. дисциплину теорию моделей, а вопросы соотношения между экстенсиональными и интенсиональными языками (см. Экстенсиональность и Интенсионалъность) в прагматику. См. ст. Семиотика и лит. к ней.к.-л. др. теории т. н. предметной (или объектной) теории. Наиболее развитый характер имеют М. логики (наз. металогикой) и М. математики (наз. метаматематикой). Объектом рассмотрения в М. оказывается не сама но себе содержат. науч. теория, а её формальный аналог исчисление (формальная система). Подлежащая исследованию в М. содержат. теория предварительно подвергается формализации. Часть М., наз. синтаксисом, изучает структуру своей предметной теории, а также её дедуктивные средства. М. рассматривает различные интерпретации исследуемой формальной системы; эта часть М., воспринимающая предметную теорию как формализованный язык, наз. семантикой. Понятие М. впервые было выдвинуто Гильбертом в связи с его программой обоснования классич. математики средствами созданной его школой теории доказательств (метаматематики). Ряд важных метатеоретич. результатов (гл. обр. семантич. содержания) был получен Тарским. См. также Аксиоматический метод, Метаязык.... смотреть
Омлетика Омлет Омет Омела Омег Олим Олег Олеат Окат Ока Мотка Моталка Мот Моки Могилка Могила Млеко Мка Миот Мио Мило Милка Мила Мик Мигалка Миг Метол Метла Метко Метка Метил Металогика Мета Меота Мелок Мелкота Мелко Мел Мегалит Мег Мгла Мга Матка Матико Мат Мао Мало Малка Малик Мали Малек Маки Макет Макао Мак Маета Магот Маго Маг Лот Ломтик Ломка Ломик Ломака Лом Лок Логик Лог Литка Лита Лима Лик Лиго Лига Летом Лето Летка Лемка Лек Легко Легато Легат Латка Лата Лама Лактам Лак Лаг Котел Кот Коми Комета Кома Ком Колит Колет Кола Кол Коат Коала Кмет Клио Климат Клим Клеом Кито Кит Киот Ким Килт Кило Кил Кета Кеа Катио Каталог Кат Камлот Кама Калот Калит Калига Кали Кале Каламит Калам Кал Кагат Кагал Каг Итог Итл Итак Иол Имаго Илот Икт Икота Иголка Иго Игла Емко Елка Елико Гто Готика Гот Гомик Голик Гол Глотка Глот Глиома Глет Гко Гит Гик Гет Гемлка Гем Гелио Гекат Гата Гамлет Гамета Гамак Гам Гало Галка Галит Галиот Галета Галат Гала Гак Атом Атм Амт Амок Амил Отек Отел Тагал Тагил Талик Амати Алма Там Тамга Тамил Алик Алигота Алеатико Тамилка Тег Текила Акт Теком Телика Акмола Телка Акм Тело Тик Аимак Аил Агитка Агит Агам Ага Тим Тимка Тимол Агалит Агат Аки Акие Аким Тема... смотреть
- логика, используемая в рассуждениях о формальной аксиоматич. теории в рамках пек-рой метатеории. В основаниях математики к метатеории часто предъявл... смотреть
1) Орфографическая запись слова: металогика2) Ударение в слове: метал`огика3) Деление слова на слоги (перенос слова): металогика4) Фонетическая транскр... смотреть
греч. meta — после, за и logos — слово, понятие, рассуждение) — теория, исследующая системы и понятия (Метатеория) совр. формальной логики. Разрабатывает вопросы теории доказательств, определимости понятий, истины в формализованных языках. интерпретации, смысла и т. д. М. делится на два раздела: логический синтаксис и логическую семантику. Развитие М. связано с построением и изучением свойств формализованных языков. Осн. работы в области М. принадлежат Фреге, представителям львовско-варшавской школы польских логиков, Гильберту, Геделю, А. Черчу, Карнапу, Дж. Кемени и др. ... смотреть
приставка - МЕТА; корень - ЛОГ; суффикс - ИК; окончание - А; Основа слова: МЕТАЛОГИКВычисленный способ образования слова: Приставочно-суффиксальный или... смотреть
Ударение в слове: метал`огикаУдарение падает на букву: оБезударные гласные в слове: метал`огика
метало/гика, -и
Начальная форма - Металогика, слово обычно не имеет множественного числа, единственное число, женский род, именительный падеж, неодушевленное
сущ. жен. родаметалогіка
часть логики, посвященная изучению свойств научных исследований, их средств и методов. Часть логики науки.
МЕТАЛОГИКА, область метатеоретических исследований проблем логики. См. Метатеория.
МЕТАЛОГИКА - область метатеоретических исследований проблем логики. См. Метатеория.
МЕТАЛОГИКА , область метатеоретических исследований проблем логики. См. Метатеория.
МЕТАЛОГИКА, область метатеоретических исследований проблем логики. См. Метатеория.
- область метатеоретических исследований проблем логики. См.Метатеория.
метал'огика, -и
(1 ж)
металогика метал`огика, -и
металогика
матем., наук. метало́гіка
металогіка, жен.
元逻辑学
Металогіка
металогика
металогика
металогіка
metalogic