Towards a logical description of languages in their phonemic aspects