(от греч . meta - после , за, позади ) - теория , изучающая язык , структуру и свойства некоторой другой теории . Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. логики и математики (в металогике и метаматематике). Объектом исследования М. обычно оказывается не содержание объектной теории, а ее формальные свойства, поэтому она предварительно формализуется и представляется в виде формального исчисления. В М. можно выделить две части: синтаксис , изучающий структурные и дедуктивные свойства исследуемой теории; семантику, рассматривающую вопросы , связанные с интерпретацией изучаемой теории.
Что такое Метатеория? Значение слова Метатеория в словаре логики
Метатеория - (от греч. meta - после, за, позади) - теория, изучающая язык, структуру и свойства некоторой другой теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. логики и математики (в металогике и метаматематике). Объектом исследования М. обычно оказывается не содержание объектной теории, а ее формальные свойства, поэтому она предварительно формализуется и представляется в виде формального исчисления. В М. можно выделить две части: синтаксис, изучающий структурные и дедуктивные свойства исследуемой теории; семантику, рассматривающую вопросы, связанные с интерпретацией изучаемой теории.
Метатеория
Значение слова Метатеория в других словарях:
- Что такое Метатеория? Энциклопедический словарь
- Определение термина Метатеория? Философский словарь
- Толкование слова Метатеория? Социологический словарь
Узнайте лексическое, прямое, переносное значение следующих слов:
- Неклассическая Логика - см.: Логика неклассическая. ...
- Недоказанное Основание Доказательства - логическая ошибка, заключающаяся в том, что в ...
- Наука - — одна из сфер человеческой деятельности, функцией которой ...
- Модус Толленс - (лат. modus tollens) термин средневековой логики, обозначающий ...
- Модус Поненс - (лат. modus ponens) — термин средневековой логики, обозначающий ...
- Модус - (лат. modus мера, способ, образ, вид) ...
- Модель - (от лат. modulus — мера, образец, норма) — ...
- Логика Многозначная - см.: Многозначная логика. ...
- Логика Классов - раздел математической логики, соответствующий узкому исчислению одноместных ...
- Логика Квантовой Механики - логическая теория, цель которой — описание логических ...
- Логика Дедуктивная - см.: Дедукция. ...
- Логика Времени - или: Временная логика, — раздел современной модальной логики, ...
- Лжеца Парадокс - один из наиболее известных логических парадоксов. В ...
- Круг В Определении - — логическая ошибка, связанная с нарушением одного из ...
- Вероятностная Логика - — разновидность многозначной логики, в которой высказываниям (суждениям) ...