Краткий курс логики: Искусство правильного мышления | страница 71

Если слово стоит в начале предложения, то его надо писать с большой буквы.

В данном предложении слово «Москва» не стоит в начале.

В данном предложении слово «Москва» не надо писать с большой буквы.

В силлогизме во второй посылке отрицается основание, а в выводе – следствие: ((a → b) ∧ ¬ a) → ¬ b. Это отрицание от основания к следствию и является причиной ложного вывода при истинных посылках.

Вспомним, что среди сложных суждений помимо импликации: a → b, есть также эквиваленция: ab. Если в импликации всегда выделяется основание и следствие, то в эквиваленции нет ни того, ни другого, т. к. она представляет собой сложное суждение, обе части которого тождественны (эквивалентны) друг другу. Если первой посылкой силлогизма является не импликация, а эквиваленция, то такой силлогизм называется эквивалентно-категорическим. Например:

Если число чётное, то оно делится без остатка на 2.

Число 16 – чётное.

Число 16 делится без остатка на 2.

Форма модуса данного силлогизма: (ab) ∧ a) → b.

Поскольку в первой посылке эквивалентно-категорического силлогизма нельзя выделить ни основания, ни следствия, то рассмотренные выше правила условно-категорического силлогизма к нему неприменимы (в эквивалентно-категорическом силлогизме и утверждать, и отрицать можно как угодно). Если в условно-категорическом силлогизме два модуса правильных и два неправильных (см. выше), то в эквивалентно-категорическом силлогизме все четыре модуса являются правильными:

((ab) ∧ a) → b;

((ab) ∧ b) → a;

((ab) ∧ ¬ a) → ¬ b;

((a

Читатель без труда сможет подобрать примеры для каждого из четырёх модусов эквивалентно-категорического силлогизма.

Если же обе посылки и вывод представляют собой условные суждения, то это чисто условный силлогизм(чисто условное умозаключение). Например:

Если вещество является металлом, то оно электропроводно.

Если вещество электропроводно, то его невозможно использовать в качестве изолятора.

Если вещество является металлом, то его невозможно использовать в качестве изолятора.

Форма модуса данного силлогизма: ((a → b) ∧ (b → c)) → (a → c).

1. Что представляют собой условные умозаключения?

2. Какие модусы имеет условно-категорический силлогизм? Приведите по три примера для каждого модуса, изобразив их форму с помощью условных логических обозначений.

3. Что называется в условно-категорическом силлогизме «основанием», а что – «следствием»? Каковы правила условно-категорического силлогизма и ошибки, возникающие при их нарушении?