Дедукція
ПЛАН
Внутрішня структура елементарних суджень. Логічний квадрат
Безпосередні умовиводи
Категоричний силогізм
полісіллогізм
Ентимеми. Логіка спілкування і спору
смітить і Епіхейрема
Література
1. ВНУТРІШНЯ СТРУКТУРА елементарні думки. ЛОГІЧНИЙ КВАДРАТ
Елементарне судження складається з двох понять S і P з'єднаних за допомогою зв'язок В«єВ», В«не їстиВ». Поняття S, відображає предмет думки судження, називається суб'єктом судження, а поняття P, в якому висловлюється, що собою представляє суб'єкт S, - предикатом судження. Якщо предикат відноситься до всього обсягу суб'єкта, то це виражається словами В«Всі SВ», якщо ж тільки до його частини, то В«Деякі SВ». Так що S і P можуть об'єднуватися в чотири види суджень:
Общеутвердітельние судження. Вони символічно позначаються ASP або, ще коротше, А. Це читається так: В«Всі S суть PВ». Схематично співвідношення між S і P зображується так:
або так
Общеотріцательное судження. Вони символічно позначаються ESP або, ще коротше, Е. Це читається: В«Всі S не є PВ». Діаграми Ейлера для S і Р має вигляд:
Часто позитивні судження. Вони символічно позначаються ISP або, ще коротше, I. Це читається так: В«Деякі S є PВ». Діаграми Ейлера для S і Р має вигляд:
або вид,
де заштрихована частина зображує загальні елементи обсягів S і Р.
частноотріцательние судження. Вони символічно позначаються OSP або, ще коротше, О. Це читається: В«Деякі S не є РВ». Діаграми Ейлера для S і Р має вигляд:
де заштрихована частина зображує неспівпадаючі елементи S і Р.
Взагалі, питання, скількома можливими способами можуть бути пов'язані два поняття Х і У в судженнях, вирішується за допомогою діаграм Ейлера. Обсяги понять Х і У можуть бути пов'язані одними і тільки одним з п'яти способів:
Виписуючи під кожною з діаграм чотири категоричних судження ми отримаємо всі взаємовиключні способи, якими можуть бути логічно пов'язані два поняття Х і У в судження.
В
А х УА хуA yxI xyA yxI xyI yxI xyI yxO yxI yxO xy
I xyE xyI yxE yxO xyO xyO yxО yx
Візантійський логік Михайло Псьол запропонував наочну сх...
