Регрессивный сорит

Регрессивный сорит получается из регрессивного полисиллогизма путем выбрасывания заключения про – и меньшей посылки эпи -.

Регрессивный сорит начинается с посылки, которая содержит субъект заключения и заканчивается посылкой, которая содержит предикат заключения.

а – b

b – c

c – d

а – d

Пример.

Все авторские права являются правами интеллектуальной собственности.

Некоторые права интеллектуальной собственности охраняют произведения изобразительного искусства.

Некоторыми произведениями изобразительного искусства являются скульптуры.________________________________________________________

Некоторые авторские права охраняют скульптуры.

Эпихейрема

Эпихейрема – сложно сокращенный силлогизм, обе посылки которого представляют собой энтимемы:

А – С, т.к. А – В

Д – А, т.к. Д – Е

Д – С

Все сценарные произведения (А) охраняются авторским правом (С), т.к. сценарные произведения (А) являются объектами права интеллектуальной собственности (В)

Некоторые драматические произведения (Д) являются сценарными произведениями (А), т.к. драматические произведения (Д) относятся к произведениям искусства (Е)

__________________________________________________________________

Некоторые драматические произведения (Д) охраняются авторским правом (С)

Методом проверки является метод сложных суждений.

[(А – С) ^ (А – В)] ^ [(Д – А) ^ (Д – Е)] => Д - С

Для проверки сложное суждение разбивается на простые, составляется таблица истинности. В нашем случае она будет иметь 32 строчки, т. к. имеем 5 простых суждений: АВСДЕ.

Чисто условное умозаключение

Условное суждение – суждение, в котором утверждается, что наличие одной ситуации обуславливает наличие другой (выражается предложениями с союзом «если, то»).

Чисто условное умозаключение – умозаключение, обе посылки которого являются условными суждениями.

a b

b c

a c

Если произведение является объектом авторского права, то оно имеет право на неприкосновенность.

Если произведение имеет право на неприкосновенность, то оно охраняется правом интеллектуальной собственности._______________________________

Если произведение является объектом авторского права, то оно охраняется правом интеллектуальной собственности.

4.8 Условно – категорическое умозаключение

Условно – категорическое умозаключение – умозаключение, в котором одна из посылок условное, а другая – категорическое суждение.

а) Утвердительный модус

а b

a /

b

Пример:

Если книга опубликована, то она охраняется авторским правом.

Книга опубликована.

_______________________________________________________

Книга охраняется авторским правом

б) Отрицательный модус

			b

__

а /

__

b

Пример:

Если гражданин может разрешать другим лицам использовать результат своей интеллектуальной деятельности, то он обладает авторским правом.

Гражданин не может разрешать другим лицам использовать результат своей интеллектуальной деятельности.

__________________________________________________________________

Гражданин не обладает авторским правом.

4.9 Разделительно – категорическое умозаключение

Разделительно – категорическое умозаключение – умозаключение, в котором одна из посылок – разделительное суждение, а другая посылка и заключение – категорические суждения.

а) Утверждающе - отрицающий модус

а v b

/ b /

ā

Пример:

Произведение охраняется авторским или патентным правом.

Произведение охраняется патентным правом.

__________________________________________________________

Произведение не охраняется авторским правом

б) Отрицающе - утверждающий модус

а v b

__

/ b /

a

Пример:

Произведение охраняется авторским или патентным правом.

Произведение не охраняется патентным правом.

____________________________________________________

Произведение охраняется авторским правом.