(от греч. meta - после, за, позади) - теория, изучающая язык, структуру и свойства некоторой другой теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. логики и математики (в металогике и метаматематике). Объектом исследования М. обычно оказывается не содержание объектной теории, а ее формальные свойства, поэтому она предварительно формализуется и представляется в виде формального исчисления. В М. можно выделить две части: синтаксис, изучающий структурные и дедуктивные свойства исследуемой теории; семантику, рассматривающую вопросы, связанные с интерпретацией изучаемой теории.
Если Вы искали другое значение слова/фразы Метатеория, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Метатеория ищут определения этих слов:
Логическое Следование — - отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Л.с. относится к числу фундаментальных, исходных понятий логики, точного универсального определения не имеет; в частности, описание его с помощью слов...
Логическое Ударение — - ударение, характеризующее смысловую нагрузку компонентов суждения. В некоторых учениях о суждении в традиционной логике, принадлежавших психологическому направлению, основная смысловая нагрузка в простых атрибутивных суждениях относилась к...
Метод — (от греч. methodos - путь, способ исследования, обучения, изложения) - совокупность приемов и операций познания и практического преобразования действительности; способ достижения определенных результатов в познании и практике. Применение того...
Модус Понендо Толленс — (лат. modus ponendo tollens) - термин средневековой логики, обозначающий следующие схемы рассуждения: Либо A, либо В; А. и Либо A, либо В; В. Неверно В. Неверно A. Здесь A и В - некоторые высказывания; "либо A, либо В" и "A" -...
Метаязык — (от греч. meta - после, за, позади) - язык, средствами которого исследуются и описываются свойства другого языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его выражениями, с его...
Модальность — (от лат., modus - мера, способ) - оценка высказывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий "необходимо", "возможно", "доказуемо", "опровержимо", "обязательно", "разрешимо" и т. п. О предмете S...
Модель — (от лат. modulus - мера, образец, норма) - а) в самом широком смысле - любой мысленный или знаковый образ моделируемого объекта (оригинала). К их числу относятся гносеологические образы (воспроизведение, отображение исследуемого объекта или...
Метатеория — (от греч. meta - после, за, позади) - теория, изучающая язык, структуру и свойства некоторой другой теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. логики и математики (в...
Мышление — - активный процесс отражения объективного мира в понятиях, суждениях, научных теориях, гипотезах и т. п., имеющий опосредованный, обобщенный характер, связанный с решением нетривиальных задач; высший продукт особым образом организованной материи -...
Модальная Логика — - раздел неклассической логики, в котором исследуются логические связи модальных высказываний, т. е. высказываний, включающих модальности. М. л. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
