· 1) Всякое A, о котором что-нибудь высказывается, остается в пределах данного суждения самим же собою, оно всегда равно сумме своих предикатов (закон тождества).
· 2) Не только A, но и его признак в пределах данного суждения остается самим же собою; и если мы говорим, что A есть B, то ни в коем случае не можем сказать одновременно, что A есть не-B (закон противоречия).
· 3) Не только A и его признак, но и бытие всякого A и бытие его признака остаются неизменными. Если A есть B и не может быть в то же время не-B, то стоит только вместо B подставить предикат бытия, как получится аксиоматическое утверждение, что A может или быть или не быть, и среднего между ними ничто не мыслимо (закон исключенного третьего).
Эти три формальные условия суждения могут быть основанием для конкретного суждения.
Логос, сказали мы, есть метод сопряжения смыслов. В нем высказывается, как смыслы соединены между собой. Указали мы и на то, что в логосе неизвестно, почему они соединены между собою так, а не иначе. Но вот представим себе, что логос полагается, т.е. полагается, утверждается некая смысловая объединенность. Тогда возникает т.н. суждение. Что теперь такое закон основания в суждении? Суждение нечто полагает, утверждает. На каком основании? В логосе ведь как раз это основание отсутствует. И вот, возникает необходимость сведения суждения на какое-нибудь основание. В диалектическом процессе сущее тем самым есть уже истинно-сущее, и там уже не поднимается специального вопроса об основаниях для истинности этого сущего. В формальной логике нет самоудостоверяющего эйдоса, и потому необходимым образом возникает вопрос: почему данное суждение истинно? Мы и должны были указать, что такое основание для истинности в формальном рассудке неизбежно есть нечто внешнее по отношению к обосновываемому.
Этим внешним может явиться или другое суждение, или непосредственный опыт, или вообще что-нибудь, чтó не есть это же самое суждение. Но закон основания в суждении проявляется не только так. Этим мы зафиксировали сопряженность суждений. Это самое, однако, по основному смыслу закона основания предполагает само собой и абсолютную раздельность суждений, абсолютную раздельность сопрягаемых смыслов, которые участвуют в утверждении, или полагании. Отсюда возникает необходимость статического трактования суждения, т.е. составляющих его элементов, возникает неподвижность и абсолютная уединенность и отъединенность «подлежащего», т.е. полагаемого логоса, признака «подлежащего» (момента в полагании логоса) и самого бытия того и другого, т.е. самого полагания. Отсюда общеизвестные «законы логического мышления».
Ради системы и ясности все эти рассуждения можно представить и в такой форме.
· 1) Закон основания, или логос, есть внешне-фактическое объединение абсолютно раздельных по своему смыслу A и B.
· 2) Суждение есть полагание логоса, утверждение некоей смысловой системы как сущей.
· 3) След., закон основания в отношении к суждениям, или логос суждений, есть логос полагания логоса.
· 4) Это значит, что самые полагания связаны между собой внешне-механически, будучи абсолютно различны по смыслу.
· 5) Абсолютная различность одного полагания в отношении другого полагания или не-полагания приводит к утверждению, что полагание есть полагание и не может быть в то же время не-полаганием.
Другими словами,
· бытие есть бытие,
· а небытие есть небытие;
· бытие не может быть не-бытием;
· или есть предмет или его нет;
· tertium non datur.
Это – общеизвестный закон исключенного третьего, с аннулирования которого начинается выход из формальной логики в диалектическую (пример чего находим, напр., в доказательствах Платоновского «Софиста», что бытие есть в известном смысле и небытие, и обратно).
· 6) Но если нет ничего среднего между бытием и не-бытием вообще, то нет ничего среднего между бытием и не-бытием данного A. A всегда есть A, всегда равно сумме своих признаков.
Все изменения, фактически происходящие в A, суждением не захватываются, ибо суждение есть некий мгновенный снимок с данного A, и притом не самого A, а его формальных связей с прочими вещами. Это есть т.н. закон тождества.