Verbum

АКСІЯМАТЫ́ЧНЫ МЕ́ТАД,

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

Узнік у работах стараж.-грэч. матэматыкаў. Напр., у «Асновах» Эўкліда праведзена ідэя атрымання асн. зместу геаметрыі з невялікай колькасці аксіём, праўдзівасць якіх лічыцца відавочнай. Адкрыццё ў 19 ст. неэўклідавых геаметрый стымулявала ўзнікненне праблем больш агульнага характару (напр., несупярэчлівасці, паўнаты і незалежнасці той ці інш. сістэмы аксіём). Гэта адкрыла шлях да фармалізаванага развіцця тэорый: пошуку інш. сістэм паняццяў (тэорый, галін ведаў), якія падпарадкоўваюцца тым жа аксіёмам, выяўлення новых інтэрпрэтацый пэўнай сістэмы аксіём, што дало магчымасць адкрываць новыя навук. факты. Д.Гільберт і яго школа спадзяваліся на аснове аксіяматычнага метаду вырашыць гал. пытанні абгрунтавання матэматыкі. Аднак вынікі аўстр. і амер. матэматыка і логіка К.Гёдэля (1931) выявілі неажыццявімасць гэтай праграмы, напр. тэарэма аб непаўнаце арыфметыкі сведчыць аб абмежаванасці аксіяматычнага метаду. У 20 ст. дзякуючы развіццю матэматычнай логікі стала магчымым аксіяматызаваць тыя сродкі логікі, з дапамогай якіх выводзяцца адны сцвярджэнні аксіяматычнай тэорыі з інш. яе сцвярджэнняў, што мае істотнае значэнне для аўтаматызацыі разумовай працы.

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

Літ.:

Садовский В.Н. Аксиоматический метод построения научного знания // Философские вопросы современной формальной логики. М., 1962;

Столл Р. Множества. Логика: Аксиоматич. теории.: Пер. с англ. М., 1968;

Новиков П.С. Элементы математической логики. 2 изд. М., 1973.

Р.Т.Вальвачоў, У.К.Лукашэвіч.

т. 1, с. 207

БЕЛАРУ́СКІ ІНСТЫТУ́Т НАВУ́КІ І МАСТА́ЦТВА (БІНіМ) у Нью-Йорку, грамадская навук.-культ. арг-цыя бел. эміграцыі ў ЗША. Засн. ў 1951. Штаб-кватэра ў Нью-Йорку, мае філіялы ў Германіі (Мюнхен, з 1955), Канадзе (Таронта, з 1968). Друкаваны орган — навук. штогоднік «Запісы» (з 1952). У 1954—63 выдаваў літ.-маст. час. «Конадні», у 1953—69 — інфармацыйны «Абежнік». Выдадзены аднатомнікі «Спадчына» Я.Купалы (1955), «Вянок» М.Багдановіча (1960), «Матчын дар» А.Гаруна (1962), творы эмігранцкіх бел. пісьменнікаў, навук. працы па гісторыі, л-ры і мастацтве Беларусі. Выдае (з 1979) серыю «Беларускія паэты і пісьменнікі эміграцыі». Падрыхтаваны бібліяграфіі «Янка Купала і Якуб Колас на Захадзе» (В. і З.Кіпелі, 1985), «Пяць стагоддзяў Скарыніяны, XVI—XX» (В.Тумаш, 1989) і інш. Ін-т падтрымлівае сувязі з многімі б-камі свету. У розны час яго ўзначальвалі У.Тамашчык, Я.Ліманоўскі, В.Тумаш, А.Адамовіч, з 1982 В.Кіпель. З канца 1980-х г. інстытут наладжвае кантакты з грамадскімі арг-цыямі Беларусі.

А.В.Мальдзіс.

т. 2, с. 444

МАКАВЕ́ЛЬСКІ (Аляксандр Восіпавіч) (10.7.1884, г. Гродна — 16.12.1969),

філосаф. Чл.-кар. АН СССР (1946), чл.кар. АН Азерб. ССР (1949). Засл. дз. нав. Азербайджана (1930). Скончыў Казанскі ун-т (1907) і працаваў там. З 1918 праф. У 1913—18 у навук. камандзіроўцы (Берлін, Мюнхен). З 1920 у Бакінскіх ун-це і пед. ін-це. З 1945 дырэктар, з 1950 навук. супрацоўнік Ін-та філасофіі і права АН Азерб. ССР. Асн. навук. працы па гісторыі ант. філасофіі (атамісты, сафісты), філасофіі народаў Б. Усходу, логіцы і псіхалогіі, па гісторыі філас. думкі Азербайджана, у т.л. літ. помнікаў (Авеста) і спадчыны Нізамі Ганджэві. У перакладзе М. і з яго каментарыямі выдадзены шэраг прац стараж.-грэч. філосафаў.

