Парадо́кс в логике — противоречие, полученное в результате логически формально правильного рассуждения, приводящее к взаимно противоречащим заключениям. Термин «парадокс» возник в античной философии для характеристики нового, необычного, оригинального мнения. В логике парадокс понимается как синоним термина «антиномия» — противоречие в рассуждении, доказывающее как истинность высказывания, так и истинность его отрицания. Нередко парадокс возникает, когда два взаимоисключающих суждения оказываются в равной степени доказуемыми. Термин «парадокс» возник в античной философии (Платон, Аристотель) для характеристики нового, необычного, оригинального мнения. Парадокс выглядит как отрицание мнения, кажущегося безусловно правильным.