Метатеория что это такое
Метатеория
Полезное
Смотреть что такое «Метатеория» в других словарях:
метатеория — метатеория … Орфографический словарь-справочник
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
МЕТАТЕОРИЯ — (от мета. и теория) изучает структурные, дедуктивные, семантические и пр. свойства какой либо другой (предметной) теории, представленной обычно в виде формальной системы или исчисления … Большой Энциклопедический словарь
МЕТАТЕОРИЯ — теория, анализирующая различные свойства, структуру, закономерности, методы и приемы исследования другой теории, называемой объектной или предметной. М. выполняет методологическую функцию по отношению к определенной научной области. М. главным… … Новейший философский словарь
МЕТАТЕОРИЯ — МЕТАТЕОРИЯ, и, жен. (спец.). Теория, представляющая основные свойства какой н. другой теории, специально для этого формализованной. | прил. метатеоретический, ая, ое. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 … Толковый словарь Ожегова
метатеория — сущ., кол во синонимов: 1 • теория (21) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
МЕТАТЕОРИЯ — англ. metatheory; нем. Metatheorie. Теория, анализирующая структуру, методы и принципы к. л. научной теории. Antinazi. Энциклопедия социологии, 2009 … Энциклопедия социологии
метатеория — МЕТАТЕОРИЯ теория, в которой производится рассмотрение свойств некоторой др. теории, в том числе ее точное описание (т.е. определение правил образования и преобразования) и исследование относящихся к ней результатов. Теория, исследование… … Энциклопедия эпистемологии и философии науки
метатеория — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN metatheory … Справочник технического переводчика
метатеория — (от мета. и теория), изучает структурные, дедуктивные, семантические и прочие свойства какой либо другой (предметной) теории, представленной обычно в виде формальной системы или исчисления. * * * МЕТАТЕОРИЯ МЕТАТЕОРИЯ (от мета. (см. МЕТА. … … Энциклопедический словарь
Метатеория — (гр. – позади теории) – это обобщенное название теории, предметом которой является другая теория, а в ней – построение, система понятий, положений и доказательств, пути развития, методы исследования, законы и принципы. Такой теорией по отношению… … Основы духовной культуры (энциклопедический словарь педагога)
Метатеория
Метатеория — это логическая теория, в которой производится рассмотрение структуры, методов и свойств некоторой другой теории, в том числе её точное описание (то есть определение правил образования и преобразования) и исследование относящихся к ней результатов. Теория, исследование которой проводится в рамках метатеории, называется предметной, или объектной теорией, в качестве которой может выступать любая теория, подвергаемая строгому логическому анализу (см. Теория). В узком смысле метатеория понимается как теория, изучающая синтаксические, семантические и логические (специальные правила вывода) свойства систем с формализованным языком методами аксиоматизации, алгоритмизации, конструктивизации и другими. Основная задача построения метатеории состоит в уточнении (экспликации) соответствующих предметных теорий и анализе их свойств. При этом в рамках общей программы проведения метатеоретических исследований на предметные теории и метатеории не накладывается никаких ограничений: они могут быть содержательными, дедуктивными, частично или полностью формализованными и могут использовать любые логические средства. Метатеория представляет собой одно из наиболее важных понятий современной логики (см. Логика), математики, философии (см. Философия) и методологии науки (см. Методология науки).
В метатеории синтаксис анализируемой теории описывается на так называемом синтаксическом языке (см. Синтактика), а семантика — на семантическом (см. Семантика). Дедуктивные средства предметной теории формулируются в виде метааксиом и метатеорем, к которым следует относить не только исходные и производные правила вывода, но также синтаксические и семантические теоремы. Синтаксический и семантический языки вместе с метааксиомами и метатеоремами составляют метаязык. В метаязыке формулируются специальные аксиомы и теоремы, касающиеся синтаксических, семантических и дедуктивных свойств формализма. Как правило, метаязык включает в себя определённый фрагмент естественного языка, если все пояснения, относящиеся к формальной теории, ведутся на этом языке. Собственной частью синтаксического языка могут быть названы, например, переменные по пропозициональным функциям. Собственной частью семантического языка являются переменные по выражениям различных синтаксических категорий. Зачастую семантический язык включает в себя язык синтаксический, хотя в ряде случаев они могут и совпадать. Введение производных логических констант посредством дефиниций осуществляется в семантическом языке. На метаязыке строится теория моделей того или иного логического исчисления. На этом языке формулируются все теоремы о свойствах логических формализмов. Наиболее распространённой метаязыковой теорией является теория семантических категорий (см. Теория семантических категорий). Более специализированное рассмотрение метатеории имеет место в разделе математической логики — теории моделей, в которой прослеживается связь между дедуктивными и семантическими (алгебраическими) понятиями.
Понятие метатеории возникло в начале XX века в исследованиях по основаниям математики и логики применительно к изучению математического и логического формализма (Д. Гилберт, К. Гёдель, А. Тарский, Р. Карнап, А. Чёрч, С. Клини и другие), результатом чего явились программы построения оснований математики (метаматематики) и логических теорий (металогики). Сам термин «метатеория» был первоначально введён в 1904 году Д. Гилбертом в связи с выдвинутой им программой обоснования математики. Гилберт предложил сделать доказательство в аксиоматической теории предметом специальной математической дисциплины, названной им метаматематикой или теорией доказательств. Возникновение и развитие неклассических логик, стимулировавшее вначале сдвиг логических исследований в сторону металогических исследований, в дальнейшем привело к появлению и метаметалогических исследований. О металогике (см. Металогика) говорит в своей статье, опубликованной в 1913 году, Н. А. Васильев. Общее понятие метаязыка и метатеории было введено А. Тарским в 1933 году в работе «Понятие истины в языках дедуктивных наук», где он чётко формулирует необходимость различать язык, о котором говорим, и язык (метаязык), на котором говорим, а также теорию (науку), служащую предметом исследования, и теорию (метанауку), в которой мы проводим исследование.
Одной из исходных посылок метаматематической программы Гилберта послужило утверждение о том, что в качестве предметной теории, для которой будет строиться соответствующая метатеория, следует брать не некую содержательную теорию (например, содержательную математику), а её формализованное представление в виде исчисления или формальной системы (теории). Такая формальная система строится по явно сформулированным, чётким правилам; она может состоять из неинтерпретированных знаков и знакосочетаний (формул, выражений) — в этом случае она является синтаксической, или её элементам приписывается определённая интерпретация, то есть фиксируется их смысл или значение, — и в этом случае она является семантической. Метатеория, которая строится по отношению к таким образом представленной предметной теории, является содержательной теорией, то есть она состоит из содержательно понимаемых элементов естественного языка. В ней формулируются метатеоремы (теоремы о теоремах), которые описывают синтаксические и семантические свойства соответствующей предметной (формализованной) теории.
Для того, чтобы метаматематика выполнила свою основную функцию — обоснования содержательной математики, она, согласно Гилберту, должна пользоваться только так называемыми финитными методами, то есть использовать лишь конечные конструкции и конструктивные доказательства, не допускающие применения абстракции актуальной бесконечности, которая играет важную роль в содержательной математике и в её формализованном представлении. В рамках этой программы был получен ряд важных метатеоретических результатов. Так, была доказана синтаксическая метатеорема о дедукции, которая устанавливает связь между понятием выводимости (доказуемости) в данной предметной теории (например, в исчислении высказываний или исчислении предикатов) и логической операцией импликации, входящей в алфавит данной предметной теории. Примером семантической метатеоремы является теорема о полноте классического исчисления высказываний, согласно которой для этого исчисления понятия доказуемой формулы (формальной теоремы) и формулы, истинной при некоторой его интерпретации, совпадают. Некоторые понятия метаматематики носят смешанный — синтаксически-семантический характер. Таково, например, понятие непротиворечивости, которое синтаксически определяется как невыводимость в предметной теории противоречия, то есть конъюнкции некоторой формулы и её отрицания, а в семантическом плане означает соответствие данной предметной теории некоторой её интерпретации. Эквиваленность этих определений является нетривиальным метатеоретическим фактом.
Несмотря на указанные и многие другие метатеоретические результаты, впоследствии оказалось, что метаматематическая программа Гилберта, и прежде всего его финитистская установка, не могут быть реализованы. Это убедительно показал К. Гёдель (1931), доказав свои две широко известные теоремы. Согласно его первой теореме, любая формализованная система, достаточно богатая для того, чтобы включать в себя арифметику натуральных чисел, неполна, так как в ней имеются правильно построенные формулы (выражения), которые не доказуемы и не опровержимы в её рамках. Вторая теорема утверждает, что если арифметическая формальная система непротиворечива, то невозможно построить доказательство её непротиворечивости, проведённое средствами, формализуемыми в этой системе. Эти теоремы, имеющие несомненное философско-методологическое значение, свидетельствуют об ограниченности метода формализации теорий, который лежит в основе гилбертовской метаматематической программы, и о том, что с помощью финитных методов нельзя доказать непротиворечивость не только классической математики, но даже и классической арифметики. Вслед за результатами Гёделя были раскрыты и другие ограниченности формализмов: Чёрч доказал неразрешимость проблемы разрешения для узкого исчисления предикатов, Тарский показал невыразимость предиката истинности для какого-либо исчисления средствами этого же исчисления и так далее. В связи с этим потребовалась определённая модификация программы Гилберта — необходимо было найти новые, более сильные, чем финитные, но также достаточно убедительные методы метатеоретических рассуждений. Значительный прогресс в этом отношении был получен в середине и во второй половине XX века Г. Генценом, В. Аккерманом, П. С. Новиковым, К. Шютте, А. С. Есениным-Вольпиным и другими исследователями.
Метаматематические и металогические исследования остаются актуальной задачей и в настоящее время. Метатеоретическая направленность исследований в настоящее время становится характерной чертой не только логики и математики, но и других дисциплин. При этом часто сами исследователи не квалифицируют свои исследования как метатеоретические. Результатами таких исследований явились попытки построения метабиологии, метахимии, метатеории физического знания, метатеории теорий систем и далее метанауки, однако в них пока не получены значительные метатеоретические достижения, сравнимые с теми, которые имеются в метаматематике и металогике.
Метатеория что это такое
МЕТАТЕОРИЯ
МЕТАТЕОРИЯ (от греч. μετά – после и теория; букв. теория о некоторой другой теории) – одно из важнейших понятий современной логики, математики, философии и методологии науки; теория, анализирующая структуру, методы и свойства некоторой другой теории – предметной, или объектной, теории. В самом общем смысле метатеорией является любой метаязык, описывающий структуру, свойства и т.п. какого-либо языка-объекта. Согласно выработанным в 20 в. представлениям (У. Сепир, Б.Уорф, К.Поппер и др.), каждый язык является концептуализацией мира или его фрагментов, т.е. теорией (возможно, не очень богатой, как, напр., язык знаков светофора, или очень богатой в случае естественного языка). Поэтому соответствующий метаязык выступает в качестве метатеории по отношению к теории, сформулированной в языке-объекте. Исторически термин «метатеория» был первоначально введен в начале 20 в. в исследованиях по основаниям математики и логики (Д.Гильберт, К.Гёдель, А.Тарский, Р.Карнап, А.Чёрч, С.Клини и др.) применительно к изучению математических и логических теорий, результатом чего явились программы построения метаматематики и металогики. Именно в этой области в метатеоретических исследованиях были получены важные результаты.
Основная задача построения метатеории состоит в уточнении (экспликации) соответствующих предметных теорий и анализе их свойств. При этом в рамках общей программы проведения метатеоретических исследований на предметные теории и метатеории не накладывается никаких ограничений: они могут быть содержательными, дедуктивными, частично или полностью формализованными и могут использовать любые логические средства. Результатами таких исследований явились попытки построения метабиологии, метахимии, метатеории физического знания, метатеории теорий систем и далее метанауки, однако в них пока не получены значительные метатеоретические достижения, сравнимые с теми, которые имеются в метаматематике и металогике.
Одной из исходных посылок метаматематической программы Гильберта является утверждение о том, что в качестве предметной теории, для которой будет строиться соответствующая метатеория, следует брать не некую содержательную теорию, напр., содержательную математику, а ее формализованное представление в виде исчисления или формальной системы (теории). Такая формальная система строится по явно сформулированным, четким правилам; она может состоять из неинтерпретированных знаков и знакосочетаний (формул, выражений) – в этом случае она является синтаксической (см. Логический синтаксис), или ее элементам приписывается определенная интерпретация, то есть фиксируется их смысл или значение, – и в этом случае она является семантической (см. Логическая семантика). Метатеория, которая строится по отношению к т.о. представленной предметной теории, является содержательной теорией, т.е. она состоит из содержательно понимаемых элементов естественного языка. В ней формулируются метатеоремы – теоремы о теоремах, которые описывают синтаксические и семантические свойства соответствующей предметной (формализованной) теории.
Для того, чтобы метаматематика выполнила свою основную функцию – обоснования содержательной математики, она, согласно Гильберту, должна пользоваться только т.н. финитными методами, то есть использовать лишь конечные конструкции и конструктивные доказательства, не допускающие применения абстракции актуальной бесконечности, которая играет важную роль в содержательной математике и в ее формализованном представлении. В рамках этой программы был получен ряд важных метатеоретических результатов. Так, была доказана синтаксическая метатеорема о дедукции, которая устанавливает связь между понятием выводимости (доказуемости) в данной предметной теории (напр., в исчислении высказываний или исчислении предикатов) и логической операцией импликации, входящей в алфавит данной предметной теории. Примером семантической метатеоремы является теорема о полноте классического исчисления высказываний, согласно которой для этого исчисления понятия доказуемой формулы (формальной теоремы) и формулы, истинной при некоторой его интерпретации, совпадают. Некоторые понятия метаматематики носят смешанный – синтаксически-семантический характер. Таково, напр., понятие непротиворечивости, которое синтаксически определяется как невыводимость в предметной теории противоречия, т.е. конъюнкции некоторой формулы и ее отрицания, а в семантическом плане означает соответствие данной предметной теории некоторой ее интерпретации. Эквиваленность этих определений является нетривиальным метатеоретическим фактом.
Несмотря на указанные и многие другие метатеоретические результаты оказалось, что метаматематическая программа Гильберта и прежде всего его финитистская установка не могут быть реализованы. Это убедительно показал Гёдель (1931), доказав свои две знаменитые теоремы. Согласно его первой теореме, любая формализованная система, достаточно богатая для того, чтобы включать в себя арифметику натуральных чисел, неполна, так как в ней имеются правильно построенные формулы (выражения), которые не доказуемы и не опровержимы в ее рамках. Вторая теорема Гёделя утверждает: если арифметическая формальная система непротиворечива, то невозможно построить доказательство ее непротиворечивости, проведенное средствами, формализуемыми в этой системе. Эти теоремы, имеющие несомненное философско-методологическое значение, свидетельствуют об ограниченности метода формализации теорий, который лежит в основе гильбертовской метаматематической программы, и о том, что с помощью финитных методов нельзя доказать непротиворечивость не только классической математики, но даже и классической арифметики.
Вслед за результатами Гёделя были вскрыты и другие ограниченности формализмов: Чёрч доказал неразрешимость проблемы разрешения для узкого исчисления предикатов, Тарский показал невыразимость предиката истинности для какого-либо исчисления средствами этого же исчисления и т.д. В связи с этим потребовалась определенная модификация программы Гильберта – необходимо было найти новые, более сильные, чем финитные, но также достаточно убедительные методы метатеоретических рассуждений. Значительный прогресс в этом отношении был получен в середине и во 2-й пол. 20 в. Г.Генценом, В.Аккерманом, П.С.Новиковым, К.Шютте, А.С.Есениным-Вольпиным и др.; метаматематические и металогические исследования остаются актуальной задачей и в настоящее время.
1. Гильберт Д. Основания геометрии. М.–Л., 1948;
2. Клини С.К. Введение в метаматематику. М., 1957;
3. Математическая теория логического вывода. М., 1967;
4. Турчин В.Ф. «Сумасшедшие» теории и метанаука. – «ВФ» 1968, № 5;
5. Садовский В.Н. Общая теория систем как метатеория. – «ВФ» 1972, № 4;
6. Есенин-Вольпин А.С. Об антитрадиционной (ультраинтуиционистской) программе оснований математики и естественнонаучном мышлении. – «ВФ» 1996, № 8;
7. Tarski Α., Moslovski Α., Robinson P.M. Undecidable Theories. Amst., 1953;
8. Woodger J.H. The Axiomatic Method in Biology. Cambr., 1937.
См. также литературу к статье Метаязык.
Новая философская энциклопедия (в 4 томах, 2001)
МЕТАТЕОРИЯ
Основная задача построения метатеории состоит в уточнении (экспликации) соответствующих предметных теорий и анализе их свойств. При этом в рамках общей программы проведения метатеоретических исследований на предметные теории и метатеории не накладывается никаких ограничений: они могут быть содержательными, дедуктивными, частично или полностью формализованными и могут использовать любые логические средства. Результатами таких исследований явились попытки построения метабиологии, метахимии, метатеории физического знания, метатеории теорий систем и даже метанауки, однако в них пока не получены значительные метатеоретические достижения, сравнимые с теми, которые имеются в метаматематике и металогике.
Несмотря на указанные и многие другие метатеоретические результаты оказалось, что метаматематическая программа Гильберта и прежде всего его финитистская установка не могут быть реализованы. Это убедительно показал Гёдель (1931), доказав свои две знаменитые теоремы. Согласно его первой теореме, любая формализованная система, достаточно богатая для того, чтобы включать в себя арифметику натуральных чисел, неполна, так как в ней имеются правильно построенные формулы (выражения), которые не доказуемы и не опровержимы в ее рамках. Вторая теорема Гёделя утверждает: если арифметическая формальная система непротиворечива, то невозможно построить доказательство ее непротиворечивости, проведенное средствами, формализуемыми в этой системе. Эти теоремы, имеющие несомненное философскометодологическое значение, свидетельствуют об ограниченности метода формализации теорий, который лежит в основе гильбертовской метаматематической программы, и о том, что с помощью финитных методов нельзя доказать непротиворечивость не только классической математики, но даже и классической арифметики.
Лит.: Гильберт Д. Основания геометрии. М.-Л., 1948; КлиниС. К. Введение в метаматематику. М., 1957; Математическая теория логического вывода. М., 1967; Турчин В. Ф. «Сумасшедшие» теории и метанаука.- «ВФ» 1968, № 5; Садовский В. Н. Обшая теория систем как метатеория.- «ВФ» 1972, № 4; Есенин-Вольпин А. С. Об антитрадиционной (ультраинтуиционистской) программе оснований математики и естественнонаучном мышлении.- «ВФ» 1996, ¹ 8; Tarski A., Mostovski A., Robinson P. M. Undecidable Theories. Amst., 1953; WoodgerJ. H. The Axiomatic Method in Biology. Cambr., 1937. См. также литературу к статье Метаязык.
МЕТАТЕОРИЯ
Смотреть что такое «МЕТАТЕОРИЯ» в других словарях:
метатеория — метатеория … Орфографический словарь-справочник
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
МЕТАТЕОРИЯ — (от мета. и теория) изучает структурные, дедуктивные, семантические и пр. свойства какой либо другой (предметной) теории, представленной обычно в виде формальной системы или исчисления … Большой Энциклопедический словарь
МЕТАТЕОРИЯ — МЕТАТЕОРИЯ, и, жен. (спец.). Теория, представляющая основные свойства какой н. другой теории, специально для этого формализованной. | прил. метатеоретический, ая, ое. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 … Толковый словарь Ожегова
метатеория — сущ., кол во синонимов: 1 • теория (21) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
МЕТАТЕОРИЯ — англ. metatheory; нем. Metatheorie. Теория, анализирующая структуру, методы и принципы к. л. научной теории. Antinazi. Энциклопедия социологии, 2009 … Энциклопедия социологии
метатеория — МЕТАТЕОРИЯ теория, в которой производится рассмотрение свойств некоторой др. теории, в том числе ее точное описание (т.е. определение правил образования и преобразования) и исследование относящихся к ней результатов. Теория, исследование… … Энциклопедия эпистемологии и философии науки
метатеория — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN metatheory … Справочник технического переводчика
метатеория — (от мета. и теория), изучает структурные, дедуктивные, семантические и прочие свойства какой либо другой (предметной) теории, представленной обычно в виде формальной системы или исчисления. * * * МЕТАТЕОРИЯ МЕТАТЕОРИЯ (от мета. (см. МЕТА. … … Энциклопедический словарь
Метатеория — (гр. – позади теории) – это обобщенное название теории, предметом которой является другая теория, а в ней – построение, система понятий, положений и доказательств, пути развития, методы исследования, законы и принципы. Такой теорией по отношению… … Основы духовной культуры (энциклопедический словарь педагога)