Структура формализованных систем

Они надстраиваются над «предметными» теориями и заключают в себе два аспекта: син­таксис и семантику. Операции и методы, с помощью которых задаст­ся интерпретация формальной системы, называют­ся семантическими. Изучение предметной теории в отвлечении от того, что обозначают ее выражения, называется син­таксисом. Если при синтаксическом иссле­довании имеют дело с преобразованиями формул по строго установленным правилам, без учета того, что обозначают формулы, то в семантике, напротив, ха­рактеризуются отношения между элементами из пред­метной области той содержательной теории, для фор­мализации которой предназначается данная формаль­ная система с ее формулами (и их соотношениями). Поэтому семантические понятия, операции и методы в отличие от синтаксических, строго формальных ме­тодов и средств исследования называют содержатель­ными.