Set-Theoretic Definability of Logics