Dalla logica teoretica alla logica pratica