Творчість Альбера Камю, Детальна інформація

Модусом простого категоричного силогізму є різновиди силогізмів, які різняться кількістю і якістю засновків.

1 фігура: ААА, ЕАЕ, АІІ, ЕІО.

2 фігура: ЕАЕ, АЕЕ, ЕІО, АОО,

3 фігура: ААІ, ІАІ, АІІ, ЕАО, ОАО, ЕІО.

4 фігура: ААІ, АЕЕ, ІАІ, ЕАО, ЕІО.

Правила 1-ї фігури: 1. Більший засновок – загальне судження.

2. Менший – ствердне судження.

1 фігура – найбільш типова форма дедуктивного умовиводу.

Правила 2-ї фігури: 1. Більший засновок – загальне судження.

2. Один із засновків – заперечне судження.

Правила 3-ї фігури: 1. Менший – ствердне.

2. Висновок – часткове судження.

Правила 4-ї фігури не розглядаються, бо вони не ти пічні для мислення – звича йно це виводи 1 фігури.

Умовиводи з суджень з відношеннями:

Умовиводи, засновки і висновки яких є судженнями з відношеннями, є умовиводи з відношеннями.

Петро – брат Івана.

Іван – брат Сергія.

Петро – брат Сергія.

Логічною основою умовиводів з суджень з відношеннями є властивості відношень, найважливіші з них: 1) симетричне (спів мірне) відношення між х\x2194у, і у\x2194х; хRy \x2194 yRx;

2) рефлексивне (відображення) – це відношення рівності і одночасності (а=в, то а=а, в=в) xRy ( yRx.

3) транзитивне (перехід) – ця якщо воно має місце між х і z, тоді, коли воно має місце між х і у та між у і z – це відношення рівності (а=в, в=с, то а=с) і одночасності (х коли у і у коли z, то х коли подія z), відношення “більше-менше” (а менше в, в – с, отже а – с) і ін. (пізніше, більше і т.д.). (xRy \x039B yRz) ( xRz.

Лекція: Умовиводи ІІ

План

Умовиводи зі складних суджень.

Правила логіки висловлювання.

Скорочені і складноскорочені силогізми.

1. Умовиводи будуються не тільки з простих, але і зі складних суджень. Широко використовуються умовиводи, засновки яких є умовними чи роз’єднувальними судженнями, які виступають в різних відношеннях один з одним: з категоричними судженнями. Особливість цих умовиводів у тому, що виведення висновку із засновків визначається не відношеннями між термінами, як в категоричному силогізмі, а характером логічного зв’язку між судженнями. До них відносяться:

Чисто умовний умовивід – обидва засновки є умовними судженнями:

Якщо а, то в. В символічному записі:

Якщо в, то с. (р(q ) \x039B (q(r)