Verbum

ДЫДЫ́ШКА (Вячаслаў Іосіфавіч) (н. 10.3.1949, в. Ліпск Ляхавіцкага р-на Брэсцкай вобл.),

бел. спартсмен (шахматы). Міжнар. гросмайстар (1995). Скончыў БДУ (1973). З 1992 спартсмен-інструктар нац. зборнай каманды па шахматах. Чэмпіён Беларусі па шахматах у 1965, 1971, 1973, 1979, 1980, 1982, 1988, 1992. Пераможца міжнар. турніру «Берлінскае лета» (1995) і інш.

Тв.:

Логика современных шахмат. Мн., 1989.

т. 6, с. 275

КРУКО́ЎСКІ (Мікалай Ігнатавіч) (н. 16.11.1923, в. Машкова Аршанскага р-на Віцебскай вобл.),

бел. філосаф. Д-р філас. н. (1986), праф. (1988). Скончыў БДУ (1950). З 1963 у БДУ. З 1994 у Бел. ун-це культуры. Навук. працы па праблемах філасофіі, тэарэт. эстэтыкі, культуралогіі, станаўлення нац. самасвядомасці, узаемаадносін культуры і суверэнітэту народа.

Тв.:

Логика красоты. Мн., 1965;

Основные эстетические категории: Опыт систематизации. Мн., 1974;

Кибернетика и законы красоты. Мн., 1977;

Homo pulcher — Человек красивый. Мн., 1983.

П.​М.​Бараноўскі.

т. 8, с. 485

ЗАКРЭ́ЎСКІ (Аркадзь Дзмітрыевіч) (н. 22.5.1928, С.-Пецярбург),

бел. вучоны ў галіне тэхн. кібернетыкі і інфарматыкі. Чл.-кар. Нац. АН Беларусі (1972), д-р тэхн. н. (1967), праф. (1969). Скончыў Томскі ун-т (1956). З 1971 у Ін-це тэхн. кібернетыкі Нац. АН Беларусі. Навук. працы па тэорыі дыскрэтных сістэм, тэарэт. асновах інфармац. тэхналогій і інтэлектуальных сістэм праектавання. Распрацаваў метады лагічнага праектавання дыскрэтных прылад, рашэння лагічных ураўненняў і камбінаторных задач аўтаматызаванага праектавання і штучнага інтэлекту.

Тв.:

Логический синтез каскадных схем. М., 1981;

Логика распознавания. Мн., 1988.

т. 6, с. 507

КАПНІ́Н (Павел Васілевіч) (27.1.1922, с. Гжэль Раменскага р-на Маскоўскай вобл. — 27.6.1971),

расійскі філосаф. Чл.-кар. АН СССР (1970), акад. АН УССР (1967). Скончыў Маскоўскі ун-т (1947). З 1947 на навук. і пед. рабоце ў Томску, Маскве, Кіеве. З 1962 дырэктар Ін-та філасофіі АН УССР, з 1968 Ін-та філасофіі АН СССР. Асн. працы ў галіне гнасеалогіі, дыялект. матэрыялізму, метадалогіі і логікі навук. пазнання.

Тв.:

Гипотеза и познание действительности. Киев, 1962;

Логические основы науки. Киев, 1968;

Диалектика, логика, наука. М., 1973;

Гносеологические и логические основы науки. М., 1974.

т. 8, с. 28

КІ́РВЕЛЬ (Чэслаў Станіслававіч) (н. 9.3.1945, в. Мякішы Шчучынскага р-на Гродзенскай вобл.),

бел. філосаф. Д-р філас. н. (1990), праф. (1992). Скончыў Ленінградскі ун-т (1972). З 1977 у Камсамольскім-на-Амуры політэхн. ін-це. З 1980 у Гродзенскім ун-це (з 1981 заг. кафедры філасофіі). Даследуе праблемы утапічнай свядомасці, ролі суб’ектыўнага фактару ў гісторыі і інш. Адзін з аўтараў навуч. дапаможнікаў для ВНУ («Асновы філасофіі», 1994, «Гісторыя філасофіі», 1997, і інш.).

