Język (logika)