Verbum

ЛО́ГІКА КЛА́САЎ,

раздзел логікі, у якім разглядаюцца класы (мноствы) прадметаў, што задаюцца характарыстычнымі ўласцівасцямі гэтых прадметаў (элементаў класаў). Л.к. выступае як прыватны выпадак логікі прэдыкатаў, што аперыруе з аб’ёмамі (класамі) паняццяў, змест якіх выражаецца адпаведнымі аднамеснымі прэдыкатамі. Л.к. адпавядае таксама сілагістыцы Арыстоцеля. Часам яна разглядаецца як фармалізаваная тэорыя мностваў, у іншых выпадках — як расшырэнне логікі выказванняў. Калі ў логіцы выказванняў абстрагуюцца ад сувязей паміж суб’ектам і прэдыкатам выказвання, то ў Л.к. гэтыя сувязі ўлічваюцца. У лік класаў у Л.к. уключаецца і пусты клас (0), які ўтрымлівае нулявое мноства элементаў, і ўніверсальны клас (1), які ўключае ўсе аб’екты. З класамі (мноствам) можна рабіць аперацыі: перасячэння (знаходжанне агульных для іх элементаў), аб’яднання (складання) і дапаўнення да ўзроўню універсальнага класа. Да алфавіта логікі выказванняў у Л.к. дадаюцца: пераменныя a, b, c, ... для класаў; знакі, якія абазначаюць аперацыі з класамі; пастаянныя тэрмы 0 і 1; знакі для абазначэння адносін паміж класамі. Уводзяцца адносіны ўключэння класа ў клас (a⊂b) — a уключаецца ў клас b; адносіны роўнасці двух класаў (a=b); абедзве гэтыя формы адносін могуць быць вызначаны праз адносіны прыналежнасці элемента класу (a∈b).

В.В.Краснова.

т. 9, с. 334

ДВАЙНО́ГА АДМАЎЛЕ́ННЯ ЗАКО́Н,

закон логікі, паводле якога адмаўленне адмаўлення (г.зн. паўторанае двойчы адмаўленне) дае сцвярджэнне. Напр.: «Калі няправільна, што сусвет не з’яўляецца бясконцым, то ён бясконцы». Гэты закон вядомы з часоў антычнасці. Стараж.-грэч. філосафы Зянон Элейскі і Горгій выкладалі яго так: калі з адмаўлення якога-н. выказвання выходзіць супярэчнасць, то мае месца двайное адмаўленне зыходнага выказвання, г.зн. яно само. Д.а.з. запісваецца ў вылічэнні выказванняў сучаснай матэм. логікі наступным чынам: a→A, што чытаецца так: «двайное адмаўленне a мае вынікам A′» (знак → — знак імплікацыі, які адпавядае злучніку «калі, то»). Другі закон логікі, які гаворыць аб магчымасці не здымаць, а ўводзіць 2 адмаўленні, называюць зваротным Д.а.з.; двайное сцвярджэнне мае вынікам сваё двайное адмаўленне. Напр.: «Калі Шэкспір пісаў санеты, то няпраўда, што ён не пісаў санеты». Аб’яднанне гэтых 2 законаў дае поўны Д.а.з.: двайное адмаўленне раўназначна сцвярджэнню. Напр.: «Планеты не нерухомыя толькі ў тым выпадку, калі яны рухаюцца».

т. 6, с. 74

ЛО́ГІКА АДНО́СІН,

раздзел логікі, які вывучае ўласцівасці выказванняў пра адносіны паміж аб’ектамі рознай прыроды. Элементарныя выказванні пра адносіны — выказванні віду akb, што значыць «аб’ект a знаходзіцца ў адносінах k да аб’екта b» (напр., «a брат b», «a цяжэй, чым b»). Адпаведна колькасці аб’ектаў, звязаных пэўнымі адносінамі, адрозніваюць двухмесныя (бінарныя), трохмесныя (тэрнарныя) і ўвогуле n-месныя (n-арныя) адносіны. Асабліва важнае значэнне маюць бінарныя адносіны пры дапамозе якіх вызначаюць такія важныя паняцці логікі і матэматыкі, як «функцыя», «аперацыя». Уводзячы для бінарных адносін аперацыі аб’яднання (сумы), перасячэння (здабытку) і дапаўнення, атрымліваюць «алгебру адносін»; ролю адзінкі ў ёй выконваюць адносіны эквівалентнасці (роўнасці, тоеснасці). Уласцівасці адносін эквівалентнасці — рэфлексіўнасць (для ўсякага x правільна, што xkx, г. зн. кожны аб’ект заходзіцца ў дадзеных адносінах да самога сябе); сіметрычнасць (з xky вынікае ykx, транзітыўнасць (з xky і ykz вынікае xkz). У сучаснай матэм. логіцы адносіны выражаюцца праз мнагамесныя прэдыкаты [напр., «Брат (a, b)», «Больш (a, b)»], таму Л.а. распрацоўваецца як частка логікі прэдыкатаў.

В.В.Філіпава.

т. 9, с. 334

ДЖЭ́ВАНС ((Jevons) Уільям Стэнлі) (1.9.1835, г. Ліверпул, Вялікабрытанія — 13.8.1882),

англійскі эканаміст, статыстык і філосаф-логік. Праф. логікі, філасофіі і паліт. эканоміі ў Манчэстэры (1866—76) і Лондане (1876—80). Заснавальнік матэм. школы ў паліт. эканоміі, адзін з заснавальнікаў гранічнай карыснасці тэорыі. З эканам. прац найб. вядомая «Тэорыя палітычнай эканоміі» (1871). Гал. праблему эканам. навукі бачыў у вывучэнні спажывання, асн. законам якога лічыў закон убываючай карыснасці. Даследаваў праблемы грашовага абарачэння, індэкса цэн, тэорыі эканам. цыклаў, матэм. логікі і інш. Стварыў адну з першых лагічных машын (1869), звязаў тэорыю лагічнай індукцыі з тэорыяй імавернасці.

т. 6, с. 96

АНТЫЛАГІ́ЗМ (ад анты... + грэч. logos розум),

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

т. 1, с. 397

ЛАГІ́ЧНЫ АТАМІ́ЗМ,

вучэнне аб рэчаіснасці, паводле якога свет уяўляе сабой сукупнасць толькі знешне звязаных паміж сабой атамарных (якія не маюць састаўных частак) фактаў. Распрацавана Б.Раселам і Л.Вітгенштэйнам у пач. 20 ст. Тэарэт. вытокі Л.а. — неэўклідава геаметрыя, матэматыка, розныя сістэмы фармальнай логікі. Праграма Л.а. прадугледжвала пабудову «лагічна дасканалай мовы» на ўзор лагічнай мовы. Сутнасць пераўтварэнняў у адносінах да мовы зводзілася да распрацоўкі элементарных, простых, далей не раскладальных у сэнсавых адносінах сказаў — своеасаблівых «атамаў» мовы, сапраўднасць якіх можна было б лёгка пацвердзіць эмпірычным шляхам. Распрацоўкі Л.а. былі выкарыстаны Венскім гуртком, адыгралі пазітыўную ролю ў развіцці логікі.

Літ.:

Козлова М.С. Философия и язык. М., 1972;

Современная буржуазная философия. [Ч. 2]. М., 1978.

Т.І.Адула.

т. 9, с. 89