Читать «Большая Советская Энциклопедия (ДЕ)» онлайн - страница 66
БСЭ БСЭ
Свойства Д. — это по сути дела свойства отношения выводимости. Поэтому и раскрывались они преимущественно в ходе построения конкретных логических (и логико-математических) формальных систем () и общей теории таких систем (так называемой теории доказательства). Большой вклад в это изучение внесли: создатель формальной логики Аристотель и др. античные учёные; выдвинувший идею формального логического исчисления (и справедливо считающийся провозвестником математической логики) Г. В. ; создатели первых алгебрологических систем Дж. , У. , П. С. , Ч. ; создатели первых логико-математических аксиоматических систем Дж. , Г. , Б. ; наконец, идущая от Д. школа современных исследователей (К. , А. , Ж. и др.), включая создателей теории Д. в виде так называемых исчислений естественного вывода (или «натуральной Д.») немецкого логика Г. Генцена, польского логика С. Яськовского и нидерландского логика Э. Бета. Теория Д. активно разрабатывается и в настоящее время, в том числе и в СССР (П. С. Новиков, А. А. Марков, Н. А. Шанин, А. С. Есенин-Вольпин и др.).
Лит.: Аристотель, Аналитики первая и вторая, пер. с греч., М., 1952; Декарт P., Правила для руководства ума, пер. с. лат., М. — Л., 1936; его же, Рассуждение о методе, М., 1953; Лейбниц Г. В., Новые опыты о человеческом разуме М. — Л., 1936; Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Асмус В. Ф., Учение логики о доказательстве и опровержении, М., 1954.
Ю. А. Гастев.
Дедюшки Владимир Иосифович
Дедюшки' Владимир Иосифович [19.1(1.2).1905, Минск, — 30.3.1973, там же], белорусский советский актёр, народный артист СССР (1971). Член КПСС с 1948. С 1923 работал в 3-м Белорусском драматическом театре, с 1937 в Белорусском театре им. Я. Купалы. Среди ролей: Крушина («Константин Заслонов» Мовзона), Пытлеваный («Поют жаворонки» Крапивы), Моцкин («Извините, пожалуйста!» Макаёнка), Местный, Вакуленко («Фронт», «Калиновая роща» Корнейчука). Снимался в кино: Крушина («Константин Заслонов»), Криницкий («Павлинка») и др. Депутат Верховного Совета БССР 8-го созыва. Государственная премия СССР (1952). Награждён орденом Ленина и медалями.