Условни и дизюнктивни аргументи

(Импликативни и дизюнктивни силогизми)

1. Условни (импликативни) аргументи
а) условен аргумент
- основава се на импликацията и представлява сложно (условно) съждение, което може да бъде утвърдително или отрицателно;
- логическа схема: "ако-то", A→ B
б) условно-категоричен силогизъм
- дедуктивно умозаключение, в което едната предпоставка е условно съждение.
- А - основание, B - следствие
- в извода се отрича или утвърждава следствието
- двата модуса в силогизма винаги гарантират валидност на заключението.

Голяма предпоставка - сложно съждение, импликация
Малка предпоставка - просто категорично съждение
----------------------------------------------------------------------------
Извод (заключение) - просто категорично съждение

A → B
А
---------
B

Пример (утвърждаващ модус):

Ако човек има температура над 37 градуса, то той е болен.
Този човек има температура над 37 градуса.
--------------------------------------------------------
Този човек е болен.


2. Дизюнктивни аргументи
а) дизюнктивен аргумент
- основава се на дизюнкцията и представлява сложно (разделително) съждение, в което само едното от двете прости съждения е истина, за да бъде дизюнкцията утвърдителна.
- двете прости съждения са взаимоизключващи се.
- логическа схема: "или А, или B", А _┴ B (изключваща дизюнкция).

б)  разделително-категоричен силогизъм
- дедуктивно умозаключение, в което едната предпоставка е дизюнктивно съждение.

Голяма предпоставка - сложно съждение, изключваща дизюнкция
Малка предпоставка - просто категорично съждение
--------------------------------------------------------
Извод (заключение) - просто категорично съждение

Пример 1 - утвърдително-отрицателен модус:

Или е ден, или е нощ.
Ден е.
-------------------------------
Не е нощ.

А _┴ B
A
---------
¬B

Пример 2 - отрицателно-утвърдителен модус:

Или е ден, или е нощ.
Не е ден.
-------------------------------
Нощ е.

А _┴ B
¬A
---------
B

3. Обобщение
- Всекидневно попадаме в ситуации, които изискват да се открие допълнителна информация, която да е вярна, за да се вземе правилно решение. За тази цел използваме условни и дизюнктивни умозаключения. Условните умозаключителни схеми използват свойството на импликацията, докато дизюнктивните умозаключителни схеми използват правилата на изключващата дизюнкция за достигане до валиден извод.

ВАЖНО! виж урока: Сложни съждения и логически закони