Первый вероятностный модус

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

Структура его: Cхема:

 

Если а, то b. a→b

b b

___________ _________

Вероятно, а. Вероятно, а

Формула ((а →b) ^ b) → а (3) не является законом логики. Она означает, что нельзя достоверно умозаключить от ут­верждения следствия к утверждению основания. Люди ино­гда неправильно умозаключают так:

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

Судане могут входить в бухту.

Бухта замерзла.

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

Вероятностное заключение получится и в таком умозаклю­чении:

Если данное тело - графит, то оно электропроводно.

Данное тело электропроводно.

Вероятно, данное тело - графит.