主题：【原创】下棋与打仗——也谈形式逻辑与因明逻辑 -- 语迟
共:💬35 🌺11
形式逻辑不关心命题本身的含义，它只关心命题之间的演绎的规律
命题本身正确与否是应用领域的事情
从形式的角度看第一演绎过程是
A->B->C->D->E->F
第二个演绎则是
（A->F)->(非A->非F)
这个是不成立的，原命题成立否命题未必成立，这是初中几何就有的内容。
- 相关回复 上下关系8
压缩 2 层
🙂【文摘】网上察到一个笑话，是讽刺形式逻辑的。 语迟 字1298 2006-07-11 16:48:44
🙂抬扛 一里 字484 2006-07-13 01:18:37
🙂其实只要将“必然”改成“多半”(more likely)， 1 煮酒正熟 字513 2006-07-13 01:33:31
🙂形式逻辑不关心命题本身的含义
🙂我看原命题就不成立 airman 字211 2006-07-17 20:58:27
🙂可能你理解的也不对。 语迟 字72 2006-07-18 12:23:08
🙂已经说过了，具体命题的含义不是形式逻辑关心的问题 泰让 字0 2006-07-18 09:05:14
🙂什么是命题本身的含义？形式逻辑与之有什么关系？能否解释一二？ 语迟 字0 2006-07-18 12:21:03