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

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

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

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

602

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

ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ- умозаключение, логическая форма которого гарантирует получение истинного заключения при условии одновременной истинности посылок. В дедуктивном умозаключении между посылками и заключением имеет место отношение следования логического; логическое содержание заключения (т. е. его информация без учета значений нелогических терминов) составляет часть совокупного логического содержания посылок. Впервые систематический анализ одной из разновидностей дедуктивных умозаключений — силлогистических умозаключений, посылками и заключениями которых являются атрибутивные высказывания, — был осущест&чен Аристотелем в «Первой Аналитике» и существенным образом развит его античными и средневековыми последователями. Дедуктивные умозаключения, основанные на свойствах пропозициональных логических связок, исследовались в школе стоиков и — особенно подробно — в средневековой логике. Были вьщелены такие важные типы умозаключений, как условно-категорические (modus ponens, modus tollens), разделительно-категорические (modus tollendo ponens, modus ponendo tollens), условно- разделительные (лемматические) и др. Однако в рамках традиционной логики описывалась лишь небольшая часть дедуктивных умозаключений и отсутствовали точные критерии логической корректности рассуждений. В современной символической логике, благодаря использованию методов формализации, построению логических исчислений и формальных семантик, аксиоматическому методу, исследование дедуктивных умозаключений было поднято на качественно иной, теоретический уровень. Средствами современной логической теории удается задать всю совокупность форм правильных дедуктивных умозаключений в рамках определенного формализованного языка. Если теория строится семантически, то переход от формул А} А^, ..., Ап к формуле В объявляется формой корректного дедуктивного умозаключения при наличии логического следования В из Ах А2,..., Ап; данное отношение обычно определяется так: при любой допустимой в данной теории интерпретации нелогических символов, при которой Ах А2, ..., Ап принимают выделенное значение (значение истины), формула В также принимает выделенное значение. В синтаксически построенных логических системах (исчислениях) критерием логической корректности перехода от Ах А^, ..., Ап к В выступает существование формального вывода формулы В из формул А} А2, ..., Ап, осуществляемого в соответствии с правилами данной системы (см. Вывод логический). Выбор логической теории, адекватной для проверки дедуктивных умозаключений, обусловливается типом высказываний, входящих в его состав, и выразительными возможностями языка теории. Так, умозаключения, содержащие сложные высказывания, могут анализироваться средствами логики высказываний, при этом внутренняя структура простых высказываний в составе сложных игнорируется. Силлогистика исследует умозаключения из простых атрибутивных высказываний, основанные на объемных отношениях в сфере общих терминов. Средствами логики предикатов выделяются корректные дедуктивные умозаключения на основе учета внутренней структуры простых высказываний самых разнообразных видов. Умозаключения, содержащие модальные высказывания, рассматриваются в рамках систем модальной логики, те, которые содержат овременённые высказывания, — в рамках временной логики и т. д. В. И. Маркин