该用户从未签到
唐家山 发表于 2023-3-14 13:58 $ o% k' g+ e6 v8 S" n/ T$ ?有些逻辑现在还没法形式化,比方说辩证逻辑。我曾想用时态逻辑来表示辩证逻辑,但是不成功。所以,期待楼 ...
使用道具 举报
唐家山 发表于 2023-3-15 12:25! s2 ?' _5 K( H 辩证逻辑只是不能形式化和公理化而已,仍然是一种逻辑。如果你特指逻辑学是现代逻辑学,那你说的没问题。 ...
手机版|小黑屋|Archiver|网站错误报告|爱吱声
GMT+8, 2024-5-17 13:09 , Processed in 0.032988 second(s), 17 queries , Gzip On.
Powered by Discuz! X3.2
© 2001-2013 Comsenz Inc.