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