Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 48 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 49 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 51 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 52 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/classes/rss.class.php on line 129 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/functions.php on line 89
|
psyoffice.ru » Словари и энциклопедии » Философия » В. Малахов, В. Филатов. Современная западная философия: Словарь, 1998 г.
МЕТАТЕОРИЯ- теория, предназначенная для анализа структуры, свойств, методов и законов некоторой другой теории, называющейся предметной, или объектной. Понятие М. было введено нем. математиком Д. Гильбертом в связи с созданием программы обоснования классической математики средствами разработанной им теории доказательств. Наиболее результативно М. применяются в исследованиях логических теорий (металогика) и оснований математики (метаматематика). Здесь объектом М. являются частично или полностью формализованные теории (формальные системы), В металогике и метаматематике обычно выделяют две взаимосвязанные части: синтаксис, где изучается структура и дедуктивные средства объектной теории, и семантику, изучающую значения и правила интерпретации выражений объектной теории. Ряд метатеоретических результатов, полученных Гильбертом, Гёделем, Тарским и др., имеет не только специальное логико-математическое, но и важное философское значение.
Категория: Словари и энциклопедии » Философия » В. Малахов, В. Филатов. Современная западная философия: Словарь, 1998 г. Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|