基础逻辑 孙明湘.pdf

第 1 页 第 一 章 　 　 导 论 第一节　　逻辑学的研究对象 逻辑学是研究推理或证 明形式有效性的科学。 推理是从一个有限的命题集 （前提 ）中引出一个新的命题 （结 论 ）的思维过程。 例 因为如果你喜欢逻辑，则你喜欢数学。 你不喜欢数学 。 所 以你不喜欢逻辑 。 例 因为如果你喜欢逻辑，则你喜欢数学。 你不喜欢逻辑 。 所 以你不喜欢数学 。 逻辑学不关心推理活动中的心理情感、内容素材等因素，只关 心推理的前提和结论是否存在一种必然的 “推出”关系。这种 “推 出”关系，与一推理的前提或结论 的内容无关，只与该推理的结构 或推理的逻辑形式 （简称推理形式 ）相关，这种与推理形式相关的 “推出”关系就是推理形式的有效性。为了表达推理形式的方便， 上述推理二例，是从具体思维中经过整理并简化所得到的，其中跟 随“因为 ”的命 题 ，表 示 前提 ，跟 随“所 以”的命 题 ，表 示 结论 。联 结 词 “因为……所以……”表示从前提到结论可能有的 “推出”关系。 逻辑学要研 究推理形式 的有效性 ，必须首先研究组成推理形式 的 命题形式 以及命题形式之间的逻辑关系，如真假关系 、蕴涵关系 等 。命题形式 由逻辑常项和逻辑变项组成 。逻辑常项是表示或规 第 2 页 定命题或推理结构的词项，它包括命题联结词、量词和模态词等； 逻辑变项 （简称变项）是指在命题或推理的结构中可填入 的具有任 意内容的词项或命题，通常用一些符号来表示，如 ， 等 。例如： ）如果你喜欢逻辑，则你喜欢数学。 ）如 果下雨，则马路湿 。 ）如果摩擦物体 ，则物体生热 。 ）如果香蕉黄 了，则它们熟 了。 以上 四个命题都有相 同的结构，表现这类命题结构 的词是逻 辑 常项 ，即联结词“如果 ，则 ”；前后被联结 的两个命题 ，其 内容都是 不同的，即命题结构中变项，可分别用符号 表示，由于每一个 符号都表示一个简单 的命题 ，因此也称命题变项 。上述命题 的结 构为： 如果 ，则 当我们得到一推理 中表示前提和结论 的命题形式时，再加上 表示 推理 的联结词“因为 ，所 以”，我们 便得 到一推 理形式 。例 和 例 的推理形式是： ）因为如果 ，则 。 所 以非 ）因为 如 果 ，则 所以非 所谓推理形式的有效性 问题，包括两个方面：一是指推理形式 是有效 的（也称推理有效式 ），二是指推理形式是无效 的（也称推理 无效式）。一推理形式是有效的，当且仅 当具有此推理形式的任一 推理 （即其推理形式的任一推理实例 ）都不出现前提真而结论假 。 简便地说，一推理形式是有效的，即如果该推理的前提是真的，则 第 3 页 其结论不可能是假 的，也 即前提与结论有必然 的“推 出”关系（也称 蕴涵关系）；一推理形式是无效的，当且仅当具有此推理形式的任 一推理其前提真时，其结论不必然真 ，也 即相 同形式下的推理实 例，如果前提都是真的，则有的结论是真的，有的结论是假的。上 述 例 的推理形式是有效的，即无论把 换 以任何素材 的命题 ， 只要前提命题“如果 ，则 和“非 是真 的，则结论命题“非