主题：【原创】科学方法在论坛辩论中的应用 （1） -- 懒厨

这个在命题逻辑里叫蕴含，可以用->表示。这个东西太基础，对实际辩论的题目，也就是A和B本身没太大用：

1. 楼主下面也说了，“A为真”大部分都是归纳出来的，而归纳先天是不可靠的（数学归纳法除外）。比如西方人一直认为天鹅是白的，但后来在澳大利亚发现了黑天鹅。这就是《黑天鹅》这本书名字的由来。（近年还提出了“绿天鹅”，类似的还有“灰犀牛”）。概率论里的“古典概型“，也就是”等概率模型”，其基础就是“不完全归纳原理”。而这个原理又是“最大熵原理”的特例。辩论中常用的“奥卡姆剃刀”原则和这个也相关。

2. 注意上面只提到了“A为真”，那么如果“A为假”呢？是不是A->B也是假的？不是的，实际上是不确定。而逻辑学上用了一个反直觉的规定：如A为假则A->B为真。也就是说无论B是啥整句话都是真的。比如“如果西西河的版主是懒厨，则太阳打西边出来”是真的。而前面也说了，很多时候“A为真”是很难证明的，所以造成推理的意义大打折扣。

3. 所以我们实际上用的最多的是像“三段论”这样的演绎法，或者像“奥卡姆剃刀”这样基于信息论的概率方法进行讨论，所以才有”真理越辩越明“的说法，实际上就是通过辩论信息熵（也就是不确定性）越来越少的过程。

另外要提的是，逻辑的形式实际上不止我们熟悉的来自古希腊的这一种，世界上还存在另外两种逻辑体系：古印度的”因明“和中国古代的”名学“。当然这几种逻辑体系本质上应该都是差不多的。

命题逻辑的基本概念