ДЕДУКЦИЯ 139

надо стараться применять каждую из них на своем мес­те, а этого можно добиться лишь в том случае, если не упускать иа «иду их связь между собой, их взаимное дополнение друг друга» (Маркс К. и Энгельс Ф., Соч., т. 20, с. 542—43).

В формальной логике к системе логич. правил и к их применениям в любой области относится след, положе­ние: всё, что заключено в любой полученной посредст­вом дедуктивного умозаключения логич. истине, содер­жится уже в посылках, из к-рых она выведена. Каж­дое применение правила состоит в том, что общее по­ложение относится (применяется) к нек-рой конкрет­ной (частной) ситуации. Нек-рые правила логич. вывода подпадают под такую характеристику и совсем явным образом. Так, напр., различные модификации т. н. пра­вила подстановки гласят, что свойство доказуемости (или выводимости из данной системы посылок) сохра­няется при любой замене элементов произвольной фор­мулы данной формальной теории конкретными выраже­ниями того же вида. То же относится к распространён­ному способу задания аксиоматич. систем посредством т. н. схем аксиом, т, е. выражений, обращающихся в конкретные аксиомы после подстановки вместо входя­щих в них общих обозначений конкретных формул данной теории.

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

Свойства Д. раскрывались преим. в ходе построения конкретных логич. формальных систем (исчислений) и общей теории таких систем (т. н. теории доказательст­ва). См. Логика.

* Энгельс Ф., Диалектика природы, Маркс К. и Э н-г е л ь сф., Соч., т. 20; Л е н и н В. И., Филос. тетради, ПСС, т. 29; Т a p с к и й А., Введение в логику и методологию дедук­тивных наук, пер. с англ., М., 1948; Асмус В. Ф., Учение логики о доказательстве и опровержении, М., 1954.

ДЕИДЕОЛОГИЗАЦИЯ,социально-филос. течение в зап. обществ. мысли, получившее распространение в сер. 20 в. и ставящее целью оправдание бурж. объек­тивизма и «беспартийности» в науке. Теоретически Д. ведёт происхождение от социологии знания Манхейма, противопоставлявшего науку как объективное и дос­товерное знание о фактах идеологии как более или менее произвольному суждению о социальных и мораль­ных ценностях, к-рое выражает партикулярные, субъ­ективные интересы различных классов, слоев и групп населения.

В 50—60-х гг. ряд бурж. философов и социологов — Р. Арон, Д. Белл, С. М. Липсет, К. Поппер, Э. Шиле придали Д. характер социологич. концепции, направ­ленной против марксизма и всех левых, радикальных течений обществ. мысли. Эта концепция была призва­на, с одной стороны, изобразить совр. бурж. идеоло­гию как беспартийную «чистую науку», претендующую на беспристрастное знание об обществе, а с другой — под предлогом «ненаучности всякой идеологии» дис­кредитировать подлинно науч. марксистскую идеоло-