第一讲 形式逻辑绪论.pptVIP

西南大学逻辑与只能研究中心 ●“逻辑是什么”不是逻辑问题。 我们虽不定义逻辑是什么，但关于逻辑学有以下几种说法： 1. 逻辑学是关于论说（argument）的。 2. 逻辑学是关于推理（inference, reasoning）的。 3. 逻辑学是关于理论与信念的一致性(consistency) 的。 ● 论说 “论说”是指前提和结论的集合。 考虑下面两句话，我们能得出什么结论？ 人人都爱我的宝贝。 我的宝贝只爱我。 假如张三得出了“我的宝宝就是我”，大家同意吗？ 他的论证如下： 既然人人爱宝贝，而宝贝是人，所以宝贝爱宝贝。 “宝贝只爱我”说的是：对任何X，如果宝贝爱X，那么X就是我。 从而如果宝贝爱宝贝，那么宝贝就是我。 既然宝贝爱宝贝，所以宝贝就是我。 ● 论说的好坏 逻辑学要做的事情之一就是区分论说的好坏，或者给出一般的方法使得人们可以对论说的好坏作出判断。 ● 论说形式的好坏 一个具体论说的好坏与其前提和结论的真假无关。 企鹅都是鸟。 猴子都不是企鹅。 ————————————— ∴猴子都不是鸟。 所有猫都是人。 所有学生都是猫。 ————————————— ∴所有学生都是人。 ●论说的好坏取决于其形式的好坏。 一个论说是好的，如果它的形式是好的（没有反例）。 一个论说是坏的，如果它的形式是坏的（有反例）。 ●演绎（deduction） 对任何一个论说，如果能从前提合理地推出结论，则该论说就是好的。否则就是坏的。 演绎就是对合理性的各种要求和解释中的一种。 ●演绎的例子 据说有人曾针对古典逻辑“从假命题可以推出任何命题”这一特点向罗素（B. Russell）挑战，要他从“2+2=5”推出“罗素和教皇是同一个人”。罗素以类似的演绎作出了回应： 2+2=5 假设 2=3 等词法则 3=2 等词法则 2=1 等词法则 罗素和教皇是两个人。 事实 罗素和教皇是同一个人。 由2=1推出 ●可证性和可演绎性 如果一集命题演绎出了某个命题A，那么A就是从这集命题可演绎的（deducible）。 没有前提的演绎称为证明，无需前提就可以演绎的称为可证的（provable），说一个命题不可证即不存在这样的证明。 ●一致性（consistency）问题 逻辑上的一致性从直观上说就是不自相矛盾。 很多是后说一个理论（一集信念）是一致的，即在适当的解释下，这个理论中的所有命题都同时真； 而一个理论是不一致的，是说在任何解释下，这个理论中的命题都不会同时真。 ●不一致命题集例子 海德格尔是纳粹。海德格尔不是纳粹。 哲学家都是求真的人。 张三是哲学家。 求真的人都不喜欢神侃。张三喜欢神侃。 ●一致性、逻辑蕴涵和可演绎性的关系。 如果一个理论不一致，则对其中任何命题，该理论的其他命题一定逻辑蕴涵它的否定。 如果一个理论不一致，则对其中的任何命题，它的否定从该理论的其他命题中可演绎。  如果一个理论是一致的，则对其中任何命题，该理论的其他命题不会逻辑蕴涵它的否定。 如果一个理论是一致的，则对其中任何命题，它的否定从该理论的其他命题中一定不可演绎。 一、理发师悖论 一个男理发师的招牌上写着：告示：城里所有不自己刮脸的男人都由我给他们刮脸，我也只给这些人刮脸。 理发师应该给自己刮脸吗？ 二、说谎者悖论 公元前六世纪，哲学家克利特人艾皮米尼地斯(Epimenides)： “所有克利特人都说谎，他们中间的一个诗人这么说。” 动态认知问题 小明和小强都是张老师的学生，张老师的生日是M月N日。 2人都知道张老师的生日是下列10组中的一天，张老师把M值告诉了小明，把N值告诉了小强， 张老师问他们知道他的生日是那一天吗？ 3月4日 3月5日 3月8日 6月4日 6月7日 9月1日 9月5日 12月1日 12月2日 12月8日 小明说：如果我不知道的话，小强肯定也不知道 小强说：本来我也不知道，但是现在我知道了 小明说：哦，那我也知道了 请根据以上对话推断出张老师的生日是哪一天？ 3月4日 3月5日 3月8日 6月4日 6月7日 9月1日 9月5日 12月1日 12月2日 12月8日 小明说：如果我不知道的话，小强肯定也不知道。表明小明手上绝不会是6或12； 小强说：本来我也不知道，但是现在我知道了。