Чисто умовний і умовно-категоричний умовивід
Чисто умовне умовивід
Чисто умовним називається умовивід, посилки і висновок якого є умовними судженнями. Наприклад:
Якщо винахід створено спільною творчою працею кількох громадян (p), всі вони визнаються співавторами винаходу (q).
Якщо вони визнаються співавторами винаходу (q), то порядок користування правами на винахід, створений у співавторстві, визначається угодою між співавторами (r).
---------------------------------------------------------------------------------------------------------------------------
Якщо винахід створено спільною творчою працею кількох громадян (p), то порядок користування правами на винахід, створений у співавторстві, визначається угодою між співавторами (r).
У наведеному прикладі обидві посилки - умовні судження, причому наслідок першої посилки є підставою другий (q), з якого, в свою чергу, випливає деякий наслідок (r). Загальна частина двох посилок (q) дозволяє зв'язати заснування першої (p) і наслідок другий (r). Тому висновок також виражається у формі умовного судження.
Схема суто умовного умовиводу:
(p→q) Λ (q→r)
------------------------
p→r
Висновок у чисто умовному умовиводі грунтується на правилі: наслідок наслідку (r) є наслідок підстави (p).
Умовивід, у якому висновок виходить з двох умовних посилок, ставиться до простих. Однак висновок може випливати з більшого числа посилок, які утворюють ланцюг умовних суджень. Такі умовиводи називаються складними.
Умовно-категоричне умовивід
Умовно-категоричним називається умовивід, у якому одна з посилок - умовне, а інша посилка і висновок - категоричні судження.
Це умовивід має два правильних модусу: 1) затверджує і 2) заперечує. Вони дають достовірні висновки.
1. У стверджуючому модусі (modus ponens) посилка, виражена категоричним судженням, стверджує істинність підстави умовної посилки, а висновок стверджує істинність слідства; міркування спрямоване від затвердження істинності підстави до твердженням істинності слідства.
Схема модусу:
p→q,p
(1) -----------------
q
Приклад:
Якщо позов пред'явлений недієздатною особою (p), то суд залишає позов без розгляду (q).
Позов пред'явлений недієздатною особою (p).
----------------------------------------------------------------------------------------------------------------------------
Суд залишає позов без розгляду (q).
Перша посилка - умовне судження, що виражає зв'язок підстави (p) і слідства (q). Друга посилка - категоричне судження, в якому стверджується істинність підстави (p): позов пред'явлений недієздатною особою. Визнавши істинність підстави (p), ми визнаємо істинність слідства (q): суд залишає позов без розгляду.