Розділ 8 Умовиводи та їх основні види. Дедуктивні умовиводи - 8.9. Умовиводи із суджень з відношеннями
8.9. Умовиводи із суджень з відношеннями
Умовивід, засновки і висновок якого є судженнями з відношеннями, називається умовиводом з відношеннями.
Коля — брат Петра. Іван закінчив академію раніше Семена.
Петро — брат Сергія. Семен закінчив академію раніше Артура.
Коля — брат Сергія. Іван закінчив академію раніше Артура.
Такі умовиводи спроможні лише тоді, коли відношення підпадають під принцип транзитивності (перехідності). В противному разі маємо нісенітниці:
Микола любить Олю.
Оля любить Петра.
Микола любить Петра (?!).
До речі, саме внаслідок нетранзитивності багатьох правових відносин суттєво обмежене застосування математики до права, хоча останнім часом такі спроби починають з’являтися[1].
Контрольні запитання
1. Що таке умовиводи і які методи використовуються для їх утворення?
2. Чи можливі безпосередні недедуктивні умовиводи?
3. Які основні форми дедуктивних умовиводів? Чи можна отримати заперечний висновок з двох ствердних засновків простого категоричного силогізму?
4. Чому саме за категоричним силогізмом закріпилася назва «юридичний силогізм»?
5. Чим умовні силогізми відрізняються від ари- стотелівського силогізму?
6. Чим корисні ентимеми?
[1] Див.: Лобовиков В. О. Математическое правоведение. Часть 1. Ес- тественное право. — Екатеринбург, 1998.