метатеорія
МЕТАТЕОРІЯ - теорія, що аналізує властивості, структуру, методи що логічні основи (доказовість, несуперечливість, строгість тощо) моделі та межі застосування іншої теоретичної системи. М. будується стосовно формальних систем. При цьому формальна система виступає як предметна теорія, бо її розглядають суто об'єктивно, як систему абстрактних об'єктів чи знаків, а М. виявляється змістовною теорією, твердження якої інтуїтивно зрозумілі. М. формулюється в метамові. Застосування М. у дедуктивних науках відкриває плідні напрями дослідження. М. є важливим засобом раціоналізації предметних теорій. Потреба у М. розкриває тенденцію доповнення формалізації змістовним розглядом.