主题：【原创】下棋与打仗——也谈形式逻辑与因明逻辑 -- 语迟
共:💬35 🌺11
考虑一下会计和算术的关系，形式逻辑类似算术，只关心加减乘除。会计需要运用这些运算，但是会计不仅仅是算数问题。一笔帐可能在数学运算上正确，但在会计上是错的。
推理和形式逻辑的关系类似这样，命题本身是否合理不是形式逻辑范围内讨论的。形式逻辑仅仅讨论逻辑演绎中很基本的原则，比如:一个命题和它的逆命题不能同时成立，又如:若A可以导出B且A为真则B亦成立。至于A导出B这个事实是否正确不在形式逻辑讨论范畴内，就象某笔帐该如何记不在算数讨论范畴内。
- 相关回复 上下关系8
压缩 6 层
🙂可能你理解的也不对。 语迟 字72 2006-07-18 12:23:08
🙂已经说过了，具体命题的含义不是形式逻辑关心的问题 泰让 字0 2006-07-18 09:05:14
🙂什么是命题本身的含义？形式逻辑与之有什么关系？能否解释一二？ 语迟 字0 2006-07-18 12:21:03
🙂用个比喻说
🙂谢谢。 语迟 字0 2006-07-18 12:51:25
🙂您的表述比我的好 1 煮酒正熟 字22 2006-07-14 00:34:04
🙂谬赞 1 泰让 字2 2006-07-14 09:46:15
🙂你理解错了，这个笑话讽刺的不是（A->F)->(非A->非F) 语迟 字30 2006-07-13 12:09:50