第1讲-逻辑学的中西方传统.pptVIP

* 罗素悖论(见附件2) * 问题： 用悖论知识证明“世界上没有真理”这个命题是假的。 * 答案 如果“世界上没有真理”这个命题是真的，则这个命题不是真的。因此，这个命题不是真的。 令p表示“世界上没有真理”这个命题是真的。 则上例的真值形式是 （p??p）? ?p * B Stoics/Stoa的命题逻辑 贡献： 1、命题逻辑的创始人 2、最早提出形式化概念， 表现在五条公理: CICERO S1. 如果第一，那么第二；第一；所以第二。 S2. 如果第一，那么第二；并非第二；所以并非第一。 S3. 并非既是第一，又第二；第一；所以并非第二。 S4. 或者第一，或者第二；第一；所以并非第二。 S5. 或者第一，或者第二；并非第一；所以第二。） * C Boethius的逻辑——古代逻辑的终结 安尼修斯·曼留斯·塞弗里努斯·波爱修斯（Anicius Manlius Severinus Boethius，480－524年）是欧洲中世纪所谓“黑暗时代”（Dark Ages）初期的一位罕见的、百科全书式的思想家，在欧洲哲学史上有着特殊的地位。15世纪意大利人文主义者劳伦佐·瓦拉（Lorenzo Valla）称他为“罗马的最后一位哲学家，经院哲学的第一人。” * Boethius的著作 甲 逻辑译作和注释是： 波菲利的《亚里士多德〈范畴篇〉导论》（Isagoge）及其注释两篇； 《范畴篇》（Categories）及其注释； 《解释篇》（De Interpretatione）及其注释两篇。 《前分析篇》（Prior Analytics）及其注释； 《后分析篇》（Posterior Analytics）及其注释； 《论辩篇》（Topics）及其注释； 《辨谬篇》（De Sophistici Elenchis）。 乙 逻辑论文： 《论划分》（De Divisione）； 《论直言三段论》（De Syllogismis Categoricis）； 《直言三段论导论》（Introductio ad Syllogismos Categoricos 《论假言三段论》（De Hypotheticis Syllogismis）； 《论论题区分》（De Topicis Differentiis）。 * 丙 论“四艺”的著作： 《论算术原理》（De Institutione Arithmetica） 《论音乐原理》（De Institutione Musica） 《论几何学》（De Geometria） 《论天文学》（De Astronomia） * 丁 基于逻辑论基督教教义的著作： 《哲学的安慰》（De Consolatione Philosophiae）——代表作 《三位一体是一个上帝而不是三个上帝》（De Trinitate）； 《圣父、圣子、圣灵是否从实体上指称上帝》（Utrum Pater et Filius et Spiritus Sanctus de Divinitate Substantialiter Praedicentur）； 《实体如何因存在而善，而不因实体性的善而善？》（Quomodo Substantiae in eo Quod Sint Bonae Sint cum Non Sint Substantialia Bona）； 《论天主教的信仰》（De Fide Catholica）； 《反尤提克斯派和聂斯托利派》（Contra Eutychen et Nestorium）。 * 波爱修斯在逻辑学上的成就 Liberal arts：trivium/quadrivium。（问题：三科四艺的历史） 三科四艺的意义参阅《拉丁教父波爱修斯》 pp.131-3 对Father/Son/Spirit-Trinity的定义（范畴定义、关系定义-参阅《拉丁教父波爱修斯》第四章） 基督的本性（Natura）与位格（persona）等的逻辑论证（二性一位）是逻辑第一次真正与神学相结合。（参阅《拉丁教父波爱修斯》第四章） * D 中世纪逻辑学 中世纪逻辑