Логика

ЛОГИКА (от греч. λόγος — слово, речь, разум, рассуждение) — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. В настоящее время Л. представляет собой разветвленную и многоплановую науку, в составе которой можно выделить следующие основные разделы — теорию рассуждений, метаяогику и логическую методологию.

Читайте подробное определение понятия Логика.

Дизъюнкция (Конт-Спонвиль, 2012)

ДИЗЪЮНКЦИЯ (DISJONCTION). Разделение, разъединение. В логике дизъюнкцией называют высказывание, состоящее из двух или более частей, соединенных раздели-тельным союзом «или»: «р или q» — дизъюнкция. Различают эксклюзивный и инклюзивный виды дизъюнкции. Эксклюзивная дизъюнкция объединяет несовместимые высказывания: «или р, или q». Она истинна, если истинно одно, и только одно, из составляющих ее высказываний (если истинны все или несколько составляющих дизъюнкцию высказываний, такая дизъюнкция ложна). Инклюзивная дизъюнкция объединяет высказывания, которые оба могут быть истинными.

Диаллель

ДИАЛЛЕЛЬ (DIALLELE). Логическая ошибка — использование для доказательства какого-либо положения другого положения, предполагающего первое. Диаллель — научный термин, равнозначный понятию порочного круга.

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

Детерминизм (Конт-Спонвиль)

ДЕТЕРМИНИЗМ (DETERMINISME). Учение, согласно которому все на свете определено, т. е. подчинено необходимым и достаточным условиям, которые в свою очередь являются строго определенными. В этом смысле детерминизм представляется всего лишь обобщением принципа каузальности. Существует цепочка причин, или множество таких цепочек, или их совокупность, и они охватывают все без исключения, включая себя. На эти цепочки можно воздействовать, их можно изменять, можно ими управлять, но выйти за их пределы нельзя. Это своего рода лабиринт причин или, скорее, следствий.

Действующая причина

ДЕЙСТВУЮЩАЯ (ПРИЧИНА) (EFFICIENTE, CAUSE -). Согласно Аристотелю, один из четырех видов причин, он же — единственный, действительно усвоенный современностью. Действующая причина — это причина, не являющаяся ни целевой, ни формальной (см. соответствующие термины) и не сводимая к простой материи, действие которой установлено (в этом случае Аристотель говорит о материальной причине).

Двусмысленность

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

Двузначность

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

Возражение

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

Валидность (Конт-Спонвиль)

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

Достаточного основания закон

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

Доказательство (Фролов)

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

Страницы