МЕТАЛОГИКА

— наука, изучающая строение логических теорий. М. включает исследования исчислений и строго отличает содержательные выводы, которые делаются при доказательстве различных положений, касающихся исчисления, от формальных выводов самого исчисления, представленных в виде операций над высказываниями и рассматриваемых только в качестве таковых.