Verbum

семантыка лагічная

т. 14, с. 317

ГІПО́ТЭЗА (ад грэч. hypothesis аснова, меркаванне),

сістэма тэарэт. пабудоў (суджэнняў), з дапамогай якіх на аснове шэрагу фактаў робіцца вывад пра існаванне аб’екта, яго ўласцівасці, сувязі ці прычыны з’явы, прычым вывад гэты нельга лічыць абсалютна дакладным; часовая логіка-метадалагічная характарыстыка выказвання, якая існуе ад пабудовы да праверкі. Гіпотэза павінна мець абгрунтаванасць, падлягаць праверцы і не супярэчыць прынятым у навуцы палажэнням. Пасля праверкі (эксперымент ці назіранне), калі гіпатэтычныя выказванні аказваюцца ісціннымі, яны ўключаюцца ў тэорыю, а калі памылковымі, то замяняюцца новымі. Лагічная структура гіпотэзы — лагічная структура тых выказванняў, якім прыпісваецца гіпатэтычнасць. Для эмпірычных навук характэрна, што кожнае выказванне ў іх бывае ў стадыі гіпотэзы. Паводле рус. логіка М.​І.​Карынскага, гіпотэза абазначае таксама вывад, які па сваёй структуры падобны да простага катэгарычнага сілагізму другой фігуры.

В.​М.​Пешкаў.

т. 5, с. 259

ПАРАЛАГІ́ЗМ (ад грэч. paralogismos памылковы вывад),

ненаўмысная лагічная памылка, звязаная з парушэннем законаў і правіл логікі. Пазбаўляе разважанне доказнай сілы і звычайна прыводзіць да памылковых заключэнняў. Адрозніваюць ад сафізму — памылкі, якая робіцца наўмысна, з мэтаю ўвесці ў зман апанента, абгрунтаваць няправільнае сцвярджэнне і інш. (гл. Сафістыка).

т. 12, с. 85

АНАКАЛУ́Ф (ад грэч. anakoluthos непаслядоўны, няправільны),

стылістычная фігура ў паэтыцы, лагічная ці сінтаксічная няўзгодненасць асобных частак выказвання. Напр.: «Празрыстае — можна каменне злічыць, // Блакітнае — неба ў ім палавіна, // Багатае — рыба лускою блішчыць, // Магутнае — слова ад бацькі і сына» (М.​Лужанін. «Запрашэнне на возера Нарач»). У маст. творы дапамагае індывідуалізаваць мову персанажа, надаць ёй асаблівы каларыт.

т. 1, с. 332

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

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

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

т. 10, с. 306