Большая Советская энциклопедия (ДЕ) - страница 46

..., то В...») доказуема (т. е. выводима уже без всяких посылок, из одних только аксиом). (Теорема о Д., справедливая при некоторых достаточно общих условиях для всех «полноценных» логических систем, в некоторых случаях просто постулируется для них в качестве исходного правила.) Аналогичный характер носят и другие связанные с понятием Д. логические термины; так, дедуктивно эквивалентными называются предложения, выводимые друг из друга; дедуктивная полнота системы (относительно какого-либо свойства) состоит в том, что все выражения данной системы, обладающие этим свойством (например, истинностью при некоторой интерпретации), доказуемы в ней.

  Свойства Д. — это по сути дела свойства отношения выводимости. Поэтому и раскрывались они преимущественно в ходе построения конкретных логических (и логико-математических) формальных систем (исчислений) и общей теории таких систем (так называемой теории доказательства). Большой вклад в это изучение внесли: создатель формальной логики Аристотель и др. античные учёные; выдвинувший идею формального логического исчисления (и справедливо считающийся провозвестником математической логики) Г. В. Лейбниц; создатели первых алгебрологических систем Дж. Буль, У. Джевонс, П. С. Порецкий, Ч. Пирс; создатели первых логико-математических аксиоматических систем Дж. Пеано, Г. Фреге, Б. Рассел; наконец, идущая от Д. Гильберта школа современных исследователей (К. Гёдель, А. Чёрч, Ж. Эрбран и др.), включая создателей теории Д. в виде так называемых исчислений естественного вывода (или «натуральной Д.») немецкого логика Г. Генцена, польского логика С. Яськовского и нидерландского логика Э. Бета. Теория Д. активно разрабатывается и в настоящее время, в том числе и в СССР (П. С. Новиков, А. А. Марков, Н. А. Шанин, А. С. Есенин-Вольпин и др.).

  Лит.: Аристотель, Аналитики первая и вторая, пер. с греч., М., 1952; Декарт P., Правила для руководства ума, пер. с. лат., М. — Л., 1936; его же, Рассуждение о методе, М., 1953; Лейбниц Г. В., Новые опыты о человеческом разуме М. — Л., 1936; Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Асмус В. Ф., Учение логики о доказательстве и опровержении, М., 1954.

  Ю. А. Гастев.

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

Дедя'ков, Дедеяков, Тютяков, средневековый аланский город на Северном Кавказе, известный по русским летописям 14—16 вв. 8 февраля 1278 Д. был взят и разграблен татарскими и русскими войсками, возглавляемыми Менгу-Тимуром. Д. связывался и с местом убийства в татарской ставке тверского князя Михаила 22 ноября 1328. Местонахождение Д. было неизвестно и предполагалось в ряде пунктов Северного Кавказа. По последним археологическим данным, остатками Д. считается огромное Верхнеджулатское городище (др. название Татартуп) на левом берегу Терека, напротив селения Эльхотово в Северо-Осетинской АССР.

  Лит.: Кучкин В. А., Где искать ясский город Тютяков? «Изв. Северо-Осетинского научно-исследовательского института», в. 25, История, Орджоникидзе, 1966; Крупнов Е. И., Ещё раз о местонахождении города Дедякова, в сборнике: Славяне и Русь, М., 1968.

  Е. И. Крупнов.

Дееприча'стие, форма глагола, представляющая процесс как признак др. процесса (например, «читая, он думал о другом»). В русском языке Д. сохраняет формы вида, залога, глагольное управление и относится к тому же лицу или предмету, к которому относится и глагол, определяемый Д. Форм времени, лица, числа Д. не имеет. В предложении Д. обычно выступает как обстоятельство.