Verbum

МА́САРЫК ((Masaryk) Томаш Гарыг) (7.3.1850, г. Годанін, Чэхія — 14.9.1937),

чэшскі паліт. і дзярж. дзеяч, філосаф, сацыёлаг. Д-р філасофіі (1876). Вучыўся ў Венскім і Лейпцыгскім ун-тах. У 1882—1914 праф. філасофіі Пражскага ун-та. У сваіх філас. поглядах як «крытычны рэаліст» спалучаў ням. ідэалізм з зах.-еўрап. пазітывізмам, крытыкаваў чэш. паліт. рамантызм, марксізм, папства, прапагандаваў гуманізм. У 1891—93 дэп. аўстр. парламента (рэйхсрата) ад партыі младачэхаў, у 1907—14 — ад чэш. партыі рэалістаў. Выступаў супраць дынастыі Габсбургаў, панавання немцаў і венграў у Аўстра-Венгрыі. У 1914—18 у эміграцыі, арыентаваўся на дзяржавы Антанты. У 1916 разам з Э.Бенешам заснаваў у Парыжы чэхаславацкі Нац. савет і арганізаваў Чэш. легіён у Расіі. У 1918 заключыў са славацкімі арг-цыямі ў ЗША Пітсбургскі дагавор аб дзярж. аб’яднанні чэхаў і славакаў. У 1918—35 першы прэзідэнт Чэхаславакіі, садзейнічаў адраджэнню чэш. нац. культуры і мовы. Аўтар кніг «Сацыяльнае пытанне», «Самазабойства як масавая сацыяльная з’ява сучаснай цывілізацыі» (абедзве 1881), «Асновы канкрэтнай логікі» (1887), «Ідэалы гуманізму» (1901), «Аб рускай гістарычнай і рэлігійнай філасофіі» (т. 1—2, 1913), «Новая Еўропа» (1918), «Сусветная рэвалюцыя ў час вайны і на вайне 1914—1918» (1925). Выступаў у друку і як літ. крытык.

І.​В.​Шаблоўская.

т. 10, с. 166

МІЛЬ ((Mill) Джон Сцюарт) (20.5.1806, Лондан — 8.5.1873),

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

Тв.:

Рус. пер. — Обзор философии сэра Вильяма Гамильтона и главных философских вопросов... СПб., 1869;

Основания политической экономии. СПб., 1909;

Система логики силлогистической и индуктивной. 2 изд. М., 1914.

В.​І.​Боўш.

т. 10, с. 374

НЕАПАЗІТЫВІ́ЗМ,

адзін з асн. кірункаў філасофіі 20 ст.; форма пазітывізму. Узнік у 1920-я г. ў Аўстрыі, Германіі, Польшчы як спроба лагічна абгрунтаваць навук. веды. З сярэдзіны 1930-х г. яго цэнтрамі сталі Вялікабрытанія і ЗША. Асн. ідэі Н. бяруць пачатак у эмпірызме і фенаменалізме (Дж.Берклі, Д.Юм). Н. лічыць прадметам філасофіі мову, найперш мову навукі як спосаб выражэння ведаў, а таксама дзейнасць па аналізе гэтых ведаў. Ідэі Н. знайшлі адлюстраванне ў дзейнасці Венскага гуртка, на аснове якога склаўся лагічны пазітывізм (М.​Шлік, Р.Карнап, О.​Нейрат), і яго прыхільнікаў у Германіі (Р.​Мізес, Г.​Рэйхенбах), Вялікабрытаніі (Л.Вітгенштэйн, А.​Дж.​Аер, К.Попер), ЗША (Ч.​Морыс) і інш. Метадам ачышчэння філасофіі ад «метафізікі» быў прызнаны т.зв. прынцып верыфікацыі, паводле якога праверка навук. асэнсаванасці і сапраўднасці выказванняў адбываецца шляхам параўнання іх з фактамі вопыту. На сучасным этапе існуюць 2 асн. разнавіднасці Н. — «лінгвістычны аналіз» у Вялікабрытаніі (Дж.​Осцін, Г.​Райл, П.​Стросан і інш.) і аналітычная філасофія ў ЗША (У.​Куайн, Н.​Гудмен, А.​Пап, М.Уайт і інш.). Лінгвістычны Н. выключае са сферы аналізу не толькі метафізічныя пытанні, але і філас. праблемы мовы навукі; мэтай аналізу лічыць разуменне характару ўжывання звычайнай мовы. Н. адыграў значную ролю ў развіцці сучаснай логікі, семіётыкі і філасофіі навукі. Гл. таксама Канвенцыяналізм, Лагічны атамізм.

