Логічна структура умовиводу.

Умовивід – цілісне розумове утворення і має структуру:

- посилка (засновок) – судження, яке віддзеркалює вже відомі зв’язки

- заключення (висновок)– судження, яке віддзеркалює нові зв’язки

Заключення буде істинним за наявності двох необхідних умов:

1. Якщо посилки істинні за змістом.

2. Якщо умовивід вірний за своєю будовою.

Наприклад:

Засновок 1 - Всі митці тонко відчувають природу

Засновок 2 – Левітан – митець

Заключення – Левітан тонко відчував природу

Види умовиводів.

Формальна логіка розрізняє насамперед:

 безпосередні умовиводи – висновок будується лише на одній посилці Наприклад, “Петров викликаний до суду у якості свідка, тому він зобов’язаний давати свідчення”;

 опосередковані – висновок будується на кількох посилках: “Всі рідини пружні. Ртуть – рідина (за звичайних умов). Відповідно ртуть має пружність”;

У свою чергу виділяють такі види опосередкованих умовиводів:

 дедуктивні – рух думки йде від загальної закономірності до часткового випадку (Всі люди смертні. Аристотель – людина. Аристотель – смертний.); Серед дедуктивних опосередкованих

умовиводів виділяють зокрема силогізми – висновок базується на двох посилках, які є судженнями і зв’язані з загальним для них поняттям (Всі юристи опікуються правом. Захарченко – юрист. Захарченко опікується правом.). Крім силогізмів виділяють також умовні і розподільні умовиводи;

 індуктивні - рух думки йде від часткових випадків до загальної закономірності (Україна – країна Європейського континенту. Білорусь - країна Європейського континенту. Обидві країни – європейські);

 традуктивні (за аналогією) - рух думки йде від одного часткового випадку до іншого часткового випадку. Вони обов’язково мають імовірнісний характер. (На планеті Марс існують певні кліматичні умови, які приблизно однакові з земними. На Землі є життя. Можливо (за аналогією) на Марсі є життя);

Не нашли, что искали? Воспользуйтесь поиском: