10. В-пятых, предложения делятся на истины необходимые (т. е. необходимо истинные) и случайные, т. е. такие, которые не необходимы, хотя и истинны. Необходимой истиной являются предложения, в качестве субъекта которых нельзя представить или вообразить другой вещи, кроме той, именем которой является предикат данного предложения. Так, предложение человек есть живое существо необходимо, ибо везде, где мы имеем вещь, к которой применимо слово человек, к ней применимо и слово живое существо. Случайной истиной является предложение, которое может быть то истинным, то ложным. Предложение всякий ворон черен может, пожалуй, ныне считаться истинным, в другое время – ложным. В необходимом предложении предикат или эквивалентен субъекту (как, например, в предложении человек есть разумное живое существо), либо составляет часть эквивалента, как человек есть живое существо. В этом примере имя разумное живое существо, или человек, составлено из двух [членов] разумное и живое существо. В случайной же истине дело обстоит иначе, ибо если бы даже было истинным утверждение, что всякий человек лгун, то все же это предложение не могло бы называться необходимой истиной, так как слово лгун не является частью составного имени, эквивалентного имени человек. Предложение является здесь только случайной истиной, даже если бы оно фактически всегда было верно. Необходимыми истинами являются только такие предложения, которые содержат вечные истины.
Здесь опять-таки обнаруживается, что истина не есть свойство вещей и что она присуща одному только языку, истины же вечны. Ибо не необходимо, чтобы вечно существовали люди или живые существа; но вечно истинным остается положение, что там, где существуют люди, они являются живыми существами.
11. В-шестых, предложения подразделяются на категорические и гипотетические. Категорическим является предложение, которое просто, или безусловно, что-либо высказывает. Например: всякий человек есть живое существо; ни один человек не есть дерево. Гипотетическим является предложение, высказывающее нечто условно. Например: если кто-либо – человек, то он также живое существо; если кто-либо – человек, то он не камень.
И категорическое, и соответствующее ему гипотетическое предложения означают одно и то же, если утверждение заключает в себе необходимую истину; но дело обстоит не так, когда оно заключает в себе истину случайную. Если, например, истинно предложение всякий человек есть живое существо, то истинным является и предложение если кто-либо – человек, он должен быть и живым существом. Но если какое-нибудь предложение, содержащее случайное утверждение (например, всякий ворон черен), и истинно, то предложение если какое-нибудь существо есть ворон, то оно черно будет все же ложным. Гипотетическое предложение будет истинным только тогда, когда правильно соответствующее следствие. Так, предложение всякий человек есть живое существо является вполне истинным, ибо если верно утверждение нечто есть человек, то не может не быть верным утверждение, что то же нечто есть живое существо. И поэтому если гипотетическое предложение истинно, то и соответствующее ему категорическое утверждение не только истинно, но и необходимо. Я считаю, что следует подчеркнуть это, ибо тут мы имеем доказательство того, что философы могут делать более надежные умозаключения при помощи гипотетических предложений, чем при помощи предложений категорических.
12. Поскольку каждое предложение может быть выражено различно и на самом деле получает различное выражение и поскольку мы вынуждены выражаться так, как это делает большинство, то те, кто изучает философию, должны остерегаться, как бы их не ввело в заблуждение различие выражений их учителей (doctores). Поэтому, наталкиваясь на неясное предложение, они должны свести его к простейшей категорической форме, чтобы связка есть была совершенно самостоятельна и субъект ясно отличался бы от предиката, которые в свою очередь должны быть строго отделены от связки. Так, при сравнении предложений человек может не грешить и человек не может грешить разница их смысла ясно обнаружится, если сформулировать их следующим образом: человек есть могущий не грешить и человек есть не могущий грешить, где предикаты явно различны. Но это упрощение надо произвести молча, про себя, или в присутствии одного лишь учителя, ибо было бы глупо и смешно выражаться так в обществе. Если, следовательно, я хочу говорить о равнозначных предложениях, то должен прежде всего считать равнозначными все те предложения, которые могут быть сведены к одному и тому же простому категорическому утверждению.