Закон противоречия раскрывает в отрицательной форме свойства определенности и последовательности и действует в отношении несовместимых суждений.
Формулировка закона противоречия: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере, одно из них необходимо ложно.
Закон утверждает: неверно, что а и не-а( не могут быть истинными две мысли, одна из которых отрицает другую) и выражается формулой с дизъюнкцией ~( рv ~ р)( неверно, что ~ р и р одновременно истинны). Согласно данному закону в рассуждениях не должно быть одновременных утверждений и отрицаний относительно чего бы то ни было. По этой причине закон противоречия следовало бы назвать законом запрета противоречия.
Четвертый основной закон формальной логики— закон достаточного основания.
Этот закон утверждает, что всякая мысль признается истинной, если она имеет достаточное основание.
Значение закона: любое положение, чтобы стать научной истиной, должно быть подтверждено аргументами, которых будет достаточно для признания его неопровержимо доказанным. Можно объяснить, по каким причинам имеет место данное положение, а не другое.
У логической мысли такое всегда будет присутствовать- утверждает закон достаточного основания.
Характеристика суждений
Раскрытие связи между предметами и их признаками, установки отношения между предметами, утверждения( отрицания) факта существования предмета отражается в мышлении в форме суждений. Например, в суждении « Иванов— студент » отражается связь между конкретным лицом и его признаком посредством утверждения.
Любое суждение может быть истинным либо ложным, т. е. соответствовать действительности либо не соответствовать ей.
Языковой формой выражения суждения служит повествовательное предложение.
Предложения вопросительно-риторические, содержащие утверждение или отрицание в форме вопроса, выражают суждения и могут быть как истинными, так и ложными.
Суждение о связи предмета и его признака состоит из двух понятий( терминов) суждения: субъекта( 5), отражающего предмет суждения, и предиката( Р), отражающего признак предмета. Кроме субъекта и предиката, суждение включает связку— элемент суждения, соединяющий оба термина. Связка выражается словами « есть »(« не есть »), « является »(« не является ») и т. п.