Verbum

ГЕЙ-ЛЮСА́КА ЗАКО́НЫ,

два законы, адкрытыя Ж.Л.Гей-Люсакам (1802, 1808). Закон цеплавога расшырэння газаў: аб’ём дадзенай масы ідэальнага газу пры пастаянным ціску мяняецца паводле формулы V_T = V₀(1 + α_vΔT), дзе V₀ і V_T — аб’ём газу пачатковы і пры т-ры T; ΔT = T − T₀ — рознасць гэтых т-р; α_v — каэф. цеплавога расшырэння газу пры пастаянным ціску (~1/273,15 К​⁻¹ для ўсіх газаў). Для рэальных газаў выконваецца набліжана і тым лепш, чым далей ад крытычнага стану знаходзіцца газ. Разам з Бойля—Марыёта законам і Авагадра законам паслужыў асновай для вываду ўраўнення стану ідэальнага газу (гл. Клапейрона—Мендзялеева ўраўненне). Закон аб’ёмных адносін: аб’ёмы газаў, якія ўступаюць у хім. рэакцыю, адносяцца адзін да аднаго і да аб’ёмаў газападобных прадуктаў рэакцыі як простыя цэлыя лікі. Напр., пры ўзаемадзеянні вадароду і хлору з утварэннем газападобнага хлорыстага вадароду H₂ + Cl₂ = 2HCl аб’ёмы газаў адносяцца як 1:1:2.

т. 5, с. 134

ЕГІ́ПЕЦКІЯ ПАЎСТА́ННІ 1919, 1921,

нацыянальна-вызв. паўстанні супраць англ. калан. панавання ў Егіпце. Зімой 1918 партыя «Егіпецкая дэлегацыя» (Вафд) сабрала подпісы з патрабаваннямі прадаставіць Егіпту незалежнасць. У адказ 8.3.1919 англічане арыштавалі лідэра партыі С.​Заглулу, што стала штуршком да паўстання. 9 сак. ў Каіры прайшла масавая дэманстрацыя пад лозунгамі поўнай нац. незалежнасці, адмены пратэктарату і вываду англ. войск. Кровапралітныя баі адбыліся ў Каіры, Александрыі, Порт-Саідзе і інш. гарадах, паўстанцы вызвалілі значную ч. тэр., стварылі свае органы ўлады. На кароткі час калан. ўлады страцілі кантроль, але кіраўніцтва Вафд не скарыстала момант для арганізацыі нар. мас, і англ. войскі задушылі паўстанне. У снеж. 1921 пасля спробы Англіі навязаць Егіпту нераўнапраўны саюзны дагавор пачаўся новы ўздым вызв. руху. Арышт лідэраў Вафд стаў сігналам да новага паўстання, якое было задушана ў пач. 1922. У лют. 1922 Вялікабрытанія адмовілася ад пратэктарату над Егіптам і фармальна прызнала яго незалежнасць.

У.​С.​Кошалеў.

т. 6, с. 382

ВЫ́БАРГСКАЯ АПЕРА́ЦЫЯ 1944,

адна з завяршальных аперацый у баях за Ленінград (гл. Ленінградская бітва 1941—44) у час Вял. Айч. вайны. Была часткай стратэгічнай аперацыі на паўн.-зах. напрамку ў чэрв. — жн. 1944 з мэтай вываду з вайны Фінляндыі. Праведзена 10—20 чэрв. войскамі правага крыла Ленінградскага фронту (Маршал Сав. Саюза Л.​А.​Говараў) ва ўзаемадзеянні з Балт. флотам (адмірал У.​Ф.​Трыбуц) і Ладажскай ваен. флатыліяй (контр-адмірал В.​С.​Чарокаў). Напрамак гал. удару — Белавостраў, Выбарг. Сав. войскі, якія мелі перавагу ў пяхоце ў 2 разы, у артылерыі і танках амаль у 6 разоў, у авіяцыі ў 3 разы, у выніку жорсткіх баёў пераадолелі 3 паласы абарончых умацаванняў праціўніка, прасунуліся на глыб. 110—130 км і 20 чэрв. штурмам авалодалі г. Выбарг. Упершыню ў ваен. гісторыі за кароткі тэрмін прарваны сучасны ўмацаваны раён з сярэднім тэмпам прасоўвання 10—12 км за суткі. Праціўнік быў вымушаны перакінуць на выбаргскі напрамак больш як 5 дывізій, сур’ёзна аслабіўшы сваю групоўку перад Карэльскім фронтам.

т. 4, с. 298

«МЕ́СЯЦ»,

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

