ЛОГИКА

Если Иванов — студент, то он обязан держать экзамены.

Иванов — не студент.

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

Иванов не обязан держать экзамены.

Этот силлогизм, очевидно, будет логически ошибочен. В самом деле: если бы суждение, выраженное условной посылкой, было истинным, то из него необходимо следовало бы, что объём понятия «Иванов» входит в объём понятия «лица, обязанные держать экзамены». Но именно потому, что объём понятия «Иванов» составляет, как видно из условий посылки, только часть объёма понятия «лица, обязанные держать экзамены», мы, узнав из категорической посылки, что объём понятия «Иванов» не входит в объём понятия «студенты», не имеем права заключать, что Иванов не обязан держать экзамены. И действительно, Иванов может оказаться обязанным держать экзамены по принадлежности к ученикам средней школы, к аспирантам и т. д.

§ 9. Другой вид логической ошибки, возможной в условно-категорическом силлогизме, возникает в случае, когда пытаются заключать от истинности следствия к истинности основания.

Например: условно-категорический силлогизм:

Если ночью прошёл дождь, то трава должна быть мокрой.

Трава мокрая.

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

След., ночью прошёл дождь.

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

Умозаключение от истинности следствия к истинности основания ошибочно ввиду того, что одно и то же следствие может быть вызвано не одним единственным, а многими основаниями.

§ 10. В некоторых случаях может сложиться впечатление, будто правильный вывод от истинности следствия к истинности основания всё же возможен.

Рассмотрим, например, силлогизм:

Если Иванов не знает химии, он не может успешно вести физиологические исследования.

Иванов успешно ведёт физиологические исследования.

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

След., Иванов знает химию.

В этом примере вывод правильный. Могло бы показаться, будто силлогизм этот доказывает возможность правильного вывода от истинности следствия к истинности основания. В действительности силлогизм этот есть пример вывода от ложности следствия к ложности основания.

В самом деле, качество суждения определяется, как мы знаем, не одной лишь грамматической формой суждения, т. е. не присутствием или отсутствием в нём отрицательной частицы перед сказуемым предложения. Качество суждения определяется отношением логического смысла высказывания к логическому смыслу всего рассуждения. По отношению к суждению «не может успешно вести физиологических исследований» суждение «успешно ведёт физиологические исследования» есть, конечно, отрицательное суждение, несмотря на отсутствие грамматической формы отрицания. Поэтому вторая посылка в нашем примере («Иванов успешно ведёт физиологические исследования») Выражает мысль не об истинности, а о ложности основания. Отсюда следует, что силлогизм наш есть условно-категорический силлогизм от ложности следствия к ложности основания, и вывод в нём логически правильный.

Возможны случаи, когда умозаключения от истинности следствия к истинности основания и от ложности основания к ложности следствия, будучи логически ошибочными, приводят всё же к выводам истинным по содержанию. Так, человек, заключающий, будто ночью шёл дождь, на том основании, что трава утром была мокрой и что после дождя трава всегда бывает мокрая, высказывает заключение, которое фактически независимо от способа, каким оно выведено, может оказаться и истинным. Оно будет истинным при условии, если ночью действительно шёл дождь. Точно так же человек, знающий, что все студенты обязаны держать экзамены, и заключающий, будто Иванов не обязан держать экзамены, так как Иванов — не студент, высказывает заключение, которое фактически может оказаться и истинным. Оно будет истинным при условии, если Иванов, например, закончил своё учение и в настоящее время не должен держать экзамен.

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