Новая философская энциклопедия - закон логический

В этом случае закон тождества  (lex identitatis) истолковывается как принцип постоянства  или принцип сохранности предметного и смыслового значений суждений (высказываний) в некотором заведомо известном или подразумеваемом контексте (в выводе, доказательстве, теории). В языке логических исчислений указанная сохранность обычно выражается формулой А э А. Принятие закона тождества для суждения А не означает, вообще говоря, принятия самого А. Но если А принято, то закон тождества принимается с необходимостью для исчислений с общезначимой формулой А => (А => А). Для исчислений, включающих отрицание, это сведение абстракции постоянства суждения к принятию самого суждения имеет форму закона: (А => (А => А)) => А), т. е. если при допущении суждения для него отрицается закон тождества, то тем самым отрицается и само это суждение.

Закон противоречия (lex contradictionis) указывает на недопустимость одновременного утверждения (в рассуждении, в тексте или теории) двух суждений, из которых одно является логическим отрицанием другого, т. е. суждений вида А и —i A или их конъюнкции, или эквиваленции, или — в более широком смысле — утверждений о тождестве заведомо различных объектов, поскольку обычно правила логики таковы, что позволяют из противоречия выводить произвольные суждения, что обесценивает содержательный смысл умозаключений или теорий. Наличие противоречия в рассуждении (теории) создает парадоксальную ситуацию (см. Парадокс логический) и нередко указывает на несовместимость посылок, положенных в основу рассуждения (теории). Этим обстоятельством часто пользуются в косвенных доказательствах (см. Доказательство косвенное).

Закон исключенного третьего (lex exclusii tertii) на логическом языке записывается формулой A v-i A и утверждает, что нет ничего среднего (промежуточной оценки) между членами противоречивой пары (отсюда другое латинское название этого закона — tertium non dafur). В методологическом плане этот закон выражает конструктивно неоправданную идею о разрешимости (потенциально осуществимом указании на истинность или ложность) произвольного суждения (см. Разрешения проблема). В отличие от формулы, соответствующей закону противоречия, формула, соответствующая закону исключенного третьего, не выводима в интуиционистских и конструктивных исчислениях (см. Интуиционистская логика и Конструктивная логика), хотя и неопровержима в них. Дихотомия установленных истины и лжи неоспорима, но дихотомия утверждения и отрицания оспаривалась неоднократно. Наиболее последовательную критику закона исключенного третьего дал Л. Э. Я. Брауэр. В свете его критики этот закон следует рассматривать только как постулат (принцип) классической логики (подробнее см. Исключенного третьего закон).

Наконец, закон достаточного основания  (lex rationis determinatis seu sufficientis) выражает методологическое требование обоснованности всякого знания, всякого суждения, которое мы хотели бы принять за отображение истинного (действительного) положения вещей. В этом смысле он применим не только к выводному знанию (в частности, к аксиомам и постулатам научных теорий), но и ко всей области фактических истин, не имеющих отношения к формальной логике. Не случайно Лейбниц, который ввел этот принцип в научный обиход, относил его в первую очередь не к логике, а ко всем событиям, которые случаются в мире.

M. M. Новосёлов