Закон приведения к абсурду – логический закон, говорящий, что если из утверждения вытекает противоречие, то это утверждение ложно.
Например, из утверждения «Треугольник имеет четыре угла» выводится как то, что у треугольника три угла, так и то, что у него четыре угла. Это означает, что исходное утверждение ложно.
Приведенные формулировки законов логики и примеров к этим законам являются довольно неуклюжими конструкциями, и звучат они непривычно. И это даже в случае самых простых по своей структуре законов. Естественный язык, использовавшийся в этих формулировках, явно не лучшее средство для данной цели. И дело даже не столько в громоздкости получаемых выражений, сколько в отсутствии ясности и точности в передаче законов.
Мало сказать, что о законах логики трудно говорить, пользуясь только обычным языком. Строго подходя к делу, нужно сказать, что они вообще не могут быть адекватно переданы на этом языке. Не случайно современная логика строит для выражения своих законов и связанных с ними понятий специальный, так называемый формализованный язык. Этот язык отличается от обычного языка прежде всего тем, что следует за логической формой и воспроизводит ее даже в ущерб краткости и легкости общения.
К законам доказательства путем приведения к абсурду относится и принцип, говорящий, что если из утверждения вытекает противоречие, то это утверждение ложно. Например, если из утверждения «Треугольник имеет четыре угла» – выводится как то, что у треугольника три угла, так и то, что у него не три угла, это означает, что исходное утверждение ложно.
Приведенные формулировки законов логики и примеров к этим законам являются весьма неуклюжими конструкциями, и звучат они довольно непривычно. И это даже в случае самых простых по своей структуре законов. Естественный язык, использовавшийся в этих формулировках, явно не лучшее средство для данной цели. И дело даже не столько в громоздкости получаемых выражений, сколько в отсутствии ясности и точности в передаче законов.
Довольно, впрочем, примеров логических законов. Дальнейшие примеры этого рода способны создать ошибочное представление, будто логические законы существуют и могут исследоваться порознь, в какой-то независимости друг от друга и вне определенной системы.
Такое представление было характерно для традиционной логики. Современная логика, описывающая принципы мышления с помощью специально созданного для этого формализованного языка, исследует логические законы только как элементы систем таких законов. Она интересуется при этом не столько отдельными законами, сколько системами в целом.