Логика

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

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

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

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

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

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

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

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

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

ДИАЛЕКТИЧЕСКАЯ ЛОГИКА — наука о законах и формах отражения в мышлении развития объективного мира, о развитии самого познания. Д. л. в своем научном выражении воз-никла как составная часть марксистской философии. Однако ее элементы имели место уже в древней, особенно античной, философии, в учениях Гераклита, Платона, Аристотеля и др. В силу исторических обстоятельств в течение длительного периода формальная логика считалась единственным учением о законах и формах мышления. Но уже примерно с 17 в.

ДЕСКРИПЦИЯ (лат. descriptio — описание) — логическая (языковая) конструкция, представляющая собой описание единичного предмета с помощью общих понятий (выражений) и заменяющая его собственное или нарицательное имя. Используется в формальных системах (Формализация), разного рода исчислениях.

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