закон класічнай фармальнай логікі, паводле якога з двух выказванняў, адно з якіх ісціннае, другое няісціннае, выключаюць трэцяе. Напр., з двух выказванняў «Сонца—зорка» (A ёсць B) і «Сонца — не зорка» (A не ёсць B) адно ісціннае. Маючы на ўвазе такія выказванні, традыц. фармальная логіка гэты закон фармулявала так: «A ёсць B ці не B» (трэцяга не дадзена). Упершыню выключанага трэцяга прынцып сфармуляваны Арыстоцелем. Сфера дзеяння яго вызначаецца не спосабамі выяўлення ісціннасці ці няісціннасці выказванняў, а адносінамі паміж выказваннямі, калі яны выкарыстоўваюцца ў доказах і інш. лагічных аперацыях. Закон не дапускае, каб сцверджанне і адмаўленне падмяняліся адно адным ці эклектычна аб’ядноўваліся ў нейкім трэцім выказванні. Выключанага трэцяга прынцып дапаўняе і развівае ў логіцы супярэчнасці прынцып і разам з ім і з тоеснасці законам выключае лагічную супярэчлівасць выказванняў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
КА́РНАП ((Carnap) Рудольф) (18.5.1891, г. Вуперталь, Германія — 14.9.1970),
нямецка-амерыканскі філосаф і логік, вядучы прадстаўнік лагічнага пазітывізму і філасофіі навукі. Удзельнік Венскага гуртка і распрацоўкі ідэй лагічнага эмпірызму. Працаваў ва ун-тах Еўропы, у 1936—52 у Чыкагскім, Каліфарнійскім ун-тах. Распрацоўваў пераважна фармалізаваную тэорыю індуктыўнай, семантычнай і мадальнай логік. Прадметам філасофіі навукі лічыў аналіз структуры прыродазнаўчанавук. ведаў з мэтай удакладнення асн. паняццяў навукі з дапамогай матэм.логікі. Філасофія, паводле К., складаецца з вытлумачэння зместу паняццяў часу і адначасовасці з’яў. У апошнія гады жыцця К. выказваўся на карысць існавання «неназіральных матэрыяльных аб’ектаў», фармуляваў сцвярджэнні, блізкія да прыродазнаўчанавук. матэрыяліст. традыцыі. Шэраг вынікаў, атрыманых К., выкарыстаны ў даследаваннях па кібернетыцы.
Тв.:
Рус.пер. — Значение и необходимость. М., 1959;
Философские основания физики: Введение в философию науки. М., 1971.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ЖУ́КАЎ (Мікалай Іванавіч) (н. 20.5.1930, г. Шуя, Расія),
бел. філосаф. Засл. дз. нав. Рэспублікі Беларусь (1992). Д-рфілас.н. (1975), праф. (1976). Скончыў Ленінградскі ун-т (1958). Працаваў у Мінскім мед. ін-це (1960—69), у БДУ (1969—88). З 1988 заг. кафедры філасофіі Нац.АН Беларусі. Даследуе філас. праблемы прыродазнаўства і тэхнікі. Распрацаваў канцэпцыі функцыян. прыроды інфармацыі, трох узроўняў нематэрыяльных (ідэальных) працэсаў, даў арыгінальную трактоўку праблемам адзінства свету, штучнага інтэлекту, суадносін фармальнай логікі і дыялектыкі. Заснавальнік бел.навук. школы ў галіне філас. праблем тэорыі сістэм, кібернетыкі, матэматыкі і інфарматыкі. Аўтар падручнікаў для ВНУ па філасофіі, філас. асновах матэматыкі і кібернетыкі.
Тв.:
Информация: (Философский анализ информации — центрального понятия кибернетики). Мн., 1966;
Философские основания кибернетики. М., 1985;
Проблема сознания: Филос. и специально-науч. аспекты. Мн. 1987.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
МА́ЛЬЦАЎ (Анатоль Іванавіч) (27.11. 1909, г.п. Мішаронскі Шатурскага р-на Маскоўскай вобл. — 7.7.1967),
расійскі матэматык; адзін са стваральнікаў агульнай тэорыі мадэлей. Акад.АНСССР (1958; чл.-кар. 1953). Скончыў Маскоўскі ун-т (1931). З 1932 у Іванаўскім пед. ін-це (з 1943 праф.), адначасова з 1942 у Матэм. ін-це АНСССР; з 1960 у Ін-це матэматыкі Сібірскага аддз.АНСССР і Новасібірскім ун-це. Навук. працы па матэм. логіцы, тэорыі груп, тэорыі кольцаў і лінейнай алгебры, тэорыі алгарытмаў. Даследаванні М. далі пачатак сістэматычнаму выкарыстанню метадаў матэм.логікі ў алгебры. Ленінская прэмія 1964. Дзярж. прэмія СССР 1946.
Тв.:
Избр. труды. Т. 1—2. М., 1976;
Алгоритмы и рекурсивные функции. 2 изд. М., 1986.
Літ.:
А.И. Мальцев // Успехи мат. наук. 1968. Т. 23, вып. 3.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
АЛГАРЫТМІЗА́ЦЫЯ ПРАЦЭ́САЎ,
апісанне працэсаў на мове матэм. сімвалаў з мэтай атрымання алгарытму (звычайна для рэалізацыі на ЭВМ). Кожны працэс разбіваюць на элементарныя акты (падпрацэсы), якія можна матэм. апісаць на аснове схем алгебры логікі, аўтаматаў тэорыі, выпадковых працэсаў, масавага абслугоўвання тэорыі і інш. Алгарытмізацыя працэсаў дае магчымасць праводзіць колькасныя і якасныя даследаванні працэсаў функцыянавання вял. сістэм, звязаныя з ацэнкай іх асн. уласцівасцяў (надзейнасці, эфектыўнасці і інш.).
Складаецца з папярэдняга аналізу задачы алгарытмізацыі і аб’екта даследавання; структурнага апісання даследвальнага працэсу; тэарэт. аналізу ўраўненняў сувязі паміж яго параметрамі; эксперым. вызначэння статычных і дынамічных параметраў; матэм. мадэлявання працэсу і выяўлення адпаведнасці мадэлі рэальнай сітуацыі; аналізу мадэлі і распрацоўкі рэкамендацый па яе ўдасканаленні; складання аптымальнага алгарытму на аснове распрацаваных рэкамендацый; праверкі і ўдакладнення алгарытму кіравання працэсам у вытв. мовах. Пры апрацоўцы вял. масіваў інфармацыі звычайна выкарыстоўваюць сродкі выліч. тэхнікі.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ГО́ТШЭД ((Gottsched) Іаган Крыстаф) (2.2.1700, г. Кёнігсберг, цяпер г. Калінінград, Расія — 12.12.1766),
нямецкі пісьменнік, тэарэтык л-ры. Прадстаўнік ранняга ням. Асветніцтва, пачынальнік асветніцкага класіцызму. Вучыўся ў Кёнігсбергскім ун-це. З 1725 выкладаў у Лейпцыгскім ун-це (з 1730 праф. паэзіі, з 1734 — логікі і метафізікі). Супрацоўнічаў з трупай актрысы Ф.К.Нойбер. Аўтар прац «Спроба крытычнай паэтыкі для немцаў» (1730; погляды на рэформу л-ры і тэатра), «Першаасновы ўсёй філасофіі» (1733—34, папулярызацыя ідэй Г.Лейбніца і К.Вольфа). У зб. п’ес «Нямецкі тэатр, пабудаваны паводле правілаў старажытных грэкаў і рымлян» (т. 1—6, 1741—45) уключыў свае пераклады п’ес франц. класіцыстаў (Ж.Расіна, Мальера і інш.) і ўласныя трагедыі («Паміраючы Катон», 1731, «Парыжскае крывавае вяселле», 1774, і інш.), у якіх выступіў з асуджэннем тыраніі і рэліг. фанатызму, у абарону асветніцкіх ідэалаў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
НЕАРАЦЫЯНАЛІ́ЗМ,
плынь у філасофіі і метадалогіі навукі, якая сфарміравалася ў Францыі і Швейцарыі ў 1930-я г. Прадстаўлена «Саюзам рацыяналістаў» (А.Ражэ, П.Ланжэвэн) і «Саюзам логікі, метадалогіі і філасофіі навукі» (Г.Башлар, Ф.Гансет, Ж.Дэтуш і інш.); прыхільнікамі Н. былі таксама Ж.Піяжэ і Н.Мулуд, Ж.Ульмо і інш. Неарацыяналісты вырашаюць праблему станаўлення і развіцця тэарэт. ведаў, пераважна прыродазнаўчых. Іх не задавальнялі апрыёрныя, застылыя схемы абгрунтавання ведаў, характэрныя для класічнага рацыяналізму, бездапаможнасць якога пацвердзілася «крызісам» прыродазнаўства. Прадстаўнікі Н. зрабілі стаўку на «абноўленае» рацыянальнае асэнсаванне карціны свету. Навука прадстаўлена ў Н. як сапраўдны сінтэз метафізічных процілегласцей (Башлар). Некаторыя дыялектычныя палажэнні, здагадкі не пераадолелі агульнага эклектычнага характару тэарэт. пабудоў Н.
Літ.:
Башляр Г. Новый рационализм: Пер. с фр.М., 1987;
Визгин В.П. Эпистемология Гастона Башляра и история науки. М., 1996.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
МАРО́ЗАЎ (Віталь Дзмітрыевіч) (н. 26.5. 1923, г. Разань, Расія),
бел. філосаф. Д-рфілас.н. (1970), праф. (1971). Засл. работнік вышэйшай школы Беларусі (1975). Скончыў Маскоўскі ун-т (1952) і Акадэмію грамадскіх навук пры ЦККПСС (1958). Настаўнічаў, быў на парт. рабоце ў Віцебскай вобл. З 1958 у Мінскай вышэйшай парт. школе (у 1958—59 нам. дырэктара, у 1960—88 заг. кафедры), з 1990 у інш.ВНУ. Навук. працы па праблемах агульнай тэорыі развіцця, дыялектыкі, логікі і гісторыі філасофіі, метадалогіі і практыкі прафес. падрыхтоўкі кіруючых кадраў.
Тв.:
Закон отрицания отрицания. Мн., 1960;
Проблема развития в философии и естествознании: Ист.-филос. очерк. Мн., 1969;
Научно-техническая революция и диалектика. Мн.. 1976;
Диалектика: системы и развитие. Мн., 1978 (разам з В.В.Марозавым);
Методологическое значение требований формальной и диалектической логики для практики работы руководителей. Мн., 1990.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ПУ́ЗІКАЎ (Пётр Дзмітрыевіч) (20.12.1919, в. Падоры Шумілінскага р-на Віцебскай вобл. — 20.2.1977),
бел. філосаф. Д-рфілас.н. (1968), праф. (1968). Засл. дз. нав. Беларусі (1975). Скончыў Рэсп.парт. школу пры ЦККПБ (1948), БДУ (1949), Акадэмію грамадскіх навук пры ЦККПСС (1955).З 1955 у Мінскім ін-це нар. гаспадаркі. З 1957 у Ін-це філасофіі і права АН Беларусі. З 1967 у выд-ве «Беларуская Савецкая Энцыклапедыя» (нам.гал. рэдактара). З 1973 дырэктар Ін-та філасофіі і права АН Беларусі. Навук. працы па пытаннях дыялектыкі як тэорыі пазнання, логікі, філас. праблемах прыродазнаўства. Адзін з аўтараў і рэдактараў кн. «Навука: арганізацыя і кіраванне» (1977). Дзярж. прэмія Беларусі 1976.
Тв.:
Философские основы эволюционного учения Дарвина. Мн., 1959;
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ЛО́ГІКА ДЫЯЛЕКТЫ́ЧНАЯ,
навука аб агульных законах і формах адлюстравання ў мысленні аб’ектыўнага свету, аб шляхах развіцця, метадалогіі і метадах пазнання, аб узаемасувязі філас. катэгорый у адзінай сістэме. Разам з тэорыяй пазнання Л.д. ўваходзіць у склад дыялектыкі. У адрозненне ад фармальнай логікі, якая даследуе мысленне ў яго адносна ўстойлівых, інварыянтных структурах, фармулюе пэўныя пачаткі і правілы адносна забеспячэння неабходных навук. падстаў і культуры мыслення, Л.д. разглядае спецыфічныя пазнавальныя катэгорыі, прынцыпы і працэдуры (пераходы ад аднаго ўзроўню пазнання або сістэмы ведаў да іншых, больш высокіх, спосабы абагульнення, аналіз і сінтэз, індукцыя і дэдукцыя). У якасці логікі мыслення Л.д. можна разглядаць як дыялектыку форм мыслення (паняццяў і г.д.), або суб’ектыўную дыялектыку.
Л.д. ўзнікла разам з дыялектыкай і распрацоўвалася філосафамі Стараж. Грэцыі Платонам, Гераклітам, Арыстоцелем і інш. У новыя часы значны ўклад у яе развіццё зрабілі Г.Гегель, К.Маркс і Ф.Энгельс, якія ўзнялі Л.д. на ўзровень асобнай філас. навукі. Паводле Гегеля, Л.д. разглядае лагічныя формы не ў застылым стане, а ва ўзаемнай сувязі і развіцці, напаўняе іх пэўным зместам, які вызначаецца істотнымі адносінамі паміж самімі рэчамі як канчатковымі вынікамі творчага мыслення. У разуменні сэнсу і характару Л.д. важная роля належыць пытанню пра адносіны паміж законамі развіцця з’яў аб’ектыўнай рэчаіснасці і законамі чалавечага мыслення, якія з’яўляюцца аб’ектам вывучэння з боку Л.д. і выкладаюцца ў лагічных катэгорыях. Адны філосафы лічаць, што мысленне, яго законы і логіка маюць цалкам самаст. значэнне і не залежаць ад уплыву якіх-н. фактараў, што існуюць па-за межамі самога мысліцельнага працэсу. Прадстаўнікі марксісцкай філас. думкі сцвярджаюць, што законы і катэгорыі Л.д. не зводзяцца да суб’ектыўных рыс, а паводле свайго гал. зместу з’яўляюцца адлюстраваннем законаў развіцця аб’ектыўнай рэчаіснасці і, т.ч., супадаюць з гэтымі законамі. Згодна з такой канцэпцыяй Л.д. як суб’ектыўная дыялектыка выражае аб’ектыўную дыялектыку, яе законы і прынцыпы.
Літ.:
Малинин В.А. Диалектика Гегеля и антигегельянство. М., 1983;
Ильенков Э.В. Диалектическая логика: Очерки истории и теории. 2 изд. М., 1984;
