ПРОТИВОРЕЧИЕ, в формальной логике - наличие (в рассуждении, тексте, теории) двух высказываний, из которых одно - отрицание другого; доказуемость конъюнкции этих высказываний или их эквивалентности; в более широком смысле - утверждение о тождестве заведомо различных объектов. Противоречие указывает либо на логическую порочность приводящего к нему рассуждения, либо на несовместимость посылок, положенных в основу этого рассуждения, - этим обстоятельством часто пользуются в опровержениях посредством приведения к противоречию и в косвенных доказательствах.
|
противоречие [противоречие] ср. 1) а) Положение, при котором одно исключает другое, несовместимое с ним, противоположное ему. б) Несоответствие чего-л. чему-л. 2) Высказывание или поступок, направленные против кого-л., чего-л.; возражение. 3) см. также противоречия.
|