→
b) ∧
a) – это две посылки силлогизма в виде двухчленной конъюнкции, состоящей из уже упомянутой импликации и утверждения основания;
b – это вытекающий из посылок вывод силлогизма в виде утверждения следствия.
2. Отрицающий модус, у которого первая посылка представляет собой импликацию основания и следствия, вторая посылка является отрицанием следствия, а в выводе отрицается основание.
Например:
Если вещество – металл, то оно электропроводно.
Данное вещество неэлектропроводно.
Данное вещество – не металл.
Форма отрицающего модуса условно-категорического силлогизма: ((a → b) ∧¬ b) → ¬ a, где (a → b) – это первая посылка в виде импликации основания и следствия; ((a → b) ∧ ¬ b) – это две посылки силлогизма в виде двухчленной конъюнкции, состоящей из уже упомянутой импликации и отрицания следствия; ¬ a – это вытекающий из посылок вывод силлогизма в виде отрицания основания.
Необходимо обратить внимание на уже известную нам особенность импликативного суждения, которая состоит в том, что основание и следствие нельзя поменять местами. Например, высказывание: «Если вещество – металл, то оно электропроводно», – является верным, т. к. все металлы – это электропроводники (из того, что вещество – металл, с необходимостью вытекает его электропроводность). Однако высказывание: «Если вещество электропроводно, то оно – металл», – неверно, т. к. не все электропроводники являются металлами (из того, что вещество электропроводно, не вытекает то, что оно – металл). Эта особенность импликации обусловливает два правила условно-категорического силлогизма:
1. Утверждать можно только от основания к следствию, т. е. во второй посылке утверждающего модуса должно утверждаться основание импликации (первой посылки), а в выводе – её следствие.
В противном случае из двух истинных посылок может вытекать ложный вывод. Например:
Если слово стоит в начале предложения, то его надо писать с большой буквы.
Слово «Москва» надо писать с большой буквы.
Слово «Москва» всегда стоит в начале предложения.
В силлогизме во второй посылке утверждалось следствие, а в выводе – основание: ((a → b) ∧ b) → a. Это утверждение от следствия к основанию и является причиной ложного вывода при истинных посылках.
2. Отрицать можно только от следствия к основанию, т. е. во второй посылке отрицающего модуса должно отрицаться следствие импликации (первой посылки), а в выводе – её основание. В противном случае из двух истинных посылок может вытекать ложный вывод. Например:
