Verbum

МЕТАТЭО́РЫЯ,

тэорыя, аб’ектам даследавання якой з’яўляецца якая-небудзь інш. тэорыя, якая аналізуе ўласцівасці, структуру, метады, лагічныя асновы (доказнасць, супярэчлівасць, строгасць і інш.) прадметнай тэорыі. М. ўстанаўлівае памеры тэорыі, спосабы ўвядзення новых паняццяў, дае магчымасць пабудаваць яе больш рацыянальным спосабам. Вынікі М. могуць фармалізавацца і вывучацца далей. Фармулюецца М. на метамове. Найб. пашырана М. логікі (металогіка) і матэматыкі (метаматэматыка). Задачай М. з’яўляецца даследаванне ўмоў фармалізацыі навук. тэорый, а таксама сінтакс. (лагічны сінтаксіс) і семантычных (семантыка лагічная) уласцівасцей фармалізаваных моў. Такія даследаванні набываюць асаблівае значэнне ў сувязі з развіццём кібернетыкі і выліч. тэхнікі.

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

т. 10, с. 310

ВЕРАГО́ДНАСЦЬ,

абгрунтаванасць, доказнасць і бясспрэчнасць ведаў. Тэрмін выкарыстоўваецца ў логіцы, гнасеалогіі, тэорыі імавернасцяў, прававой навуцы. Верагодныя суджэнні падзяляюцца на асэртарычныя (канстатуюць рэальнае становішча спраў) і ападыктычныя (сцвярджаюць неабходную сувязь з’яў). У філас. і логіка-метадалагічных даследаваннях верагоднасць найчасцей выкарыстоўваюць для характарыстыкі абгрунтаваных, даказаных ведаў і як сінонім ісціны. Найб. поўны і глыбокі крытэрый верагоднасці ведаў — грамадска-гіст. практыка. У эксперым. прыродазнаўстве верагоднымі ведамі лічаць тыя, што набылі эмпірычнае пацвярджэнне ў ходзе назіранняў і доследаў. Лагічны крытэрый верагоднасці ведаў звязаны з правільнасцю апрацоўкі эмпірычных даных і лагічных аперацый з ведамі, верагоднасць якіх устаноўлена раней. Верагодныя веды (суджэнні) трэба адрозніваць ад імавернасных, адпаведнасць якіх рэчаіснасці сцвярджаецца толькі ў якасці іх магчымай характарыстыкі (у выпадку ўвядзення колькасных крытэрыяў вызначаецца ступень такой магчымасці, гл. Імавернасць).

У.​К.​Лукашэвіч.

т. 4, с. 93

ГЕНЕРАЛІЗА́ЦЫЯ (ад лац. generalis агульны, галоўны),

1) абагульненне, лагічны пераход ад частковага да агульнага, падпарадкаванне асобных з’яў агульнаму прынцыпу.

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

3) У паталогіі — ператварэнне абмежаванага спачатку інфекц. або пухліннага працэсу ў пашыраны з узнікненнем метастатычных ачагоў у інш. органах. Адбываецца па крывяносных і лімфатычных шляхах.

т. 5, с. 153

БУРБАКІ́ (Нікала) (Bourbaki Nicolas),

псеўданім групы франц. матэматыкаў. У групу, створаную ў 1937, аб’ядналіся выпускнікі Вышэйшай нармальнай школы (А.​Картан, А.​Вейль, Ж.​Дзьеданэ і інш.), аднак колькасць удзельнікаў і поўны склад групы не абвешчаны. Выступаюць у друку, на кангрэсах і з’ездах ад імя адной асобы. Бурбакі паставілі перад сабой мэту стварыць трактат «Элементы матэматыкі», які ахапіў бы гал. раздзелы сучаснай матэматыкі на аснове фармальнага аксіяматычнага метаду.

За 1939—77 Бурбакі ў Францыі выдадзена больш за 40 твораў, значная частка якіх перакладзена на інш. мовы. Выкладанне матэм. тэорыі мае абстрактны і фармалізаваны характар, даецца толькі іх лагічны каркас. Аснова выкладання — т.зв. структуры, вызначаныя паводле аксіём. Спосаб разважання — ад агульнага да асобнага. Самыя істотныя вынікі атрыманы ў тапалогіі, тапалагічнай алгебры, алг. геаметрыі, тэорыі функцый многіх камплексных пераменных, тэорыі алг. лікаў і функцыянальным аналізе.

Тв.:

Рус. пер. — Очерки по истории математики. М., 1963;

Начала математики. Ч. 1, кн. 1. Теория множеств. М., 1965;

Общая топология: Тополог. группы... М., 1969.

т. 3, с. 347

МА́РБУРГСКАЯ ШКО́ЛА,

кірунак у неакантыянстве. Заснавальнік М.ш. Г.Коген і яго паслядоўнікі П.Натарп, Э.​Касірэр ставілі сваёй мэтай «трансцэндэнтальна-лагічную» інтэрпрэтацыю філасофіі І.​Канта, «ачышчэнне» яе ад катэгорыі «чыстаты розуму», «рэчы ў сабе», «вопыту» і інш., ад прымесей «метафізікі» і псіхалагізму. Паводле ўстаноўкі М.ш., навук. статус прызнаецца выключна за тымі філас. паняццямі, якія зводзяцца да гістарычна даказаных фактаў навукі, этыкі, мастацтва, рэлігіі і звязваюцца з «усёй творчай работай культуры», дзе цэнтр. месца займаюць не развіццё з’яў аб’ектыўнай рэчаіснасці, а іх навук. тлумачэнне і выкладанне; законам руху культуры абвяшчаецца менавіта творчая дзейнасць у галіне навукі. «Сузіранне» Канта ў трактоўцы М.ш. адрываецца ад псіхалагічнай антрапалагічнай асновы, у выніку чаго працэс пазнання зводзіцца да Мысліцельнай дзейнасці чалавечага мозга. Адмаўленне прынцыпу адзінства пачуццёвай і абстрактна-мысліцельнай ступеней азначае абсалютызацыю лагічных структур навукі і іх атаясамліванне з адзінай крыніцай навук. ведаў. Свой «трансцэндэнтальна-лагічны» метад М.ш. імкнулася пашырыць пераважна на прыродазнаўства; у грамадскіх навуках М.ш. мае дачыненне да распрацоўкі канцэпцыі этычнага сацыялізму.

В.​І.​Боўш.

т. 10, с. 107

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

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

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

т. 10, с. 306