Если взлетная полоса покрыта льдом, то самолеты не могут взлететь. Сегодня взлетная полоса покрыта льдом. => Сегодня самолеты не могут взлететь. Условно-категорический силлогизм имеет два модуса: утверждающий и отрицающий. Утверждающий модус – у которого первая посылка представляет собой импликацию (состоящую, как мы уже знаем, из двух частей – основания и следствия), вторая посылка является утверждением основания, а в выводе утверждается следствие. Например: Если вещество – металл, то оно электропроводно. Данное вещество – это металл. => Данное вещество электропроводно. Отрицающий модус – у которого первая посылка представляет собой импликацию основания и следствия, вторая посылка является отрицанием следствия, а в выводе отрицается основание. Например: Если вещество – металл, то оно электропроводно. Данное вещество неэлектропроводно. => Данное вещество – не металл. Необходимо обратить внимание на уже известную нам особенность импликативного суждения, которая состоит в том, что основание и следствие нельзя поменять местами. Например, высказывание Если вещество – металл, то оно электропроводно является верным, так как все металлы – это электропроводники (из того, что вещество – металл, с необходимостью вытекает его электропроводность). Однако высказывание Если вещество электропроводно, то оно – металл неверно, так как не все электропроводники являются металлами (из того, что вещество электропроводно, не следует то, что оно – металл). Эта особенность импликации обусловливает два правила условно-категорического силлогизма: 1. Утверждать можно только от основания к следствию, т. е. во второй посылке утверждающего модуса должно утверждаться основание импликации (первой посылки), а в выводе – ее следствие. В противном случае из двух истинных посылок может вытекать ложный вывод. Например: Если слово стоит в начале предложения, то оно всегда пишется с большой буквы. Слово «Москва » всегда пишется с большой буквы. => Слово «Москва » всегда стоит в начале предложения. Во второй посылке утверждалось следствие, а в выводе – основание. Это утверждение от следствия к основанию и является причиной ложного вывода при истинных посылках. 2. Отрицать можно только от следствия к основанию, т. е. во второй посылке отрицающего модуса должно отрицаться следствие импликации (первой посылки), а в выводе – ее основание. В противном случае из двух истинных посылок может вытекать ложный вывод. Например: — 58 —
|