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

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

Коля — брат Петра.                                                                  Іван закінчив академію раніше Семена.

Петро — брат Сергія. Семен закінчив академію раніше Артура.

Коля — брат Сергія.                                                                 Іван закінчив академію раніше Артура.

Такі умовиводи спроможні лише тоді, коли відношення підпадають під принцип транзитивності (перехідності). В про­тивному разі маємо нісенітниці:

Микола любить Олю.

Оля любить Петра.

Микола любить Петра (?!).

До речі, саме внаслідок нетранзитивності багатьох правових відносин суттєво обмежене застосування математики до права, хоча останнім часом такі спроби починають з’являтися^[1].

 

Контрольні запитання

1. Що таке умовиводи і які методи використову­ються для їх утворення?

2. Чи можливі безпосередні недедуктивні умо­виводи?

3. Які основні форми дедуктивних умовиводів? Чи можна отримати заперечний висновок з двох ствердних засновків простого категорич­ного силогізму?

4. Чому саме за категоричним силогізмом закрі­пилася назва «юридичний силогізм»?

5. Чим умовні силогізми відрізняються від ари- стотелівського силогізму?

6. Чим корисні ентимеми?

---

^[1] Див.: Лобовиков В. О. Математическое правоведение. Часть 1. Ес- тественное право. — Екатеринбург, 1998.