вони утворюють нові форми думки - висновки зі складних суджень. Висновок грунтується на правилі: наслідок слідства є наслідок підстави. p align="justify"> Однак, крім простих категоричних суджень, існують складні судження: умовні, розділові й, умовно-розділові.
Умовним називається силогізм, у складі якого є умовне судження. Умовне судження має структуру: В«Якщо А, то ВВ» або В«р - * qВ» (символи А, В, С і т. д. традиційно використовуються у формальній логіці і логіці природної мови. Символічна логіка використовує символи мови числення предикатів - р , q, r і ін Тому в загальній логіці використовуються обидві системи символів, що виражають різну ступінь формалізації мислення.). Схема:
Якщо А, то В р? q а. В, С [р, q, r] - прості судження,
Якщо В, то С або: q? r мають структуру В«S є РВ» або
Якщо А, то С р? r В«S не є РВ».
Залежно від того, чи перебуває силогізм тільки з умовних суджень чи ні, розрізняють:
чисто умовний силогізм - силогізм, у складі якого є умовне судження;
умовно-категоричний силогізм - це силогізм, одна з посилок якого - умовне судження, а інша - категоричне.
Приклад:
Якщо брати участь в олімпіаді, то можна перемогти.
Якщо перемогти, то можна отримати нагороду.
Якщо брати участь в олімпіаді, то можна отримати нагороду.
Розділовим (альтернативним) називається силогізм, у складі якого є розділову (диз'юнктивне) судження. Розділову судження має структуру: В«А або ВВ» або р vq:
якщо обидві посилки і висновок - розділові судження, то такий умовивід називається чисто розділовим силогізмом, він має наступну структуру:
А є В або С
С є D або Е
А є В або D або Е
Приклад:
Чотирикутники є рівносторонні і нерівносторонні.
рівносторонній є квадрати або ромби.
Чотирикутники є квадрати або ромби, або нерівносторонні.
Умовно-розділовим називається силогізм, у складі якого є умовне і розділову судження. Якщо в розділовій посилці аналізуються дві альтернативи, то такий умовно-розділовий силогізм називається дилемою (від грец. Di (s) - двічі і lemma - припущення). Розрізняють конструктивну (творчу) і деструктивну (руйнівну) дилеми, кожна з яких ділиться на просту і складну. p align="justify"> Можуть бути також трілемми, тетралемма та ін Дилема відноситься до числа часто вживаних умовно-розділових висновків.
Приклади:
. проста конструктивна дилема:
Якщо він прийде в суд, то розлучення відбудуться
Якщо він не прийде до суду, то розлучення все одно відбудеться
Прийде він до суду або не прийде.
Розлучення все одно відбудеться.
. складна конструктивна дилема:
Якщо це правильний висновок, то він дає істинний результат,
а якщо висновок - неправильний, то результат - помилковий
Висновок може бути правильним або неправильним.
Значить, він може бути або істинним, або хибним.
. проста деструктивна дилема:
Якщо це просте судження, то його зв'язка або стверджувальна, або негативна.
Ця зв'язка не є ствердною і не є негативною.
Значить, дане судження не є простим.
. складна деструктивна дилема:
Якщо узагальнити поняття, то його обсяг збільшиться, а якщо обмежити, то його обсяг зменшиться
Обсяг поняття не збільшився і не зменшився.
Значить, поняття не узагальнювалося і не обмежувалося.
15. Складні та скорочені силогізми
До числа різновидів простого категоричного силогізму, утвореного із простих суджень, також відносяться скорочений силогізм (ентимема), складний (полісіллогізм) і складноскорочені (Епіхейрема).
Скорочений силогізм (ентимема). Силогізм може бути повним (з вираженою повної структурою) і неповним (коли один з 3 елементів структури не виражений явно, а лише мається на увазі). p align="justify"> Якщо будь-яка з суджень силогізму пропустити, то що залишилися утворюють силогізм у скороченому вигляді, або ентімему (від грец. in thymos - в умі ) < span align = "justify">.
Виходячи із структури силогізму, ентимема буває трьох видів:
а) з пропу...