т. 11, с. 256

ЛЕ́ЙБНІЦ ((Leibniz) Готфрыд Вільгельм) (1.7.1646, г. Лейпцыг, Германія — 14.11.1716),

нямецкі вучоны, філосаф, грамадскі дзеяч. Вучыўся ў Лейпцыгскім і Іенскім ун-тах (1661—66). У 1672—76 на дыпламат. рабоце ў Парыжы. З 1676 на службе ў гановерскіх герцагаў. Заснавальнік (1700) і першы прэзідэнт Берлінскай АН. Адзін са стваральнікаў дыферэнцыяльнага і інтэгральнага вылічэння, даследчык у галіне фізікі і механікі, пачынальнік матэм. логікі. Займаўся геалогіяй, біялогіяй, псіхалогіяй, лінгвістыкай, гісторыяй, юрыспрудэнцыяй. Аўтар шэрагу тэхн. вынаходстваў (гідраўлічны рухавік, лічыльная машына, пнеўматычныя прылады і інш.). Асн. творы: «Новая сістэма прыроды» (1695), «Новыя вопыты пра чалавечы розум» (1704), «Новы метад максімумаў і мінімумаў» (1684), «Тэадыцэя» (1710), «Манадалогія» (1714). Быццё ўяўляў як бясконцую колькасць дзейных субстанцый, непадзельных першаэлементаў — манад, якія з’яўляюцца духоўнымі, дзейнымі ўтварэннямі. Кожная з манад, паводле Л., першапачаткова валодае здольнасцю ўспрымаць (перцэпцыяй), але гэта толькі бессвядомы стан манады; усвядомленым успрыманнем (аперцэпцыяй) валодае толькі чалавек. У тэорыі пазнання Л. імкнуўся пераадолець крайнасць дэкартаўскага рацыяналізму і эмпірызму Дж.​Лока, адмаўляў вучэнне Р.​Дэкарта пра прыроджаныя ідэі і вучэнне Лока пра душу як «чыстую дошку». Ён лічыў, што існуюць ісціны фактаў (адкрываюцца вопытам) і метафіз. (вечныя) ісціны, якія выяўляюцца з дапамогай розуму. На Беларусі філас. і навук. працы Л. былі вядомы з 1-й пал. 18 ст.; уплыў яго ідэй заўважаецца ў працах Б.​Дабшэвіча, Г.​Каніскага і інш. бел. мысліцеляў.

Тв.:

Рус. пер. — Соч. Т. 1—4. М., 1982—89.

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

т. 9, с. 188

ЛО́ГІКА НАВУ́КІ,

філасофская дысцыпліна, якая выкарыстоўвае паняцці і тэхн. апарат сучаснай фармальнай логікі (дэдуктыўнай, індуктыўнай) для аналізу сістэм навук. ведаў. Даследуе асаблівасці лагічных падстаў ключавых момантаў у навук. пазнанні (логіка развіцця навукі, логіка навук. адкрыццяў і інш.). Як спец. дысцыпліна Л.н. ўзнікла ў сярэдзіне 19 ст. і сфарміравалася ў 1-й чвэрці 20 ст. (Г.​Фрэге, Б.​Расел, Л.​Вітгенштэйн). Прадмет Л.н. складаюць агульныя і найб. істотныя рысы функцыянавання ўсіх галін і кірункаў навукі: спосабы пабудовы навук. тэорый; класіфікацыя навук. тэорый і інш. форм абагульнення, сістэматызацыі і арганізацыі навук. ведаў; вывучэнне штучных (фармалізаваных) моў навукі; аналіз комплексу фармальных структур навук. паняццяў і акрэсленняў, высноў, даследчых працэдур і аперацый, распрацоўка крытэрыяў іх эфектыўнасці; разгляд логіка-гнасеалагічнага і логіка-метадалагічнага зместу працэсаў абстрагавання, тлумачэння, экстрапаляцыі, прадбачання і інш., якія выступаюць ва ўсіх сферах навук. дзейнасці. У 2-й пал. 20 ст. пэўны ўплыў атрымаў лагічны аналіз сістэм навук. ведаў з дапамогай метаду фармалізацыі, напр., у форме мадэліравання і пабудовы логіка-матэм. мадэлей аб’ектаў, што вывучаюцца ў прыродазнаўчых і грамадскіх навуках. Значную цікавасць маюць даследаванні па лагічнай семантыцы і праблемах, звязаных з эмпірычным абгрунтаваннем і праверкай навук. тэорый і гіпотэз ва ўсёй сукупнасці прыродазнаўчых і грамадскіх навук.

