Добро
пожаловать
на наш сайт
посвященный
философии
 
Философик

Метатеория — теория, предметом исследования к-рой является некото­рая другая теория. М. изучает систе­му положений и понятий данной теории; устанавливает ее границы, способы введения новых понятий и доказательства ее положений и т. д., давая возможность более рациональ­ным способом построить теорию. М. формулируется на метаязыке (Ме­таязык и язык-объект). В настоящее время наиболее развиты М. логики (Металогика) и математики (Мета­математика); в их развитии особую роль сыграли работы Д. Гильбер­та, К. Гёделя, С. Клини. В создании М. для нематематических дисциплин сделаны лишь первые шаги. Цен­тральной задачей М. является иссле­дование условий формализации на­учных теорий, а также синтакси­ческих (Логический синтаксис) и семантических (Логическая семан­тика) свойств формализованных языков. Такие исследования приоб­ретают особое значенне в связи с развитием кибернетики и вычисли­тельной техники.