Логическое противоречие
Логи́ческое противоре́чие, утверждение одновременного наличия некоторой ситуации А и отсутствия этой ситуации. В языке выражается утверждением А и не-А (А&¬А), которое является тождественно-ложным. Методологическое значение логического противоречия состоит в том, что их обнаружение в некоторой теории, основанной на какой-либо стандартной, например классической, логике, означает, что в такой теории нельзя отличить ложные утверждения от истинных, т. к. в ней из противоречия оказывается выводимым всё что угодно. Поэтому в науке важную роль играют метатеоретические доказательства непротиворечивости теорий. Впервые на важность требования непротиворечивости научного знания (в подлинно научном знании не должны одновременно утверждаться предложения А и не-А) указал Аристотель. Противоречие в некотором рассуждении или теории означает либо некорректность в применении логических правил, либо, если правила применялись корректно, противоречивость исходных посылок рассуждения. Часто противоречие вводится сознательно (преднамеренная логическая ошибка) в ходе т. н. софистических рассуждений, имеющих целью запутать противника в ходе спора, сбить его с толку.
Однако появление логического противоречия в ходе рассуждения не всегда является софистическим приёмом. Так, в косвенных доказательствах противоречие специально вводится для доказательства требуемого утверждения. В то же время в истории познания известны многочисленные случаи, когда обнаружение логического противоречия в той или иной теории затрагивало столь фундаментальные основания имеющегося знания, что вызывало его коренную перестройку. К числу таких противоречий можно отнести парадокс лжеца («Один критянин сказал, что все критяне лжецы»), парадоксы наивной теории множеств, в частности парадокс Рассела (множество и должно, и не должно включать само себя в качестве элемента) и многие другие, известные как логические и семантические парадоксы. Их обнаружение указывает на необходимость введения в теорию некоторых ограничений на способы её построения.
Наличие логических противоречий допускается в составе различных систем паранепротиворечивой логики, однако сами эти исчисления строятся таким образом, чтобы метатеоретическое свойство непротиворечивости для них сохранялось.