Літ.:

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

Зиновьев А.А. Логика науки. М., 1971;

Логические проблемы исследования научного познания;

Семантич. анализ языка. М., 1980.

В.​І.​Боўш.

т. 9, с. 334

ДЗІДРО́ ((Diderot) Дэні) (5.10.1713, г. Лангр, Францыя — 31.7.1784),

французскі філосаф-асветнік, пісьменнік, тэарэтык мастацтва. Заснавальнік і рэдактар «Энцыклапедыі, або Тлумачальнага слоўніка навук, мастацтваў і рамёстваў» (т. 1—35; 1751—80). У філас. творах «Думкі пра тлумачэнне прыроды» (нап. 1754), «Размова Д’Аламбера з Дзідро» (нап. 1769, выд. 1830), «Філасофскія асновы матэрыі і руху» (нап. 1770) сцвярджаў адзінства матэрыі і руху, падкрэсліваў дыялект. ўзаемасувязь і вечную зменлівасць прыродных формаў; з узаемадзеяння элементаў матэрыі, якія з’яўляюцца носьбітамі адчуванняў, узнікае мысленне, адзіная свядомасць чалавецтва і сусвету. У паліт. сферы Дз. абапіраўся на тэорыю «грамадскага дагавору», выступаў супраць саслоўнай няроўнасці і дэспатызму, надзеі на стварэнне справядлівага грамадскага ладу звязваў з асвечаным манархам, пазней схіляўся да рэсп. формы праўлення.

У галіне этыкі быў адным са стваральнікаў тэорыі «разумнага эгаізму», лічыў сябелюбства найважнейшым матывам паводзін людзей. Як тэарэтык эстэтыкі сутнасць прыгожага выводзіў з суадносін індывід. пачуццёвага вопыту і логікі розуму. У тэорыі мастацтва гал. лічыў прынцып натуральнасці, «праўды натуры», дзе ідэалам выступае жывая прырода, абараняў ідэі адзінства дабра і прыгажосці. Асн. творы, у якіх выказаны эстэт. погляды Дз.: «Трактат аб прыгожым» (1751), «Салоны» (нап. 1759—81), «Вопыт аб жывапісе» (1765), «Парадокс пра акцёра» (нап. 1773—78). Аўтар маст. твораў: «Манашка» (нап. 1760, выд. 1796), «Пляменнік Рамо» (1762—79, на ням. мове ў пер. І.​В.​Гётэ ў 1805, на франц. 1823), «Жак-фаталіст і яго гаспадар» (1773, выд. на ням. мове 1792, на франц. 1796).

В.​А.​Салееў.

т. 6, с. 113

ЛО́ГІКА ВЫКА́ЗВАННЯЎ,

прапазіцыянальная логіка, раздзел логікі, у якім вывучаюцца лагічныя сувязі паміж простымі і складанымі выказваннямі. Простае (атамарнае) выказванне не ўключае ў сябе іншыя выказванні і разглядаецца як пераменная, якая прымае або ісціннае, або няісціннае значэнне. Канкрэтны змест і ўнутр. структура выказванняў пры гэтым не разглядаюцца. Складанае выказванне складваецца з іншых выказванняў пры дапамозе ўзаемазвязаных лагічных (прапазіцыянальных) звязак. Так, злучэнне двух выказванняў з дапамогай звязкі «і» дае складанае выказванне (кан’юнкцыю), якое з’яўляецца ісцінным, толькі калі абодва гэтыя выказванні ісцінныя. Складанае выказванне, утворанае з дапамогай звязкі «або» (дыз’юнкцыя), ісціннае, калі хаця б адно з гэтых двух выказванняў ісціннае. Складанае выказванне, утворанае з дапамогай «не» (адмаўленне), ісціннае, калі толькі зыходнае выказванне няісціннае. Складанае выказванне, атрыманае з двух выказванняў з дапамогай звязкі «калі, то» (імплікацыя), ісціннае ў 3 выпадках: абодва гэтыя выказванні ісцінныя, абодва яны няісцінныя; першае з выказванняў (за словам «калі») няісціннае, а другое (за словам «то») ісціннае, імплікацыя з’яўляецца няісціннай, толькі калі першае з яе выказванняў ісціннае, а другое няісціннае. Мова Л.в. уключае бясконцае мноства пераменных (P, g, r, ... P_i, g_i, r_i, якія ўяўляюць сабой выказванні), і асаблівыя сімвалы для лагічных звязак: & — кан’юнкцыя («і»), ∨ — дыз’юнкцыя («або»), ¬ — адмаўленне («не» або «няправільна, што»), → — імплікацыя («калі, то»), ↔ — эквівалентнасць («калі і толькі калі»). Л.в. можа быць прадстаўлена таксама ў форме лагічнага злічэння, у якім задаецца спосаб доказу некаторых выказванняў.

Літ.:

Жуков Н.И. Философские основания математики. 2 изд. Мн., 1990;

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

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

т. 9, с. 334

ЛО́СЕЎ (Аляксей Фёдаравіч) (22.9.1893, г. Новачаркаск, Расія — 24.5.1988),

расійскі філосаф і філолаг. Праф. (1923), д-р філал. н. (1943). Скончыў Маскоўскі ун-т (1915). Працаваў у Ніжагародскім ун-це (з 1919), Маскоўскай кансерваторыі (1922—29). У 1930—33 рэпрэсіраваны. Пасля вызвалення выкладаў ант. л-ру і стараж. мовы ў правінцыяльных ВНУ. З 1942 у Маскоўскім ун-це і пед. ін-це. У працах 1920-х г. шляхам своеасаблівага сінтэзу платонаўска-гегелеўскага дыялектычнага ідэалізму, ідэй рус. рэліг. філасофіі пач. 20 ст., фенаменалогіі Э.​Гусерля імкнуўся пабудаваць універсальныя мадэлі быцця і мыслення («Антычны космас і сучасная навука», «Музыка як прадмет логікі», «Філасофія імя», усе 1927; «Дыялектыка міфа», 1930). Даследаваў ант. міфалагічнае ўспрыняцце свету ў яго структурнай цэласнасці («Нарысы антычнага сімвалізму і міфалогіі», т. 1, 1930). Сярод асн. прац «Гісторыя антычнай эстэтыкі» (1963—94), «Эліністычна-рымская эстэтыка I—II стст. н.э.» (1979), «Эстэтыка Адраджэння» (1982) і інш. Сцвярджаў выразны эстэтыка-касмалагічны характар стараж.-грэч. і эліністычна-рым. культуры, што дазволіла яму лічыць гісторыю ант. эстэтыкі гісторыяй ант. філасофіі. Даказваў ант. вытокі рус. філасофіі. У шэрагу позніх прац спрабаваў наблізіць сваё філас. вучэнне да марксізму, што не прывяло да арган. сінтэзу з прычыны жорстка ідэалагізаванай сістэмы апошняга. Дзярж. прэмія СССР 1986.

Тв.:

Владимир Соловьев и его время. М., 1990;

Из ранних произведений. М., 1990;

Философия. Мифология. Культура. М., 1991;

Бытие — имя — космос. М., 1993;

Жизнь: Повести, рассказы, письма. СПб., 1993;

Миф — число — сущность. М., 1994;

