Тема № 4: Умовивід Заняття № 2: Складні силогізми 1. 2. Навчальні питання Скорочені, складні і складноскорочені силогізми Умовно-категоричні, розділовокатегоричні, умовно-розділові силогізми
Ентимема (грец. – в умі) – скорочений силогізм. Різновиди ентимем: o o o з пропущеним більшим засновком; з пропущеним меншим засновком; з пропущеним висновком. Вид ентимеми визначається в такий спосіб: o якщо наявне слово, яке виражає логічне слідування, – пропущено засновок; o якщо такого немає, і судження не мають між собою виразного зв’язку –
Немає більшого засновку Україна (S) – незалежна держава (M). __________________ Отже вона (S) має власну валюту (P).
Немає меншого засновку Незалежні держави (M) мають власну валюту (P). __________________ Отже, Україна (S) має власну валюту (P).
Немає висновку Незалежні держави (M) мають власну валюту (P). Україна (S) – незалежна держава (M). __________________
Складний силогізм (полісилогізм) створюється внаслідок з'єднання двох і більше силогізмів, в якому висновок одного силогізму (просилогізм) просилогізм стає одним із засновків іншого силогізму, який має назву "епісилогізм" (грец. ері - на, епісилогізм над, при, після і. . . силогізм).
Схема полісилогізму АєВ ВєС ____ АєС просилогізм СєD _____ AєD епісилогізм
Види полісилогізмів o o Прогресивними називаються такі полісилогізми, у котрих висновок попереднього силогізму є більшим засновком наступного. Регресивними називаються такі полісилогізми, у котрих висновок попереднього силогізму стає меншим засновком наступного.
Прогресивний полісилогізм 1. Будь-який злочин кримінально карани Будь-яке каране діяння – аморальне. ________________ Отже, будь-який злочин аморальний. 2. Будь-який злочин аморальний. Спекуляція – злочин. ________________ Отже, спекуляція аморальна.
Регресивний силогізм Будь-який договір є цивільно-правова угода. Дарування є договір. ______________ Отже, дарування є цивільно-правова угода. 1. 2. Будь-яка цивільно-правова угода регулюється нормами цивільного права. Дарування є цивільно-правова угода. _______________ Отже, дарування регулюється нормами цивільного права.
Різновиди складного силогізму oсорит oепіхейрема
o Сорит (грец. sorites – нагромаджений, купа) складноскорочений силогізм, в якому пропущені проміжні засновки і наведено висновок останнього силогізму.
Сорит 1. 2. 3. Усі власні імена пишуть з великої літери. Назви рік належать до власних імен. Отже, назви рік пишуть з великої літери. Назви рік пишуть з великої літери. “Дніпро” - назва ріки. Отже, "Дніпро" пишуть з великої літери. Усі власні імена пишуть з великої літери. Назви рік належать до власних імен. “Дніпро” - назва ріки. Отже, “Дніпро” пишуть з великої літери.
Сорити Арістотелівський o Гокленівський Буцефал є конем. Тварина є субстанцією. Кінь є чотириногим. Чотириноге є твариною. Кінь є четвероногим. Тварина є Буцефал є конем. субстанцією. Буцефал є субстанцією. засновки пропущено менші пропущено більші засновки o
Схеми соритів o Арістотелівський D є E C є D B є C A є B ______ A є E o Гокленівський A є B B є C C є D D є E ______ A є E
Приклади соритів Арістотелівський Будь-який злочин є діяння суспільно небезпечне. Дія Іваненка є хабарем. ________ Отже, дія Іваненка є суспільно небезпечна. o Гокленівський Смерть потерпілого заподіяна цією кулею. Ця куля випущена із пістолета зр. 1933 р. (ТТ) № 12437. Із пістолета зр. 1933 р. (ТТ) № 12437 стріляв тільки Петренко. ___________ Отже, смерть потерпілого заподіяна тільки Петренком. o
Полісилогізм - засіб визначення головної причини злочинної події. Причиною падежу худоби було виснаження організму тварин. Виснаження організму тварин стало наслідком нестачі кормів. Нестача кормів стала результатом їх розбазарювання. ________________ Отже, причиною падежу худоби стало розбазарювання кормів.
Сорит є нерідко формою міркування під час юридичної кваліфікації заподіяного. У. підробляв лотерейні квитки. Лотерейні квитки є цінними паперами. Підробка цінних паперів відноситься до категорії державних злочинів. _______________ Отже, дії У. є державним злочином.
Епіхейрема складноскорочений силогізм, в якому перший та другий засновок становлять ентимему (скорочений силогізм). o
Приклад епіхейреми Скупка і перепродаж легкових автомобілів з метою наживи кримінально карана, оскільки вона є спекуляцією. Дії Петренка є скупка і перепродаж легкових автомобілів з метою наживи, оскільки Петренко скуповує і продає автомобілі систематично. ________________ Отже, дії Петренка кримінально карані.
Приклад епіхейреми Можливо умертвити того, хто загрожує нашому життю (більший засновок). . . засновок Клодій загрожував життю іншого – Мілона (менший засновок). . . засновок Отже, умертвити Клодія можливо (висновок). висновок Цицерон
сполучник знак формула Кон’юнкція “і” ˄ А˄В Диз’юнкція “чи” ˅ А˅В Імплікація “якщо. . . то” —> А—>В Еквіваленція “якщо і тільки якщо. . . то” “Невірно, що. . . ” <—> А <—> В ~ ~А Заперечення
o o o Категоричне судження – предикат підкорений суб’єкту (Всі S є P). Умовне судження – висновок підкорений логічній підставі (Якщо А, то В). Розділове судження – член поділу підкорений поділеному поняттю (Або А, або В).
Чисто-умовний силогізм (імплікативний) – це силогізм, в якому два засновки і висновок є умовними висловлюваннями. А -> В В -> С _____ А -> С Якщо у мене буде вільний час, то я піду в театр. Якщо я піду в театр, то буду дивитися балет. _________________ Отже, якщо у мене буде вільний час, то я буду дивитися балет.
Чисто-умовні умовиводи широко використовуються у слідчій практиці для виявлення, аналізу і оцінки доказових фактів та джерел доказів. Якщо існував факт А, то мав бути і факт В. Якщо існував факт В, то має існувати і факт і С. _________________ Отже, якщо існував факт А, то має існувати і факт С.
Умовно-категоричний силогізм, в якому один із засновків - умовне висловлювання, інший засновок і висновок - категоричні висловлювання.
Умовно-категоричний силогізм стверджувальний модус правильна форма А -> В А _____ В Якщо студент Я. вчить науку логіку, то він підвищує культуру свого мислення (А -> В). Студент Я. вчить логіку (А). ____________ Отже, студент Я. підвищує культуру свого мислення (В). o
Умовно-категоричний силогізм o стверджувальний модус неправильна форма А -> В В ______ А Якщо студент Я. знає теорію, то він розв'яже цю логічну задачу (А -> В). Студент Я. розв'язав цю логічну задачу (В). __________ Отже, студент Я. знає логічну теорію (А).
Умовно-категоричний силогізм заперечувальний модус правильна форма А -> В ~В _______ ~А Якщо особа Я. дотримується певних норм права у своїх діяннях, то вона є правослухняною (А -> В). Особа Я. не є правослухняною (~ В). ___________ Отже, особа Я. не дотримується певних норм права у своїх діяннях (~ А) o
Умовно-категоричний силогізм o заперечувальний модус неправильна форма А -> В ~А _____ ~В Якщо погода гарна, то літаки злітають (А > В). Сьогодні негарна погода ( ~ А). __________ Отже, літаки не злітатимуть (~ В).
Умовно-категоричний силогізм використовується у практиці розслідування кримінальних справ під час висування версій. Якщо в момент скоєння злочину потерпілий залишив садна й подряпини на тілі злочинця, то вини мають бути на ньому. На руках, обличчі та шиї Петренка наявні садна. ________________ Отже, вони залишені потерпілим. висновок тільки імовірни
Чисто-розділові умовиводи – це умовиводи, які будуються із диз’юнктивних суджень, тобто як засновки, так і висновок даного виводу є диз’юнкціями. Усі тварини належать до земноводних або не земноводних. Усі земноводні тварини є рептиліями або не рептиліям. ________________ Усі тварини належать до земноводних (є рептиліями або не рептиліями) або до не земноводних.
Розділово-категоричний силогізм - силогізм, в якому перший із засновків є розділовим (диз'юнктивним) висловлюванням, а другий засновок і висновок категоричні висловлювання.
Розділово-категоричний силогізм o стверджувально-заперечувальний модус А˅В А _____ ~В За формою державного устрою держави є або унітарними або федеративними (A ˅ В). Франція за формою державного устрою унітарна держава (А). Отже, Франція за формою державного устрою не є федеративною державою (~ В).
Розділово-категоричний силогізм o заперечувально-стверджувальний модус А˅В ~В ____ А Людина вчиться або на своїх помилках або на чужих (А ˅ В). В Особа Я. не вчиться на чужих помилках (~ В). __________________ Отже, особа Я. вчиться на своїх помилках (А).
o o o Доказування правильності версії у кримінальній справі може проходити тільки за заперечувальностверджувальним модусом. Ствердувально-заперечувальний модус для доказування правильності судових версій застосовувати не можна. У судовій експертизі, навпаки, висновки можуть проходити за стверджувальнозаперечувальним модусом і не можна користуватися заперечувальностверджувальним силогізмом.
Умовно-розділовий (лематичний) силогізм (Грец. lemma - посилання) силогізм, в якому один із засновків є умовним висловлюванням, два інших - розділові (диз'юнктивні) висловлювання, а висновок є категоричним висловлюванням або розділовим (диз'юнктивним) висловлюванням.
Різновиди умовнорозділового силогізму: oдилема oтрилема
Проста конструктивна дилема А -> В С -> В Av. С ______ В Якщо особа У. хоче вступати на фізичний факультет університету, то вона повинна добре знати математику (А -> В). Якщо особа У. хоче вступати на хімічний факультет університету, то вона повинна добре знати математику (С ->В). Особа У. хоче поступати на фізичний або хімічний факультет університету (A v С). _________________________ Отже, особа У. повинна добре знати математику (В)
Складна конструктивна дилема А -> В С -> D Av. С _____ Вv. D Якщо Ви будете казати правду, люди проклянуть вас (А>В). Якщо Ви будете обдурювати, то Вас проклянуть боги (С >D). Але Ви можете казати лише правду або обдурювати (A v С _______________________ Отже, Вас проклянуть люди або боги (В v D)
Проста деструктивна дилема А -> В А -> С ~Вv~С ____ ~А Якщо особа Я. здійснила крадіжку, то вона порушила правову норму (А -> В). Якщо особа Я. здійснила крадіжку, то вона порушила моральну норму (А -> С). Особа Я. не порушила правову норму або не порушила моральну норму (~ В v ~ С). ___________________ Отже, особа Я, не здійснила крадіжку (~ А)
Складна деструктивна дилема А -> В С -> D ~Вv~D _____ ~Av~С Якщо обвинувачуваний Л. вбив К. випадково, то, за ст. 119 ККУ, - це вбивство через необережність (А -> В). Якщо обвинувачуваний Л. вбив К. з метою пограбування, то, за ст. 115 ККУ, це є зумисним убивством (С -> D). Але неправильно, що вбивство К. обвинувачуваним Л. за своїми ознаками класифікується за ст. 119, або за ст. 115 ККУ (~ В v ~ D). Отже, неправильно, що обвинувачуваний Л. повинен бути засудженим за випадкове вбивство К. або з
o Трилема (грец. trias - три, lêmma - засновок) - складне диз'юнктивне висловлювання, яке складається з трьох простих висловлювань (диз'юнктів).
Трилема А -> В С -> D Е -> F Av. Сv. Е _____ Вv. Dv. F Якщо направо підеш, то загибель знайдеш (А -> В). Якщо наліво підеш, то коня загубиш (С-> D). Якщо прямо підеш, то у неволю потрапиш (Е -> F). Але йти можна або направо, або наліво, або прямо (A v С v Е). ______________ Отже, можна або загинути, або коня загубити, або у неволю потрапити (В v D v F ).
Індивідуальне заняття Безпосередні умовиводи 1. 2. Безпосередні умовиводи. Логічні операції перетворення та обернення. Логічна операція протиставлення предикату. Література 1. Діденко О. В. , Топольницька Г. Ю. , Тушко К. Ю. Формальна логіка: Навчально-методичний посібник. – Хмельницький: Видавництво Національної академії Державної прикордонної служби України імені Б. Хмельницького, 2009. – С. 82 -92; 2. Довбеус В. Т. , Бойко К. Ю. Формальна логіка: Методичні рекомендації. – Хмельницький: Видавництво Національної академії Державної прикордонної служби України імені Б. Хмельницького, 2007. – С. 204 -218; 3. Дуцяк І. З. Логіка: Підручник. – К. : Знання, 2010. – С. 64 -110.