本明治时代哲学家井上哲次郎首次将西文中的“contradiction”翻译为“矛盾”。
逻辑学上的矛盾.逻辑学上，矛盾、自相矛盾或牴触（contradiction）被更加特殊化的定义为同时断言一个命题和它的否定。这个想法基于亚里士多德的无矛盾律，它声称「你不能同时声称某事物在同一方面既是又不是」。当我们说命题S与P矛盾时，意思是二者相当于A和非A的关系，也就是S与P不能同时为真、亦不能同时为假。举例来说：「所有学生都用功」和「有些学生不用功」就是逻辑上矛盾的；另一个例子是「