精品法律逻辑学[].课件.ppt

1.1 逻辑学的对象与内容 1.1.2 逻辑学的产生与发展 古代中国：名学、辩学 古印度： 因明 古希腊： 逻辑学 1.1.3 逻辑学研究对象 推理尤其是推理形式是逻辑学研究的主体，不同逻辑系统正是由于所研究的推理及其形式不同、用于研究推理及其形式之方法的不同而形成的，逻辑的学习重点也因此而包含上述两个方面的内容。为此，首先应了解推理的种类、构成成分、以及逻辑性质等一般性知识，为进一步的学习打下基础。在这些知识当中，有关概念、命题的知识是预备知识，因为推理主要由命题构成，而命题归根结底又由概念构成。 2.1.1 词项 词项是概念及其语言形式的统一体 2.1.2 命题 命题是反映对象情况的思维形态 2.2 推理的组成部分 有价证券是物， 股票是有价证券， 所以， 股票是物 2.3 推理的逻辑性质 推理在形式方面确定前提与结论之间真假联系程度的性质 2.3.1 推理的有效性 即推理形式的有效性，指推理形式是否具有从真前提必然推出真结论的性质。 推理的内容真假与形式对错之关系 2.3.2 推理的可靠度 即推理形式的可靠度，指推理形式具有从真前提或然推出真结论的可靠程度。 2.4 推理的种类 声 光 回声 反射 响度 亮度 音调 颜色 波动性 波动性 触类旁通，举一反三 声 光 反射定律 反射定律 折射定律 折射定律 强度随距离平方 强度随距离平方 成反比 成反比 8.4.2 实验类比推理 在实验室里参照自然现象或实际对象(即原型)设计出相应的模拟对象(即模型)，然后根据两者在性质、关系、结构、功能方面的共同点进行类比，从而推出结论 类推的对象不同 类推的范围不同 类推所依据的精确度不同 结论的可靠程度不同 原型类比推理 试验模型具有属性a、b、c、d， 研制原型具有属性a、b、c， 研制原型也有属性d。 模型类比推理 自然原型具有属性a、b、c、d， 技术模型具有属性a、b、c， 研制原型也有属性d。 现代工程技术的模型试验 仿生学 形式逻辑基本规律是从不同思维形式之间共同的、本质的关系中概括出来的，包括同一律、矛盾律和排中律。三条基本规律高屋建瓴，从不同角度来表现和保证思维的确定性，具有普遍适用意义，是人们进行正确思维必须遵守的起码准则。学习时应把握其内容、适用范围和逻辑要求，并结合分析相应的逻辑错误，从而自觉地遵守和运用这些基本规律。 天气可能变冷 天气变冷是可能的 可能天气变冷 模态词的位置 模态词在前面 模态词在中间 模态词在后面 为了简便，我们采取模态词前置的方式，即以下列形式为模式： 模态词 + 命题 = 模态命题 将模态词类似于否定词来处理 真值模态命题的类型 复合真值模态命题 真值模态命题 简单真值模态命题 必然肯定命题 必然否定命题 可能肯定命题 可能否定命题 必然p □p 必然非p □? p 可能p 可能非p ◇p ◇? p 真值模态命题的真值条件 可能世界：没有逻辑矛盾，能够为人们所想象的情况或场合 之集合。现实世界属于可能世界，是实现了的一个可能世界 必然p （□p） ＝在所有可能世界中p真 必然? p （□ ? p） ＝在所有可能世界中? p真（ p假） 可能p （ ◇ p） ＝在有的可能世界中p真 可能? p （ ◇ ? p） ＝在有的可能世界中? p真（ p假） 可能世界W W2 W3 Wn (现实世界) W1 根据真值模态命题的逻辑性质，分为普遍有效式 、可满足式 和不可满足式 三种 可能世界1 可能世界2 可能世界3 可能世界n □p 反对 差等 差等 下反对 矛 矛 盾 盾 □? p ◇p ◇? p 真值模态命题的真假对当关系 逻辑方阵 反对关系 不能同真，可以同假 矛盾关系 不能同真，不能同假 下反对关系 可以同真，不能同假 差等关系 可以同真，可以同假 (上真下真,下假上假) (□p与□? p ) (□p与◇p , □? p与◇? p ) (◇p与◇?