20. Условные и условно-категорические умозаключения.
условнымумозаключением называется такое опосредствованное умозаключение, в котором обе посылки являются условными суждениями. Условным называется суждение, имеющее структуру: “Еслиа,тоb”.Структура чисто условного умозаключения такая:
Если а, то b Схема:
Если b, то с.
Если а, то с а→b, b→c
a→c
Согласно определению логического следствия, сформулированному в рамках исчисления высказываний, если формула а → с естьлогическое следствие из данных посылок, то, соединив посылки знаком конъюнкции и присоединив к ним посредством знака импликации заключение, мы должны получить формулу, которая является законом логики, т.е. тождественно-истинной формулой. В данном случае формула будет такова:
((а→c)^ (b→с))→(а→с).
Условно-категорическимназывается умозаключение, одна из посылок которого является условным суждением, а другая посылка и вывод — категорическими суждениями.
Условное суждение имеет форму: если A есть B, то C есть D, например: если Земля вращается вокруг своей оси, то происходит смена дня и ночи. Первое суждение есть основание (антецедент), а второе — следствие (консеквент).
Существуют два модуса условно-категорических умозаключений. Первый из них называется modus ponens, то есть устанавливающий, утверждающий, конструктивный модус; второй называетсяmodus tolens, то есть разрушающий, отрицающий,деструктивныймодус.
Конструктивный модусимеет следующий вид.
Если A есть B, то C есть D;
A есть B;
Следовательно, C есть D.
В условно-категорическом умозаключении в конструктивном модусе
Деструктивный модус имеет следующий вид.
Если A есть B, то C есть D;
C не есть D;
Следовательно, A не есть B.
В условно-категорическом умозаключении в деструктивном модусе отрицается консеквент.
- 1.История и предмет логики
- 2.Язык и логика.Имя.
- 3. Семантические категории логики.
- 4.Язык логики высказываний.
- 5. Понятие
- 8.Относительные
- 9.Безотносительные
- 6. Логические операции с объемом понятия
- 8.Способы решения логических задач
- 9. Виды простых суждений.
- 10.Отношения простых категоричсеких суждений.Логич квадрат
- 11.12. Сложное суждение
- 13. Логическое выражение
- 14. Логический анализ вопроса.Виды.
- 15.16. Умозаключение
- 17.Выводы по логическому квадрату
- 18. Силлогизм.
- 19. Сокращенная форма силлогизма.
- 20. Условные и условно-категорические умозаключения.
- 21. Разделительные и разделительно-категорические умозаключения
- 22.Условно-разделительные умозаключения.
- 23. Индуктивные умозаключения.
- 24. Умозаключения по аналогии
- 25. Основные законы логики.
- 26. Аргументация
- 27. Виды недоказательной аргументации
- 28.Прямой и косвенный способы обоснования
- 29.Опровержение. Структура и форма.
- 30.Правила и ошибки доказательного рассуждения.
- 1. Тезис должен быть логически определенным, ясны” и точным.
- 3. Нарушение правил умозаключений (дедуктивных, индуктивных, по аналогии);