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