Чисто умовний і умовно-категоричний умовивід

Чисто умовне умовивід

Чисто умовним називається умовивід, посилки і висновок якого є умовними судженнями. Наприклад:

Якщо винахід створено спільною творчою працею кількох громадян (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): суд залишає позов без розгляду.