逻辑和逻辑学的区别范文1
关键词：逻辑学；通识教育；教学目标；教学内容；教学模式和方法；考核方法；
作者：王保国
笔者在《逻辑学在大学通识教育中的地位和作用》[1]一文中阐释了通识教育是目前国内外高校针对专业教育对人才培养在知识结构上的失衡而实施的对大学生的有关基本素养、思维方式和科学方法等共同内容的教育；大学通识教育通过不同课程的教育能够培育大学生的人文精神和科学素质，特别是能够使大学生的逻辑思维能力和创新能力得到极大改善，从而实现高等教育培养自由人和职业人的双重教育目标。逻辑学教育在大学通识教育中居于最重要的基础地位，对于培育大学生的问题意识、审视自省能力和创新能力起到重要作用。目前我国高校逻辑学教育处于失范状态，专业教育和非专业教育(通识教育)界限模糊，逻辑学通识教育没有引起广泛足够的重视。对照通识教育的目标要求，我国高校逻辑学通识教育教学存在诸多缺憾。笔者认为，需要从逻辑学教育教学目标、教学内容、教学模式和方法、考核方式等方面进行全方位改造。
一、对照通识教育目标逻辑学通识教育教学的现实困境
(一)逻辑学通识教育教学目标失范
逻辑学在我国的教育教学实践中分为专业教育和非专业教育，专业教育是指逻辑学专业和哲学专业的本科教育和研究生教育；非专业教育是指除逻辑学专业和哲学专业以外的其他所有专业的逻辑学教育教学，即逻辑学通识教育。逻辑学专业教育的目标定位是培养具备系统的逻辑学知识，能够从事逻辑学、哲学、计算机科学和语言学的教学、科研和应用方面工作的逻辑学高级专门人才。所讲授的逻辑学课程包括逻辑学导论、数理逻辑和非形式逻辑等内容，其中主要是现代逻辑的一阶逻辑、模态逻辑和次协调逻辑。逻辑学通识教育的目标定位是主动培育大学生的逻辑思维意识和理性精神，提高大学生的逻辑思维能力和判断能力，为更有效解决实际思维问题提供智力和方法论支持。所讲授的逻辑学课程包括形式逻辑和批判性思维，主要内容涉及日常思维中对概念的正确理解及如何正确运用概念对思维对象的属性和特征做出判断；正确认识各种不同类型判断的属性及运用判断进行推理的规则；掌握归纳推理、演绎推理和类比推理在人类认知中的方法论意义；领悟逻辑基本规律在规范人们思维、避免出现思维矛盾方面的作用以及论证和谬误的有关知识。目前在我国高校逻辑学教育教学中实际上还没有针对专业教育和通识教育的系列问题达成共识，特别是在教育教学目标和教育教学内容上没有明确专业教育和通识教育的区别，虽然有些学者提出了哲学专业的逻辑学教学和非哲学专业的逻辑学教学是不同的观点。近年来，学界讨论的突出问题还是如何统一逻辑学专业教育和通识教育。在这个问题上相继出现了具有代表性的“取代论”和“吸收论”两种观点。“取代论”是以清华大学的王路教授为代表，认为传统逻辑学内容相对简单、陈旧、单一，不能满足现代科学对思维方法的需求，应该用相对复杂和科学的现代逻辑取代传统的形式逻辑成为所有专业逻辑学教育教学的内容；“吸收论”是以西南大学的何向东教授为代表，认为“教材建设要坚持‘新’和‘全’的精神。所谓‘新’就是要吸收现代逻辑的成果；所谓‘全’就是兼顾普通逻辑和现代逻辑”。[2]当然也有学者提出了逻辑学教育教学应明确区分专业教育和通识教育。中国人民大学的陈慕泽教授认为“依据通识教育的理念，大学逻辑学课程应分为专业课和通识课”。[3]笔者认为“取代论”观点掩盖了逻辑学专业教育和通识教育的区别，用现代逻辑取代传统形式逻辑只适用于逻辑学专业教育，对于非专业教育则是行不通的；“吸收论”观点显然是在现代逻辑和传统逻辑之间寻找某种平衡，缺乏真正的创新。笔者赞同中国人民大学陈慕泽教授的观点，认为逻辑学作为培育大学生思维能力的基础课程应该区分为作为逻辑学专业、哲学专业的基础课和作为除逻辑学、哲学专业之外的其他专业的基础课，即逻辑学通识教育课。只有做出两者明确统一的区别，才能针对不同的基础课教育教学特点明确制定不同的教育教学目标，进而规范各种教学行为，结束目前我国高校对于逻辑学通识教育教学的目标定位存在分歧的现实，促进逻辑学通识教育教学的健康有序发展。
(二)缺乏统一的逻辑学通识教育教学内容体系
由于学界没有对逻辑学专业教育和逻辑学通识教育的区别达成共识，所以目前对于逻辑学通识教育教学没有统一的内容体系。一是逻辑学通识教育使用教材混乱。目前我国高校使用的逻辑学教材种类虽多，但缺乏统一的规划分类，专业教育教材和通识教育教材混杂于市场，没有明确的区分。教师选择和使用通识教材有很大的随意性，难以找到适合专业特点和学生实际的通识教育教材。二是教材质量无法保证。任何研究人员只要有资金支持都可以出版教材公开发售，教材质量参差不齐，个别教材难易差别较大，其中虽不乏个别优秀的教材，但更多的是重复出版，没有特色。三是教材内容体系大同小异。主要内容都包括传统的演绎逻辑和归纳逻辑，个别教材穿插零星的数理逻辑知识以显示其与众不同的深度，相反，对于能够澄清思维、保持思维具有清晰性作用的批判性思维内容则是一个空白。四是知识的表征缺乏创新。普遍存在重视基础概念和原理的直接阐释，缺少通过具体的思维案例引申相应的理论知识，轻视理论和具体思维的应用研究，其作为逻辑学通识教育教材，对于解决大学生面临的实际思维问题作用不大，特别是“对于帮助学生参加公务员招录考试、工程硕士入学考试、公共管理与工商管理入学考试、美国GRE等考试显得力不从心”，[4]更“没有开发出比较具有针对性和专业特色的应用逻辑学教材，造成很多不同专业都使用同样的逻辑学教材，缺乏专业针对性和使用性”，使逻辑学通识教育很难选择到适合不同专业的教材，从而影响逻辑学通识教育的效果。
(三)逻辑学通识教育教学模式和方法缺乏创新
教学模式“是指在一定教学思想或教学理论指导下建立起来的较为稳定的教学活动结构框架和活动程序”。[5]方法“是人们认识、改造世界所应用的方式和手段”。[6]教学方法是指教学过程中在一定的教学模式指导下教师和学生为实现教学目标、完成教学任务所使用的各种技术、手段和工具的总和。逻辑学在教学模式和教学方法上存在的缺陷是单一、无特色，缺乏创新，进而导致教学过程虽使用多媒体技术但不够科学，虽有学生参与环节但不能充分调动学生学习的积极性和主动性，虽有师生互动但有效性差强人意。目前逻辑学教学模式和方法与其他学科相比没有明显的区别，教学模式属于典型的“传授式”教学模式，其结构是“讲—听—读—记—练”。它的特点类似教师为演员、学生为观众的舞台表演，教师似圣贤、学生像信徒的宗教讲经布道。在这种教学模式中，教师是绝对权威者，学生对教授内容不敢质疑、不想质疑。在教学方法上仍然是以传统的教师为中心的“讲授法”、“提问法”和“论证法”为主。这种教学模式和教学方法最大的优势是教师能够把自己的意志强加给学生而不顾对象的反应，从而能够比较顺利地完成教师自己的教学计划，它的缺点是把学生变成“容器”，不管对象愿意与否、喜欢不喜欢、是否接受，强行单方面灌输，致使学生的学习变成一种被动的、强迫下的任务完成。在这种教学过程中，学生始终处于被动地位，不能充分发挥学生自主学习的积极性和主动性。另外，虽然近年多媒体技术在各种教学实践中运用普遍，但对多媒体技术的使用存在误区，认为只是用多媒体课件代替板书即可，多媒体技术的生动性、鲜活性、视觉效果作用不能被充分展现出来，对逻辑学教学的促进作用不大，从而使“教”“学”效果大打折扣。
(四)考核手段不能充分考量学生理解问题和分析问题的能力
逻辑学通识教育教学的目标是提升大学生的逻辑思维素养、认知能力和为创新思维提供前提，逻辑学考核方式和手段理应以检验受教育者是否达到上述目标为标准。而目前我国高校逻辑学通识教育教学考核方式和手段仍然以“关注知识本身的再认和再现”为主，缺乏“对知识的运用尤其是知识的综合运用能力和素质的考查”，[7]与逻辑学通识教育教学的目标要求相去甚远。主要表现为：一是逻辑学教育教学考核目标偏低。逻辑学教育者普遍认为逻辑学通识教育教学的目的是使受教育者掌握基本的逻辑学概念、原理及其简单的应用，所以在考核目标上相对重视对知识的再认和再现，对于是否真正理解和掌握逻辑的精髓重视不足，进而体现在考核时对于熟练应用逻辑学原理分析解决实际思维问题的能力测试明显不足。二是逻辑学教育教学考核不能覆盖所有逻辑学内容。由于逻辑学授课时数较少，一般情况下不能完成所有应授内容，所以考核试卷的信息量受到限制，即使勉强完成了教学任务，在考核时为了给学生减轻学习负担，往往应学生的要求缩小考试范围，因此在考核题目的设计上难以达到综合运用逻辑学知识的目的，不利于培育大学生整体的逻辑思维能力。三是逻辑学教育教学考核方法相对单一。目前我国高校逻辑学考核方法主要采用“闭卷考试”、“开卷考试”、“小论文”等几种形式，其中闭卷考试使用较多。闭卷考核方式的优点是能够较好地考查学生对所学基础概念和原理的记忆程度，缺点是这种考试形式更加强化了学生对所学知识的死记硬背和不求甚解的倾向。闭卷考试形式表面上严格、公平、公正、公开，实际上很难避免个别学生的投机取巧、弄虚作假的行为，对于遵纪守法的学生来说其实是不公平不公正的。所以闭卷考试形式对于检测大学生的所学是否达到提高其逻辑思维能力的目的作用不明显。开卷考试和小论文考核形式使用较少，但优点突出，使用恰当可以在很大程度上检验学生对所学知识的应用能力。四是考核题目过多采用传统的概念解释、简答题及论述题类型。这种题目类型重点测量的是学生对所学基本概念和原理的文字再现程度，不能反应出学生理解和实际应用知识的真正水平。因为对知识的学习从记住到融会贯通有很长的距离。
二、通识教育视阈下逻辑学教育教学改革路径设计
针对上述我国高校逻辑学教育教学所面临的现实困境，笔者经过大量的调研，提出通识教育视阈下逻辑学教育教学改革具体措施。
(一)界定逻辑学通识教育教学目标
针对目前我国高校逻辑学通识教育教学目标不明晰的现状，建议由教育行政机关比照制定大学文科数学、大学文科物理教育教学目标，制定全国规范统一的逻辑学通识教育教学目标，结束学界关于逻辑学教育的一些争论，明确逻辑学专业教育和逻辑学通识教育有不同的教育教学目标，确定“逻辑学通识教育的目标是提升大学生的基本逻辑素养，让大学生掌握一些基本的逻辑方法，以便在今后的学习工作和生活中能够自觉地运用这些方法提高效率与品质”，以区别逻辑学专业教育教学目标。逻辑学通识教育教学的目的不是直接为哲学从业者从事理论研究提供技术手段和工具，更不是培养从事逻辑学、哲学、计算机科学和数学专业的教学、科研和应用方面工作的逻辑学高级专门人才，而是通过逻辑学的教育教学使大学生能够拥有科学思想，掌握科学方法，培育科学精神；提升大学生的日常逻辑思维能力，为创新思维和创新能力的培育提供基础和前提。逻辑学是思维的“语法”，是“无用之用，万事之基”。逻辑学自西方中世纪教会作为培育人基本人文素质的七艺(逻辑、语法、修辞、数学、几何、天文、音乐)课程之一起，到21世纪的今天，一直是西方各类学校特别是高等学校培育人的思维能力最重要的基础课。大学生通过系统自觉地学习逻辑学，可以掌握现代科学的思维方式和必要的推理论证工具，形成严谨、务实、一丝不苟的学习态度，为学习其他学科、日常思想交流和揭露、批驳思维谬误提供必要的理论支持，从而提高大学生理解问题、分析问题和解决问题的综合能力，最终达到全面提升大学生思维品质的目的。
(二)统一和完善逻辑学通识教育教学内容体系
针对目前我国高校逻辑学通识教育教学内容“杂”、“乱”、“差”的现实，建议教育行政部门制定统一规范的逻辑学通识教育教学内容体系——使用教材、讲授内容、课程设置。
使用教材方面，建议由专家、教授及一线逻辑学教师组成教材编写委员会，制定统一的逻辑学通识教育教材大纲，共同编撰逻辑学通识教育教学全国或地方统一教材，结束逻辑学通识教育教学没有统一教材的现状。逻辑学通识教育教材的编写可以按照文科类与理工农医科类的不同性质分别编写文科类通用的逻辑学通识教育教学教材和理工农医科类通用的逻辑学通识教育教学教材。当然，这类教材的编写比较困难，因为教材内容对于两个类别都需要照顾不同专业学生的不同知识背景，要做到兼顾就需要了解不同专业特点的逻辑学教师参与编写，而这样的逻辑学学者相对比较少，但经过努力是可以做到的。另外教材的编写也可以标准多样化，文科类可以拆分为文史语(言)、政经法、体艺美等；理工农医科类可以拆分为理、工、农、医科四类，分别针对不同类别的学科特点组织相关专家学者和教师编撰教材，提高逻辑学通识教育教材的专业针对性。统一规范专业针对性强的逻辑学通识教育教学教材是实现逻辑学通识教育的重要一环，如此逻辑学通识教育教学才能有据可依、有据必依，告别目前逻辑学通识教育所面临的没有统一的教材规划、专业教育教材和非专业教育教材混杂于市场而没有明确区分的局面，真正做到逻辑学通识教育教学教材的标准化、科学化。
讲授内容方面，笔者认为逻辑学通识教育应该重点突出两方面的内容：一是传统的形式逻辑部分。它是逻辑学的基础知识，是人们正确思维和有效沟通的必要条件，不管什么专业的学生都需要学习和掌握。主要内容应该包括：1.概念部分。主要讲授概念的逻辑属性、概念之间的外延关系、明确概念的逻辑方法——定义、划分、限制与概括。2.性质判断部分。重点讲授直言判断的特征、性质判断主谓项的周延性、同素材的A、E、I、O四种性质判断之间的对当关系——逻辑方阵。3.复合判断部分。应该清楚各种复合判断的逻辑特征、各种复合判断的真假值、三种复合判断的负判断及其等值判断。4.推理部分。重点讲授演绎推理中的三段论推理、选言推理、假言推理和归纳推理，了解类比推理。5.逻辑基本规律部分。重点是同一律、不矛盾律和排中律的逻辑要求及违反要求所犯的逻辑错误——它们是日常思维的基本规律，是正确思维和有效交流的保证。二是批判性思维部分。按照麦克派克(MacPeck)的定义：批判性思维(CriticalThinking)是“反思的倾向和技巧”。逻辑与批判性思维密不可分，“逻辑的重要价值本质地表现在批判性思维中，因为逻辑对于批判性思维，不仅具有方法的意义，而且具有原则的意义”。[8]批判性思维教育已成为目前世界各国教育改革的主要诉求。“过去20年间，批判性思维教育已变成美国教育机构大力倡导的目标。”[9]“在加拿大，几乎所有的大学都开设批判性思维的相关课程，在澳大利亚，每位大学生都必须通过批判性思维能力的测试才能毕业。”[8]相比之下，在我国高校的教育教学中，批判性思维课程的开设还是处于刚刚起步阶段，学界及教育行政机关应尽快形成共识——批判性思维教育能够“引导我们树立深思熟虑的思考状态，尤其是理智的怀疑和反思态度；帮助我们养成清晰性、相关性、一致性、正当性和预见性等好的思维品质；培养我们面对相信什么或者做什么而做出合理决定的思维技能。批判性思维是帮助我们过健康的精神生活、提高学习质量和工作效率的工具”。[10]同时，在逻辑学通识教育教学中实施批判性思维教育，能够提升大学生的反省意识和批判能力。特别是中国的传统思想中缺乏逻辑与批判性思维的元素，人们逻辑观念淡薄，缺乏批判性思维意识。所以，在中国高校对大学生实施批判性思维教育就显得弥足珍贵。关于批判性思维教育的内容学界见仁见智，笔者认为至少应包括论证(主要是演绎论证和归纳论证、论证的可靠性和论证的谬误、论证和解释)、推理(主要是推理的种类和推理的有效性)、问题(主要是理解问题、恰当提出问题和辨别问题的谬误)、理由(主要是辨识理由、论证理由和辨别不正当的理由)和语言意义澄清方法等几部分内容。
课程设置方面，逻辑学通识教育教学的课程设置包括课程的性质、课程的教学时数和教学安排。目前逻辑学课程在我国高校作为专业教育在哲学专业和逻辑学专业开设；作为通识教育只是思想政治教育专业、中文教育专业和行政管理专业的必修课程。由于受到教学力量限制和其他因素的影响，应该学习逻辑学的专业，如法学、历史学、艺术类专业，很多学校无法正常开设，其他更多专业的学生不知道逻辑学为何物。我国高校逻辑学教育教学现状与以美国为首的西方国家的高校各个专业普遍开设逻辑学与批判性思维课程的现实差别很大。为了与世界接轨，重估逻辑学在现代高等教育中对培育大学生思维品质、提升批判性思维技能的价值，正确认识逻辑学的作用，进一步提升逻辑学的地位，建议教育行政机关将逻辑学通识教育教学纳入高校公共理论课的教学范围，在各个高校成立公共逻辑学理论教研室，负责各高校的逻辑学通识教育教学，从而改变目前逻辑学课程的选修性质，结束其教育教学可有可无、现实地位与其实际作用不相符的尴尬局面。届时所有的在校大学生都能接受逻辑学的学习和训练，真正做到逻辑学教育教学通识化，逻辑思想惠及所有专业的大学生，使逻辑学真正成为各个高校所有专业的必修课，实现逻辑学学科的大发展和大繁荣，促进大学生思维水平迅速提升。对于逻辑学讲授课时，据笔者所了解的情况，目前我国高校除个别专业(如思想政治教育)外，作为通识教育教学的逻辑学课程一般是以选修课的形式出现，课时在32—36学时之间，即使作为必修课也只有48学时。这些课时对于具有抽象特点、需要深刻理解和反复训练才能掌握的逻辑学知识来说显然是太少了，教学过程只能做到蜻蜓点水、根本无法保证使学生做足够的思维训练，达不到通识教育教学的目的。如果逻辑学通识教育教学被纳入高校公共理论课的教学范围，笔者建议课程学习期限为一学年两个学期，课时应达到96学时。这样一学期学习传统的形式逻辑部分，一学期学习批判性思维部分，学习过程才可能有比较充足的时间进行理论的实践训练，达到学习目的。在学期安排上，以笔者多年的教学实践经验，认为一年级学生缺乏相关的社会科学和自然科学的知识，对于理解逻辑学概念和原理有一定障碍；四年级学生面临毕业，就业的压力使他们无暇认真学习各门课程，所以最好把逻辑学课程教学计划安排在二年级或三年级。
(三)践行抛锚式教学模式和以自主学习为主的教学方法
目前我国高校逻辑学教学模式主要是传统的“传递—接受”式，这种教学模式以向学生传授系统的知识、培养学生基本技能为目标。该教学模式主要强调教师在教学过程中的主导作用，特别注重教师的权威性，而忽视学生在学习中的主体地位，认为教学过程是知识由教师到学生的一种单向传递过程。这种教学模式可以使学生在短时间内接受大量的知识信息，但学生对接受的知识信息很难真正地消化和理解，且容易培养学生单一化、模式化的人格，不利于培养学生的创新思维、分析问题和解决问题的能力。这种教学模式与逻辑学通识教育教学的目标相悖，必须加以改变。
抛锚式教学模式是以建构主义为理论指导思想，在教学过程中，教师主导和学生主体相结合，以学生为中心，教师在整个教学活动中起到组织者、指导者、协调者、启发者的作用，同时也是学习伙伴。建构主义认为，学习者要想完成对所学知识的意义建构，即达到对该知识所反映事物的性质、规律以及该事物与其他事物之间联系的深刻理解，最好的办法是让学习者到现实世界的真实环境中去感受、去体验(即通过获取直接经验来学习)，而不是仅仅聆听别人(例如，教师)关于这种经验的介绍和讲解。抛锚式教学模式就是通过教师创设情境、确定问题，学生自主学习、协作学习和教师效果评价来完成教学任务的。这种教学模式通过学生对具体情境问题自主的认知达到对所学知识的意义建构的目的。在这种教学模式中“学生的学习内容和学习过程是真实的，所学结果具有较高的迁移性，从而使学生的学习变得有意义”。[11]这时教师的角色由过去知识的单向传授者转变为学生主动建构知识意义的协助者和参与者，教师不再具有绝对的权威性，而是与学生处于平等地位的环境中；此时的学生将学习抛锚于某一具体创设情境中，可以通过自主学习与合作学习，充分调动学习的积极性、主动性和创造性，最终达到学习的目标。这种教学模式有利于培育学生的各种实践能力，特别是分析问题、解决问题的能力和思维能力，尤其是逻辑思维能力、批判性思维能力和创新思维能力，这些能力都是学生实现自我可持续发展的必备条件，是逻辑学通识教育教学的目的。
为实现抛锚式教学模式的教学目标，需要有与之相应的教育教学方法。目前学界比较认同的教学方法主要有搭建脚手架教学法、镶嵌式教学法、自主学习法和协作学习法。抛锚式教学并不是教师把现成的知识直接传授给学生，而是在学生学习知识的过程中当学生遇到问题时教师即向他们提供搭建脚手架式的援助：鼓励学生运用他们的直觉接近问题，进而向他们提供获得进步所必须的援助。这种援助包括在课本和其他的信息源中发现相关的材料，或鼓励学生相互学习，以达到尽快解决问题的目的。抛锚式教学模式是以学生为中心，教师为辅助，但在这种教学模式中教师的作用不是降低了，而是更重要了。在学生对问题自我认知出现知识不足时，这时，教师就可以从学习的需要出发组织有关知识信息的教学活动，即“镶嵌式教学”，以排除学生学习中的障碍，顺利进行知识构建。自主学习是抛锚式教学模式的主要方法，建构主义认为“知识不是通过教师的讲授得到，而是学习者在一定的文化背景下，借助他人(包括教师和合作伙伴)的帮助，利用必要的学习资料，通过意义建构的方式获得。成功的学习并非取决于教师的讲授，而是取决于学习者的自主或协作探究”。[12]自主学习昭示着学习是学习者自己的事情，学习者是学习的主人，学习是“自己做主”的主动性学习，主动性和自觉性是自主学习的本质属性。特别是逻辑学的教学，各种概念和理论比较抽象，更需要学生通过自主学习真正理解和掌握。在这种学习过程中，学生遇到问题除了向老师寻求必要的帮助外，同学间的互助和协作更是不可缺少的。通过学生间的信息互动，可以激发学生的创新思维能力，从而提高学习效率，增强学生的自主学习能力，真正成为学习的主人。同时通过协作学习，可以培养学生的协作技巧和人际交往能力，增强学生之间差异的包容能力和责任感。
多媒体计算机辅助教学方法近年得到普及和发展，它的最大优势是能够克服在传统单纯的粉笔加黑板教学模式中无法使一些语言、图像、影像、声音、文字在教学课堂现场展示的缺点，通过计算机实现多种教学媒体的组合，能够充分调动各种教学资源，实现教学效果的最优化。在抛锚式教学模式的各种教学方法中恰当利用多媒体计算机辅助工具可以有效快捷地实现逻辑学教学目的。但在使用多媒体计算机辅助教学方法时应注意几点：一是多媒体计算机只是教学工具不能代替教师的亲自讲授。教师不能只是在课堂上向学生展示其教学课件，使讲授成为次要的补充。二是多媒体计算机技术展示的应该只是无法板书的图像、影像、声音、特殊的文字等内容，不是所有的教学内容，课堂教学必须以教师的讲授为主，多媒体计算机课件只是为教师的讲授服务。三是合理选择和运用现代教学媒体，但不是抛弃传统教学手段，而是根据教学任务、教学目标和教学对象的特点合理使用恰当的教学工具，不是任何教学内容都必须使用多媒体计算机技术，以最好的手段达到教学目的才是根本。四是多媒体计算机教学课件的制作不能单纯追求形式美观，应以能够充分发挥学生的潜能，调动学生学习的积极性和主动性，强化教学效果，提高教学质量为核心。五是多媒体计算机教学课件的内容应该是课堂教学的重点和难点部分，通过多媒体具有的声、光、电的强大功能，完成所授重点和难点内容的讲解。总之，多媒体计算机辅助教学方法在逻辑学通识教育教学中被恰当合理使用能够发挥传统教学方法和手段无法比拟的教学效果。
(四)“形成性考核”与“终结性考核”相结合，取代传统的考核方式
逻辑和逻辑学的区别范文2
一、逻辑哲学不是逻辑学
大多数学者认为，逻辑哲学从学科性质来分是逻辑学与哲学的交叉学科，是两者相互渗透的产物，是哲学的新分支之一，因此，逻辑哲学不是逻辑学，而是哲学。一般认为逻辑学是研究纯粹理念的科学，所谓纯粹理念就是思维的最抽象的要素所形成的理念。逻辑学的研究对象是真理，是认知思维，是人的思想。根据英国著名哲学家哈克的理解，从研究的范围来看，逻辑是关于形式逻辑系统的形式特性的学科。它通常包括形式逻辑系统的一致性、完全性或可判定性的证明或证伪）。逻辑哲学也同形式逻辑系统的问题有关，然而是同哲学问题有关，而不是同纯形式问题有关。逻辑哲学并非完全从事于形式逻辑的问题；非形式推论，形式系统与非形式推论二者间的关系也包括在逻辑哲学所研究的范围之内。形式系统的发展确实极大地增加了逻辑研究的深度与精确度；但是，非形式推论的研究对形式系统的发展往往是不可缺少的前提，同时，系统化的非形式推论的成就也是检验形式系统有用性的试金石。
从逻辑学发展的历史和现实来看，学者们对逻辑的涵义仍有不同的理解。首先，逻辑指经典逻辑，即二值的命题演算与谓项演算，在某种意义上也可以叫数理逻辑，这是最“标准”、最“正统”的逻辑，也是最狭义的逻辑。其次，逻辑还包括现代非经典逻辑，也就是所谓的哲学逻辑，即哈克所讲的扩的逻辑与异常的逻辑。再次，逻辑还包括传统演绎逻辑，它是以亚里士多德逻辑为基础的关于非模态的直言命题及其演绎推理的直观理论，其主要内容一般包括概念、命题、推理、证明，特别是三段论等。尽管关于逻辑的涵义和研究对表述不一，存在争议，但基本上可以从广义的和狭义的两类概念去理解。广义的逻辑是指研究思维形式、逻辑基本规律及简单的逻辑方法的科学。而狭义的逻辑是指研究推理有效性的科学，即如何将有效的推理形式从无效的推理形式中区分开来的科学，其中心问题是区别有效论证和无效论证，“逻辑的形式系统则为论证的有效性提供严格的工具和纯形式的标准”。狭义逻辑的形式系统力图把“非形式论证”形式化，力图用精确、严格和概括的名称来表述它们。“逻辑学家总在逻辑论著中直接提出他的公理系统，而决不告诉你他是怎么得出这套公理系统的。然而，逻辑哲学则要研究形式体系如何创立的问题，创建、调整过程的一般特征，直觉在这一过程中的定向、引导作用等。”
二、逻辑哲学不是哲学逻辑
从概念产生时间看，哲学逻辑要远远早于逻辑哲学，而且两者在研究的内容上多有重叠之处。因此，经常有人将两者等同，认为哲学逻辑就是逻辑哲学。但从目前国内外学者的研究情况来看，大多数学者认为应当将逻辑哲学和哲学逻辑区分开来，逻辑哲学并不是哲学逻辑。二者不能同等对。哲学逻辑主要是由逻辑学发展中相关的哲学探讨而引起的现代逻辑的一些分支，这方面的研究实质上预示着一个新的逻辑学科群体的产生，其特征是以某些传统的哲学理论、概念、范畴和方法为对象所进行的现代逻辑的研究，它是关于某些传统哲学范畴的形式理论，因而，它本质上属于逻辑学。最早明确使用“哲学逻辑”一词的是罗素，他在《我们关于外在世界的知识》一书中指出：“数理逻辑，除了它的初创形式之外，就连最现代的形式也不直接具有哲学上的重要意义。
在初创以后，它就属于数学而不属于哲学了。我将要扼要论述的，是数理逻辑的初创形式，只有这个部分才真正称得上哲学逻辑。往后的发展，尽管没有直接的哲学意义，但是对哲学研究有很大的间接用处。”但罗素并没有给哲逻辑学以明确的定义，逻辑哲学和哲学逻辑的关系如何，一直是学者所争论的问题，部分学者认为逻辑哲学就是哲学逻辑，英国牛津大学讲师A.C.格雷林（Grayling）在其出版的《哲学逻辑导论》一书中指出，哲学逻辑的研究是围绕语言问题展开的，它的基本概念为命题、分析性、必然性、存在性、真理性、意义和指称等，而其目的则在于通过语言的分析更好地理解思维和世界。虽然逻辑哲学有时候在一定的场合也被理解或者说涉及到哲学逻辑，但是它实际上是指与解决哲学范畴和方法相关的现代逻辑的一个学科群，大概可以包括：模态逻辑、时态逻辑、道义逻辑、多值逻辑、概率逻辑、自由逻辑、相干逻辑、直觉主义逻辑、存在逻辑、问句逻辑、问题逻辑、对话逻辑、认识论逻辑、命令逻辑、优先逻辑、行动逻辑、部分与整体逻辑、本体论逻辑、信息与信息过程逻辑、量子逻辑、归纳逻辑等。
北京大学哲学系陈波教授在其相关论著中，也明确主张严格区分哲学逻辑与逻辑哲学。他认为哲学逻辑是20世纪20-40年代开始兴起，50-70年代蓬勃发展的一个新兴逻辑学科群体。它们以数理逻辑为直接基础，以传统的哲学概念、范畴以及逻辑在各门具体学科中的应用为研究对象，构造出各种具有直接哲学意义的逻辑系统。逻辑哲学则是哲学。然而，哲学逻辑作为逻辑的形式系统，本身也提出了许多哲学问题，成为逻辑哲学的研究对象，因而，哲学逻辑与逻辑哲学又有着密切的联系。
逻辑和逻辑学的区别范文3
论文摘要：逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。?
逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：?
（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“ 台湾 不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。?
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。?
（三）指派真和赋值真。在逻辑学中（特别是在 现代 逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。?
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：p或者非p中不管变项p赋真值或是假值，这个公式都是真的。?
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。?
在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他 科学 中也有这些意义上的真的表现，就被称为逻辑真理。?
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。?
恩格斯认为：全部 哲学 特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？?
关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本 规律 （矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。?
莱布尼兹是 现代 逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。?
基于莱布尼兹的推理真理和事实真理的对立，在康德的 哲学 中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑 规律 的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果， 发展 从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得 科学 化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。?
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。?
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。?
马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。?
第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：a、b是逻辑真命题，那么a并且b、如果a那么b都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。?
逻辑和逻辑学的区别范文4
从20世纪50年代开始,哲学逻辑和逻辑哲学的研究在国际哲学界、逻辑学界蓬勃兴起,国内逻辑学界也于上世纪80年代开始,介绍、引进国外哲学逻辑和逻辑哲学的研究成果,目前对哲学逻辑与逻辑哲学的研究,从总体上讲,国内仍处于消化、吸收并尝试进行创造性研究阶段。哲学逻辑和逻辑哲学这是两门密切相关的学科,二者都是现代哲学与现代逻辑相互渗透的产物,但它们是两门不同的学科,有着不同的研究对象与范围。然而,由于“哲学逻辑”至今是一个充满歧义的词,不同的学者对它有不同的理解,并在很不相同的意义上使用它,冠以“哲学逻辑”之名的书籍五花八门,因而,和逻辑哲学在词义上发生了混乱。为了进一步推动哲学逻辑与逻辑哲学的研究,促进这两门新兴学科的确立与完善,因此,有必要对哲学逻辑的精确涵义及与逻辑哲学的关系作一番梳理与辨析。
一 哲学逻辑词义的历史演变
最早[论\文\网 lunwennet\com]明确使用“哲学逻辑”一词的是英国著名数学家、哲学家、逻辑学家罗素。他在《我们关于外在世界的知识》一书(1929)中,指出:“数理逻辑,除了它的初创形式之外,就连最现代的形式也不直接具有哲学上的重要意义。在初创以后,它就属于数学而不属于哲学了。我将要扼要论述的,是数理逻辑的初创形式,只有这个部分才真正称得上哲学逻辑。往后的发展,尽管没有直接的哲学意义,但是对哲学研究有很大的间接用处。”①他还认为,哲学逻辑的真正对象乃是为各种命题和推理所共有的逻辑形式,哲学逻辑乃是对逻辑形式的研究。以往的哲学由于被语言表面的语法形式所蒙骗,未能认清其隐藏着的真正的逻辑形式,而犯了许多重大的哲学错误。
可见,罗素对“哲学逻辑”一词的词义只给予了初步界定,而未加阐释。后来的英国著名学者斯特劳森赋予了“哲学逻辑”以明确的含义。1967年,斯特劳森编辑出版了一本题为《哲学逻辑》的文集,该文集收入了弗雷格、格拉斯等学者的相关论文,他为此书撰写了一长篇序言,在序言中,斯特劳森阐述了他对哲学逻辑的观点。他把整个逻辑领域区分为两部分:“逻辑是关于命题的一般理论。它有形式的部分和哲学的部分。”分别叫形式逻辑和哲学逻辑。在他看来,形式逻辑研究命题之间的可演绎关系或蕴涵关系,它要以系统的方式排列有关这种蕴涵关系的各种规律;而哲学逻辑则要研究形式逻辑产生的哲学背景和哲学预设,以及由此引出的一系列哲学问题,例如: 究竟什么是命题? 说一个命题为真是什么意思? 命题联结词的准确性质,特别是出现在条件命题中的蕴涵的准确性质是什么? 意义概念应当怎样加以分析? 真理概念和分析性概念应当怎样加以分析? 指称和述谓( ( predica2tion)的区别与联系是什么? 哲学逻辑学家要回答这些问题,就必须回答有关语言和各种语言表达式的性质与功能等问题。因此,需要进一步研究这样一些问题:实际的言语活动模式;意义理论;语言交际的特性与条件,等等。②
很明显,在斯特劳森那里,“哲学逻辑”其实质不是逻辑,而是某种形式的哲学,是对与逻辑有关的哲学概念和哲学问题的仔细探究,它的成果和方法有直接或,间接的哲学意义。在斯特劳森观点的影响下,英国哲学家大都在哲学意义上使用了“哲学逻辑”一词。例如,格雷林在《哲学逻辑引论》一书中指出:“哲学逻辑是哲学,尽管它是提供逻辑学知识,对逻辑问题很敏感的哲学,但它是哲学。”他甚至认为,在“哲学逻辑”这一名词中,“逻辑”这一字眼的作用会引人误解,因为,哲学逻辑并不是关于逻辑的,也不是逻辑学。正是基于这些看法,格雷林的《哲学逻辑引论》所研究的主要是:命题;必然性、分析性与先验性、存在、预设与摹状词、实在论与反实在论, ③等等。与格雷林同为英国牛津大学讲师的沃尔夫拉姆在1989年出版的《哲学逻辑导论》一书中,沃尔夫拉姆也阐述了他对哲学逻辑的看法。在他看来,哲学逻辑是关于论证、意义与真理的研究,它的主题与形式逻辑相关,但其研究对象不同,它不像形式逻辑那样处理有效论证,它只检验已经建构好的逻辑系统中的基本概念。根据这种观点,沃尔夫拉姆在书中主要研究了指称与真值、必然真、分析与综合、存在与同一、意义问题,等等。④在由联合国教科文组织筹划,法国哲学家保罗·利科主编的《哲学主要趋向》( 1979)一书中,所沿用的都是这种意义上的哲学逻辑概念。
然而,数理逻辑诞生以来,数理逻辑成果被广泛运用,大批应用逻辑分支如同雨后春笋般地涌现出来,很多哲学家与逻辑学家关注了这一情况,赋予了哲学逻辑以逻辑的含义。众所周知,在逻辑发展史上,莱布尼茨最早提出了创立数理逻辑的理想,他为此付出了艰苦的努力,却未能获得成功。
1930年哥德尔证明了谓词演算的完全性,数理逻辑才算真正创立。但是,有一部分逻辑学家不满意已有的数理逻辑系统,认为它们存在严重的“缺陷”和“不足”,于是着手“修改”或“扩充”已有的一阶逻辑。他们或者创立了一些修正以至替代它们的新逻辑分支,例如直觉主义逻辑,相干和衍推的逻辑,多值逻辑,自由逻辑等等,或者应用已有的一阶逻辑工具于哲学、语言学等专门领域,创立了带有浓厚应用色彩的多种逻辑分支,例如,模态逻辑、时态逻辑、道义逻辑、认知逻辑等等。
这些新的逻辑系统或分支在20世纪20—30年代开始出现,在50—70年代繁荣兴旺起来,以至最后形成了一个新兴的逻辑学科群体。⑤因此,相当的学者越来越倾向于用“哲学逻辑”一词专指这个新兴的学科群体。例如,美国逻辑学家莱斯彻在1968年出版的《哲学逻辑论集》中阐述了他对哲学逻辑的看法。他指出,现代逻辑的发展有两个方向:一是数学方向,即数理逻辑,它是现代逻辑发展的主流;另一个方向则是哲学逻辑,它是对一些相关的哲学领域,比如本体论、认识论领域、伦理道德与规范概念等的逻辑研究,这些研究的共同特点是它们与数学并无直接联系,而往往具有较为明显的哲学背景与哲学意义,故称为哲学逻辑。⑥在他看来,模态逻辑、时态逻辑、道义逻辑、认知逻辑等等,就是哲学逻辑研究的主要内容。他所构造的哲学逻辑就是由这些研究内容所组成的学科群体。
关于哲学逻辑的词义,也有许多学者是在哲学与逻辑的双重意义上来使用。例如,柯比和古尔德合编的《当代哲学逻辑》以及冯. 赖特的论文集《哲学逻辑》都属于这一类型。在他们看来,哲学逻辑既指对逻辑所产生或引起的哲学概念和问题的哲学研究,也指这种研究所建立起来的新的逻辑。前者是非形式的,后者则是用形式化方法构造的形式系统。恩格尔则把前者叫做“非形式的哲学逻辑”,后者叫做“形式的哲学逻辑”。
二 哲学逻辑对象的界定
根据上述对哲学逻辑词义的历史考察,关于哲学逻辑的词义,国外学者是在三种不同的意义上使用的:一是哲学逻辑是哲学,是一门与逻辑有关的哲学学科,它研究由逻辑所引起或,提出的哲学问题;一是哲学逻辑是逻辑,它是与哲学有关的逻辑学科,研究具有较为明显的哲学背景与哲学意义的概念的逻辑问题;一是哲学逻辑既是哲学,又是逻辑。
仔细考究这些关于哲学逻辑词义的不同看法,可知其原因是未能把哲学逻辑与逻辑哲学这两个不同的概念区分开来所致。我们知道, 20世纪现代逻辑与现代哲学发展的一个重要特征是两者的相互渗透,由此出现了“哲学的逻辑化”与“逻辑的哲学化”两大趋势,并进而形成了“哲学逻辑”与“逻辑哲学”等新兴的交叉学科。⑦哲学的逻辑化趋势主要表现在现代西方分析哲学和语言哲学的兴起,芬兰最著名的哲学家、逻辑学家冯·赖特在其名著《20 世纪的逻辑和哲学》中指出:“20世纪哲学最突出的特征是逻辑的复兴,它是哲学发展的发酵剂。这一复兴是从本世纪开始的。最初以剑桥和维也纳为中心,后来扩大到整个分析哲学运动,这一复兴与之交汇,这是逻辑学登上哲学舞台的标志。”20 世纪以来,哲学的主要问题和研究对象既不是本体论,也不是认识论,而是语言问题,哲学研究的一般方法就是语言分析,而语言分析的基本工具就是现代逻辑,因此,在国际哲学界形成了哲学的逻辑化趋势,在这种趋势下,对一些哲学概念进行精细的逻辑分析成为一些学者关注的热点,哲学逻辑也就应运而生。逻辑的哲学化趋势是在现代逻辑的基础上,在对逻辑的哲学反思中形成的,主要表现为对逻辑本身的整体性的哲学思考或研究以及对逻辑特别是现代逻辑发展中的一些具体问题的哲学分析。由于现代逻辑本身是一个不断发展的学科群体,也由于现代逻辑发展中的哲学问题并不是一成不变的,还由于不同的研究者可以有不同的研究视野,因此,逻辑的哲学化趋势是多元的。当哲学逻辑与逻辑哲学刚登上学术舞台的时候,我国年轻学者陈波就密切关注其研究动态,在国内介绍并引进国外学者在哲学逻辑与逻辑哲学研究上的成果,并在一系列相关论著中,明确主张严格区分哲学逻辑和逻辑哲学。
在我看来,哲学逻辑是逻辑,是20 世纪20 - 30 年代开始兴起, 50～70年代蓬勃发展的一个新兴逻辑学科群体,它们以数理逻辑(主要指一阶逻辑)为直接基础,以传统的哲学概念、范畴以及逻辑在各门具体科学中的应用为研究对象,构造出各种具有直接哲学意义的逻辑系统。逻辑哲学则是哲学,它在逻辑和哲学中都具有自己的起源,因而包括两部分内容:首先,逻辑哲学要研究逻辑学本身所提出的一系列哲学问题,例如逻辑究竟是什么,蕴涵与推理有效性的关系,逻辑真理和逻辑悖论等等;其次,逻辑哲学还要研究如何在哲学研究中引入现代逻辑的工具,利用它去解决传统的哲学争论和哲学难题,例如意义问题、真理问题、存在问题等等。
三 哲学逻辑的研究范围
辨析哲学逻辑与逻辑哲学的词义,可知两者有着不同的研究对象,这种不同的研究对象,决定它们有着不同的研究范围。以数理逻辑为直接基础,以传统的哲学概念、范畴以及逻辑在各门具体科学中的应用为研究对象的哲学逻辑,其研究范围包括两大子群,一是异常逻辑( deviant logic) ,形式上表现为经典逻辑的择代系统( alternative systems) ; 一是应用逻辑( app lied logic) ,形式上表现为经典逻辑的扩充系统( extendedsystems ) 。
异常逻辑亦称非经典逻辑(non-classic logics) ,它们是相对于经典逻辑而言的。经典逻辑包括命题演算、谓词演算和关系演算,是建立在下述基本原则或假定之上的: ( 1)外延原则,即它在处理语词、语句时,只考虑它们的外延,并认为语词的外延是它所指称的对象,语句的外延是它所具有的真值;如果在一复合语句中,用具有同样指称的但有不同涵义的语词或语句去替换另一语句或子语句时,该复合语句的真值保持不变。这就是著名的“外延论题”⑧。与此相联系,一阶逻辑是建立在实质蕴涵之上的真值函项的逻辑。( 2)二值原则,即在一阶逻辑中,任一命题或真或假,非真即假,没有任何命题不具有真假值。(3)个体域非空,即量词毫无例外地具有存在涵义,并且单称词项总是指称个体域中的某个个体,不允许出现不指称任何实存个体的空词项。4. 采用实无穷抽象法,因而在其中可以研究本质上是非构造的对象。凡是因否弃其中某一个原则或假定而建立起来的逻辑理论,都属于异常逻辑。具体来说,这包括多值逻辑、相干和衍推的逻辑、直觉主义逻辑、偏逻辑、自由逻辑、量子逻辑等等。
多值逻辑就是由否弃真假二值原则而建立的逻辑理论,它可以形式定义如下:一个系统是n值的,仅当n是系统的特征模型值的最小数,当然这里的n必定大于2。随着n取大于2的不同值,多值逻辑就有不同的形态。例如,当n = 3 时,就得到最简单的多值逻辑:三值逻辑。在卢卡西维茨所构造的三值逻辑中,被经典逻辑奉为金科玉律的不矛盾律和排中律不再是普遍有效的规律。三值逻辑还可扩展成有穷多值甚至无穷多值逻辑。将多值逻辑应用于物理学领域,导致了量子逻辑的创立,后者被用来刻画微观粒子的波粒二象性和测不准特性。⑨
相干[论文网 ]和衍推的逻辑、直觉主义逻辑都是由否弃实质蕴涵而建立的逻辑理论。在相干逻辑中,用相干蕴涵代替实质蕴涵。a相干蕴涵b,即是说, a与b之间有某种共同的意义内容,使得由a逻辑地推出b,并且这种推出与a, b的真值毫无关系。a与b之间内容上的相干还有其形式表现,即a 和b至少有一个共同的命题变元,这就是著名的相干原理。a衍推出b,既要求a与b相干,又要求a与b有逻辑的必然联系,所以衍推逻辑是相干逻辑,又是模态逻辑。在直觉主义蕴涵中,则用直觉蕴涵代替实质蕴涵,a直觉蕴涵b,是指存在某些构造(例如p) , 把它与a 相连接之后能产生b。这就是说,“如果a则b”要求a与b有一定的关系,亦即要求有一个过程,当把这个过程与证明a的过程配合起来之后,可以证明b真。在相干逻辑和直觉主义逻辑中,许多经典逻辑的定理不再成立。
应用逻辑则是利用经典逻辑的工具,去分析某些具体学科特别是哲学中的概念或范畴而建立的逻辑分支。所以冯·赖特说:“哲学逻辑有时定义为运用逻辑分析传统上哲学家所关心的概念的结构。”“我把哲学逻辑描述为构造形式系统以精确阐释我们在某些话语领域内的概念直觉。我认为,本世纪20多年来的发展表明:构造此类系统实际上可以在哲学家传统上感兴趣的任何领域内进行。这些系统可以称为相关领域内的‘逻辑’,例如,时间的逻辑,因果的逻辑,行动的逻辑,规范的逻辑,或者偏好(优先)的逻辑。”
应用逻辑又可以分为三组:本体论的逻辑,认识论的逻辑和伦理规范的逻辑。
本体论的逻辑是以传统哲学本体论的概念、范畴以及相关问题为研究对象的逻辑理论。具体来说,它包括模态逻辑、时态逻辑、存在逻辑、部分和整体的逻辑、莱斯涅夫斯基的本体论、构造主义的逻辑、唯名论唯实论意义上的本体论等等。模态逻辑是关于必然性和可能性的逻辑,或者说,是研究含有“必然性”、“可能性”的命题的逻辑特性及其推理关系的逻辑分支。它分为正规的和非正规的两种类型。一个正规模态命题逻辑系统是经典命题逻辑的重言式集的一个扩集,扩集满足两个条件:
(1)口(pq) (口p口q)在s中有效;
(2)在s中,从有效公式出发, 经使用分离规则, 代入规则,必然化规则,所得到的仍为有效公式。这里提到的必然化规则是:
若┝a,则┝口a。时态命题是研究时态命题的逻辑特性及其推理关系的逻辑分支,它试图把涉及时间因素的命题之间的推理关系系统化,为涉及时间因素的精确讨论和严格推理提供工具。从形式上看,时态命题逻辑系统t是不同于正规模态命题逻辑的,是经典命题逻辑重言式集的另一种扩集,它满足下述两个条件:
(1) g(pq) ( gpgq)和pgpp在t中有效;
(2)在t中,从有效公式出发,经使用分离规则,代入规则和时间性概括规则,所得到的仍为有效公式。
存在逻辑是关于存在及其同类概念的逻辑理论,它研究这些概念的性质,探讨诸如“存在是不是谓词”等问题,这种逻辑归根结底不仅依赖于纯逻辑的思考,而且依赖于本体论的思考。
认识论的逻辑是以传统认识论所研究的概念、范畴为对象的逻辑理论,它们与知识的获得、接受、传递以及对于某一知识的态度例如怀疑、断定、相信等等有关。具体来说,它包括问题逻辑、知道逻辑、相信逻辑、条件句逻辑、内涵逻辑、归纳逻辑(证据、确证、接受的逻辑)等。⑩
伦理规范逻辑:伦理学属于广义哲学的一部分,传统哲学特别是伦理学要研究诸如权力和义务、应该、允许、禁止、需要和要求、决定和选择、动机、效果与行动等概念和范畴。伦理规范的逻辑就是与这一类哲学概念和范畴相关的逻辑理论。
具体来说,它包括道义逻辑、命令句逻辑、行动逻辑、优先逻辑等等。
注:
①罗素:《我们关于外在世界的知识》,东方出版社1992 年版,第36页。
②p. f. strawson: philosophical logic, oxford university press,1967年版,第1页。
③格雷林:《哲学逻辑引论》,中国社会科学出版社1990 年版,第17页。
④ s, wolfram: philosophical logic: an introduction, routledgelondon and new york, 1989年版,第8页。
⑤陈波:《逻辑哲学》,北京大学出版社2005年版,第10页。
⑥n. rescher: top ics in philosophical logic,d. reidel publishingcompany, 1981年版,第21页。
⑦胡泽洪:《逻辑的哲学反思》,中央编译出版社2004 年版,第34页。
⑧王路:《逻辑与哲学》,人民出版社2007年版,第46页。
逻辑和逻辑学的区别范文5
（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：P或者非P中不管变项P赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？
关于这个理论问题，亚里士多德在其所着《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。
第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：A、B是逻辑真命题，那么A并且B、如果A那么B都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
逻辑和逻辑学的区别范文6
关键词：传统逻辑；推理类型问题；研究现状；教学建议
传统逻辑与其他逻辑相比，主要框架是定义界定、推理界定定义、寻找其中规律，最终得出结论。这一系列体系是一套完整的传统逻辑探究体系，而关于传统逻辑中的推理部分，则是整个传统逻辑中发展最为成熟，研究体系最为完善的部分，但这一部分也存在较大分歧和问题。而针对推理类型问题研究现状，并结合存在问题，提出相应的教学建议则是有效开展逻辑学教学课程的重要思路和关键之举。
一、 传统逻辑中推理类型问题的研究现状分析
1.1 常见推理类型种类分析
结合当前，我国的主要传统逻辑著作及教学观点来看，传统逻辑中的推理类型问题研究主要有以下观点和看法：首先，从推理过程出发，结合推理活动中思维发展阶段的不同，将推理类型区分为归纳推理也就是特殊到普遍，个别到整体的推理方式、演绎推理也就是普遍到特殊，整体到个别的推理方式，以及类比推理也就是特殊到特殊、类型到类型的推理方式。其次是结合整个推理活动中论断前提和所得结论之间的关系和性质来区分推理类型。而这一认识方式，也将推理类型区分为必然推理和偶然推理。通过将论断和前提的联系性来却分推断类型。最后一种推理方式是结合推理的要素数量来区分，即仅有一个前提的直接推理和经过两个及以上前提的间接推理。事实上，传统推理形式繁杂，仅用某一标准是无法完全概括推理类型的。
1.2 常见推理类型的研究观点内容分析
常见推理类型的研究观点中，演绎推理或者类别、归纳推理主要应用于直接推理、模糊判断、纯关系推理等。这一推理方式存在较大问题，这一推理是对直言判断、模糊判断得出结论，而事实上很多问题都不可能简单的从一般到特殊，都不可能是单纯某一个影响因素。因此很多时候结合这一推理理论就不能说明问题。而在第三种推理分类理论中，则是机械的依据推理要素来区分推理类型，这就把直接推理与演绎推理分开而谈，这是不正确的，同时在现实问题上，也很少存在直接推理的，而直接推理本身也和演绎推理存在重合和交替。因此简单机械的以推理因素个数作为推理类型的区分依据，往往不能说明问题，只能是模糊看待推理问题。而最为复杂的第二种推理类型则是对演绎推理的定义和内涵做了全新解释，这一类型认为演绎推理是一种结合前提就必然能够得出结论的推理方式。而这种推理理论和思维模式，则是将归纳推理与不完全归纳推理模糊在一起，并没有将必然推理与偶然推理的界限明确定义而来，一些必然推理所采用的推理方式和理念实质上还是归纳推理的内容，而有的时候也将偶然推理所采用的方式和理论也定义为归纳推理。尽管随着这一推理理论和形式不断丰富发展，这一推理问题研究中已经涵盖了大部分推理类型问题，但仍然无法全面涵盖推理类型问题。
1.3 常见推理类型观点的新发展和创新
逻辑学在不断研究中，也出现了新的发展和理论观点，而常见的推理类型观点也出现了新的内容。比如，从多种角度来认识推理问题。复合判断推理就是其中应用广泛的推理理论。符合判断推理是指将传统的推理理论经过系统归纳和融合，增加新的概率分析、数理统计、归纳推理等一系列因素，实现了传统逻辑推理质的飞越和发展。除此之外，还有一些研究学者将推理理论做深化研究，从维度上拓展推理理论研究内容。比如将类别推理细化为肯定、否定和中性三种肯定推理类型。这都是推理理论新的发展，而随着科学文化不断发展，推理理论的发展和进步也是社会必然。
二、 浅析传统逻辑中推理类型问题的教学建议
随着逻辑学理论应用不断发展，而开展理论学课程的要求就更加复杂，更需要我们结合理论变化的新内容来具体开展逻辑学教程。
2.1 结合学生基础和学习兴趣开展教学
逻辑学这一课程内容偏重于逻辑理论教学，整体而言，较为枯燥且难以理解。而受教育对象自身的基础和学习兴趣，就影响教师开展教学工作。在开展这一教学过程中，要从教学实际出发，根据学生学习状况制定教学思路和方案。要通过丰富事例和有效的教学方法帮助学生理解逻辑学教学内容，同时积极引导学生学习，培养逻辑学学习兴趣。
2.2 突出教学内容的重点和层次性
传统逻辑中的推理类型问题当前尚无统一的标准和要求，但基本上在教学过程中遇到的逻辑推理问题都能遇到，因此，这就要求我们根据教学分层法等理论，重点突出推理类型问题的教学内容，同时再教学方案设计上，也要层次化、条理化开展教学，根据推理类型所含方法的常见性和使用频率，引导教学，帮助学生对逻辑推理问题形成比较完整的理论认识和体系化的问题解决思路。
2.3 结合最新推理理论，积极推广、普及推理问题解决的新思路
传统逻辑推理观点认为推理只有前提是真实的，整个推理才有意义，同时各种判断之间也必然存在一定联系，总存在一定依据。而结合各种推理的产生过程，这一系列推断和认识都是建立在具体事实或潜在事实基础之上的。意义性和真实性是传统逻辑推理的两个基本要求，而新的逻辑推理理论则重视积极结合数理推理等一系列科技手段，丰富推理理论。
三、 结语
逻辑问题并不简单是学术问题，其实在日常生活中，我们面对很多问题都会对其进行一番思考，或者在做一系列决策时，都要研究与这件事相关的问题，而这一类问题都是经过对所得信息进行合理分析、有效演绎、实际佐证、模拟推演之后的结论。而这一过程其实就是推理逻辑。而在理论范畴中，推理类型则指的是传统逻辑中并没有给出某些符号形成规则，仅用自然语言给出结论，因此整个过程缺乏有效区分和系统化说明，同时也降低了逻辑符号的规划化和可执行性。（作者单位：黔南民族师范学院）
参考文献：
