В данном разделе представлены словари и энциклопедии по философии и
смежным отраслям знания, отражающие лучшие традиции энциклопедического дела в России и за рубежом. Вы также можете включиться в это дело,
став одним из авторов Открытой философской энциклопедии.
[Помощь]
дедукция В логике тип вывода или доказательства, претендующего на обоснованность (общезначимость), причем обоснованным доказательством будет такое, в котором заключение необходимо истинно, если истинны посылки. Этим дедукция отличается от индукции, которая не предполагает такую обоснованность. Общезначимые дедуктивные доказательства могут иметь ложные посылки, что иллюстрируется следующим примером: «Все мужчины смертны; Клеопатра – мужчина; следовательно, Клеопатра смертна». Необоснованные дедуктивные доказательства иногда свидетельствуют о формальных ошибках (т.е. ошибках рассуждений, основанных на структуре предложений в доказательстве); примером может служить «утверждение следствия»: «Если А, то B; B; следовательно, А».