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

11. В-шестых, предложения подразделяются на категорические и гипотетические. Категорическим является предложение, которое просто, или безусловно, что-либо высказывает. Например: всякий человек есть живое существо; ни один человек не есть дерево. Гипотетическим является предложение, высказывающее нечто условно. Например: если кто-либо – человек, то он также живое существо; если кто-либо – человек, то он не камень.

И категорическое, и соответствующее ему гипотетическое предложения означают одно и то же, если утверждение заключает в себе необходимую истину; но дело обстоит не так, когда оно заключает в себе истину случайную. Если, например, истинно предложение всякий человек есть живое существо, то истинным является и предложение если кто-либо – человек, он должен быть и живым существом. Но если какое-нибудь предложение, содержащее случайное утверждение (например, всякий ворон черен), и истинно, то предложение если какое-нибудь существо есть ворон, то оно черно будет все же ложным. Гипотетическое предложение будет истинным только тогда, когда правильно соответствующее следствие. Так, предложение всякий человек есть живое существо является вполне истинным, ибо если верно утверждение нечто есть человек, то не может не быть верным утверждение, что то же нечто есть живое существо. И поэтому если гипотетическое предложение истинно, то и соответствующее ему категорическое утверждение не только истинно, но и необходимо. Я считаю, что следует подчеркнуть это, ибо тут мы имеем доказательство того, что философы могут делать более надежные умозаключения при помощи гипотетических предложений, чем при помощи предложений категорических.

12. Поскольку каждое предложение может быть выражено различно и на самом деле получает различное выражение и поскольку мы вынуждены выражаться так, как это делает большинство, то те, кто изучает философию, должны остерегаться, как бы их не ввело в заблуждение различие выражений их учителей (doctores). Поэтому, наталкиваясь на неясное предложение, они должны свести его к простейшей категорической форме, чтобы связка есть была совершенно самостоятельна и субъект ясно отличался бы от предиката, которые в свою очередь должны быть строго отделены от связки. Так, при сравнении предложений человек может не грешить и человек не может грешить разница их смысла ясно обнаружится, если сформулировать их следующим образом: человек есть могущий не грешить и человек есть не могущий грешить, где предикаты явно различны. Но это упрощение надо произвести молча, про себя, или в присутствии одного лишь учителя, ибо было бы глупо и смешно выражаться так в обществе. Если, следовательно, я хочу говорить о равнозначных предложениях, то должен прежде всего считать равнозначными все те предложения, которые могут быть сведены к одному и тому же простому категорическому утверждению.

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

14. В-третьих, равнозначны друг другу два любых всеобщих (универсальных) предложения, соответствующие члены которых, т. е. субъекты и предикаты, исключают друг друга и расположены в обратном порядке. Например, в предложениях