«М.-1» (запуск 2.1.1959) — першая ў свеце АМС, запушчаная ў бок Месяца, першы штучны спадарожнік Сонца. «М.-2» (запуск 12.9.1959) упершыню ў свеце дасягнула паверхні Месяца (14.9.1959). «М.-3» (запуск 4.10.1959) перадала на Зямлю фотаздымкі адваротнага боку Месяца (7.10.1959). «М.-9» (запуск 31.1.1966) здзейсніла мяккую пасадку на паверхню Месяца (3.2.1966). «М.-10» (запуск 31.3.1966) — першы штучны спадарожнік Месяца. «М.-16» (запуск 12.9.1970) даставіла месяцавы грунт на Зямлю; гэта ж зрабілі «М.-20» і «М.-24». «М.-17» (запуск 10.11.1970) даставіла на Месяц месяцавы самаходны апарат («Месяцаход-1»); гэта ж зрабіла «М.-21» з «Месяцаходам-2». Усяго ў 1959—76 запушчаны 24 «М.».

У.​С.​Ларыёнаў.

т. 10, с. 301

МІ́РНЫ ДАГАВО́Р,

від дагавора міжнароднага, якім юрыдычна замацоўваецца спыненне становішча вайны і аднаўленне мірных адносін паміж ваюючымі дзяржавамі. Як правіла, уключае пастанову аб спыненні ваен. дзеянняў і становішча вайны, урэгуляванні тэр. пытанняў, пакрыцці страт, нанесеных вайной, вяртанні ваеннапалонных, адказнасці ваен. злачынцаў, лёсу заключаных да вайны дагавораў і пагадненняў і г.д. Можа быць прэлімінарны (папярэдні) або канчатковы, агульны (яго ўдзельнікі — усе ваяваўшыя дзяржавы) або сепаратны (дагавор заключаны толькі паміж некаторымі з дзяржаў, якія ўдзельнічалі ў вайне). Змест М.д. вызначаецца характарам вайны, якая папярэднічала яму. Напр., Парыжскія М.д. 1947 паміж дзяржавамі — пераможцамі ў 2-й сусв. вайне і былымі саюзнікамі фаш. Германіі ў Еўропе — з Італіяй, Румыніяй, Балгарыяй, Венгрыяй і Фінляндыяй — пабудаваны на дэмакр. і справядлівых прынцыпах, якія з’явіліся выяўленнем вызв. характару 2-й сусв. вайны. М.д. 1947 аднолькавыя па сваёй структуры і складаюцца з 8 асн. раздзелаў: прэамбулы, тэр., паліт., ваен., эканам. пастаноў, раздзелаў адносна вываду войск, рэпарацый і рэстытуцый. Адсутнасць М.д. паміж дзяржавамі не азначае наяўнасці становішча вайны.

т. 10, с. 465

ДЫЛЕ́МА (ад ды... + лема),

форма вываду, разнавіднасць сілагізму, пасылкамі (зыходнымі дапушчэннямі) якога з’яўляюцца 2 гіпатэтычныя (умоўныя) і 1 дыз’юнктыўнае (раздзяляльнае) суджэнні. Адрозніваюць Д. канструктыўную (сцвярджальную) і дэструктыўную (адмоўную). Будова канструктыўнай Д. ў традыц. логіцы выражаецца формулай: «Калі A ёсць B, C ёсць Д. Калі E ёсць F, C ёсць D. Але A ёсць B і E ёсць F. Адсюль C ёсць D». Будова скарочанай дэструктыўнай Д. выражаецца формулай: «Калі A ёсць B, C ёсць D. Калі E ёсць F, C ёсць D. Але C не ёсць D. Значыць, A не ёсць B і E не ёсць F». Усе гэтыя формы Д. даказальныя (або з’яўляюцца аксіёмамі) у сучаснай фармальнай (матэм.) логіцы, а дэструктыўная Д. часта выкарыстоўваецца ў лагічных абвяржэннях. Розныя віды сувязі суджэнняў, якія ўтвараюць паняцце Д., былі ўстаноўлены стараж.-грэч. філосафамі (гл. Стаіцызм), яны шырока выкарыстоўваліся ў схаластычнай логіцы. У пераносным сэнсе (у звычайнай свядомасці) пад Д. разумеюць стан, у якім апынаецца чалавек, калі яму неабходна зрабіць выбар паміж двума супрацьлеглымі роўна непрымальнымі для яго магчымасцямі (рашэннямі).

Т.​І.​Адула.

т. 6, с. 281

«МА́РЫНЕР»

