Логика

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

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

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

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

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

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

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

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

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

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 5.

АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ — одна из основных абстракций математики и логики, позволяющая исследовать бесконечные совокупности (множества), применяя к ним логические принципы (в частности, исключенного третьего закона, произвольного выбора принцип и др.).

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 4-5.

АРГУМЕНТАЦИЯ (ARGUMENTATION). Упорядоченная совокупность аргументов, используемых для рационального подтверждения какого-либо тезиса (молитва — не аргументация), но не способных служить доказательством его истинности (это будет уже не аргументация, а доказательство как таковое). В силу обеих этих особенностей аргументация — основополагающий компонент любого философского учения, достойного этого имени.

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 49-50.

A PRIORI. Все то, что в духовной жизни существует независимо от опыта, в частности то, что делает сам опыт возможным (трансцендентальность), следовательно, все то, что должно, по меньшей мере, рассуждая логически, предшествовать опыту. У Канта таковы априорные формы чувственности (пространство и время) и рассудка (категории).