Обратная дедукция

Кроме рассмотренной ранее обобщающей индукции, существуют также еще индуктивные умозаключения, которые строятся по схемам обратной дедукции. Все эти схемы дают вероятностные заключения, которые ни в коем случае нельзя считать достоверными или доказанными.

1. Схема, обратная правилу modus ponens:

Если а, то b В символической записи:

b (p®q), q

——————— —————

a p

Пример.

Если Петров совершил это преступление (p),

то он знал потерпевшего (q).

Петров знал потерпевшего (q).

———————————————————————

Вероятно, Петров совершил это преступление (p).

2. Схема, обратная правилу modus tollens:

Если а, то b В символической записи:

не-a (p®q),

——————— —————

не-b

Пример.

Если у Петрова есть алиби (p),

то преступление совершил не он (q).

У Петрова отсутствует алиби ().

——————————————————————

Вероятно, преступление совершил Петров ().