Дедукция. Дедуктивно умозаключение - 10 кл.

  

 1. Същност на дедукцията
- движение на мисълта от общото знание към частния случай в умозаключението;
- дедуктивно умозаключение (силогизъм) - от две съждения (голяма и малка предпоставки) се извлича трето (извод);
- знанието в заключението е с по-ниска степен от това в предпоставките;
- логическа операция - импликация;

Всички ученици от класа са в час.
Иван е ученик от този клас.
--------------------------------------
Иван е в час.

Всички ученици от класа са в час.
Иван НЕ е ученик от този клас.
--------------------------------------
Иван НЕ е в час.

2. Структура на категоричния силогизъм
- съдържа 3 категорични съждения;
- 2 предпоставки и 1 извод;
- голяма предпоставка и малка предпоставка - по степен на общност или частност на знанието;
- всяко съждение има 2 термина - субект и предикат;
- силогизмът съдържа 6 термина;
- термините биват среден (М, медиатор), голям (Р, предикат) и малък (S, субект);
- малкият и средният термин са в заключението;
- предикатът се утвърждава или отрича безусловно;
- аксиома за силогизма - валидното за класа обекти е валидно за всеки член от класа (валидното изобщо е валидно в частност);
- категорични съждения: общоутвърдително, общоотрицателно, частно утвърдително, частно отрицателно;

Пойните птици (M) пеят (P).
Славеите  (S) са пойни птици (M).
-----------------------------------------
Славеите (S) пеят(P).

- разположението на трите термина в силогизма се нарича "фигура на силогизма".

3. Правила на простия силогизъм
а) от 2 предпоставки, които са частни съждения, не се прави извод;
б) от 2 предпоставки, които са отрицателни съждения, не се прави извод;
в) ако едната предпоставка е частно съждение, изводът също е частно съждение;
г) ако едната предпоставка е отрицателно съждение, изводът е също отрицателно съждение;
д) ако двете предпоставки са утвърдителни съждения, изводът също е утвърдително съждение;
е) предпоставките на силогизма трябва да са истинни съждения.

Хората са смъртни.
Сократ е човек.
--------------------------------------------
Сократ е смъртен.

*

Всички философи са мъдри.
Всички логици са философи.
--------------------------------------------
Всички логици са мъдри.

Още по темата: Същност и структура на простия категоричен силогизъм (pdf)