Проблема символа и реалистическое искусство. 2 изд. М., 1995.

Н.​К.​Мазоўка.

т. 9, с. 346

МЕТАМАТЭМА́ТЫКА (ад мета... + матэматыка),

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

Паводле Гільберта, фармалізаваная сістэма, што атрымліваецца ў выніку фармалізацыі навук. тэорыі, даследуецца (на прадмет высвятлення яе несупярэчлівасці, паўнаты, вырашальнасці і ўзаемасувязі з інш. тэорыямі, незалежнасці яе аксіём і інш.) змястоўнымі метадамі, якія не апелююць да сэнсу яе аб’ектаў (формул). Гэта канцэпцыя (наз. фінітызм) прадугледжвае выкарыстанне канечных канструкцый («наглядных» матэм. прадметаў, эфектыўна здзяйсняльных працэсаў) і адмаўляе абстракцыю актуальнай бесканечнасці (гл. Абстракцыя). К.Гёдэль паказаў абмежаванасць фінітных (простых) метадаў для даследавання фармалізаваных тэорый; у 1931 ён даказаў тэарэму аб непаўнаце дастаткова багатых фармальных сістэм (у т. л. аксіяматычнай мностваў тэорыі і арыфметыкі натуральных лікаў) і аб немагчымасці доказу несупярэчлівасці сістэмы з дапамогай сродкаў, якія фармалізуюцца ў гэтай сістэме. Для доказу несупярэчлівасці фундаментальных матэм. тэорый сучасная М. выкарыстоўвае больш складаныя, нефінітныя метады.

Састаўная частка прадмета М. — даследаванне фармалізаваных матэм. тэорый, выкладзеных у выглядзе сімвалічных моў, і вывучэнне саміх гэтых моў. Мноства канечных паслядоўнасцей з аперацыямі над імі таксама могуць быць аб’ектамі матэм. даследавання. Гэта абумоўлівае выкарыстанне ў М. метадаў алгебры (гл. Булева алгебра), тэорыі мностваў і тапалогіі. Шырока выкарыстоўваецца ў М. гёдэлеўскі метад арыфметызацыі метатэорыі і тэорыя рэкурсіўных функцый. У больш вузкім сэнсе да М. (у адрозненне ад металогікі) адносяць пытанні сінтаксісу, прадметнай матэм. тэорыі (гл. Сінтаксіс у логіцы); семантыку вылучаюць у якасці самаст. галіны даследавання (гл. Семантыка лагічная).

Літ.:

Клини С.К. Введение в метаматематику: Пер. с англ. М., 1957;

Расёва Е., Сикорский Р. Математика метаматематики: Пер. с англ. М., 1972;

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

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

т. 10, с. 308

ЛО́ГІКА (ад грэч. logos слова, паняцце, розум),

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

