БСЭ - Большая Советская энциклопедия (ДЕ)
Что же касается формальной логики в более узком смысле этого термина, то как к самой по себе системе логических правил, так и к любым их применениям в любой области в полной мере относится положение о том, что всё, что заключено в любой полученной посредством дедуктивного умозаключения «аналитической (или «логической») истине», содержится уже в посылках, из которых она выведена: каждое применение правила в том и состоит, что общее положение относится (применяется, прилагается) к некоторой конкретной («частной») ситуации. Некоторые правила логического вывода подпадают под такую характеристику и совсем явным образом; например, различные модификации так называемого правила подстановки гласят, что свойство доказуемости (или выводимости из данной системы посылок) сохраняется при любой замене элементов произвольной формулы данной формальной теории «конкретными» выражениями «того же вида». То же относится к распространённому способу задания аксиоматических систем посредством так называемых схем аксиом, т. е. выражений, обращающихся в «конкретные» аксиомы после подстановки вместо входящих в них «родовых» обозначений конкретных формул данной теории.
Но какой бы конкретный вид ни имело данное правило, любое его применение всегда носит характер Д. «Непреложность», обязательность, «формальность» правил логики, не ведающая никаких исключений, таит в себе богатейшие возможности автоматизации самого процесса логического вывода с использованием ЭВМ (см. Алгоритм, Кибернетика).
Под Д. часто понимают и сам процесс логического следования. Это обусловливает тесную связь (а иногда даже отождествление) понятия Д. с понятиями вывода и следствия, находящую своё отражение и в логической терминологии; так, «теоремой о Д.» принято называть одно из важных соотношений между логической связкой импликации (формализующей словесный оборот «Если..., то... ») и отношением логического следования (выводимости): если из посылки А выводится следствие В, то импликация А É В («Если А..., то В...») доказуема (т. е. выводима уже без всяких посылок, из одних только аксиом). (Теорема о Д., справедливая при некоторых достаточно общих условиях для всех «полноценных» логических систем, в некоторых случаях просто постулируется для них в качестве исходного правила.) Аналогичный характер носят и другие связанные с понятием Д. логические термины; так, дедуктивно эквивалентными называются предложения, выводимые друг из друга; дедуктивная полнота системы (относительно какого-либо свойства) состоит в том, что все выражения данной системы, обладающие этим свойством (например, истинностью при некоторой интерпретации), доказуемы в ней.
Свойства Д. — это по сути дела свойства отношения выводимости. Поэтому и раскрывались они преимущественно в ходе построения конкретных логических (и логико-математических) формальных систем (исчислений) и общей теории таких систем (так называемой теории доказательства). Большой вклад в это изучение внесли: создатель формальной логики Аристотель и др. античные учёные; выдвинувший идею формального логического исчисления (и справедливо считающийся провозвестником математической логики) Г. В. Лейбниц; создатели первых алгебрологических систем Дж. Буль, У. Джевонс, П. С. Порецкий, Ч. Пирс; создатели первых логико-математических аксиоматических систем Дж. Пеано, Г. Фреге, Б. Рассел; наконец, идущая от Д. Гильберта школа современных исследователей (К. Гёдель, А. Чёрч, Ж. Эрбран и др.), включая создателей теории Д. в виде так называемых исчислений естественного вывода (или «натуральной Д.») немецкого логика Г. Генцена, польского логика С. Яськовского и нидерландского логика Э. Бета. Теория Д. активно разрабатывается и в настоящее время, в том числе и в СССР (П. С. Новиков, А. А. Марков, Н. А. Шанин, А. С. Есенин-Вольпин и др.).
Лит.: Аристотель, Аналитики первая и вторая, пер. с греч., М., 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.
Е. И. Крупнов.
Деепричастие
Дееприча'стие, форма глагола, представляющая процесс как признак др. процесса (например, «читая, он думал о другом»). В русском языке Д. сохраняет формы вида, залога, глагольное управление и относится к тому же лицу или предмету, к которому относится и глагол, определяемый Д. Форм времени, лица, числа Д. не имеет. В предложении Д. обычно выступает как обстоятельство.
Дееспособность
Дееспосо'бность в праве, способность своими действиями приобретать права и порождать для себя юридические обязанности. Понятие Д. наиболее разработано и чаще всего применяется в отношениях, регулируемых гражданским правом.
В СССР и др. социалистических странах Д. обладают граждане по достижении совершеннолетия, т. е. 18 лет, а также социалистические организации, выступающие в качестве самостоятельного субъекта права (см. Лицо юридическое).
По советскому праву с достижением совершеннолетия граждане могут самостоятельно совершать различные сделки и нести имущественную ответственность за свои противоправные действия. Несовершеннолетние в возрасте от 15 до 18 лет могут, по общему правилу, совершать сделки лишь с согласия своих родителей, усыновителей или попечителей. Однако они вправе самостоятельно совершать мелкие бытовые сделки, распоряжаться своим заработком или стипендией, осуществлять свои авторские и изобретательские права, а также вносить вклады в сберегательные кассы и распоряжаться ими. За детей, не достигших 15 лет, сделки совершают от их имени родители, усыновители или опекуны. См. также Дети, Несовершеннолетние.
Если гражданин вследствие душевной болезни или слабоумия не может понимать значения своих действий или руководить ими, то суд вправе признать его недееспособным и установить над ним опеку. Граждане, которые вследствие злоупотребления спиртными напитками или наркотическими средствами ставят свои семьи в тяжёлое материальное положение, могут быть ограничены судом в дееспособности. В этом случае устанавливается попечительство: все сделки, кроме мелких бытовых, ограниченно дееспособные могут совершать только с согласия попечителя. Пределы Д. юридического лица, совпадающей с его правоспособностью, определяются Уставом юридического лица.
В большинстве буржуазных государств Д. возникает с 21 года.
В. А. Кабатов.
Деж
Деж (Dej), город на С. Румынии, в уезде Клуж. 30 тыс. жителей (1969). Ж.-д. узел. Деревообрабатывающий комбинат, целлюлозно-бумажная, цементная, пищевая (мукомольная, маслобойная, мясоконсервная) промышленность. В окрестностях Д. — добыча каменной соли.
