Verbum

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

лагічная сістэма, у якой выказванням (суджэнням, сцвярджэнням, сказам) акрамя значэнняў ісціны і няісціны могуць прыпісвацца «прамежкавыя» значэнні, якія называюць імавернасцямі ісціннасці выказванняў, ступенямі іх праўдападобнасці, ступенямі пацвярджэння і інш. Уяўляе сабой удакладненне індукцыйнай логікі і адзін з відаў мнагазначнай логікі. Ісцінным выказваннем (верагодным падзеям) прыпісваецца ісціннаснае значэнне (імавернасць) — 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

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

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

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

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

Літ.:

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

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

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

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

т. 10, с. 308

АРХІТЭКТО́НІКА (ад грэч. architektonikē будаўнічае мастацтва),

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

У архітэктуры выяўляецца ў суразмернасці, супадпарадкаванасці, прапарцыянальнасці, маштабнасці, рытмічнасці ўсіх элементаў будынкаў і збудаванняў. Садзейнічае цэласнаму эстэт. ўспрыманню арх. твора, у якім арганічна спалучаюцца яго лагічная функцыян.-канструкцыйная аснова, кампазіцыя, дэкор і інш. Кожны арх. стыль надае своеасаблівасць архітэктоніцы пэўнай эпохі. У ант. архітэктуры Стараж. Грэцыі і Рыма найб. дасканалая і гарманічная была архітэктоніка класічнага арх. ордэра, заснаванага на маст. перапрацоўцы стоечна-бэлечнай сістэмы. У готыцы і ў эпоху Адраджэння маст. выразнасць будынкаў грунтавалася на архітэктоніцы арачных канструкцый. У архітэктуры барока архітэктоніка найчасцей грунтавалася на апасродкаваным выяўленні з дапамогай ордэрных элементаў дэкору дынамікі канструкцый. У эпоху класіцызму архітэктоніка базіравалася на выразных гарманічных прапорцыях, сіметрыі, ураўнаважанасці аб’ёмаў, выкарыстанні класічных ордэрных кампазіцый. Дасканаласць архітэктонікі нар. драўлянага дойлідства ў непарушным адзінстве шматвяковага развіцця яе арх. формы і функцыян.-канструкцыйнага зместу.

У літаратуры — агульная будова літ. твора, якая выяўляецца ў спалучэнні яго частак і элементаў, у сродках гарманічнага афармлення і структурнай арганізацыі твора як адзінага маст. цэлага. Своеасаблівасць архітэктонікі залежыць ад ідэйнай задумы твора, жанравых законаў, індывід. аўтарскага стылю. Падзел твора на часткі і раздзелы мае творчы, змястоўны характар, а паслядоўнасць іх чаргавання, узаемасувязі вызначаюцца яго ўнутр. будовай — кампазіцыяй. Некаторыя вял. эпічныя творы складаюцца з «кніг» («Сустрэнемся на барыкадах» П.​Пестрака — з 2, «Мінскі напрамак» І.​Мележа — з 3). Твор з некалькіх самастойных кніг, аб’яднаных сюжэтнай пераемнасцю, набывае форму дылогіі, трылогіі і г.д. У паэзіі архітэктоніка выяўляецца ў сістэме строф, якія ў буйным творы злучаюцца ў раздзелы ці часткі. Цвёрдая страфа (санет, трыялет, рандо і інш.) складае закончаны твор. У драматургіі змест падзяляецца на дзеі (акты), апошнія — на карціны (з’явы).

А.​М.​Кулагін, А.​М.​Пяткевіч.

т. 1, с. 527