思维世界

最佳解释推理（Inference to the Best Explanation，IBE）是利普顿（Peter Lipton，1954-2007）在1991年的一部同名的著作中提出来的。  所谓最佳解...

英国作家阿加莎· 克里斯蒂在小说《尼罗河上的惨案》中，讲述了一个扑朔迷离的侦探故事。 一艘游船上接连发生了几起谋杀案，先是女富翁林内特被害，接着遇害的是她的女仆路易丝和作家奥特伯恩太太。究竟谁是凶手呢...

一天，几个朋友聚在一起聊天。其中一位出了一道题让大家解答：“在什么情况下，一加一不等于二？” 其他人听了都有些摸不着头脑：“这是脑筋急转弯吗？比如把一只猫和一只老鼠关在一起，当猫吃掉老鼠后，结果就不等...

李白出生在国外？是的，按照历史学家的考证，这位中国唐代著名的大诗人出生在今天吉尔吉斯斯坦共和国境内一个叫作托克马克的地方。原来，根据李白墓碑碑文的记载，李白的祖先是陇西（甘肃）人，在隋朝末年的时候避难...

假说演绎推理与溯因推理既有联系又有区别。 假说演绎推理是在溯因推理的基础上进行的。通过溯因推理，在已知的事实E和科学原理（如果H，那么E）的基础上推测出结论（假说）H以后，如何确定这个假说（结论）的可...

应用抽象思维的典型案例：破译密码 破解疑案的过程，是一个不断地发现信息、收集信息、整理信息、调查取证的过程，也是对众多纷繁复杂的信息去粗取精、去伪存真、由此及彼、由表及里的分析过程。一个侦探在破案的时...

演绎思维法的特点：方向性、因果性和有效性 为了正确运用这种思维方法，有必要认识和掌握它具有的特点。概括地说，它具有方向性、因果性和有效性。 演绎推理法之方向性 这种思维方法最显著的特点就是方向性，即从...

举例说明什么是演绎思维法 演绎思维方法就是从若干已知命题出发，按照命题之间的必然逻辑联系，推导出新命题的思维方法。演绎思维法既可作为探求新知识的工具，使人们能从已有的认识推出新的认识，又可作为论证的手...

回溯推理法在科学发现与发明上的应用例子 自20世纪80年代中期以来，科学家们发现臭氧层在地球范围内有所减少，并在南极洲上空出现了大量的臭氧层空洞。此时，人们才开始领悟到人类的生存正遭受到来自太阳的强紫...

回溯推理法的例子案例 回溯推理法又称为溯源推因法，有广义和狭义两种理解。 广义的回溯推理法是指根据事物发展过程所造成的结果去推断形成结果的一系列原因的整个逻辑思维过程； 而狭义的回溯推理法则是指从事物...

回溯推理思维方法最主要的特征就是因果性。 在通常情况下，由事物变化的原因可知其结果；在相反的情况下，知道了事物变化的结果，又可以推断导致结果的原因。因此，事物的因果是相互依存的，同时也是辩证的。例如，...

回溯推理法又称为溯源推因法，有广义和狭义两种理解。 广义的回溯推理法是指根据事物发展过程所造成的结果去推断形成结果的一系列原因的整个逻辑思维过程； 而狭义的回溯推理法则是指从事物的结果推断其原因的一种...

双刀论证的应用：神与石头的推理 双刀论证的应用还有一个很著名的推理，常常在网络上被一些反宗教人士谈起：“神是否可以制造一个自己搬不动的石头呢？”论证如下： 1. 如果神可以制造出来，则神不是全能的。（...

真话与假话的推理练习题 在一座岛上，住着两种人，分别是真话人和假话人。真话人只说真话，假话人只说假话。有一天，你到这座岛上观光，遇见两个人（甲和乙）。 甲对你说：“我和乙都是说真话的人。” 乙则说：“...

如何正确运用模态判断 一般来说，使用模态判断有以下两种情况： 一是用模态判断来如实反映事物本身客观存在的必然性与可能性，如“生物的新陈代谢是必然的”就是反映生物本身实际存在的必然性，这是涉及事物自身的...

模态判断之间的差等关系 差等关系是必然肯定判断与可能肯定判断、必然否定判断与可能否定判断之间的关系。两组判断的逻辑关系相同，以后一组为例，如： 其他天体必然没有生命存在（□┐p）；其他天体可能没有生命...

模态判断之间的矛盾关系 矛盾关系是必然肯定判断与可能否定判断、必然否定判断与可能肯定判断之间的关系。两组判断的逻辑关系相同，以前组为例，如： 其他天体必然有生命存在（□p）；其他天体可能没有生命存在（...

模态判断之间的下反对关系 下反对关系是可能肯定判断与可能否定判断之间的关系。例如： 其他天体上可能有生命存在（◇p）；其他天体上可能没有生命存在（◇┐p）。 二者关系是： ◇p假，则◇┐p必真；◇p真...

模态判断之间的反对关系 反对关系是必然肯定判断与必然否定判断之间的关系。例如： 除地球外的其他天体上必然有生命存在（□p）；除地球外的其他天体上必然没有生命存在（□┐p）。 二者关系是： □p真，则□...

模态判断的逻辑方阵图 当素材相同时，不同类型的模态判断之间也同性质判断一样存在着真假方面的对当关系，因此也可以用模态逻辑方阵图来表示。