(от греч. meta - после, за, позади) - теория, изучающая язык, структуру и свойства некоторой другой теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. логики и математики (в металогике и метаматематике). Объектом исследования М. обычно оказывается не содержание объектной теории, а ее формальные свойства, поэтому она предварительно формализуется и представляется в виде формального исчисления. В М. можно выделить две части: синтаксис, изучающий структурные и дедуктивные свойства исследуемой теории; семантику, рассматривающую вопросы, связанные с интерпретацией изучаемой теории.
Если Вы искали другое значение слова/фразы Метатеория, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Метатеория ищут определения этих слов:
Круг В Доказательстве — (лат. — circulus in demonstrando) — логическая ошибка в доказательстве, заключающаяся в том, что истинность доказываемого положения (тезиса) обосновывается с помощью аргумента, истинность которого обосновывается с помощью доказываемого тезиса....
Круг В Определении — — логическая ошибка, связанная с нарушением одного из правил определения и состоящая в том, что при определении некоторого понятия в определяющей части используется понятие, которое, в свою очередь, определяется с помощью данного определяемого...
Метод — (от греч. methodos — путь, способ исследования, обучения, изложения) — совокупность приемов и операций познания и практического преобразования действительности; способ достижения определенных результатов в познании и практике. Применение того или...
Логика Научного Познания — или: Логика науки, -применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике...
Метаматематика — — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. М. рассматривает формализованную теорию как множество некоторых конечных...
Косвенное Доказательство — - доказательство, в котором истинность тезиса устанавливается путем показа ошибочности противоположного ему допущения. При прямом доказательстве задача состоит в том, чтобы найти убедительные аргументы, из которых логически вытекает тезис. В К. д....
Метаязык — (от греч. meta - после, за, позади) - язык, средствами которого исследуются и описываются свойства другого языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его выражениями, с его...
Логика Научного Познания — или: Логика науки, -применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике...
Метафора — (от греч, metaphora - перенос, образ) - перенесение свойств одного предмета (явления или аспекта бытия) на другой по принципу их сходства в к.-л. отношении или по контрасту, напр.: «говор волн», «нос самолета», «свинцовые тучи» и т. п. В отличие...
Логика Классов — - раздел математической логики, соответствующий узкому исчислению одноместных предикатов, которые заменяются объемами, классами. Л. к. соответствует и силлогистике Аристотеля. Иногда Л. к. рассматривается как формализованная теория множеств, в...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
