From Wikipedia, the free encyclopedia
Ло́гіка (ад грэч. λογική — слова, паняцце, розум) — сукупнасць навук, якія вывучаюць законы і правілы мыслення, спосабы развіцця і спасціжэння ведаў. Паколькі гэта веданне атрымана розумам, логіка таксама вызначаецца як навука аб формах і законах правільнага мыслення. Паколькі мысленне афармляецца ў мове ў выглядзе развагі, прыватнымі выпадкамі якой з'яўляюцца доказ і абвяржэнне, логіка часам вызначаецца як навука пра спосабы развагі або навука пра спосабы доказаў і абвяржэнняў. Логіка, як навука, вывучае спосабы дасягнення ісціны ў працэсе пазнання апасродкаваным шляхам, не з пачуццёвага вопыту, а з ведаў, атрыманых раней, таму яе таксама можна вызначыць як навуку пра спосабы атрымання вывадных веды.
Адна з галоўных задач логікі — вызначыць, як прыйсці да высновы з перадумоў (правільнае разважанне) і атрымаць сапраўднае веданне аб прадмеце разважання, каб глыбей разабрацца ў нюансах вывучаемага прадмета думкі і яго суадносінах з іншымі аспектамі разгляданай з'явы.
У любой навуцы логіка служыць адным з асноўных інструментаў[1].
Класічная лагічная тэорыя далёка не дасканалая: асноўнае яе змест фармулюецца на асаблівым, створаным спецыяльна для сваіх мэтаў мове, выкарыстоўвае абсалютная прадметнае мысленне. У ёй не мяркуецца выкарыстанне кантролю прагматычных памылак, хібнасцяў нелінейных выкарыстоўваюцца сістэм адліку, пагранічных памылак апісання, рэлятывізму маштабавання і т. П. [Праясніць] З прычыны чаго прынята лічыць нармальным факт наяўнасці ў яе мове парадоксаў і апрыёрных сцвярджэнняў, куставых эфектаў слоўніка і т. п. Падобна таму як уменне гаварыць існавала яшчэ да ўзнікнення навукі граматыкі, так і мастацтва правільна думаць існавала задоўга да навукі логікі. Лагічныя аперацыі: вызначэнне, класіфікацыя, доказ, абвяржэнне і інш. — нярэдка ўжываюцца кожным чалавекам у яго разумовай дзейнасці неўсвядомлена і з хібнасцямі. Некаторыя схільныя лічыць ўласнае мысленне натуральным працэсам, не патрабавальным аналізу і кантролю больш, чым, скажам, дыханне ці рух, але рэальнае мысленне не зводзіцца проста да лагічнай паслядоўнасці. У працэсе рашэння задач, якія ўзнікаюць, таксама істотныя: інтуіцыя, эмоцыі, вобразнае бачанне свету і многае іншае[2]. Аднак нястрогае мысленне яшчэ не значыць, што яно не падпарадкавана логіцы[3]. Асноўная мэта (функцыя) логікі заўсёды заставалася нязменнай: даследаванне таго, як з адных сцвярджэнняў можна выводзіць іншыя. Пры гэтым мяркуецца, што вывад залежыць толькі ад спосабу сувязі, якія ў яго сцвярджэнняў і іх будовы, а не ад іх канкрэтнага зместу. Вывучаючы, «што з чаго вынікае», логіка выяўляе найбольш агульныя або, як кажуць, фармальныя ўмовы правільнага мыслення. Сфера канкрэтных інтарэсаў логікі істотна змянялася на працягу яе гісторыі.
Слова «логіка» выкарыстоўваецца таксама ў значэннях «унутраная заканамернасць, уласцівая тым ці іншым з'явам» або «правільны, разумны ход разважанняў»[4]. У прыватнасці гэтым словам могуць называцца наступныя рэчы:
Нефармальная логіка (тэрмін прыняты перш за ўсё ў англамоўнай літаратуры) — даследаванне аргументацыі ў натуральнай мове. Адной з галоўных задач яе з'яўляецца даследаванне лагічных памылак. Любая выснова, зробленая на натуральнай мове, валодае чыста фармальным зместам (сэнс развагі можа быць падзелены на форму думкі і ўласна змест), калі можна паказаць, што ён з'яўляецца прыватным ужываннем абстрактнага універсальнага правіла, якое адцягваецца ад усякага канкрэтнага прадмета, уласцівасці або адносін. Менавіта гэтая выснова з чыста фармальным утрыманнем называюць лагічнай высновай і асноўным прадметам логікі. Аналіз высновы, якая раскрывае гэта чыста фармальнае ўтрыманне, называецца фармальнай логікай. Сімвалічная логіка вывучае сімвалічныя абстракцыі, якія фіксуюць фармальную структуру лагічнага вываду. Дыялектычная логіка — навука пра мысленне, якая, як мяркуецца, дае веданне пра спосаб развагі, пашырае магчымасці фармальна-лагічнай высновы. Тут паняцце логікі ўжываецца як ва ўласным лагічным, так і ў метафарычным сэнсе. Дыялектычнае разважанне ўлічвае законы фармальнай логікі. Разам з тым, ажыццяўляючы аналіз дынамікі пераходу паняццяў у сваю супрацьлегласць, яно дапускае, што супрацьлегласці супадаюць, арыентуецца на законы дыялектыкі.
У рамках фармальнай логікі маецца група логік, названых некласічнага (часам таксама выкарыстоўваецца тэрмін «альтэрнатыўныя логікі»). Гэтая група логік істотна адрозніваецца ад класічных логік шляхам розных варыяцый законаў і правілаў (напрыклад, логікі, якія адмяняюць закон выключаны трэцяга, якія змяняюць табліцы праўдзівасці і г. д.). Дзякуючы гэтым варыяцыям магчыма пабудова розных мадэлей лагічных следстваў і лагічнай ісціны[5].
Гістарычна логіка вывучалася як частка філасофіі. Зараз сімвалічная логіка таксама вывучаецца як частка матэматыкі, інфарматыкі.
Паводпе Арыстоцеля, гэта навука пра формы правільнага мыслення. І. Кант называў такую навуку фармальнай логікай. У сучасным уяўленні фармальная логіка — навука аб законах высноўных ведаў, якія атрыманы з раней устаноўленых і правераных ісцін без звароту ў кожным канкрэтным выпадку да вопыту, а толькі ў выніку прыцягаення законаў і правіл мыслення; яе прадмет — даследаванне разважанняў (вывадаў і доказаў) з пункту погляду іх лагічнай формы (структуры) незалежна ад канкрэтаага зместу суджэнняў, што ў яго ўваходзяць. Дакладная фармалізацыя схем, якія вывучае логіка, здзяйсняецца ў межах матэматычнай логікі.
Пры аналізе лагічных працэсаў усе «асобныя» логікі карыстаюцца мовай сімвалаў і формул, якая будуецца ў адпаведнасці з агульнмі для ўсіх сістэм прынцыпамі логікі.
Хаця многія культуры выпрацавалі складаныя сістэмы развагі, логіка як экспліцытны аналіз метадаў развагі атрымала грунтоўнае развіццё першапачаткова толькі ў трох традыцыях: у кітайскай, індыйскай і грэчаскай. Хоць дакладныя даты не занадта дакладныя (асабліва ў выпадку Індыі), хутчэй за ўсё, логіка паўстала ва ўсіх трох культурах ў IV стагоддзі да н. э. Сучасная логіка, распрацаваная фармальна выдасканалена, паходзіць у канчатковым рахунку з грэчаскай традыцыі (арыстоцелеўскай логікі), якая, аднак, была ўспрынятая не наўпрост, а пры пасярэдніцтве і каментатарскай дзейнасці араба-мусульманскіх філосафаў і сярэднявечных еўрапейскіх логікаў. Можна вылучыць наступныя гістарычныя і рэгіянальныя формы логікі (прыведзены таксама іх назвы, якія гістарычна існавалі і прынятыя ў літаратуры па гісторыі фармальнай логікі):
Логіка ў сваім развіцці прайшла тры парога:
Логіка ў Кітаі з'явілася ў перыяд з'яўлення вялікай колькасці школ, канкурэнцыі і дыскусій паміж імі. Сучаснік Канфуцыя Ма-цзы («Настаўнік Мо», «Мудрэц Мо»; V-IV стст. да н. э.) быў вядомы як заснавальнік маізма (школы ма цзя), прадстаўнікі якой займаліся пошукам крыніц дакладнай развагі і ўмоў яго правільнасці. У вобласці аргументацыі яны аддавалі перавагу распрацоўку развагі па аналогіі распрацоўцы дэдукцыі. У працэсе аналізу семантыкі мовы маісты распрацавалі метад класіфікацыі імён па ступені іх агульнасці і дзялення рэчаў па відах (метад «трох правілаў», «трох фа»).
Адно з адгалінаванняў маізма, логікі (мін цзя, школа імён, V-III стст. да н. э), пачало да даследавання уласна фармальнай логікі (яе прадстаўнікі падышлі да адкрыцця катэгарычнага сілагізму раней або адначасова з яе фармулёўкай Арыстоцелем).
Пазней, пры дынастыі Цынь, гэтая лінія даследаванняў знікла ў Кітаі, паколькі тады філасофія легізма жорстка душыла ўсе астатнія філасофскія школы. Зноў логіка ў Кітаі з'явілася толькі з пранікненнем туды індыйскай логікі будыстаў і далей моцна адстала ад развіцця еўрапейскай і блізкаўсходняй логікі.
Вытокі логікі ў Індыі можна прасачыць у граматычных тэкстах V стагоддзя да н. э. Дзве з шасці артадаксальна-індуісцкіх (ведыйскіх) школ індыйскай філасофіі — ньяя і вайшэшыка — займаліся метадалогіяй пазнання, з гэтага праблемнага поля і вылучылася логіка.
Сама назва школы «ньяя» значыць «логіка». Галоўным яе дасягненнем і была распрацоўка логікі і метадалогіі, якія сталі пасля агульным здабыткам. Асноўным тэкстам школы былі Ньяя-сутры Акшапады Гаўтамы (II стагоддзе н. э.). Паколькі ньяики лічылі адзіным шляхам вызвалення ад пакут дасягненне надзейных ведаў, яны распрацоўвалі тонкія метады адрознення надзейных крыніц ведаў ад ілжывых меркаванняў. Ёсць толькі чатыры крыніцы ведаў (чатыры праманы): успрыманне, выснова, параўнанне і сведчанне. Строгая пяцічленныя схема высновы ўключала ў сябе: пачатковую пасылку, падставу, прыклад, прыкладанне і выснову.
Будыйская філасофія (якая не ўваходзіла ў лік шасці артадаксальных школ) была галоўным апанентам ньяікаў у логіцы. Нагарджуна, заснавальнік мадхьямікі («сярэдняга шляху»), развіў разважанне, вядомае як «катускоці», або тэтралема. Гэты чатырохбаковы аргумент сістэматычна правяраў і адхіляў зацвярджэнне выказванні, яго адмаўленне, злучэнне зацвярджэння і адмаўлення і, нарэшце, адхіленне і яго сцвярджэння, і яго адмаўлення.
У Дыгнагі і яго паслядоўніка Дхармакірці будыйская логіка дасягнула вяршыні. Цэнтральным пунктам іх аналізу было ўсталяванне (вызначэнне) неабходнай лагічнай прысутнасці (уключанасці ў вызначэнне), «вьяпці», таксама вядомае як «нязменнае прытрымліванне» або «перакананне». Для гэтай мэты яны распрацавалі вучэнне пра «апоха» або адрозніванне, аб правілах ўключэння прыкмет ў вызначэнне або выключэння іх з яго.
Школа Наўя-ньяя («новая ньяя», «новая логіка») была заснавана ў XIII стагоддзі Ганеша Упадхьяей з Мітылена, аўтара «Татвачынтамамі» («Скарб думкі пра рэальнасць»). Зрэшты, і ён абапіраўся на працы сваіх папярэднікаў X стагоддзя.
У гісторыі еўрапейскай логікі можна вылучыць этапы:
Заснавальнікам логікі ў старажытнагрэцкай філасофіі лічыцца старажытнагрэцкі філосаф Арыстоцель, так як належыць, што ён вывеў першую лагічную тэорыю. Папярэднікамі Арыстоцеля ў развіцці лагічнай навукі ў Старажытнай Грэцыі былі Парменід, Зянон Элейскі, Сакрат і Платон. Арыстоцель жа ўпершыню сістэматызаваў даступныя веды аб логіцы, абгрунтаваў формы і правілы лагічнага мыслення. Яго цыкл твораў «Арганон» складаецца з шасці работ, прысвечаных логіцы: «Катэгорыі», «Аб тлумачэнні», «Топіка», «Першая аналітыка» і «Другая аналітыка», «Сафістычныя абвяржэнні».
Пасля Арыстоцеля ў Старажытнай Грэцыі логіка таксама распрацоўвалася прадстаўнікамі школы стоікаў. Вялікі ўклад у развіццё гэтай навукі ўнеслі аратар Цыцэрон і старажытнарымскі тэарэтык прамоўніцкага мастацтва Квінціліян.
Па меры набліжэння да Сярэднім стагоддзяў логіка атрымлівала больш шырокае распаўсюджанне. Яе пачалі распрацоўваць арабскамоўная даследчыкі, напрыклад, Аль-Фараб (каля 870-950 гг.). Сярэднявечная логіка называецца схаластычнай, а яе росквіт у XIV стагоддзі звязваюць з імёнамі навукоўцаў Уільяма Окама, Альберта Саксонскага і Уолтара Берліё.
Гэты гістарычны перыяд у логіцы адзначаецца з'яўленнем мноства вельмі значных для навукі публікацый.
Фрэнсіс Бэкан ў 1620 годзе апублікоўваць свой «Новы арганон», які змяшчае асновы індуктыўных метадаў, удасканаленых пазней Джонам Сцюартам Мілі і якія атрымалі назву метадаў ўстанаўлення прычынных сувязяў паміж з'явамі Бэкана-Мілі. Сутнасць індукцыі (абагульнення) — ва ўзыходжанні (у працэсе пазнання) ад прыватных выпадкаў да агульных правілах. Таксама неабходна шукаць прычыны сваіх памылак.
У 1662 годзе ў Парыжы выдадзены падручнік «Логіка Пор-Раяль», аўтарамі якога з'яўляюцца П. Ніколь і А. Арно, якія стварылі лагічны вучэнне на аснове метадалагічных прынцыпаў Рэнэ Дэкарта.
У канцы XIX — пачатку XX стагоддзяў былі закладзеныя асновы г. зв. матэматычнай, або сімвалічнай, логікі. Яе сутнасць заключаецца ў тым, што для выяўлення истинностного значэння выразаў натуральнага мовы можна прымяняць матэматычныя метады. Менавіта выкарыстанне сімвалічнай логікі адрознівае сучасную лагічную навуку ад традыцыйнай.
Вялікі ўклад у развіццё сімвалічнай логікі ўнеслі такія навукоўцы, як Дж. Буль, О. дэ Морган, Г. Фреге, Ч. Пірс і інш. У XX стагоддзі матэматычная логіка аформілася ў якасці самастойнай дысцыпліны ў рамках лагічнай навукі.
Пачатак XX стагоддзя адзначылася станаўленнем ідэй некласічнай логікі, многія важныя палажэнні якой былі закладзены М. А. Васільевым і І. Е. Арловым.
У сярэдзіне XX стагоддзя развіццё вылічальнай тэхнікі прывяло да з'яўлення лагічных элементаў, лагічных блокаў і прылад вылічальнай тэхнікі, што было звязана з дадатковай распрацоўкай такіх абласцей логікі, як праблемы лагічнага сінтэзу, лагічнае праектаванне і праблемы лагічнага мадэлявання лагічных прылад і сродкаў вылічальнай тэхнікі.
У 80-х гадах XX стагоддзя пачаліся даследаванні ў вобласці штучнага інтэлекту на базе моў і сістэм лагічнага праграмавання. Пачалося і стварэнне экспертных сістэм з выкарыстаннем і развіццём аўтаматычнага доказы тэарэм, а таксама метадаў доказнага праграмавання для верыфікацыі алгарытмаў і праграм для ЭВМ.
У 80-я гады пачаліся таксама змены ў адукацыі. З'яўленне персанальных камп'ютараў у сярэдніх школах прывяло да стварэння падручнікаў інфарматыкі з вывучэннем элементаў матэматычнай логікі для тлумачэння лагічных прынцыпаў працы лагічных схем і прылад вылічальнай тэхнікі, а таксама прынцыпаў лагічнага праграмавання для камп'ютараў пятага пакалення, і распрацоўцы падручнікаў інфарматыкі з вывучэннем мовы вылічэння прэдыкатаў для праектавання баз ведаў.
Усе логікі, якія мы папярэдне абмяркоўвалі, з'яўляецца «бівалентнымі» або «двухсэнсоўнымі», гэта значыць яны прыпісваюць кожнаму сцвярджэнні, што разглядаецца, адно з двух значэнняў: «ісціна» або «хлусня». Сістэмы што не заўсёды прытрымліваюцца гэтага правіла вядомыя як-класічныя або неарыстоцелеўскія логікі. На пачатку 20-га Століне Ян Лукасевіч з Львоўска-Варшаўскай лагічнай школы прапанаваў пашырыць традыцыйную логіку уключыўшы ў яе трэцяе значэнне «магчыма», вынайдучы так трохзнакавую логіку, першую з мнагазначных логік. Інтуіцыйнай логіка была прапанаваная Л. Брауерам як карэктная логіка для меркаванняў аб матэматыцы, і грунтуецца на адхіленні закона выключанага трэцяга. Інтуіцыйнай логіка вельмі цікавай для спецыялістаў па інфарматыцы, паколькі з'яўляецца канструктыўнай логікай, а такім чынам з'яўляецца логікай для кампутараў. Таксама была распрацавана невыразная логіка, якая прадугледжвае бясконцая колькасць «ступеней праўдзівасці», апісаных сапраўднымі лікамі ад 0 да 1.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
