Verbum

ДЖО́НСАН ((Jonson) Бенджамін) (Бен; 11.6.1573, Лондан —6.8.1637),

англійскі драматург, паэт, тэарэтык драмы. Вучыўся ў Вестмінстэрскай школе. Першая камедыя «Абставіны змяніліся» (1597). У пралогах п’ес аспрэчваў творчыя прынцыпы сучаснікаў, у т.л. свайго сябра У.Шэкспіра, адстойваў адналінейнае адлюстраванне характараў. Паводле сваёй «тэорыі гумараў», у камедыях «Усякі ў сваім нораве» (1598) і «Усякі не ў сваім нораве» (1599) тлумачыў «гумар» як індывідуальнае дзівацтва, а ў камедыях нораваў «Вальпоне, або Ліса» (1605), «Эпісін, або Маўклівая жанчына» (1609), «Алхімік» (1610) і «Варфаламееўскі кірмаш» (1614) — як сацыяльна-тыповыя заганы арыстакратыі і буржуазіі. Аўтар трагедый «Падзенне Сеяна» (1603) і «Змова Катыліны» (1611), 30 «масак» — п’ес-алегорый на міфалагічныя сюжэты, зб-каў вершаў «Эпіграмы» і «Лес» (абодва 1616).

т. 6, с. 90

ПАЗІГРА́ФІЯ (ад грэч. pas усякі + ...графія),

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

Літ.:

Проблемы интерлингвистики. М., 1976;

Мартынов В.В. Универсальный семантический код. Мн., 1977;

Язык и структуры представления знаний. М., 1992.

А.Я.Міхневіч.

т. 11, с. 517

БЕСКАНЕ́ЧНАЕ І КАНЕ́ЧНАЕ,

філасофскія катэгорыі, якія выражаюць непарыўна звязаныя паміж сабой процілеглыя бакі аб’ектыўнага свету. Бесканечнае характарызуе неабмежаваную разнастайнасць прасторавых структур матэрыі, яе ўласцівасцяў і ўзаемасувязяў, колькасную невычарпальнасць у глыбіню, існаванне бясконцага мноства якасна адрозных узроўняў яе структурнай арганізацыі. У гісторыі навукі напачатку ўвага канцэнтравалася на колькасных аспектах бесканечнага, якія вывучаліся матэматыкай (гл. Бесканечна вялікая, Бесканечна малая, Бесканечнасць у матэматыцы). Ідэі бесканечнасці сустракаліся ўжо ў выказваннях стараж. індыйцаў. Большасць стараж.-грэч. філосафаў лічыла, што свет канечны і абмежаваны цвёрдым нябесным купалам. Такога ж пункту погляду прытрымліваецца хрысціянства. Толькі Нікалай Кузанскі і Дж.Бруна ў 15—16 ст. зноў загаварылі пра бесканечнасць свету. Канечнае з’яўляецца адмаўленнем бесканечнага і ўяўляе сабой усякі абмежаваны ў прасторы і часе аб’ект. Усякая канкрэтная якасць у свеце канечная, існуе ў пэўных межах меры. Канечнае азначае таксама абмежаванасць і часовасць зямнога быцця наогул, у гэтым значэнні яно дапускае прынцыповую магчымасць далейшага, незямнога быцця.

Літ.:

Кармин А.С. Познание бесконечного. М., 1981;

Бурова И.Н. Развитие проблемы бесконечности в истории науки. М., 1987;

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

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

т. 3, с. 127

ЛО́ГІКА ПРЭДЫКА́ТАЎ, функцыянальная логіка,

раздзел логікі, у якім вывучаюцца лагічныя сувязі паміж выказваннямі з улікам іх унутранай (суб’ектна-прэдыкатнай) структуры; пашыраны варыянт логікі выказванняў. Прадметам даследавання з’яўляецца любая галіна аб’ектаў з дадзенымі на гэтых аб’ектах прэдыкатамі, г. зн. уласцівасцямі і адносінамі. У выніку фармалізацыі Л.п. прымае выгляд розных злічэнняў (напр., злічэнне выказванняў). Пры аналізе ўплыву на лагічны вывад унутр. структуры выказванняў прэдыкаты разглядаюцца як функцыі, значэннямі якіх служаць выказванні. У дапаўненне да сімвалічных сродкаў логікі выказванняў у мову Л.п. уведзены лагічныя знакі — аператары ∀ («для ўсіх») і ∃ («для некаторых», існуе... такое, што...»), якія адпаведна наз. квантарамі агульнасці і існавання. Для выяўлення структуры выказванняў уводзіцца бясконцы пералік індывідных пераменных x, y, z ... x​¹, y​¹, z​¹, .... якія ўяўляюць сабой розныя аб’екты, і бясконцы пералік прэдыкатных пераменных P, Q, R, ..., P​¹, Q​¹, R​¹ ..., якія ўяўляюць сабой уласцівасці і адносіны аб’ектаў. Запіс (∀x)P(x) азначае «Усякі x валодае ўласцівасцю P»; (∃x)P(x) — «некаторыя x валодаюць уласцівасцю P» і (∃xQ(xy) — «існуе x, які знаходзіцца ў адносінах Q з y» і да т.п. Квантары могуць звязваць у формулах індывідныя (звязаныя) пераменныя. Індывідныя пераменныя, не звязаныя ў формуле квантарамі, наз. свабоднымі. Так, ва ўсіх трох прыведзеных формулах пераменная х звязаная, у апошняй формуле пераменная у свабодная. Звязаныя пераменныя наз. фіктыўнымі. Формулы, якія прымаюць значэнне «ісціна» ў кожнай інтэрпрэтацыі, наз. агульназначнымі. Існуюць таксама некласічныя Л.п., якія прапануюць іншыя тлумачэнні лагічных звязак і квантара.

Літ.:

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М., 1982;

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

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

т. 9, с. 335