У гіст. развіцці Л. прайшла некалькі этапаў. Фрагменты лагічных даследаванняў вядомы ў стараж.-інд. і стараж.-кіт. філасофіі. У стараж. Грэцыі Л. зарадзілася ў ранняй філасофіі і развівалася пад уплывам аратарскага мастацтва. Традыцыйная арыстоцелеўская Л. стала першай ступенню Л. высноўных ведаў, якая вывучае агульначалавечыя формы думак (паняцці і суджэнні), формы сувязі думак у разважанні (высновы), зафіксаваныя ў фармальна-лагічных законах (тоеснасці закон, супярэчнасці закон, выключанага трэцяга прынцып). Арыстоцель першы ўжыў метады фармальнага аналізу мыслення на аснове прынцыпу яго несупярэчлівасці, сфармуляваў правілы злічэння выказванняў, усебакова даследаваў адну з пашыраных форм розумазаключэнняў — сілагізм, стварыў закончаную тэорыю сілагістыкі, увёў знакавую сістэму лагічных пераменных. Прадстаўнікі мегарскай шкалы аналізавалі ўмоўныя і раздзяляльныя розумазаключэнні, увялі паняцце імплікацыі, вызначылі ідэю тэарэмы аб дэдукцыі і інш. Іх лагічныя ідэі развіты ў школе стоікаў. У раннім сярэдневякоўі Л. як самаст. навука развівалася ў краінах арабскай культуры, дзе філасофія заставалася адносна незалежнай ад рэлігіі. У Еўропе складвалася ў асн. схаластычная Л. як царк.-школьная дысцыпліна, якая прыстасавала элементы перыпатэтычнай Л. для абгрунтавання і сістэматызацыі хрысц. веравучэння. У 12—13 ст., калі творы Арыстоцеля былі кананізаваны царк. артадоксіяй, узнікла сярэдневяковая («несхаластычная») Л., асновы якой закладзены «Дыялектыкай» П.​Абеляра. У творах У.​Шэрвуда, Дунса Скота, Пягра Іспанскага, У.​Окама, Ж.​Бурыдана атрымалі развіццё палажэнні аб сферы дзеяння лагічных аперацый, адрозненні паміж формай і зместам, абгрунтаваны многія вядомыя цяпер законы Л. выказванняў, тэорыя дэдукцыі і інш. У эпоху Адраджэння Л. разглядалі як аснову «штучнага» мыслення і супрацьпастаўлялі ёй Л. «натуральнага мыслення», пад якой звычайна разумелі інтуіцыю і ўяўленне. У новы час патрэбы прыродазнаўства і тэхнікі выклікалі крытыку арыстоцелеўскай (у схаластычным тлумачэнні) Л., паслужылі стымулам у распрацоўцы індукцыйнай логікі, вучэння аб метадзе, праблем метадалогіі новай (эксперыментальнай) навукі аб прыродзе (Ф.​Бэкан, Р.​Дэкарт). І.​Кант лічыў больш важнай за звычайную, традыц. Л., трансцэндэнтальную Л., якая даследуе ў формах мыслення тое, што забяспечвае ведам апрыёрны (давопытны) характар. Г.​Гегель на ідэаліст., а К.​Маркс і Ф.​Энгельс на матэрыяліст. аснове стварылі вучэнне аб агульных законах і формах мыслення — логіку дыялектычную.

На Беларусі Л. з 17 ст. развівалася ў рэчышчы агульнанавук. даследаванняў законаў і аперацый лагічнага мыслення, распрацоўкі методыкі яе выкладання як вучэбнай дысцыпліны. Б.Дабшэвіч, аўтар некалькіх кніг па Л., лічыў яе першай з навук, здольных умацаваць сувязі паміж матэматыкай, прыродазнаўствам і філасофіяй дзеля пошуку ісціны; фундаментальнымі прынцыпамі Л. ён лічыў прынцыпы дастатковай падставы і адмаўлення. Прадстаўнік схаластычнай філасофіі М.​Карскі разглядаў Л. як мову навукі. Паводле К.Нарбута, Л. — гэта навука, якая вучыць, як спасцігаць і спазнаваць ісціну, або мастацтва правільна мысліць. Я.Снядэцкі даследаваў лагічна-фармальныя заканамернасці мовы, сэнсу і ролі знакаў і сімвалаў у пазнанні і выкарыстанні мовы. А.Доўгірд пры распрацоўцы праблем сенсуалістычнай псіхалогіі, індукцыйных і разумовых здольнасцей чалавека і звязаных з імі суджэнняў, гіпотэз увёў паняцце «натуральнага сілагізму». Уклад у тэарэт. развіццё і методыку выкладання Л. зрабілі Б.Будны, С.Майман, Сімяон Полацкі, С.Шадурскі, В.Тылкоўскі і інш.

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

Літ.:

Маковельский А.О. История логики. М., 1967;

Кант И. Трактаты и письма: Пер. с нем. М., 1980;

Клаус Г. Введение в формальную логику: Пер. с нем. М., 1960;

Аристотель. Первая аналитика. Вторая аналитика // Соч. М., 1978. Т. 2;

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

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

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

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

Памятники философской мысли Белоруссии XVII — первой половины XVIII в. Мн., 1991;

Стереотипы и динамика мышления. Мн., 1993;

Минто В. Дедуктивная и индуктивная логика: Пер. с англ. СПб., 1995;

Leibniz G.W. Fragmente zur Logik. Berlin, 1960.

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

т. 9, с. 333