(англ. mariner літар. марак),

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

У 1962—73 адбыліся запускі 10 «М.», што дало магчымасць атрымаць звесткі пра каляпланетную прастору, атмасферу і паверхню Венеры («М.-2», «М.-5», «М.-10»), Марса («М.-4», «М.-6», «М.-7», «М.-9»), Меркурыя («М.-10»). Запускі «М.-1» (для даследавання Венеры), «М.-З» і «М.-8» (для даследавання Марса) няўдалыя. «М.-9» стаў першы.м штучным спадарожнікам Марса (14.11.1971); зроблена больш як 7,3 тыс. фотаздымкаў планеты і яе спадарожнікаў — Дэймаса і Фобаса. «М.-10» (запуск 3.11.1973) прызначаўся для вывучэння Венеры і Меркурыя з пралётных траекторый. 5.2.1974 «М.-10» здзейсніў пралёт каля Венеры (на Зямлю перададзена каля 3,7 тыс. здымкаў). Ажыццявіўшы змену траекторыі палёту ў полі прыцягнення Венеры, «М.-10» 29.3.1974 перайшоў на геліяцэнтрычную арбіту. Зроблена каля 3 тыс. здымкаў паверхні Меркурыя. Спыніў работу 23.3.1975.

У.​С.​Ларыёнаў.

т. 10, с. 158

МАТЭМАТЫ́ЧНАЯ ЛО́ГІКА, сімвалічная логіка,

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

Зыходныя паняцці М.л. былі ўжо ў вучэнні прадстаўнікоў мегарскай школы і стоікаў. На мяжы 13—14 ст. ісп. філосаф Р.​Лулій сканструяваў спец. «лагічную машыну», якая складалася з сямі канцэнтрычных кругоў са знакамі, літарамі і тэрмінамі і дазваляла атрымаць разнастайныя камбінацыі слоў і паняццяў. Спроба стварэння «злічэння розуму», падобнага да матэм. злічэння і заснаванага на універсальнай лагічнай мове, належала Г.​Лейбніцу. Як самаст. дысцыпліна М.л. аформілася ў сярэдзіне 19 ст. ў працах англ. матэматыка і логіка Дж.​Буля і ў распрацаванай ім алгебры логікі. Далей М.л. развівалася ў сувязі з распрацоўкай аксіяматычнага метаду, мностваў тэорыі, вызначэння несупярэчлівасці матэм. злічэнняў і інш. Рас. вучоны П.​С.​Парэцкі распрацаваў тэорыю лагічных роўнасцей і прапанаваў найб. агульны метад знаходжання ўсіх эквівалентных форм пасылак і вынікаў з іх («Аб спосабах рашэння лагічных роўнасцей...», 1884). Ч.​Пірс (ЗША) праводзіў даследаванні ў строгай і раздзяляльнай дыз’юнкцыі, матэрыяльнай імплікацыі, індукцыі і гіпотэзы, логікі адносін і інш. галінах М.л. Ням. логік Г.​Фрэге прапанаваў аксіяматычную пабудову логікі выказванняў, сфармуляваў правіла падстаноўкі, увёў паняцце квантара, распрацаваў асн. прынцыпы семантыкі лагічнай. Сучасную форму М.л. надаў італьян. вучоны Дж.​Пеана, які распрацаваў сістэму аксіём для арыфметыкі натуральных лікаў і паказаў, як з дапамогай сімвалічнага злічэння можна практычна пабудаваць матэм. дысцыпліны («Фармуляр матэматыкі», т. 1—2, 1895—97). Развіццю М.л. садзейнічалі працы Б.​Расела і А.​Н.​Уайтхеда («Прынцыпы матэматыкі», т. 1—3, 1910—13). У далейшым атрымалі развіццё даследаванні ў розных галінах М.л., была распрацавана тэорыя матэм. доказаў на аснове выкарыстання лагічных злічэнняў да пытанняў асноў матэматыкі (Я.​Лукасевіч, А.​Гейцінг, А.​М.​Калмагораў, В.​І.​Шастакоў, С.​К.​Кліні, А.​А.​Маркаў і інш.).

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

Літ.:

Клини С.К. Математическая логика: Пер. с англ. М., 1973;

Шенфилд Дж.Р. Математическая логика: Пер. с англ. М., 1975;

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М., 1982;

Гильберт Д., Бернайс П. Основания математики: Теория доказательств: Пер. с нем. М., 1982;

Брюшинкин В.Н. Логика, мышление, информация. Л., 1988;

Логика и компьютер. Л., 1990.

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

т. 10, с. 213