2 Робота над вузловими проблемами та ключовими питаннями теми:

Пояснити внутрішню логіку розвитку відношення між судженнями. Види відношень

Між судженнями А, Е, І, О існують такі відношення:1) відношення противності (контрарності), 2) відношення підпротивності, 3) відношення суперечності (контрадикторності) та 4) відношення підпорядкування.

Відношення між судженнями А, Е, І, О прийнято відображати в логіці у вигляді "логічного квадрата" .

3 Запропонувати студентам провести диспут з проблем:

1. Назвіть поняття, яке є суб'єктом у судженні "Найцінніша риса людини — це любов до Батьківщини ":

1. риса;

2. найцінніша риса;

3. риса людини;

4. любов;

5. любов до Батьківщини;

6. важко відповісти.

2. Назвіть, яке поняття є предикатом (Р) у судженні "Україна є державою, що цілеспрямовано рухається до справжньої незалежності":

1. рухається;

2. цілеспрямовано;

3. Україна;

4. держава, що цілеспрямовано рухається до

справжньої незалеж­ності;

5. предикат вказати неможливо;

6. важко відповісти.

7. держава, що цілеспрямовано рухається до справжньої незалеж­ності;

8. предикат вказати неможливо;

9. важко відповісти.

4 Тести для перевірки знань:

1. Назвіть вид судження "Жодна людина ще не побувала на Марсі":

1. загальностверджувальне (А);

2. частково стверджувальне (І);

3. загальнозаперечувальне (Е);

4. частково заперечувальне (О);

5. не належить до жодного із зазначених;

6. важко відповісти.

2.. Визначте об'єктивну модальність у судженні "Загибель команно-адміністративної системи є закономірною":

1. судження про можливість;

2. судження про дійсність;

3. судження про необхідність;

4. проблематичне судження;

5. модальність зазначити неможливо;

6. важко відповісти.

5 Запитання для перевірки знань:

1. Які є знаки мови логічних висловлювань?

2. Визначте, до якого виду суджень належить висловлювання "Зем­ля— планета":

1. одиничного;

2. релятивного;

3. екзистенційного;

4. атрибутивного;

5. частково стверджувального;

6. стверджувального;

7. важко відповісти.

6 Бліц – контрольна робота на час:

1. Судження — це:

1. засіб логічного вираження думки;

2. логічна форма мислення;

3. логічна форма пізнання світу;

4. важко відповісти.

2. Що таке судження?

3. Які бувають судження?

4. Який зв’язок між судженням і реченням?

5. Які є види кванторів?

6. Які два випадки є у частковоствердних судженнях?

7. Що таке “логічний квадрат”?

Тема 5.

Умовиводи як складна форма мислення. Поняття

категоричного силогізму. Аналітичні таблиці.

1 Робота над науковими поняттями і категоріями:

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

Термін “умовивід” вживається в подвійному значенні. Під “умовиводом” розуміють і розумовий процес виведення нового знання із суджень, і саме нове судження, як наслідок розумової операції.

Умовивід за своєю структурою складніший, ніж поняття і та судження, форма мислення. Поняття і судження входять до складу умовиводу, як його елементи.

Будь-який умовивід складається із засновків та висновку.

Засновки – це судження, із яких виводиться нове знання.

Висновок – судження, виведене із засновків.

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

У будь-якому умовиводі слід розрізняти три види знань:

• Вихідне знання, те, з якого виводять нове знання – воно міститься в засновках умовиводу.

• Висновкове знання – міститься у висновку.

• Обгрунтовуюче знання – знання, котре пояснює правомірність висновку із засновків. Обгрунтовуюче знання міститься в аксіомах і правилах умовиводів, воно не входить до складу умовиводу у вигляді окремого судження, а складає логічну підставу висновків, дає відповідь на запитання про те, чому висновок, здобутий з тих чи інших суджень, є правомірним і необхідним.

