逻辑学简介：逻辑的语法算法和表达的规则

四处张望

逻辑的学术定义是推理，尤其是形式化之后根本不关心你公理系统里面的公理是否和现实或者上天对的上。现代逻辑基本上是纯粹的数学，至于二值逻辑还是三值逻辑只要数学上它们的完备性足够都行。

四处张望

唐家山 发表于 2023-3-14 13:58
/ `- R* E* C  E6 ~) W有些逻辑现在还没法形式化，比方说辩证逻辑。我曾想用时态逻辑来表示辩证逻辑，但是不成功。所以，期待楼 ...

辩证逻辑常见的处理方法是扔到概率那里去