Второй вероятностный модус в виде схемы можно изобразить так.
Если а, то b. Не-а.
Вероятно, не-b. Приведем пример.
Если человек лежит под солнцем, он загорит.
Этот человек не лежит под солнцем.
Он не загорит.
Как видно из приведенного примера, производя умозаключение от отрицания основания к отрицанию следствия, мы получим не истинное, а вероятностное следствие.
Формулы утверждающего и отрицающего модусов являются законами логики, в то время как формулы вероятностных — не являются.
Разделительные умозаключения делятся на простые разделительные и разделительно-категорические умозаключения. В первом случае разделительными являются все посылки. Соответственно, разделительно-категорические суждения имеют в качестве одной из посылок простое категорическое суждение.
Таким образом, разделительным считается умозаключение , все или часть посылок которого являются разделительными суждениями. Структура простого разделительного умозаключения отражается следующим образом.
S есть А или В, или С.
А есть А1 или А2.
S есть А1 или А2, или В, или С.
Примером такого умозаключения является следующее.
Путь бывает прямым или окружным.
Окружный путь бывает с одной пересадкой или с несколькими пересадками.
Путь бывает прямым или с одной пересадкой, или с несколькими пересадками.
Дата добавления: 2015-05-16; просмотров: 835;