Verbum

фармальная логіка

т. 16, с. 325

фармальная мова

т. 16, с. 325

ГРУ́ПА САЦЫЯ́ЛЬНАЯ,

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

Літ.:

Смелзер Н. Социология: Пер. с англ. М., 1994;

Щепаньский Я. Элементарные понятия социологии: Пер. с. пол. М., 1969.

А.У.Рубанаў.

т. 5, с. 466

ЛАГІ́СТЫКА

(ад грэч. logistikē мастацтва вылічаць, разважаць),

1) назва этапа ў развіцці матэматычнай логікі, прадстаўленага працамі Б.Расела і яго школы (гл. Лагіцызм). У антычнасці тэрмінам «Л.» называлі практычныя аперацыі вылічэнняў і вымярэнняў у арыфметыцы ў процілегласць тэарэт. матэматыцы. У Г. Лейбніца — абазначэнне «вылічэння вывадаў» (calculus ratiocinator) 2) Сінонім ( у пэўнай ступені архаічны) тэрміна «матэм. логіка». У наш час тэрмін «Л.» выкарыстоўваюць для абазначэння матэм. логікі пры вырашэнні эканам. задач, аптымізацыі кіраўніцкіх функцый і інш. Вытворнымі ад «Л.» з’яўляюцца паняцці «лагістычны метад» (спосаб пабудовы фармалізаваных моў для розных раздзелаў логікі) і «лагістычная сістэма» (фармальная частка гэтых моў).

В.М.Пешкаў.

т. 9, с. 89

А́ДРАСНАЯ МО́ВА ў вылічальнай тэхніцы,

фармальная мова для апісання працэсаў пераўтварэння інфармацыі ў ЭВМ. Кожны элемент інфармацыі адпавядае пэўнаму адрасу (напр., нумару ячэйкі памяці ЭВМ); некаторыя адрасы могуць адпавядаць інш. адрасам. Напр., калі элемент інфармацыі (адрас) b адназначна адпавядае адрасу a, то ў адраснай мове гэта запісваецца формулай $’\mathrm{a}=\mathrm{b}$ (адрасная функцыя). Вылічэнне новых значэнняў і іх засылка на пэўныя адрасы задаюцца адраснай формулай (2 адрасныя функцыі, злучаныя знакам засылкі =>). Запіс b => a азначае, што элемент b засылаецца на адрас a, пасля чаго $’\mathrm{a}=\mathrm{b}$. Адрасны алгарытм (паслядоўнасць адрасных формул і інш. сімвалаў) спец. праграмамі-транслятарамі пераўтвараецца ў праграму на мове ЭВМ.

т. 1, с. 136

ВЫ́КЛЮЧАНАГА ТРЭ́ЦЯГА ПРЫ́НЦЫП,

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

т. 4, с. 311