Logica pragmatica e formalizzazione linguistica