e. Добродетель есть знание.

f. Добродетель не есть знание.

Несложно усмотреть, что суждения а и d связаны логически, а не только тем, что в них обоих речь идет о добродетели. Существует очевидное ограничение относительно их возможной истинности или ложности. Оба данных суждения не могут быть истинными, поскольку в одном утверждается то, что в другом отрицается. По той же причине оба данных суждения не могут быть ложными. Точно такое же отношение имеет место между суждениями ей/. Такие суждения противоречат (являются контрадикторными) друг другу.

Что можно сказать относительно суждений Ь и с? Читатель может посчитать их также противоречащими. Это, однако, будет неверно. Противоречия не возникает, если сказать, что добродетели можно научиться при одних случайных обстоятельствах (например, если добродетель является знанием), но нельзя при других (если добродетель не является знанием).

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

Теперь рассмотрим суждения Ь и f, как утверждаемые одновременно и тем самым формирующие конъюнктивное суждение. Существует ли отношение между этой конъюнкцией и суждением а? Несложно увидеть, что если и Ь и f – истинны, то а должно быть истинным. Однако если истинно а, следует ли из этого истинность Ь и f? Разумеется, нет, поскольку а может быть истинным вследствие совершенно других оснований, чем те, которые предоставляет конъюнкция Ь и f. Так, например, такими основаниями могут быть человеческое упрямство, дурные привычки или слабость тела. А конъюнкция может быть ложной, даже если а истинно, поскольку может оказаться истинным, что добродетель является знанием, но при этом ей все равно нельзя научиться. Если два суждения связаны отношением таким, что если первое истинно, то второе тоже истинно, но если второе истинно, то истинностное значение первого является неопределенным, или неограниченным, то такие суждения считаются находящимися в отношении подчиняющего к подчиненному. Для данного отношения также был введен удобный термин «суперимпликация». Предлагаем читателю самостоятельно отыскать другие сочетания суждений из приведенного списка, находящиеся друг с другом в этом же отношении.

На данный момент мы рассмотрели три типа отношений между суждениями: противоречие, независимость и отношение подчиняющего суждения к подчиненному. Существуют ли другие отношения помимо указанных? Исчерпывающий список всех таких отношений можно получить, если рассмотреть все возможные истинностные значения, которые будет принимать пара суждений. («Истинностным значением суждения» называется его истинность или ложность.) Пусть р символизирует одно любое суждение, a q – любое другое. Приведенная ниже таблица представляет все их возможные истинностные значения. Следует также учесть возможность того, что истинностное значение одного суждения не будет ограничиваться истинностным значением другого. Отсутствие такого ограничения мы обозначим термином «неопределенно».

Отношение между двумя суждениями может быть представлено одним из указанных шести способов. Однако придания паре суждений лишь одного из шести предложенных условий недостаточно, чтобы однозначно определить их логическое отношение друг к другу. Поэтому для задания свойств отношения противоречия (или контрадикторности), существующего, например, между суждениями ей/, требуется привести два условия: 2 и 4. Отношение суперимпликации также требует двух условий: 1 и 6. Рассмотрение других возможных логических отношений между суждениями показывает, что для задания их свойств также требуется два из шести приведенных в таблице условий. Сопоставив три первых условия с тремя последними, мы получим девять возможных отношений между суждениями. При этом некоторые из них будут совпадать.