Традиционная формальная логика рассматривает силлогизм как дедуктивное умозаключение, обеспечивающее... умозаключениям,
разделительно-категорическим умозаключениям,
лемматическим (условно-разделительным)... умозаключениям.... Однако не любой модус соответствует правильному умозаключению.... Существует 24 правильных модуса (на каждую фигуру приходится по 6 правильных модусов).
Исследуется значение правила Nota notae в силлогистике И. Канта. Выявляются две функции правила: обоснование умозаключений силлогистики и управление процедурой сведения модусов.
Существует и другая форма (модус) чисто условного умозаключения:
(p→q)˄(q→r)
¬r→¬p
Пример 2
Пример... чисто условного умозаключения, построенного по отрицательному модусу:
Если человек достиг успеха в спорте... Существует два правильных модуса условно-категорического умозаключения, дающих достоверные выводы:
утверждающий... Пример 5
Пример получения вывода по неправильному модусу условно-категорического умозаключения (отрицание... Пример 6
Пример получения вывода по неправильному модусу условно-категорического умозаключения (утверждение
В работе рассматривается зависимость прогностической мотивации и прогностических ожиданий от господствующей метафизической установки, интерпретации темпоральных модусов и всего комплекса социокультурных оснований, имеющихся в распоряжении эпохи. В результате анализа установлено, что в отличие от непосредственных, методологически не фиксируемых форм предвидения, прогноз опирается на дискурсивно выстраиваемое умозаключение.
один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно». Если высказывание ложно, то говорящий сказал правду и, значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.
(лат. non segunitur) – логическая ошибка в доказательстве, состоящая в том, что в подтверждение тезиса выдвигаются такие доводы, которые сами по себе являются истинными суждениями, но из которых вовсе не следует (не вытекает логически) доказываемый тезис.