языки, в которых не проводится четкое различие между метаязыком и объектным языком. К языкам с точно заданной структурой в указанном смысле относятся многие формализованные, но не естественные языки. Как показал А. Тарский, именно для С. з. я. характерны семантические антиномии.
Тарский А. Семантическая концепция истины и основания семантики // Аналитическая философия: становление и развитие (антология). М., 1998.