Contradiction entre deux propositions de significations opposées ; plus spécialement, entre deux idées générales (ou abstractions) issues de la réalité.
Chez Kant, principe transcendantal contradictoire de la cosmologie, valable au plan de son argumentation logique, mais qu'on ne peut vérifier dans la réalité.
Contradiction qui surgit à l'intérieur d'une théorie naïve.[Depuis Ramsey (1926), on rétablit une distinction entre les antinomies logiques (celles de Cantor, Burali-Forti, Russell), qui mettent en jeu des concepts strictement mathématiques (ensemble, ordinal, cardinal), et les antinomies sémantiques, qui concernent des notions sémantiques comme « nommer » et « définir ».]