antinomie logické a sémantické
antinomie logické a sémantické, sporné dvojice výroků, z nichž každý je stejně přijatelný. Logické antinomie, např. antinomie třídy, která je sama svým prvkem, jsou podmíněny nedostatky strukturní povahy. Sémantické antinomie, např. antinomie lháře "to, co nyní říkám, není pravda", jsou spjaty se vztahy označování a odkazování. K řešení logických antinomií byla vytvořena teorie typů. Omezuje výstavbu formalizovaných jazyků typovým rozlišením tříd a jejich prvků; prvky jsou vždy nižšího typu. Sémantické antinomie jsou eliminovány rozlišením objektového jazyka a metajazyka. Rešení antinomie lháře je založeno na tom, že predikát "být pravdivý" není součástí objektového jazyka, ale výrazem metajazyka. V.t. metajazyk; teorie typů.
