2) В логике - противоречие, полученное в результате логически формально правильного рассуждения, приводящее к взаимно противоречащим заключениям.