Закон исключенного третьего.

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

Закон непротиворечия действует в отношении как противоположных, так и противоречащих суждений. Он устанавливает, что одно из несовместимых суждение ложно. При этом второе может быть как ложным, так и истинным.

Закон исключенного третьего действует только в отношении противоречащих суждений. Эти суждения не могут быть одновременно ни истинными, ни ложными: одно истинно, другое ложно, третьего не дано. Невозможно искать нечто среднее между утверждением и отрицанием одного и того же.

Этот закон вместе с законом непротиворечия обеспечивается непротиворечивость и последовательность нашего мышления.

Закон достаточного основания.

Всякая мысль признается истинной, если она достаточно обоснованна.

Достаточным основанием для принятия истинности мысли является другая мысль, которая отвечает двум критериям: 1) из нее логически вытекает рассматриваемая нами мысль; 2) эта другая мысль истинна.

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