Логика

ДВУСМЫСЛЕННОСТЬ (AMBIGNITE). Двусмысленным мы называем такое высказывание или поведение, которое допускает два или несколько различных, а то и взаимоисключающих толкования. Следовательно, двусмысленность — это двойственность или множественность возможных значений. Не следует путать двусмысленность с амбивалентностью, которая отражает реальную двойственность, как правило, противоположных по значению ценностей или чувств. Двусмысленность предполагает определенную сложность и является феноменом человеческого поведения или дискурса.

ДВУЗНАЧНОСТЬ (BIVALENCE). Свойство суждения приобретать одно из двух значений — истинное или ложное. Классическая логика является двузначной логикой. Иногда принципом двузначности называют принцип, согласно которому всякое высказывание имеет строго определенное значение истинности: оно может быть либо истинным, либо ложным. Это род альтернативы, приложимой к одному-единственному высказыванию. Складывается впечатление, что в этом принципе таится нечто вроде логического фатализма, от которого с таким трудом пытались избавиться Аристотель и Эпикур.

ВОЗРАЖЕНИЕ (REFUTATION). Доказательство ложности высказывания или теории. Таким доказательством обычно служит демонстрация его внутренней противоречивости (логическое возражение) или его опровержение с помощью опыта (фальсификация). С философской точки зрения оба эти пути не слишком надежны. Философия — не наука, и возражения против тех или иных ее утверждений, даже рационально аргументированные, всегда могут быть включены в систему, подвергающуюся критике («преодолены»), либо сами служить объектом определенного числа возражений.

ВАЛИДНОСТЬ (VALIDITE). Употребляемый в логике синоним истины, точнее говоря, ее формальный эквивалент. Вывод считается валидным (верным), если представляет собой переход от истинного к истинному (от истинности посылок к истинности заключения) или остается верным независимо от интерпретации. Нетрудно заметить, что валидность суждения не зависит от истинности заключений, также, впрочем, как истинность заключения не зависит от валидности суждения. Валидное суждение может привести к ложному заключению (если хотя бы одна из посылок ложна).

ДОСТАТОЧНОГО ОСНОВАНИЯ ЗАКОН — общий логический принцип, согласно которому положение считается истинным только в том случае, если для него может быть сформулировано достаточное основание. Достаточное основание есть положение (или совокупность положений), которое является заведомо истинным и из которого логически вытекает обосновываемое положение. Истинность основания может быть или доказана опытным путем, на практике, или выведена из истинности др. положений. Достаточного основания закон характеризует одну из существенных черт логически правильного мышления — доказательность.

ДОКАЗАТЕЛЬСТВО — рассуждение, имеющее целью обосновать истинность (или ложность) какого-либо утверждения, которое называется тезисом доказательства. Суждения, на которые опирается доказательство и из которых логически следует тезис, называются аргументами (основаниями) доказательства. Аргументы принимаются за истинные, причем их доказательство не должно опираться на тезис, иначе получится ошибка, называемая кругом в доказательстве. Доказательство, устанавливающее истинность тезиса, называется просто доказательством, а доказательство, устанавливающее ложность тезиса,— опровержением.

ДИСТИНКЦИЯ (лат. distinctio — различение) — акт сознания, отражающий объективное различие между предметами или между элементами самого сознания (ощущениями, понятиями и т. д.). В логике под дистинкцией понимают прием, заменяющий определение понятия (например, водород отличается от кислорода тем, что сам горит, но горения не поддерживает). Термин «Дистинкция» был введен в средние века. Схоласты обозначали им как объективное различие (дистинкция реальная, сущностная, причинная и другие), так и мысленное различение (Дистинкция разума, субъективная, формальная и другие).

ДИСКУРСИВНЫЙ (лат. discursus — рассуждение) — рассудочный, опосредствованный, логический, демонстративный, в отличие от чувственного, непосредственного, интуитивного. Деление истин на непосредственные (интуитивные) и опосредствованные (принимаемые на основе доказательства) встречается уже у Платона и Аристотеля, а термин «Дискурсивный» — у Фомы Аквинского. Метафизики либо отрицали роль дискурсивного мышления (Якоби и др.), либо преувеличивали ее (Вольф и другие). Марксистская философия признает важную роль дискурсивной стороны познания.

ДИЛЕММА (греч. di(s) —дважды и lemma — предположение) — вид умозаключения (условно-разделительного силлогизма), в число посылок которого входят два условных и разделительное суждения, причем разделительное суждение формулируется в виде дизъюнкции, в которой объединяются основания или следствия условных суждений. Дилемма встречается как в сложных теоретических рассуждениях, так и в обыденной жизни, когда человек оказывается перед необходимостью выбора между двумя одинаковыми возможностями.

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 122-123.

ДИЗЪЮНКЦИЯ (лат. disjunctio — разделять) — логическая операция, образующая сложное высказывание из объединения двух высказываний с помощью логического союза «или». Символическая запись: А V В (читается А или В). В классической математической логике различают два вида дизъюнкции: нестрогая (соединительная) и строгая (разделительная). Нестрогая дизъюнкция образует сложное высказывание, которое истинно тогда, когда истинно хотя бы одно из входящих в него высказываний, и ложно тогда, когда ложны все входящие в него высказывания. Строгая дизъюнкция образует сложное высказывание, истинное только в том случае, когда истинен лишь один из его членов.