Verbum

МЕТАТЭО́РЫЯ,

тэорыя, аб’ектам даследавання якой з’яўляецца якая-небудзь інш. тэорыя, якая аналізуе ўласцівасці, структуру, метады, лагічныя асновы (доказнасць, супярэчлівасць, строгасць і інш.) прадметнай тэорыі. М. ўстанаўлівае памеры тэорыі, спосабы ўвядзення новых паняццяў, дае магчымасць пабудаваць яе больш рацыянальным спосабам. Вынікі М. могуць фармалізавацца і вывучацца далей. Фармулюецца М. на метамове. Найб. пашырана М. логікі (металогіка) і матэматыкі (метаматэматыка). Задачай М. з’яўляецца даследаванне ўмоў фармалізацыі навук. тэорый, а таксама сінтакс. (лагічны сінтаксіс) і семантычных (семантыка лагічная) уласцівасцей фармалізаваных моў. Такія даследаванні набываюць асаблівае значэнне ў сувязі з развіццём кібернетыкі і выліч. тэхнікі.

В.​М.​Пешкаў.

т. 10, с. 310

ІНТЭРПРЭТА́ЦЫЯ (ад лац. interpretatio тлумачэнне, пасрэдніцтва),

1) вытлумачэнне, пераклад на больш зразумелую мову.

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

В.​М.​Пешкаў.

т. 7, с. 289

ІДЭА́ЛЬНЫХ ТЫ́ПАЎ ТЭО́РЫЯ,

сістэма паняццяў, якая ўвасабляе пэўны аспект сац. рэальнасці ў лагічна несупярэчлівай, рацыянальнай, індывідуалізаванай форме. Распрацавана ням. сацыёлагам М.Веберам, які лічыў, што І.т.т. не з’яўляецца адэкватным узнаўленнем рэчаіснасці, але выражае яе істотныя ўзаемасувязі і тэндэнцыі развіцця. Лагічная пабудова тэорыі ажыццяўляецца шляхам мысленнага давядзення пэўных элементаў сац. рэальнасці да іх «поўнага выражэння» пры дапамозе інтэгравання дыскрэтна існуючых з’яў у «адзіным вобразе». Такімі, напр., з’яўляюцца сканструяваныя Веберам ідэальна-тыповыя мадэлі сац. дзеяння: мэтарацыянальнае, каштоўнасна-рацыянальнае, афектыўнае, традыцыйнае, а таксама тры мадэлі ўлады: традыцыйная, легальная (дэмакратычная), харызматычная. І.т.т. стварае логіка-тэарэт. і метадалагічныя перадумовы для навук., перш за ўсё сацыялагічнага пранікнення ў сутнасць сац. працэсаў і з’яў.

Я.​М.​Бабосаў.

т. 7, с. 169

ІМПЛІКА́ЦЫЯ (ад лац. implicatio спляценне, перапляценне),

лагічная аперацыя, якая з двух выказванняў утварае складанае выказванне з дапамогай лагічнай звязкі, аналагічнай сэнсу злучніка, «калі..., то» (сімвалічны запіс A→B ці A⊃B; чытаецца «калі A, то B», «з A вынікае B» і інш.). Імплікатыўнае выказванне складаецца з антэцэдэнта (выказванне, перад якім падаецца слова «калі») і кансеквента (выказванне, якое ідзе за словам «то»). Адрозніваюць розныя віды І.: матэрыяльную, строгую, рэлевантную і інш. У вылічэннях класічнай логікі найб. шырока выкарыстоўваецца матэрыяльная І. (гл. Матэматычная логіка). Пры яе вызначэнні не ўлічваецца сувязь па сэнсе антэцэдэнта і кансеквента, наяўнасць якой характэрна для сказаў са злучнікам «калі..., то» ў паўсядзённай мове. Антэцэдэнт і кансеквент разглядаюцца толькі з боку іх прыкметы быць або не быць ісціннымі.

В.​М.​Пешкаў.

т. 7, с. 212

ПОР-РАЯ́ЛЬ ГРАМА́ТЫКА,

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

т. 12, с. 512

ІМАВЕ́РНАСНАЯ ЛО́ГІКА,

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

т. 7, с. 206

ПРЭДЫКА́Т (ад лац. praedicatum сказанае),

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

