主题:【原创】科学方法在论坛辩论中的应用 (1) -- 懒厨

大河奔流 导读 复 52 阅 15573

全看 分页 树展 一览 主题

2018-11-24 21:00:29
4377351 复 4376570
唐家山
唐家山`9330`/bbsIMG/face/0017.gif`70`49784`1996`214189`从八品上:承奉郎|御武(侮)校尉`2005-12-16 07:00:52`
懒厨兄谈到了逻辑 4

我日常工作和数理逻辑有点关系,今天有点时间,多说两句。

逻辑并不是什么高大上的东西。现代的逻辑系统,都是公理化的表示。一个逻辑系统,主要是三块,一个是逻辑符号,一个是逻辑公理,还有一个是推演规则。这些定义好了之后,只要这个逻辑系统内部能够自洽,就是不会从该逻辑系统推出两个相互矛盾的结论,那这个逻辑系统就是有效的。剩下的是两个问题,一个是逻辑系统的表示能力和判定性,这个决定了该逻辑系统是否好用。另一个是该逻辑系统和真实世界的匹配程度,这是真正复杂的。以你在文中的例子来说,要想讨论经络的物理存在性,需要对经络和物理存在都给出精确定义,才能在一个逻辑系统中证明或证否相关命题。比方说,只有 所有物理存在的东西都能用刀切断 这个命题成立,你的后续推论才能继续。所以辩论时应该双方首先对一些基本的前提达成共识,后续的讨论才是有效的。而一旦双方对基本前提达成共识后,采用何用逻辑系统反而是一个相对容易的事情。


  • 本帖 1 回复
2018-11-24 21:00:29

全看 分页 树展 一览 主题