Verbum

МЕТАЛО́ГІКА (ад мета... + логіка),

галіна логікі, у якой сродкамі метатэорыі вывучаюцца будова і ўласцівасці розных фармальна-лагічных сістэм і логікі ў цэлым. Узнікла ў сувязі з даследаваннямі асноў дэдуктыўных навук (асабліва матэматыкі). У вузкім сэнсе М. ўключае 3 часткі: лагічны сінтаксіс (гл. Сінтаксіс у логіцы), у якім даследуюцца структурныя ўласцівасці фармальных тэорый, правілы пабудовы і пераўтварэння выразаў, што прыняты ў розных сістэмах злічэння; семантыка лагічная, у якой вывучаюцца сэнс і значэнне выразаў мовы і правілы інтэрпрэтацыі лагічных злічэнняў; лагічная прагматыка, што раскрывае спосабы і шляхі практычнага выкарыстання суб’ектамі фармальных тэорый. У шырокім сэнсе да М. адносяць усе патрабаванні да пабудовы фармальных сістэм (гл. Фармалізацыя) і ўжывання аксіяматычнага метаду, агульныя правілы дэдукцыі, вываду і доказу, тэорый вызначальнасці паняццяў, мадэлей, сапраўднасці ў фармалізаваных мовах і інш. У рамках М. вывучаюцца таксама праблемы ўзаемаадносін паміж т.зв. экстэнсіянальнымі і інтэнсіянальнымі мовамі (гл. Семіётыка), сэнсавыя адносіны і псіхал. аспекты звычайных змястоўных разважанняў, пытанні мадэліравання інтэлектуальнай дзейнасці чалавека. Ідэі і метады М. выкарыстоўваюць таксама ў даследаваннях законаў разважання, у прыродазнаўчых тэорыях. Праблемы М. распрацоўваюцца ў творах Г.​Фрэге, Д.​Гільберта, К.​Гёдэля, А.​Тарскага, А.​Чорча, Р.​Карнапа, П.​С.​Новікава і інш.

С.​Ф.​Дубянецкі.

т. 10, с. 306