Verbum

АФАРЫ́ЗМ

(грэч. aphorismos),

трапнае выслоўе, якое ва ўстойлівай і лаканічнай форме перадае змястоўную і арыгінальную думку — жыццёвае назіранне, маральную сентэнцыю, разважанне і інш.: «Воля сонейку раўня» (Я.Купала), «Лес не сякуць языкамі» (К.Крапіва), «Чакаць тады спакойна можна, калі няма чаго чакаць» (А.Звонак). Афарызмы маюць канкрэтнага стваральніка (пісьменніка, вучонага і інш.), ужываюцца ў вуснай і пісьмовай мове для вобразнай характарыстыкі з’яў і падзей.

І.Л.Бурак.

т. 2, с. 127

ВАВЕНА́РГ (Vauvenargues) Люк дэ Клап’е

(6.8.1715, г. Экс-ан-Праванс, Францыя — 28.5.1747),

французскі пісьменнік-мараліст, філосаф. Майстар афарыстычнага жанру. Першы літ. вопыт — «Разважанне пра свабоду» (нап. 1737), пазней разгорнуты ў «Трактаце пра свабоду волі». З 1743 перапісваўся з Вальтэрам. У 1745 напісаў «Разважанне пра няроўнасць багаццяў». У 1746 выдаў адзіную прыжыццёвую кнігу «Уводзіны ў пазнанне чалавечага розуму, а таксама Роздумы і максімы на розныя тэмы», дапоўненую «Парадоксамі і новымі роздумамі і максімамі». У цэнтры ўвагі Вавенарга — чалавечая прырода, якую ён лічыць зыходным пунктам чалавечых пачуццяў, інстынктаў, імпульсаў паводзін, з ёй ён звязвае ўяўленне пра спрадвечную дабрыню чалавека. Пачуццё ён супрацьпастаўляе розуму, сцвярджае перавагу першага і шукае шляхі прымірэння паміж імі. Жанравыя і кампазіцыйныя асаблівасці прозы Вавенарга (афарыстычныя разважанні і максімы) ідуць ад класічнай традыцыі 17 ст. Яго меркаванні пра класікаў л-ры 17 ст. і сучаснікаў больш кансерватыўныя. Аўтар серый «Характары» і «Дыялогі».

Тв.:

Oeuvres. Paris, 1981;

Рус. пер. — Введение в познание человеческого разума;

Фрагменты;

Критические замечания;

Размышления и максимы. Л., 1988.

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

т. 3, с. 422

ВЫ́ВАД у логіцы, разважанне, у ходзе якога з зыходных суджэнняў (выказванняў), пасылак ці прадпасылак выводзіцца заключэнне — суджэнне, што лагічна з іх вынікае. Вывад можа быць непасрэдны і ўскосны, дакладны і гіпатэтычны. У сімвалічнай логіцы вывад вызначаецца больш строга — як паслядоўнасць выказванняў ці формул, што складаецца з аксіём, пасылак і раней даказаных формул (тэарэм). У матэматычнай логіцы пад вывадам разумеюць паслядоўнасці формул, дзе кожная з’яўляецца або зыходнай формулай, або аксіёмай, або вынікам, атрыманым паводле правіл логікі з папярэдніх формул. Гл. Дэдукцыя, Індукцыя.

т. 4, с. 301

ЗЛІЧЭ́ННЕ,

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

У матэматычнай логіцы любое З. адназначна задаецца зыходнымі элементамі (алфавітам З.), правіламі ўтварэння формул дадзенага З. (слоў ці выразаў), сукупнасцю аксіём і правіл пераўтварэння (вывядзення) яго фразеалогіі. Прыпісванне элементам З. пэўных значэнняў (гл. Семантыка лагічная) пераўтварае З. ў фармалізаваную мову. Напр., у З. выказванняў шляхам пэўнай канечнай працэдуры (доказу; улічваецца толькі праўдзівасць ці непраўдзівасць выказвання) атрымліваюць выказванні-тэарэмы (гл. Логіка выказванняў). У выніку атрымліваюць лагічную сістэму, якая фармалізуе разважанне, заснаванае на структуры складаных выказванняў у адрозненне ад унутранай структуры элементарных выказванняў. Пры З. прэдыкатаў атрымліваюць сцвярджэнні (формулы, тэарэмы) з улікам суб’ектна-прэдыкатыўнай структуры выказванняў (напр., «элемент X мае ўласцівасць P), што дае магчымасць выяўляць сувязь аб’ектаў з іх уласцівасцямі і суадносіны паміж імі, колькасна характарызаваць сувязь рэчаў, уласцівасцей і адносін з дапамогай лагічных эквівалентаў выразаў «усе», «некаторыя», «кожны» і інш. (гл. Квантары). Такое З. адпавядае логіцы прэдыкатаў, калі яно мае ўласцівасці несупярэчлівасці (кожная тэарэма агульназначная) і паўнаты (кожная агульназначная формула даказальная). З. прэдыкатаў уключае З. выказванняў і разглядаецца звычайна як яго пашырэнне шляхам фармалізацыі вывадаў, заснаваных на ўнутранай структуры выказванняў. Тэорыю З. прэдыкатаў распрацаваў ням. логік, матэматык і філосаф Г.Фрэге, чым істотна ўзбагаціў сілагістыку Арыстоцеля і традыц. сілагістыку. Абагульненне З. выказванняў — З. класаў, дзе дадаткова разглядаецца суб’ектна-прэдыкатная структура выказванняў і пры гэтым з кожным прэдыкатам (уласцівасцю) звязваецца ўся сукупнасць элементаў (клас) з разгляданай вобласці, якія маюць гэтую ўласцівасць (гл. Логіка класаў). З. класаў часам разглядаюць як фармалізаваную тэорыю мностваў, выкарыстоўваюць як дапаможны этап пры пераходзе ад З. выказванняў да З. прэдыкатаў і будуюць на базе З. выказванняў з дапамогай адпаведнай інтэрпрэтацыі яго формул.

Літ.:

Гильберт Д., Аккерман В. Основы теоретической логики: Пер. с нем. М., 1947;

Методологические проблемы развития и применения математики. М., 1985;

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

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

т. 7, с. 76