МЕТАЛОГИКА

(греч. meta— после, за и logos — слово, понятие, рассуждение) — раздел современной формальной логики, в к-ром исследуются правила построения, формы доказательства и общие свойства (непротиворечивость, полнота, разрешимость и т. п.) формализованных логических систем, формальных исчислений (Математическая логика).

МЕТАЛОГИКА (греч. meta— после, за и logos — слово, понятие, рассуждение) — раздел современной формальной логики, в к-ром исследуются правила построения, формы доказательства и общие свойства (непротиворечивость, полнота, разрешимость и т. п.) формализованных логических систем, формальных исчислений (Математическая логика). М,— одна из форм построения метатеории, и по своей проблематике она теснейшим образом связана с математикой. Двумя основными разделами М. являются логический синтаксис и логическая семантика. МЕТАТЕОРИЯ (греч. meta — после, за и theoria — наблюдение, рассмотрение, исследование) — теория, предметом исследований к-рой является какая-либо теория или класс теорий. Первыми дисциплинами, подвергнутыми такому исследованию, были формальные науки — математика и логика (металогика). В настоящее время предпринимаются попытки построения М. для таких научных дисциплин, как физика, химия, биология, лингвистика и др. М. системных теорий представляет собой общая теория систем. Метатеоретическим по своему характеру является науковедение — наука о науке, методология и логика науки, а также дисциплины философского цикла (метаэтика, метапсихология н др.). Исходным пунктом анализа в М. выступает формализация соответствующей содержательной научной теории, превращение ее в формальное исчисление. Формализованная теория формулируется в особом языке — языке-объекте, а исследующая ее свойства, правила построения, методы доказательства и т. п. М. строится в метаязыке, к-рый должен содержать в себе все выражения языка-объекта и быть богаче его, т. е. содержать необходимые средства для описания строения, структуры, свойств языка-объекта. М. включает два аспекта — синтаксический, т. е. изучение структуры формализованной теории, и семантический, т. е. анализ интерпретаций ее языка. М. является важным средством обоснования, усовершенствования и дальнейшего развития соответствующих предметных, содержательных теорий.