Учебник логики

Если я утверждаю, что все люди смертны, и вы со мной соглашаетесь, т.е. находите, что это суждение истинно, то вы должны будете признать, что при допущении истинности этого суждения нельзя признать истинности суждения O – «некоторые люди не смертны», и, наоборот, если признать истинность суждения O – «некоторые люди не суть честны», то никак нельзя будет признать истинности суждения A – «все люди честны».

Таким образом, из двух противоречащих суждений при истинности одного суждения другое оказывается ложным, при ложности одного суждения другое является истинным. Из этого следует, что из противоречащих суждений одно должно быть истинным, а другое – ложным. Два противоречащих суждения не могут быть в одно и то же время оба истинными, но не могут быть и оба ложными.

Противность (A—E). Если признать суждение A – «все металлы суть элементы» истинным, то никак нельзя допустить, что «ни один металл не есть элемент». Следовательно, если A истинно, то E ложно. Если мы признаём суждение E – «ни один человек не всеведущ» истинным, то мы, конечно, не будем иметь никакого права утверждать суждение A – «все люди всеведущи». Следовательно, если E истинно, то A ложно. Таким образом, из истинности одного из противных суждений следует ложность другого.

Но следует ли из ложности A истинность E или из ложности E истинность A? Отнюдь нет. В этом мы можем убедиться из следующих примеров. Возьмём суждение A – «все бедняки порочны» – и признаем, что это суждение ложно. Можно ли в таком случае утверждать суждение E – «ни один бедняк не порочен»? Конечно, нельзя, потому что в действительности может оказаться, что только некоторые бедняки не порочны, а некоторые – порочны. Если я выскажу суждение E – «ни один алмаз не драгоценен» – и вы станете отрицать истинность этого суждения, то сочтёте ли вы себя вправе утверждать, что «все алмазы драгоценны»? Конечно, нет. Отрицая моё утверждение, вы в свою очередь можете только утверждать, что «некоторые алмазы драгоценны», допуская в то же время, что «некоторые алмазы не драгоценны». Следовательно, при ложности одного из противных суждений нельзя признать истинность другого, потому что между ними всегда может быть нечто среднее.

Итак, в двух противных суждениях из истинности одного следует ложность другого, но из сложности одного не следует истинность другого; оба суждения не могут быть истинными (потому что если одно истинно, то другое ложно), но оба могут быть ложными (потому что при ложности одного ложным может быть другое).

Подчинение (A—I, E—O). Если A истинно, то I тоже истинно. Например, если суждение A – «все алмазы драгоценны» – истинно, то истинно суждение I – «некоторые алмазы драгоценны». Если E истинно, то O тоже истинно. Если «ни один человек не всеведущ», то, конечно, это предполагает, что «некоторые люди не всеведущи». От истинности общих суждений, следовательно, зависит истинность частных.

Но можно ли сказать, наоборот, что от истинности частных суждений зависит истинность общих суждений? Нельзя. В самом деле, если I истинно, то A может не быть истинно. Например, суждение I – «некоторые люди мудры» – истинно. Будет ли следствие этого истинным суждение A – «все люди мудры»? Нет. Если O истинно, то E может быть не истинно. Если мы признаём истинным O – «некоторые люди не искренни», то можем и мы вследствие этого признать истинным суждение E – «ни один человек не искренен»? Конечно, нет.

Ложность общего суждения оставляет неопределённой важность и истинность подчинённого частного. При отрицании истинности A мы не можем сказать, будет ли I истинным или ложным. При отрицании истинности E мы не можем ни утверждать, ни отрицать истинности O. Если мы, например, отрицаем истинность A – «все люди честны», то мы можем признавать истинным суждение I – «некоторые люди честны». Если мы отрицаем суждение истинности E – «ни один человек не есть мудр», то мы можем признавать истинность O – «некоторые люди не суть мудры».

Но ложность частного приводит к ложности общего. Если южно, то A ложно. Если нельзя сказать «некоторые люди всеведущи», потому что это ложно, то тем более нельзя сказать «все люди всеведущи». Если O ложно, то E ложно. Если нельзя сказать «некоторые люди не суть смертны», то нельзя сказать и «один человек не есть смертен», потому что если чего-нибудь нельзя утверждать относительно части класса, то этого же тем более нельзя утверждать относительно всего класса.