Ни один невезучий человек не является богатым. (прот. Р)

Все невезучие люди являются бедными. (прот. S и Р)

Упражнение 7. Проделайте все возможные непосредственные умозаключения из высказываний

А) «Некоторые психически больные люди не являются вменяемыми».

Б) «Ни один решительный человек не является трусом».

Простой категорический силлогизм.

Силлогизмом вообще в логике называют умозаключение из более чем одной посылки. В таком расширительном смысле силлогизмами являются, например, умозаключения типа modus ponens, modus tollens и т.д., рассмотренные ранее.

Простой категорический силлогизм – это умозаключение, в котором от наличия некоторых отношений между терминами S и М и терминами Р и М, фиксируемых в посылках, приходят к заключению о наличии определенного отношения между терминами S и Р.

Таким образом, простой категорический силлогизм состоит из трех высказываний (две посылки и одно заключение), любые два из которых имеют общий термин.

Термин, имеющийся в обеих посылках, опосредует следование из них заключения, в силу чего силлогизмы часто называют также опосредованными умозаключениями. Пример:

Все люди смертны. Все М есть Р.

Сократ человек. S есть М.

Сократ смертен. S есть Р.

Здесь вывод о смертности Сократа делается благодаря термину М «человек» («люди»), который является общим для обеих посылок. Именно этот термин опосредует связь между терминами S «Сократ» и Р «смертный» в заключении.

Дата добавления: 2015-06-30; просмотров: 132; Нарушение авторских прав

Мы поможем в написании ваших работ!