《普通逻辑》

《《普通逻辑》》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、…badreasoningwellasgoodreasoningispossible;andthisfactisthefoundationofthepracticalsideoflogic.—CharlesSandersPeirce逻辑学Logic课程目的：培养批判性思维习惯；掌握评估论证的标准和技巧；提高理解能力和论说水平计划学时：72或54学时或40学时学习技巧：课堂理解多做作业留心应用联系方式：E—mail:peng-ls175@sohu.comTel：86547465（Home）1.1逻辑是什么逻辑简史与

2、逻辑类型逻辑的语源学逻各斯、Logic、名学、辩学等。“逻辑”的多义性客观规律；思维规律、规则；看问题的视角、方法；逻辑学等逻辑学简史先秦名辩名学和辩学的合称。主要指先秦诸子关于名和辩的逻辑思想和理论，泛指中国古代的逻辑思想。整个先秦逻辑思想就是一个以正名为重点，包括名、辞、说、辩在内的古代逻辑学说。第一章引论逻辑是探求区分好论证与坏论证的方法和规则的科学。逻辑使人严谨。《墨经》之《小取》，是中国古典逻辑的一个名家代表人物纲要，比较集中完整地讨论了逻辑的基本内容。墨经》是墨家创始人墨翟思想的发展。后期墨家在逻辑理

3、论方面作出了重要贡献。他们对“故”、“理”、“类”古代逻辑的三个基本范畴下了明确的定义，并对“名”、“辞”、“说”作了深入研究。论述了“辟”（比喻）、“侔”（附比）、“援”（类比）、“推”（间接的归纳与演绎）四种形式的推理(见后期墨家逻辑)。这些思想，在中国古代逻辑史上占有重要地位。印度因明从古代论辩术发展而来。先是五支论式，后发展为三支论式（宗、因、喻）。在分析正确论证和推理的同时，十分注重论证的“过”和反驳的“过”。因明于唐代传入我国并得到发展。墨子西方逻辑西方逻辑学创始人。《工具论》6篇奠定了逻辑的基础。主

4、要贡献是对三段论的系统研究。斯多葛学派于三段论之外，研究了命题逻辑。提出理想语言和推理是计算的思想而成为现代逻辑的先驱。批判了形式逻辑，研究了辩证思维，构造了辩证逻辑的体系。《新工具》针对亚氏的演绎逻辑而提出归纳和诉诸自然和经验。三表法。揭示了思维的辩证矛盾。证明了狭谓词演算的有效公式皆可证；如果一个初等数论的形式系统一致，则它是不完全的；这种系统的一致性在本系统中不能证明，更不能用有穷方法证明。他的这些工作正面或反面地，或是部分地解答了20世纪以来数学基础问题争论的最根本或最重要的问题现代归纳逻辑的发展有两个方

5、向：“经典”数理统计方向和由J.M.凯因斯和F.P.拉姆齐开创，流行于50～80年代初期的贝叶斯运动。20世纪中叶以来，美国的P.J.科恩用模态逻辑作为处理归纳推理的工具。科恩指出，支持度可列为不同的等级，不同等级的支持度，就是证据给予假设不同等级的必然性，一个被证明了的理论就是由较低级的必然性达到较高级的必然性。把概率作为一个逻辑概念来处理，区别于以相对频率为根据的统计概率。逻辑概率是一切不具有演绎必然性的归纳推理的基础，关于逻辑概率的理论就是归纳逻辑。它可给出假说的相对于给定证据的确认度严格的因果陈述只是概率

6、陈述的极限情况，科学中尤其是量子力学中的因果概念，并不一定要求概率接近于1。一切科学陈述均是概率陈述，科学的逻辑是取值为区间0～1上的全部实数的概率逻辑逻辑的类型SusanHaackPhilosophyofLogics列出的逻辑的范围TraditionalLogic三段论ClassicalLogic二值命题、谓词演算（狭义数理逻辑）ExtendedLogics模态、时态、规范、认知、择优、祈使、问句逻辑DeviateLogics多值、直觉、量子、自由逻辑InductiveLogics归纳逻辑N.RescherTo

7、picsinPhilosophicalLogic逻辑分支一览表A.基础逻辑1传统逻辑2经典现代逻辑3非经典现代逻辑B.元逻辑1逻辑语法学2逻辑语义学3逻辑语用学a逻辑语言论和自然语言逻辑b修辞学分析c语境蕴涵d非形式谬误理论e逻辑的非古典应用4逻辑语言学a结构理论（形态学）b意义理论C有效性理论C.数学发展方面1算术2代数3函数论4证明论5概率论逻辑6集合论7数学基础论D.科学发展方面1物理应用a量子论逻辑b物理或因果模态理论2生物应用a伍杰方式的发展b控制论逻辑3社会科学应用a规范逻辑b价值逻辑c法律应用E.哲

8、学发展方面1伦理应用a行为逻辑b义务逻辑c命令（祈使）逻辑d优先逻辑和选择逻辑（效益、价值、对策和决策的逻辑问题）2形而上学的逻辑应用a存在性逻辑b时序逻辑（时态、变化、过程逻辑）c部分与整体逻辑d本体学e构造性逻辑（逻辑还原主义等）f（唯名论与唯实论之争意义下的）本体论逻辑3认识论应用a问（答）逻辑b认识论逻辑（相信、知道、相干）c假设逻辑（反事实的假设推理）d信息和信