Логика с говорящим названием Informal Logic по определению исключает формальное описание.

Почему нет формального описания в диалектической логике?

Definition Formale Dialektische Logik  (DialFDLog)
Die formale dialektische Logik ist die Lehre von den wahren, falschen oder nicht entscheidbaren Schlussfolgerungen, die sich aus widersprüchlichen Aussagen und ihrer Synthese ergeben.
    Wie kann aus A und B, die sich widersprechen, ein C formal dialektisch gefolgert werden? Ich liebe (A) und ich hasse (B) dich, lebe aber mit Dir (D), wenn auch in einem ständigen Ambivalenzkonflikt (C). Rein formal kann also der Satz vom Widerspruch in der formal dialektischen Logik nicht gelten. Denn A und B (= ¬A) schließen sich - klassisch formal logisch interpretiert - aus. Setzt man A und  ¬A als zugleich wahr voraus, so ist aus einem solchen System jede beliebige Aussage ableitbar (>Popper). Ein solches System will man natürlich nicht. Allerdings legt man bei dieser Argumentation klassisch formale logische Regeln an. Nach Definition befinden wir uns aber im Gebiet der formal dialektischen Logik, wo diese Regeln nicht gelten können oder sollten. Es müssen also Regeln entwickelt werden, die verhindern, dass jeder beliebige Unsinn abgeleitet werden kann. Wobei an dieser Stelle offen ist, ob das geht. Man hat es meines Wissens nie versucht (Ausnahme Popper), weil man zu viel Angst und Respekt vor dem Satz des Widerspruchs hatte, der für dialektische Sachverhalte nicht gelten kann und darf. Es gibt vielleicht mehrere Möglichkeiten, eine dialektische Logik einzuführen. So lange aber nicht geklärt ist, ob es tatsächlich dialektische Sachverhalte gibt (These, Antithese, Synthese), kämme dies gleich, den zweiten Schritt vor dem ersten tun (> dialektischer Begriffsbaum).

Конец цитирования

--