Az antinómia , amely az ókori görög "ἀντινομία" ("antinomía") "törvények közötti ellentmondást" jelenti, egyfajta logikai ellentmondás, amelyben a kölcsönösen ellentmondó állítások egyaránt megalapozottak és bizonyítottak (formális rendszerek esetében) ). Nem szabad összetéveszteni az antonímiával (két ellentétes kifejezés ellentétének szimmetriája).
Az antinómiák ebben a kontextusban a paradoxonok különleges esetei, amelyek azonnal végzetes ellentmondást okoznak abban a logikai struktúrában, amelyben megjelennek.
Általában különbséget tesznek a szemantikai antinómiák és a logikai antinómiák között. A logikai antinómiák azok, amelyek csak formális logikai okokból fakadnak. A szemantikai antinómiák olyan antinómiák, amelyek a használt kifejezések szemantikájából erednek. Nyelvi vagy nyelvtani antinómiának is nevezik őket.
A logikai antinómiák közös jellemzőjét többek között Alfred Tarski és Bertrand Russell érzékeli a „önmagához való viszonyban” vagy a „fordított viszonyban”.
Ilyen típusú antinomia például:
Az ismert logikai antinómiák leküzdésére Bertrand Russell vezette be a típuselméletet. Kritikával illetik, mert bár kerüli a Rusell-paradoxont, nem győzi le az Epimenides (a hazug antinómiája) és a Grellings paradoxonját .
Példák a szemantikus antinómiákra:
A szemantikai antinómiák megoldásának egyik módja az önreferencia megtiltása (vö. Metanyelv ).
Az olyan paradoxonok, mint Berry vagy Richard, egyszerre tekinthetők mindkét típushoz tartozónak .
A négy kanti antinómiát a tiszta ész kritikája írja le .