Тв.:

Утопическое сознание: сущность, социально-полит. функции. Мн., 1989;

Утопия: практич. умонастроение и социал. поведение // Социальная сила знания. Мн., 1991;

Притязания утопии и логика истории // Социология и социальная антропология. СПб., 1997.

т. 8, с. 279

НО́ВІКАЎ (Пётр Сяргеевіч) (28.8.1901, Масква — 9.1.1975),

расійскі матэматык, стваральнік школы матэм. логікі. Акад. АН СССР (1960). Скончыў Маскоўскі ун-т (1925). З 1929 у Маскоўскім хім.-тэхнал. ін-це, з 1934 у Матэм. ін-це імя У.​А.​Сцяклова АН СССР, з 1945 праф. Маскоўскага пед. ін-та імя Леніна. Навук. працы па тэорыі мностваў, матэм. логіцы, тэорыі алгарытмаў і тэорыі груп. Прапанаваў метад даследавання праблем дэскрыптыўнай тэорыі мностваў, метад доказу несупярэчнасці фармальных сістэм. Даказаў невырашальнасць праблемы тоеснасці, спалучанасці і ізамарфізму ў тэорыі груп. Ленінская прэмія 1957.

Тв.:

Избр. труды: Теория множеств и функций. Математическая логика и алгебра. М., 1979.

т. 11, с. 370

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

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

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

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

Літ.:

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

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

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

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

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

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

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

т. 10, с. 213

АБ’ЕКТЫВІ́ЗМ,

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

2) Кірунак у этыцы, які прызнае аб’ектыўныя каштоўнасці і прадпісанні і спрабуе ўстанавіць аб’ектыўны крытэрый і аб’ектыўную мэту маральнага дзеяння (гл. Норма).

Літ.:

Поппер К. Логика и рост научного звания. М., 1983;

Праблемы развіцця сучаснай філасофіі. Мн., 1994.

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

т. 1, с. 19

РОД І ВІД у логіцы,

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

Літ.:

Ковальски Р. Логика в решении проблем: Пер. с англ. М., 1990;

Арно А., Николь П. Логика, или Искусство мыслить: Пер. с фр. М., 1991;

Брюшинкин В.Н. Практический курс логики для гуманитариев.

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

т. 13, с. 393

ПІЯЖЭ́ ((Piaget) Жан) (9.8.1896, г. Неўшатэль, Швейцарыя — 16.9.1980),

швейцарскі псіхолаг. Вучыўся ва ун-тах Неўшатэля, Цюрыха, Парыжа. У 1926—54 праф. ун-таў Неўшатэля, Жэневы, Лазаны. З 1929 дырэктар ін-та Ж.​Ж.​Русо ў Жэневе. Заснавальнік Міжнар. цэнтра генетычнай эпістэмалогіі ў Парыжы (1955). Навук. працы ў галіне агульнай псіхалогіі, псіхалогіі мыслення і дзіцячай псіхалогіі. Стваральнік канцэпцыі інтэлекту і генетычнай эпістэмалогіі. Распрацоўваў праблемы узаемаадносін псіхалогіі і логікі, вывучаў пераўтварэнне ўнутр. структуры разумовай дзейнасці у ходзе антагенезу. Лічыў, што функцыянаванне і развіццё псіхікі адбываецца пры адаптацыі індывіда да асяроддзя (асіміляцыі), а таксама прыстасавання да канкрэтных сітуацый (акамадацыі). Аўтар прац «Псіхалогія інтэлекту» (1946), «Уводзіны ў генетычную эпістэмалогію» (т. 1—3, 1949—50) і інш.

Тв.:

Рус. пер. — Речь и мышление ребенка. М., 1994;

Избр. психологические труды: Психология интеллекта. Генезис числа у ребенка. Логика и психология. М., 1994;

Суждение и рассуждение ребенка, СПб., 1997.

т. 12, с. 396