У адпаведнасці з гэтым П. вызначаюцца на мноствах (абласцях прадметаў); элементы якіх служаць аргументамі, або значэннямі адпаведных пераменных. Пры функцыянальнай форме запісу П. ад η пераменных выражаюць формулай P(x₁, ... x_n), дзе η ≥ 0. Пры η = 0 П. супадае з выказваннем, пры η = 1 П. з’яўляецца ўласцівасцю ў вузкім сэнсе (аднамесны П.), пры η = 2 — уласцівасцю «пары» (двухмесны П.), пры η = 3 — уласцівасцю «тройкі» (трохмесны П.) і г.д. Гл. таксама Логіка прэдыкатаў, Функцыя.

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

т. 13, с. 90

ПРАЦЭ́САР (англ. processor ад process апрацоўваць),

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

У залежнасці ад прызначэння адрозніваюць П.: цэнтральны, функцыянальна-арыентаваны і праблемна-арыентаваны. Цэнтральны П. — асн. частка ЭВМ, якая непасрэдна ажыццяўляе працэс апрацоўкі інфармацыі, а таксама кіруе ім і каардынуе дзеянні інш. вузлоў ЭВМ. Мае блок кіравання, арыфметычна-лагічнае прыстасаванне (адно ці некалькі), лакальную памяць, сродкі кантролю і дыягностыкі. Функцыянальна-арыентаваныя П. забяспечваюць выкананне тыповых функцый выліч. прылад апаратнымі спосабамі. Да іх адносяць сістэмны П. (выконвае службовыя функцыі ЭВМ, напр., увод—вывад інфармацыі, кантроль і апрацоўку станаў перыферыйных прылад), сеткавы П. (забяспечвае функцыянаванне выліч. сеткі), сервісны П. (для кантролю, дыягностыкі, статыстыкі і інш. аперацый абслугоўвання ЭВМ) і інш. Праблемна-арыентаваныя П. прызначаны для павышэння (адносна цэнтральнага П.) скорасці апрацоўкі некаторых класаў задач (напр., для апрацоўкі адна- і мнагамерных матрыц, рашэння дыферэнцыяльных ураўненняў, задач тэорыі поля), а таксама асобных працэдур аперацыйнай сістэмы. Такія П. звычайна з’яўляюцца дадатковымі спецыялізаванымі П., якія далучаюцца да асн. ЭВМ, напр., праз інтэрфейс уводу—вываду.

М.​П.​Савік.

т. 13, с. 34

ПАНЯ́ЦЦЕ,

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

Тэрмін «П.» ўведзены стоікамі (3—2 ст. да н.э.). Паводле Зянона з Кітыёна, П. — спасцігнутае ўяўленне. Разгорнутая канцэпцыя П. змешчана ў творах Платона. Дэмакрыт звязваў П. з пачуццёвымі рэчамі, Платон лакалізаваў яго ў сферы мыслення і свеце ідэй, Арыстоцель развіў яго і прадставіў у выглядзе сістэмы П. У сярэднявеччы дыскусіі вакол прыроды П. праявіліся ў барацьбе наміналізму і рэалізму. У канцы 17 — пач. 18 ст. развівалася эмпірычная тэорыя П. (Дж.​Лок і інш.). Прадстаўнікі класічнай ням. філасофіі (І.​Кант. І.​Фіхтэ, Ф.​Шэлінг, асабліва Г.​Гегель) раскрылі супярэчлівы характар мыслення, паказалі абстрактнасць і канкрэтнасць П., яго арганічную цэльнасць і працэсуальнасць.

Літ.:

Ильенков Э.В. Философия и культура. М., 1991;

Гегель Г.В.Ф. Система наук. Ч. 1. Феноменология духа. СПб., 1994;

Риккерт Г. Границы естественнонаучного образования понятий: Логич. введение в ист. науки. СПб., 1997.

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

т. 12, с. 60

НЕАКАНТЫЯ́НСТВА,

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

Літ.:

Кассирер Э. Жизнь и учение Канта: Пер. с нем. СПб., 1997;

Хайдеггер М. Кант и проблема метафизики: Пер. с нем. М., 1997;

Гайденко П.П. Прорыв к трансцемдентмому: Новая онтология XX в. М., 1997.

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

т. 11, с. 254