Что такое "абсурд" в логике?

Нечто нелогичное, нелепое, противоречащее здравому смыслу.

Абсу́рд (от лат. absurdus, «нестройный, нелепый» ; от лат. ad absurdum, «исходящий от глухого» ) — нечто нелогичное, нелепое, противоречащее здравому смыслу.

* Абсурдным считается выражение, которое внешне не является противоречивым, но из которого все-таки может быть выведено противоречие. Скажем, в высказывании «Александр Македонский был сыном бездетных родителей» есть только утверждение, но нет отрицания и, соответственно, нет явного противоречия. Но ясно, что из этого высказывания вытекает очевидное противоречие: «Некоторые родители имеют детей и вместе с тем не имеют их» .
* Абсурд отличается от бессмысленного: бессмысленное не истинно и не ложно, его не с чем сопоставить в действительности, чтобы решить, соответствует оно ей или нет. Абсурдное высказывание осмысленно и в силу своей противоречивости является ложным. Например, высказывание «Если идет дождь, то трамвай» бессмысленно, а высказывание «Яблоко было разрезано на три неравные половины» не бессмысленно, а абсурдно. Логический закон противоречия говорит о недопустимости одновременно утверждения и отрицания.
* Абсурдное высказывание представляет собой прямое нарушение этого закона. В логике рассматриваются доказательства путем reductio ad absurdum («приведения к абсурду») : если из некоторого положения выводится противоречие, то это положение является ложным.