形式逻辑-模态逻辑-辨证逻辑-区分

形式逻辑 vs 辨证逻辑

形式逻辑不允许自相矛盾。

辨证逻辑却可以有形式上矛盾的表达。例如：“于无声处听惊雷。（鲁迅）”

形式逻辑 vs 模态逻辑

形式逻辑的命题，其真假可以由真实世界的实际情况来确定。例如：“昨天下了雨。”

模态逻辑的命题却不能（由此真假必然确定其真假）。例如： （看到地面某处有积水）“昨天可能下了雨。” “明天可能下雨。”