Антонимия — понятие логико-лингвистическое. Его логическую основу образует противоположность (контрарность) видовых понятий (подклассов класса, элементов множества). Два понятия контрарны, если между явлениями, в них мыслимыми, существует наибольшее различие в пределах, устанавливаемых родовым понятием.
Антонимами в логике являются слова, выражающие противоположные понятия: демократия — диктатура, старость — детство, холодный — горячий.