后发展为三支论式(宗、因、喻)。在分析正确论证和推理的同时,十分注重论证的“过”和反驳的“过”。因明于唐代传入我国并得到发展。墨子证明了狭谓词演算的有效公式皆可证;如果一个初等数论的形式系统一致,则它是不完全的;这种系统的一致性在本系统中不能证明,更不能用有穷方法证明。他的这些工作正面或反面地,或是部分地解答了20世纪以来数学基础问题争论的最根本或最重要的问题现代归纳逻辑的发展有两个方向:“经典”数理统计方向和由J.M.凯因斯和F.P.拉姆齐开创,流行于50~80年代初期的贝叶斯运动。20世纪中叶以来,美国的P.J.科恩用模态逻辑作为处理归纳推理的工具。科恩指出,支持度可列为不同的等级,不同等级的支持度,就是证据给予假设不同等级的必然性,一个被证明了的理论就是由较低级的必然性达到较高级的必然性。把概率作为一个逻辑概念来处理,区别于以相对频率为根据的统计概率。逻辑概率是一切不具有演绎必然性的归纳推理的基础,关于逻辑概率的理论就是归纳逻辑。它可给出假说的相对于给定证据的确认度严格的因果陈述只是概率陈述的极限情况,科学中尤其是量子力学中的因果概念,并不一定要求概率接近于1。一切科学陈述均是概率陈述,科学的逻辑是取值为区间0~1上的全部实数的概率逻辑教学内容第一章逻辑是关于推理和论证的科学第二章命题逻辑第三章词项逻辑第四章谓词逻辑第五章归纳逻辑第六章非形式逻辑第一章逻辑是关于?推理和论证的科学第一节“逻辑”的词源和词义第二节命题分析和逻辑类型第三节推理形式及其有效性第四节逻辑学和理性精神第一节“逻辑”的词源和词义一.逻辑的古希腊词源二.逻辑学的历史与现状三.逻辑学的对象:推理和论证第一节“逻辑”的词源和词义一.逻辑的古希腊词源(一)古希腊词源一般的规律原理和规则命题,说明,解释,论证理性,推理,推理能力,与经验相对的抽象理论,与直觉相对的有条理的推理尺度,关系,比例,比率价值,分量
全文预览
