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

唐家山

四处张望 发表于 2023-3-14 12:56
7 y0 b3 i* L7 c% c* v% h逻辑的学术定义是推理，尤其是形式化之后根本不关心你公理系统里面的公理是否和现实或者上天对的上。现代逻 ...

5 Y9 C1 T  Q5 N( J9 F' E; N有些逻辑现在还没法形式化，比方说辩证逻辑。我曾想用时态逻辑来表示辩证逻辑，但是不成功。所以，期待楼主的后续。

唐家山

四处张望 发表于 2023-3-14 18:21
: n& u6 X2 b) n& d) \辩证逻辑常见的处理方法是扔到概率那里去

逻辑是很基本的东西，用概率做支撑意味着世界的底层是概率的。这种诠释可能有道理，但是不符合我的口味。

唐家山

老福 发表于 2023-3-15 10:32
2 b- N4 M0 F. ?0 q; i0 A% A: m辩证逻辑属于哲学的领域，不属于逻辑学。

( C0 p8 r' G! ~) h# t辩证逻辑只是不能形式化和公理化而已，仍然是一种逻辑。如果你特指逻辑学是现代逻辑学，那你说的没问题。