Математическая логика

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

а = а_—закон тождества.

а/\д— закон непротиворечия.

^а\/ а ~ ^закон исключенного третьего.

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

Соотношение критерия практики с логическим критерием истинности заключений в умозаключении позволяет констатировать, что для проверки истинности заключений в умозаключениях не обязательно обращаться всякий раз непосредственно к практике, а можно воспользоваться логическим (т. е. относящимся к форме рассуждения) критерием.

Определяющим критерием истины служит практика. Логический же критерий истинности — вспомогательный и производный, вытекающий из практики и сам опирающийся на нее, как на окончательный критерий истинности.

3.4. Формально-логические законы и их нарушение

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

Исходным в ряду формально-логических законов выступает закон тождества. Вот почему наш анализ начинается именно с него.