法律逻辑学课件.ppt
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
印度因明
从古代论辩术发展而来。 先是五支论式,后发展为三支论式(宗、 因、喻)。在分析正确论证和推理的同 时,十分注重论证的“过”和反驳的 “过”。因明于唐代传入我国并得到发 展。
西 方 逻 辑
提出理 想语言 和推理 是计算 的思想 而成为 现代逻 辑的先 驱。
西方逻辑 斯多葛学派于三段论之外,研究 学创始人。 了命题逻辑。 《工具论》 6 篇奠定了 逻辑的基础。 《新工具》 针对亚氏 主要贡献是 的演绎逻 对三段论的 辑而提出 系统研究。 归纳和诉 诸自然和 经验。三 表法。
N.Rescher Topics in Philosophical Logic A.基础逻辑
1传统逻辑 2经典现代逻辑 3非经典现代逻辑
逻辑分支一览表 E.哲学发展方面
C.数学发展方面
1算术 2代数 3函数论 4证明论 5概率论逻辑 6集合论 7数学基础论
1伦理应用 a行为逻辑 b义务逻辑 c命令(祈使)逻辑 d优先逻辑和选择逻辑(效益、价值、对策 和决策的逻辑问题) B.元逻辑 2形而上学的逻辑应用 1逻辑语法学 a存在性逻辑 2逻辑语义学 b时序逻辑(时态、变化、过程逻辑) 3逻辑语用学 c部分与整体逻辑 D.科学发展方面 d本体学 a逻辑语言论和 1物理应用 e构造性逻辑(逻辑还原主义等) 自然语言逻辑 a量子论逻辑 f(唯名论与唯实论之争意义下的)本体论 b修辞学分析 b物理或因果模态理论 逻辑 c语境蕴涵 2生物应用 3认识论应用 d非形式谬误理论 a伍杰方式的发展 a问(答)逻辑 e逻辑的非古典应用 b控制论逻辑 b认识论逻辑(相信、知道、相干) 4逻辑语言学 c假设逻辑(反事实的假设推理) 3社会科学应用 a结构理论(形态学) a规范逻辑 d信息和信息过程的逻辑 e归纳逻辑 b意义理论 b价值逻辑 4归纳逻辑 C有效性理论 c法律应用 a证实和确证的逻辑 b概率逻辑
证明了狭谓词演算的 有效公式皆可证;如 果一个初等数论的形 式系统一致,则它是 不完全的;这种系统 的一致性在本系统中 不能证明,更不能用 有穷方法证明。他的 这些工作正面或反面 地,或是部分地解答 了20世纪以来数学基 础问题争论的最根本 或最重要的问题 严格的因果 陈述只是概 率陈述的极 限情况,科 学中尤其是 量子力学中 的因果概念, 并不一定要 求概率接近 具有演绎必然性的归纳推理的 于 1。一切科学陈述均是概 基础,关于逻辑概率的理论就 率陈述,科学的逻辑是取值 是归纳逻辑。它可给出假说的 为区间0~1上的全部实数的 相对于给定证据的确认度 概率逻辑 把概率作为 一个逻辑概 念来处理, 区别于以相 对频率为根 据的统计概 率。逻辑概 率是一切不
逻辑学简史
先秦名辩 名学和辩学的合称。主要指先 秦诸子关于名和辩的逻辑思想和理论, 泛指中国古代的逻辑思想。整个先秦逻 辑思想就是一个以正名为重点,包括名 、辞、说、辩在内的古代逻辑学说。
名家代表人物
《墨经》 之《小取》,是中国古典逻辑的一个
墨 子 纲要,比较集中完整地讨 论了逻辑的基本内容。墨 经》是墨家创始人墨翟思 想的发展。后期墨家在逻 辑理论方面作出了重要贡 献。他们对“故”、 “理”、“类”古代逻辑 的三个基本范畴下了明确 的定义,并对“名”、 “辞”、“说”作了深入 研究。论述了“辟”(比 喻)、“侔”(附比)、 “援”(类比)、“推” (间接的归纳与演绎)四 种形式的推理(见后期墨 家逻辑)。这些思想,在 中国古代逻辑史上占有重 要地位。
逻辑的类型
Susan Haack Philosophy of Logics 列出的逻辑的范围
Traditional Logic Classical Logic Extended Logics Deviate Logics Inductive Logics
Biblioteka Baidu
三段论 二值命题、谓词演算(狭义数理逻辑) 模态、时态、规范、认知、择优、祈使、问句逻辑 多值、直觉、量子、自由逻辑 归纳逻辑
授课教师:新闻传播系余多星,逻辑学专 业,哲学博士,研究方向:语言逻辑、逻 辑哲学等。
一、逻辑的产生与发展
逻辑简史与逻辑类型 逻辑的语源学
逻各斯、Logic、名学、辩学等。
逻辑是探求区分好论证 与坏论证的方法和规则的科 学。逻辑使人严谨。
logic—λδγo ζ (逻各斯) 原意是思想、理性、言词、规律等。 古希腊学者用这个词指称研究推理论证的学问。 在我国,古代的人们把关于“逻辑”的学问叫做“名学”、“辩 学”。近代以来,则称其为“理则学”、“论理学”等。现在,我 们通常说的“逻辑”一词,是由清末著名学者严复按英文Logic音 译而来的,并由另一著名学者章士钊先生在《逻辑指要》一书中首
“逻辑”的多义性
(1) 指客观规律。如: “任何事物都有自己发展的逻 辑”。“要研究中国革命的逻辑”。 (2) 指某种特殊的理论、观点,或看问题的方法。 如: “把侵略说成友谊,这是地地道道的强盗逻辑”。 “只许州官放火,不许百 姓点灯,这是哪一家的逻 辑?” (3) 指思维的规律、规则。如: “说话和写文章要符 合逻辑”; 又如: “这个人说话挺有逻辑的” ,指 的是符合逻辑规律。 (4) 指逻辑学这门学科。如: “学点文法和逻 辑。”“逻辑是一门基础学科”。“为了搞好管理工 作,实现科学决策,学点逻辑是 十分必要的”。
…bad reasoning well as good reasoning is possible; and this fact is the foundation of the practical side of logic. —Charles Sanders Peirce
课程目的:培养批判性思维习惯; 掌握评估论证的标准和技巧; 提高理解能力和论说水平 计划学时: 54学时 学习技巧:课堂理解 多做作业 留心应用
揭示了思维的辩 证矛盾。
批判了形式 逻辑,研究 了辩证思维, 构造了辩证 逻辑的体系。
现代归纳逻辑的发展有两个方向 : “经典”数理统计方向和 由J.M.凯因斯和F.P.拉姆齐开创,流行于50~80年代初期的 贝叶斯运动。20世纪中叶以来,美国的P.J.科恩用模态逻辑 作为处理归纳推理的工具。 科恩指出,支持度可列为不同 的等级,不同等级的支持度, 就是证据给予假设不同等级 的必然性, 一个被证明了的理论就是由较低级的必然性达 到较高级的必然性。