有哪些值得推荐的逻辑学入门读物?

查看全文
界一样,都是真实存在的世界。或者说,我们这个现实世界对于我们来说很现实,但对于另外的可能世界的居民来说,只是可能世界而已。而那些可能世界对于生活在其中的居民来说,则是现实世界。比如,在另一个可能世界里,我是一个萌妹子。那个世界对于那个身为女性的我来说,非常真实。此时此刻,那个女性的我甚至有可能在设想,会不会在另一个可能世界里,Andy Lee 是男性? 当然,也有一些哲学家认为,可能世界只是我们人类设想出来的理论模型,并不真实存在。我个人也是如此,并不认为可能世界是真实存在的世界。但这不妨碍我们认识到可能世界的重要性。要知道,为了理解现实世界,我们必须设想可能世界的状态。比如,在历史学研究中,我们经常设想,如果历史上发生了某某事件,或者没有发生某某事件,那历史会怎么改变?东风不与周郎便,铜雀春深锁二乔。如果曹操赢了赤壁之战,三国后续的历史会怎么展开?此时,我们就是在利用可能世界这个模型,设想在另一个可能世界中,曹操的确赢了赤壁之战,那他会不会将二乔收入掌中呢? 关于模态算子,我们也说到这里。接下来让我们来看第三个知识点,模糊性。 让我先来讲个故事。有一艘木船,我们将它命名为熊猫号。它每次出航回归之后,我们就用一个新零件来替换它的旧零件。就这样过了几年的时间,这艘熊猫号身上所有的零件都被替换了。那么问题来了,这艘熊猫号还是熊猫号吗? 如果问船上的水手,那么大家可能还认为它是熊猫号。这些水手和熊猫号朝夕相处,虽然它整体上换了所有的零件,从物理属性上看,已经和原来不是同一个东西了。但水手们一般察觉不到这种变化。就像人类一样,随着时间的流逝,我们不断新陈代谢,身上每一个分子都不一样了,但我们还是认为自己是同一个人,毕竟每天的变化都很少。 不过,如果我们将从熊猫号上拆下来的零件,又重新组装成一艘船,这艘船和刚刚出厂的熊猫号一模一样。那问题来了,两艘看起来几乎一样的船,究竟谁才是熊猫号呢?是伴随着水手不断出航的船?还是用零件重新组装起来的船? 关于这个问题,我也没有标准答案提供给大家。感兴趣的朋友可以再去搜索相关资料。接下来我们要思考隐藏在这个问题背后的模糊性。也就是说,我们日常生活中所说的话,大多是模糊的,不是非常精确的。比如,如果一个人身无分文,那我们说这个人是个穷人。但如果给这个人一元钱,我们还是会说他是个穷人。再给他一元钱,他还是穷人。如果把这个过程持续下去,直到给了他 100 万个 1 元钱,那此时他已经有 100 万元财产了,还是穷人吗? 穷人这个说法是模糊的,富人这个说法也是模糊的。甚至,「秃头」这个说法也