Dialettica e logica formale