Тв.:

Понятие о душе в Древней Греции. Варшава, 1913;

Досократики. Ч. 1—3. Казань, 1914—1919;

Введение в философию. Ч. 1—5. Казань, 1915—1917;

Софисты. Вып. 1—2. Баку, 1940—41;

Древнегреческие атомисты. Баку, 1946;

Авеста. Баку, 1960;

История логики. М., 1967.

Літ.:

АО.Маковельский: Библиогр. Баку, 1964.

А.Ф.Самусік.

т. 9, с. 526

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

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

В.І.Боўш.

т. 10, с. 107

МАРЦІНКЕ́ВІЧ (Фелікс Станіслававіч) (1.2.1920, в. Машчонае Дзяржынскага р-на Мінскай вобл. — 13.8.1992),

бел. вучоны-эканаміст. Акад. АН Беларусі (1969, чл.-кар. 1966). Д-р эканам. н. (1964), праф. (1965). Скончыў БДУ (1946). З 1947 у Ін-це эканомікі АН Беларусі (у 1964—80 дырэктар). Адначасова ў 1966—70 у Бел. ін-це нар. гаспадаркі. Навук. працы па развіцці і размяшчэнні прадукц. сіл Беларусі, эфектыўнасці с.-г. вытворчасці. Даследаваў заканамернасці размяшчэння галін сельскай гаспадаркі і фарміравання с.-г. зон. Удзельнічаў у распрацоўцы навук. прагнозаў па комплексным выкарыстанні прыродных рэсурсаў і развіцці прадукц. сіл Палесся. Адзін з аўтараў і навук. рэдактар кн. «Эканамічная геаграфія Беларускай ССР» (1956), «Беларуская ССР» (1957), «Сацыяльна-эканамічныя пераўтварэнні ў Беларускай ССР за гады Савецкай улады» (1970).

Тв.:

Измерение эффективности работы сельскохозяйственных предприятий. Мн., 1975 (разам з А.І.Мяцельскім);

Факторный анализ эффективности сельскохозяйственного производства. Мн., 1983 (у сааўт.);

Социально-экономическая эффективность сельскохозяйственного производства в АПК. Мн., 1986 (у сааўт.).

т. 10, с. 147

МЯДЗВЕ́ДЗЕЎ (Віталь Фядосавіч) (н. 26.9.1928, в. Вугольшчына Бялыніцкага р-на Магілёўскай вобл.),

бел. вучоны-эканаміст. Чл.-кар. Нац. АН Беларусі (1984). Д-р эканам. н. (1981), праф. (1982). Скончыў БДУ (1952). З 1955 у Ін-це эканомікі АН Беларусі, з 1961 у Дзяржплане Беларусі. З 1967 дырэктар НДІ эканомікі і эканоміка-матэм. метадаў планавання. З 1973 дырэктар БелНДІ навук.-тэхн. інфармацыі і тэхніка-эканам. дасягненняў. З 1994 старшы саветнік ін-та «Белінфармпрагноз» пры Адміністрацыі Прэзідэнта Беларусі. Навук. працы па праблемах метадалогіі развіцця рэгіянальных эканам, сістэм, пабудове сістэмы інфарм. забеспячэння навукі, тэхнікі і вытв-сці. Распрацоўваў сукупнасць навук, абгрунтаванняў фарміравання і развіцця нар.-гасп. комплексу Рэспублікі Беларусь.

Тв.:

Моделирование в системе планирования и управления. Мн., 1976 (разам з Л.М.Крюкавым);

Системы моделей в планировании Мн., 1977 (з ім жа);

Совершенствование регионального планирования. Мн., 1979;

Республика Беларусь: окружающая среда и экономика. Нью-Йорк;

Женева, 1994;

Содержание, цели и перспективы инновационной политики Республики Беларусь. Нью-Йорк;

Женева, 1996.

т. 11, с. 65

МІ́НСКАЕ ТАВАРЫ́СТВА АМА́ТАРАЎ ПРЫРОДАЗНА́ЎСТВА, ЭТНАГРА́ФІІ І АРХЕАЛО́ГІІ.