Дедуктивним (від латинського слова deductio – виведення) називається умовивід, у якому висновок про окремий предмет класу робиться на підставі класу в цілому.

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

Розрізняють такі типи дедуктивних умовиводів: категоричний силогізм, умовні силогізми і розподільні силогізми. Термін “силогізм” походить від грецького слова sullogismos – здобуття висновку чи виведення наслідку.

Категоричним силогізмом називається такий дедуктивний умовивід, у якому обидва засновки є категоричними судженнями.

Індукцією називається умовивід, у якому на основі знання частини предметів класу робиться висновок про всі предмети класу, про клас в цілому. Індукція – це умовивід від часткового до загального. Термін “індукція” походить від латинського слова inductio, що означає “наведення”.

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

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

Умовивод – це форма мислення, за допомогою якої із одного чи декількох суджень виводиться нове судження. Любий умовивід складається з засновків і висновка, перехід – вивод (логічне – слідування).

2 Робота над вузловими проблемами та ключовими питаннями теми: Головна вузлова проблема умовиводу – це простий категоричний силогізм – який містить три категоричних судження – два засновки і висновок.

Поняття, які входять в силогізм є термінами силогізму. Розрізняють три терміни силогізму: менший, більший і середній.

Менший термін – це поняття, яке у висновку стає суб’єктом; більшим терміном є поняття, яке у висновку стає предикатом. Це крайні терміни і відповідно позначаються: менший – S, більший – Р. S – міститься у меншому засновку, Р – у більшому. Середній термін це поняття, яке входить в засновки, але відсутнє у висновку – позначається латинською буквою М (medin).

Звинувачений (М) має право на захист (Р).

Гусєв (S) – звинувачений (М).

Гусєв (S) має право на захист (Р).

Отже, простий категоричний силогізм – це умовивід про відношення двох крайніх термінів на основі їх відношення до середнього терміну. Логічний перехід від засновків до висновку в категоричному силогізмі базується на аксіомі силогізму: все, що стверджується чи заперечується відносно всіх предметів усякого класу, стверджується або заперечується відносно кожного предмету і будь-якої частини предметів цього класу.

Загальні правила категоричного силогізму:

І. Правила термінів:

1. в силогізмі повинно бути тільки три терміни;

2. середній термін повинен бути розподілений хоча би в одному з засновків (інакше зв’язок між крайніми термінами залишається невизначеним).

(М-) – Р

S – (M -)

3. термін не розподілений в засновку, не може бути розподілений і в висновку:

М – (Р+)

М – (S-)

(S-) – (P+).

ІІ. Правила засновків:

1. хоча би один із засновків повинен бути ствердним судженням (з двох заперечних висновок з необхідністю не слідує)

М – Р

S – M

--//-- .

2. якщо б один із засновків – заперечне судження, то і висновок повинен бути заперечним.

3. хоча б один із засновків повинен бути загальним судженням (з двох часткових суджень висновок не слідує з необхідністю).

4. якщо один із засновків часткове судження, то і висновок буде частковим

(М+) – (Р-)

(S-) – (М-)

(S-) – (P-).

Чотири фігури категоричного силогізму:

I II III IV

Фігури силогізму – це його різновиди, які розрізняються місцем середнього терміна в засновках.

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

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

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

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

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

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

судження.

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

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

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

судження.

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

судження.

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

3. Висновок – часткове

судження.

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

3 Запропонувати студентам проблему умовиводу:

1. Зазначте вид умовиводу в такому логічному міркуванні:

1) Література в нашому суспільстві — засіб виховання народу.

2) Театр у нашому суспільстві — засіб виховання народу.

3) Музика і малярство в нашому суспільстві також є засобом вихо­вання народу.

4) Театр, література, музика і малярство — це види мистецтва.

Отже, мистецтво в нашому суспільстві є засобом виховання на­роду".

1. індуктивний;

2. дедуктивний;

3. простий категоричний;

4. умовний;

5. полісилогізм;

6. гіпотеза;

7. важко відповісти.