逻辑的研究对象
当 研究思维? 前 主 研究思维的逻辑形式? 流 研究语言？ 观 点 研究推理？
思维的逻辑形式
结论：逻辑学 是研究思维的 形式结构及其 规律的科学， 中心任务是研 究推理及其有 效性标准。或 者最简单的： 逻辑学是研究 推理的科学。
逻辑形式：具有不同内容的思维（命题和推理）所共同具有的形式或结构
操作定义：用抽象字母代换命题或推理中的具体内容所得到的东西
命题的逻辑形式
S
P
一切反动派都是纸老虎 所有我班学生都是大学生
逻辑学简史 先秦名辩 名学和辩学的合称。主要指先秦诸子关
于名和辩的逻辑思想和理论，泛指中国古代的逻辑思想。整个先秦逻辑 思想就是一个以正名为重点，包括名、辞、说、辩在内的古代逻辑学说。
名家代表人物
《墨经》 之《小取》，是中国古典逻辑的一个
纲要，比较集中完整地讨
墨 子
论了逻辑的基本内容。墨 经》是墨家创始人墨翟思 想的发展。后期墨家在逻
Email： longbiaoz@
Tel： 88076305（H）
1.1 逻辑是什么
逻辑是探求区分好论证与 坏论证的方法和规则的科学。 逻辑使人严谨。
逻辑简史与逻辑类型
逻辑的语源学 逻各斯、Logic、名学、辩学等。
“逻辑”的多义性 客观规律；思维规律、规则；看问题的视角、
方法； 逻辑学等
逻辑的类型
Susan Haack Philosophy of Logics 列出的逻辑的范围
Traditional Logic 三段论 Classical Logic 二值命题、谓词演算（狭义数理逻辑） Extended Logics 模态、时态、规范、认知、择优、祈使、问句逻辑 Deviate Logics 多值、直觉、量子、自由逻辑 Inductive Logics 归纳逻辑
具有演绎必然性的归纳推理的 基础，关于逻辑概率的理论就 是归纳逻辑。它可给出假说的 相对于给定证据的确认度
严格的因果 陈述只是概 率陈述的极 限情况，科 学中尤其是 量子力学中 的因果概念， 并不一定要 求概率接近
于 1。一切科学陈述均是概 率陈述，科学的逻辑是取值 为区间0～1上的全部实数的 概率逻辑
N.Rescher Topics in Philosophical Logic 逻辑分支一览表
A.基础逻辑
C.数学发展方面 E.哲学发展方面
1传统逻辑
1算术
1伦理应用
2经典现代逻辑 3非经典现代逻辑
B.元逻辑
1逻辑语法学
2代数 3函数论 4证明论 5递归论 6集合论 7模型论
a行为逻辑 b义务逻辑 c命令（祈使）逻辑 d优先逻辑和选择逻辑（效益、价值、对策 和决策的逻辑问题） 2形而上学的逻辑应用 a存在性逻辑
辑理论方面作出了重要贡
献。他们对“故”、
“理”、“类”古代逻辑
的三个基本范畴下了明确
的定义，并对“名”、
“辞”、“说”作了深入
研究。论述了“辟”（比
印度因明 从古代论辩术发展而来。
先是五支论式，后发展为三支论式（宗、 因、喻）。在分析正确论证和推理的同 时，十分注重论证的“过”和反驳的 “过”。因明于唐代传入我国并得到发 展。
计划学时： 72或54学时 学习技巧：课堂理解 多做作业 留心应用
授课教师：胡龙彪（1971- )，外国哲学博士。学术方向为现代
逻辑与批判性思维、逻辑史、教父哲学。著有《拉丁教父波爱修 斯》（浙江大学2003年学术精品著作）、《逻辑学教程》等，在 《自然辩证法研究》、《哲学动态》、《浙江大学学报》等刊物 上发表论文10余篇。
2生物应用
3认识论应用
a伍杰方式的发展 a问（答）逻辑
b控制论逻辑
b认识论逻辑（相信、知道、相干）
4逻辑语言学
3社会科学应用
c假设逻辑（反事实的假设推理）
a结构理论（形态学） a规范逻辑
d信息和信息过程的逻辑
b意义理论 C有效性理论
b价值逻辑 c法律应用
e归纳逻辑 4归纳逻辑 a证实和确证的逻辑
b概率逻辑
2逻辑语义学
b时序逻辑（时态、变化、过程逻辑）
3逻辑语用学
D.科学发展方面 c部分与整体逻辑
a逻辑语言论和 自然语言逻辑
b修辞学分析 c语境蕴涵 d非形式谬误理论 e逻辑的果模态理论def逻（构本辑唯造体名性学论逻与辑唯（实逻论辑之还争原意主义义下等的））本体论
《新工具》 针对亚氏 的演绎逻 辑而提出 归纳和诉 诸自然和 经验。三 表法。
和推理
是计算
的思想
批判了形式
而成为 现代逻 辑的先 驱。
揭示了思维的辩
逻辑，研究 了辩证思维， 构造了辩证 逻辑的体系。
证矛盾。
现代归纳逻辑的发展有两个方向 ： “经典”数理统计方向和 由J.M.凯因斯和F.P.拉姆齐开创，流行于50～80年代初期的 贝叶斯运动。20世纪中叶以来，美国的P.J.科恩用模态逻辑 作为处理归纳推理的工具。 科恩指出，支持度可列为不同 的等级，不同等级的支持度， 就是证据给予假设不同等级 的必然性， 一个被证明了的理论就是由较低级的必然性达 到较高级的必然性。
喻）、“侔”（附比）、 “援”（类比）、“推” （间接的归纳与演绎）四 种形式的推理(见后期墨 家逻辑)。这些思想，在 中国古代逻辑史上占有重 要地位。
西
西方逻辑 斯多葛学派于三段论之外，研究 学创始人。 了命题逻辑。
方
《工具论》
逻 辑
6 篇奠定了 逻辑的基础。 主要贡献是
对三段论的
系统研究。
提出理 想语言
证明了狭谓词演算的 有效公式皆可证；如 果一个初等数论的形 式系统一致，则它是 不完全的；这种系统 的一致性在本系统中 不能证明，更不能用 有穷方法证明。他的 这些工作正面或反面 地，或是部分地解答 了20世纪以来数学基 础问题争论的最根本 或最重要的问题
把概率作为 一个逻辑概 念来处理， 区别于以相 对频率为根 据的统计概 率。逻辑概 率是一切不
…bad reasoning well as good reasoning is possible; and this fact is the foundation of the practical side of logic. —Charles Sanders Peirce
课程目的：培养批判性思维习惯； 掌握评估论证的标准和技巧； 提高理解能力和论说水平