Існавала ў 1912—15 у Мінску. Яго праграма прадугледжвала навук. вывучэнне прыроды краю, гісторыка-археал. даследаванні, ахову помнікаў прыроды, пашырэнне прыродазнаўча-гіст. і геагр. ведаў на тэр. Мінскай губ. Размяшчалася ў памяшканні Мінскай губ. земскай управы і гімназіі К.В.Фальковіча, з 1913 — у Мінскім гарадскім музеі. Кіравалася радай з 6 чал. 1-ы старшыня — дырэктар Мінскай балотнай доследнай станцыі А.Ф.Флёраў, члены: урачы А.П.Грацыянскі і С.М.Урванцоў, інж.-тэхнолаг, чл. гар. управы Ф.Цывінскі, кіраўнік Упраўлення земляробства і дзярж. маёмасцей Мінскай губ. І.М.Шэмігонаў, старшыня губ. казённай палаты Ф.М.Ястрэмскі і інш. Члены т-ва займаліся навук. работай, чыталі даклады па медыцыне, геалогіі, глебазнаўстве, флоры і фауне Беларусі, праблемах зберажэння нар. багаццяў. Т-ва падтрымлівала сувязі з шэрагам ун-таў і т-ваў. У 1914 выдала навук. зб. «Весці». Сабрала калекцыі стараж. кніг, манет, мінералаў, бел. нац. адзення, гербарыі, якія захоўваліся ў створаным т-вам гар. музеі. Спыніла дзейнасць у сувязі з падзеямі 1-й сусв. вайны.

З.В.Шыбека.

т. 10, с. 416

АСТАУ́РАЎ (Барыс Львовіч) (27.10.1904, Масква — 21.6.1974),

савецкі біёлаг. Акад. АН СССР (1966; чл.-кар. 1958). Скончыў Маскоўскі ун-т (1927). З 1927 у навук. установах біял. профілю. З 1967 дырэктар Ін-та біялогіі развіцця АН СССР. Навук. працы па пытаннях развіцця і спадчыннасці дразафілы і тутавага шаўкапрада, метадах атрымання поўнага штучнага (тэрмічнага) партэнагенезу і поўнага міжвідавога андрагенезу, стварэнні ядзерна-цытаплазматычных гібрыдаў. Даказаў вырашальную ролю клетачнага ядра ў морфагенезе і стварэнні міжвідавых адрозненняў, што паспрыяла вырашэнню праблемы рэгуляцыі пола ў жывёл і стварэнню паліплоідных ліній тутавага шаўкапрада.

Тв.:

Партеногенез, андрогенез и полиплоидия. М., 1977.

т. 2, с. 45

АЛЯКСА́НДРАЎ (Павел Сяргеевіч) (7.5.1896, г. Нагінск, Расія — 16.11.1982),

сав. матэматык; заснавальнік навук. школы па тапалогіі. Акад. АН СССР (1953, чл.-кар. 1929). Герой Сац. Працы (1969). Скончыў Маскоўскі ун-т (1917), з 1929 праф. там жа. Навук. працы па тапалогіі, тэорыі мностваў і тэорыі функцый сапраўднай пераменнай. Стварыў тэорыю бікампактных прастораў, метады камбінаторнага (алгебраічнага) даследавання мностваў і прастораў, тэорыю размернасці. Віцэ-прэзідэнт Міжнар. матэм. асацыяцыі (з 1958). Дзярж. прэмія СССР 1943.

Тв.:

Комбинаторная топология. М.; Л., 1947;

Введение в общую теорию множеств и функций. М.; Л., 1948;

Введение в теорию групп. 2 изд. М., 1951.

т. 1, с. 296

АНДРО́СІК (Мікалай Мікалаевіч) (н. 8.1.1945, в. Каменка Нясвіжскага р-на Мінскай вобл.),

бел. вучоны ў галіне ветэрынарнай мікрабіялогіі. Чл.-кар. Акадэміі агр. навук Беларусі (1992). Д-р вет. н. (1989). Скончыў Віцебскі вет. ін-т (1970). З 1972 у Бел. НДІ эксперым. ветэрынарыі імя С.Н.Вышалескага, з 1994 нач. Гал. ўпраўлення аграрнай адукацыі Мінсельгасхарча Беларусі. Навук. працы па дыягностыцы, спец. прафілактыцы і мерах барацьбы з інфекц. хваробамі жывёл.

Тв.:

Профилактика пневмоний свиней. Мн., 1989;

Справочник по болезням сельскохозяйственных животных. 2 изд. Мн., 1990 (у сааўт.);

Справочник по болезням молодняка животных. Мн., 1995 (разам з М.В.Якубоўскім, Я.А.Панкаўцом).

т. 1, с. 357