Attempts to formalize dialectics do exist, but it mostly stays at a word-weaving level.