四处张望 发表于 2023-3-14 12:569 ~( q c; o4 M
逻辑的学术定义是推理,尤其是形式化之后根本不关心你公理系统里面的公理是否和现实或者上天对的上。现代逻 ...
唐家山 发表于 2023-3-14 13:58: S* P3 a& C' k3 d$ m6 I
有些逻辑现在还没法形式化,比方说辩证逻辑。我曾想用时态逻辑来表示辩证逻辑,但是不成功。所以,期待楼 ...
四处张望 发表于 2023-3-14 18:21( C# P6 j$ d" r0 R+ j
辩证逻辑常见的处理方法是扔到概率那里去
唐家山 发表于 2023-3-14 13:585 ]0 Y" e2 ~1 }3 ^8 \9 ~( B
有些逻辑现在还没法形式化,比方说辩证逻辑。我曾想用时态逻辑来表示辩证逻辑,但是不成功。所以,期待楼 ...
老福 发表于 2023-3-15 10:32+ z* V9 X& x+ m/ B7 V/ B4 B% ]7 f
辩证逻辑属于哲学的领域,不属于逻辑学。
唐家山 发表于 2023-3-15 12:25
辩证逻辑只是不能形式化和公理化而已,仍然是一种逻辑。如果你特指逻辑学是现代逻辑学,那你说的没问题。 ...
欢迎光临 爱吱声 (http://aswetalk.net/bbs/) | Powered by Discuz! X3.2 |