paradox

nouns

(logic) a statement that contradicts itself
"`I always lie' is a paradox because if it is true it must be false"
is derived from
domain category
the branch of philosophy that analyzes inference
is a type of (narrower)
(logic) a statement that is necessarily false
"the statement `he is brave and he is not brave' is a contradiction"