В Степин - Новая философская энциклопедия. Том первый

ДЕВ АТМА(наст, имя Шив Нараян Агнихотри) (20 декабря 1850, Акбарпур — 3 апреля 1929, Лахор) — индийский философ, общественный деятель, создатель системы философского натурализма — «дев дхармы», т.е. «божественного учения». Понимал природу как единственную объективную реальность, функционирующую на основе собственных закономерностей и вне зависимости от вмешательства сверхъестественных сил. В человеке видел интегральную часть природы, наивысший продукт эволюции. Не разделял традиционные представления о спи- ритуальности человека, но фактически всю его сущность свел к душе, понимая под ней форму существования особой «жизненной силы», направляющей всю психическую, познавательную, нравственную и поведенческую деятельность человека. Соч.: The Dev Shastra, pt. 1-2. New Delhi, 1976. Лит.: Литман А. Д. Традиции философского натурализма в Индии и мировоззрение Дев Атмы. М., 1982. О. В. Мезенцева

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

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

602

ДЕДУКЦИИ ТЕОРЕМА системы с нефинитными правилами (типа правила бесконечной индукции). Стремление учесть в рассуждениях специфику познаваемых объектов, фактор роста и накопления знания, неопределенность понятия истинности высказываний, возможность мыслить противоречивые объекты и ситуации привели к построению различных систем т. н. (дедуктивных) неклассических логик, интуиционистской, модальной, многозначной, релевантной, паранепротиворечивой и др. Стали исследоваться логические системы с истинностными провалами и пресыщенными истинностными оценками. При этом широкое применение находят различные семантические методы, напр., теория моделей, семантика возможных миров (см. Возможных миров семантика), операционная семантика и т. д., а также разнообразные синтаксические методы: аксиоматические исчисления, натуральный вывод, исчисления секвенций, аналитические таблицы и др. В ряде неклассических систем дедуктивной логики учитываются и прагматические аспекты рассуждений. В дедуктивной логике исследуются способы не только рассуждений, но и введения понятий (напр., процедуры определения), а также методы к процедуры поиска доказательств. В последнее время на базе неклассической дедуктивной логики интенсивно развиваются т. н. динамические логики и логики программирования, ориентированные на проблемы компьютерных наук. Кроме того, разрабатываются логики действий, норм, императивов и предпочтений, ориентированные не только на проблемы искусственного интеллекта, но и на применение в области этики и права (см. Деонтическая логика). Дедуктивная логика едина, а многообразие ее систем определяется тем, что по частям исследуются способы рассуждений, основанные на различных типах высказываний и применяемые в различных контекстах. В разных системах применяются различные формализованные языки, принимаются более или менее сильные абстракции и идеализации, учитываются или не учитываются различные характеристики знания. В дедуктивной логике исследуются также ее взаимоотношения с различными другими (недедуктивными) логическими системами и дается их семантико-эпистемологическое обоснование. /7. И. Быстрое