Descrizioni definite e forma logica