逻辑学基本原理篇1
论文摘要：形式逻辑是一门实用性极强的．工具性学科，在汉语言文学、思想政治教育等教师教育专业作为基础课开设，但由于教材缺乏个性等原因，导致学生厌学现象的产生，直接影响着教学质量的提高。为了提高教学质量和教学效果，必须加强教材建设。在教师教育专业形式逻辑教材建设中，应该做到“四化”，即：积极吸纳最新研究成果，实现教材的现代化；恰3-"处理理论与应用的关系，实现教材的实用化；充分体现形式逻辑的基础课特性，实现教材的简约化；遵循教师教育专业特点，实现教材的个性化。
论文关键词：教师教育专业；形式逻辑；教材编写；现代化；实用化；简约化；个性化
逻辑学是一门既古老又年轻的科学，在两三千年前就已形成一门独立学科，现在发展成为一门多层次、多分支的逻辑科学体系。1974年，联合国教科文组织编制的学科分类中，把逻辑学与数学、天文学和天体物理学、地球科学和空问科学、物理学、化学、生命科学同列为相对于技术科学的七大基础学科之一，逻辑学被列为第二位。形式逻辑是逻辑学的基础，它以研究人们的思维活动为目的，是人们正确思维、论证和表述思想的重要工具。它作为基础课之一，在汉语言文学教育、思想政治理论教育等教师教育专业开设。笔者通过长期对所教学班级学生调查发现，学生普遍反映该课程“繁琐、枯燥、乏味、无用”，由此也导致厌学情绪的产生。有关文章也提出了类似的看法，表明该现象具有普遍性。学生对于一门实用性极强的工具性学科形成“无用”认识并产生“厌学”现象，对于教学的正常开展及质量的提高极为不利。究其原因，主要有教材、教学方法手段、教师及考试等诸多方面的原因。本文仅从如何加强教材建设方面进行初步探讨。
一、积极吸纳最新研究成果。实现教材的现代化
形式逻辑教材编写要紧跟时展步伐，积极吸纳最新研究成果，大力推进现代化，展现“新”的特，这是逻辑学发展的内在要求之一，教师教育专业形式逻辑教材的编写亦不例外。
一方面，要积极引进现代逻辑的成果。现代化是逻辑学发展的一大趋势，也是逻辑学界探讨较多且已逐步形成共识的问题，近些年出版的形式逻辑教材或多或少引进了现代数理逻辑的内容，比较充分地体现了这一趋向。但在引进现代数理逻辑内容时，要十分注意适度、恰当和融合。特别是对于文科专业学生而言，由于其长期养成的思维倾向，对于过多的现代逻辑符号及公式，会出现“排异”反映，使学生产生畏难情绪，不利于教学。
另一方面，也是更为关键的是要及时收集“论坛逻辑”和“实践逻辑”中言之成理、持之有据的新观点、新材料、新成果，认真分析，审慎筛选提炼，充实进教材，吐故纳新，使教材充满生机并具有鲜明的时代感。
对于逻辑，可以分为“讲坛逻辑”、“论坛逻辑”和“实践逻辑”，所谓“讲坛逻辑”也即教师在课堂上给学生讲授的逻辑，所谓“论坛逻辑”就是人们在各类媒体发表的关于逻辑的理论研究成果，所谓“实践逻辑”就是人们在工作、生活及学习等实践过程中所形成的一些逻辑成果。目前，存在着“讲坛逻辑”与“论坛逻辑”、“实践逻辑”脱节的现实，使得许多很有见地的“论坛逻辑”和“实践逻辑”的成果不能及时充实进教材，被“讲坛逻辑”所利用，造成了资源的浪费。把“论坛逻辑”和“实践逻辑”中的内容引入“讲坛逻辑”，这本来就是逻辑现代化的一个重要方面，也是教师教育专业形式逻辑教材编写的题中应有之义。
二、恰当处理理论与应用的关系，实现教材的实用化
形式逻辑作为一门工具性学科，其实用性是无庸置疑的，但由于其本身又属于理论逻辑，这就需要在教材编写中要辩证地处理理论与应用的关系。由于对该关系处理不当，现行教材存在着两种偏向，一是重视原理的阐述，脱离实际，为理论而理论，使理论成为“空中楼阁”，缺乏对实践的指导，失去其价值。二是在强调应用性、实践性、操作性时，又忽视了理论，使实践失去了理论的指导，导致实践的盲目性的偏向。目前，在教师教育专业形式逻辑教材的编写中，前一种偏向更为明显。
教师教育形式逻辑教材的编写，既要重视基础知识、基本理论的阐述，更要坚持“以实为本”的原则，联系实际、体现实用、突出实践、注重实效。教师教育专业学生，将来要从事的职业主要是中小学教师，在其学习动机上也就带有这种职业取向，对于所学知识对将来的教育教学工作有什么作用和帮助比较看重。如果学生注意到所学内容与未来的工作之间具有密切联系时，就会产生较为浓厚的学习兴趣并形成坚强的学习意志，为完成学习任务创设积极良好的心理基础。教材编写要充分重视学生的这一学习动机，在教材中适当安排逻辑知识在中小学教学科研中应用的有关内容，并精选设计相关实例充实到理论讲解及课后练习中，注重逻辑理论联系实际，强化逻辑知识的实际运用，引导学生运用所学的基本原理去分析、解决实际问题培养其“学以致用”的能力，体现逻辑学的工具眭和在实践中的直接效用性。"
三、充分体现形式逻辑的基础课特性，实现教材的简约化
目前，教师教育专业形式逻辑教材在内容安排上仍存在着“偏、难、繁、旧”及过分追求系统性和学术性等现象，脱离了学生的实际，不符合教育学中关于“跳一跳摘到桃子”的原理，会引起学生的畏难情绪。作为基础课开设的逻辑学，其“根本任务不在于培养一批批逻辑学的专门人才，而是在于提高学生逻辑思维的素质和能力(这是大学生素质培养的一个重要方面)，即通过逻辑课的教学，使学生在把握逻辑学基础知识和基本原理的基础上，经受严格的逻辑思维训练；学会应用他们所学的逻辑知识和原理去解决日常思维和科学研究活动中的各种思维实际问题，从而为他们学习、领会和运用其他各门科学知识提供有效的逻辑思维的工具和方法。”回作为教师教育专业开设的形式逻辑，还应该在帮助学生掌握逻辑思维基本工具和方法的同时，为他们将来从事教师职业后进一步去影响和培养其所教学生的逻辑思维水平和素质打下基础。
教师教育专业形式逻辑教材编写应遵循“简练”这一基本原则，不能盲目追求专业课教材的系统性和理论深度，而要强干削枝，做到“精简”。“精”也即“精髓”，要求教材选取理论要适度，要少而精，突出重点，将最必要的理论知识讲清讲透。“简”也即“删繁就简”，对于对教师教育专业学生来说并不十分必要的以及“偏、难、繁、旧”的内容作适当的“删、减、并、压”。
因为“逻辑教材体系都是教学体系，而非严密的学科体系，因此，其内容应当丰富而新颖，体系可以不必那么严密。同时，教材编写必须注意，不必把什么内容都‘讲深讲透’，而应当留给教师在课堂发挥的余地，留给学生以思考的空间，使教材具有启发性。”翻“面对着兴趣不一、水平不一、接受能力不一的学生，不能把问题搞得很专、很学术，要使大多数学生掌握基本知识或技巧。”同因此，教师教育专业形式逻辑教材应该尽量“删、减、并、压”那些并不十分必要且用处不大的繁琐枯燥的公式推导及论证过程等方面的内容，安排最必要和适用的内容，而不必过分拘泥于教材的学术性及系统性。对于有些内容则可只保留其最终结论让学生记住并予以运用，不必过细地推究其成因及来源，不妨让学生“知其然而不知其所以然”。比如“三段论各格的特殊规则”、“命题变形推理中连续换质位和换位质的推理”、“三段论的公理”、“复合三段论”等就可以删减。
四、遵循教师教育专业特点。实现教材的个性化
一本好的教材，首先应该明确自己的定位，即确定自己的读者群体，然后才能根据该群体的特点和需要，确定教材的方向、目标、内容、范围、体系结构及表达方式。“对象不同，教学内容就应不同，专科与本科、重点院校本科与非重点院校本科、师范类院校与政法院校、医学院校等，逻辑的教学内容都应不同”。围就是基于不同的专业其内容也应该有所不同，如中文、政治等专业的逻辑教学内容应侧重论证、分析、日常推理能力的培养，而理科专业则可侧重演算能力的培养。不可否认，近年来，形式逻辑教材建设取得了巨大的成就，一大批优秀的教材被编写使用。但同时，在教材编写过程中“却也不同程度上忽视了不同类型学校、不同专业和不同的层次学生对逻辑知识的不同需要”昀，存在着“教材编写多少年一贯制，并未跳出既有的框架，只是在既有教材框架下增添删减”的现象，也即没有认真关注教材的特殊定位，造成各种教材大同小异、定位不准、缺乏个性。教师教育专业教材，也不同程度地存在着前述弊病，或与通用教材没有太大区别，或没有体现不同的层次和专业。
教师教育专业形式逻辑教材的编写，要紧紧围绕其阅读与使用对象是未来的教师这一客观实际，从学生的身心特点和现实需求出发来确定体系、组织内容，在坚持共性的前提下突现个陛。
逻辑学基本原理篇2
关键词:一阶类型逻辑;B类型简单导出;原子简单导出;可靠性;可替换性定理
中图分类号:tp311文献标识码:a文章编号:1009-3044(2010)07-1657-03
theoreticalproofoftypedFirst-orderLogic
XUDan
(DepartmentofComputerScienceofXiamenUniversity,Xiamen361005,China)
abstract:typeisintroducedintothetypedfirst-orderlogic,whichisbasedonthetraditionalfirst-orderlogicandthetheoreticalfoundationofpolymorphicandpolytypiclogicprogramminglanguage.typedfirst-orderissignificanttothefurtherdevelopmentofthedesignandimplementationofcompilationsystem.thispaperisaresearchatthetheoreticallevelanditintroducesreliabilitytheoremofthebasicandsimplederivationandtheexchangeabilitytheoremoftheequivalentsymbols,andthetwotheoremsareprovedinthispaper.withthetwotheorems,theworkloadofthefirst-orderlogicproofcanbesimplifiedandthefuturetheoreticalresearchwillbeeasier.
Keywords:typedfirst-orderlogic;B-typedsimplederivation;atomicsimplederivation;reliability;exchangeabilitytheorem
自prolog语言[1]诞生以来,逻辑程序设计成为一个新的方向。1970年代后期和1980年代初,在为prolog语言建立了Horn子句理论之后,如何扩展prolog,将无类型的逻辑程序设计语言改造成带类型的逻辑程序设计语言,同时建立新型逻辑程序设计语言的理论基础,扩展逻辑程序设计的应用范围,就成为一个重要的研究课题。1990年代中期,J.w.Floyd等人在系统总结前人工作的基础上,借鉴prolog语言的诸多元素,并从prolog语言的众多变形如iC-prolog、nU-prolog等以及mL语言、modula-2语言中吸收新思想,推出了新型逻辑程序设计语言G?idel[2-4],试图改进prolog语言中存在的不足并解决其中有争议的语义问题。作为一种逻辑程序设计语言,研究与开发G?idel,首先需要为其建立严格的数学基础,包括其语法和语义理论基础。从prolog语言和G?idel语言的关系看,与传统的一阶逻辑[5-8]比较,G?idel的数学基础应该是多态多类的一阶逻辑,而且,G?idel语言的语法与多态多类一阶逻辑的类型合式公式之间有着密切的联系,G?idel语言的语义应该与多态多类一阶逻辑的模型之间有着密切的联系。于是,发展带类型的一阶逻辑理论(简称类型一阶逻辑)成为一种选择。
1带类型的一阶逻辑的语法
本文继续文献[2-3]的工作。带类型的一阶逻辑来源于对G?idel语言的抽象,也来源于对一阶逻辑的扩展。我们约定,一阶类型逻辑中的基类型有:integer,Real,String,Boolean,分别称为整型、实型、字符串型和布尔型。一阶类型逻辑语法和语义部分的内容见参考文献[2-3]。
2简单导出的可靠性定理
为了定理说明的方便,以下引入几个定义。
定义2.1:记所有在解释下与基类型Boolean保持一致的类型符为B。
定义2.2:将无类型一阶命题逻辑p*中的某个合式公式做替换,使得原先的所有命题词替换为一阶类型逻辑中的某个布尔值类型的形式符号,由此得到一个类型合式公式的过程称为简单导出。特别的,如果替换的一阶类型逻辑中的某个布尔值类型的形式符号中的符号全部是类型为B的个体词(或者原子),则将此过程称为B类型简单导出(或者原子简单导出);如果命题词全部替换,每个命题词都只能使用B类型个体词和原子两者之一做替换,则称为基本简单导出。
定理2.1B类型简单导出的可靠性定理
如果在无类型一阶命题逻辑p*中,有合式公式a是恒真的,则a经过B类型简单导出,得到的一阶类型逻辑下的合式公式也是恒真的。
原来的无类型逻辑中的命题词在某个赋值之下只有真假两种情况,和我们替换的个体词刚好一致,直观上看,这个公式是成立的。对此,我们做证明如下:
[数学归纳法]
设a中所有的命题词的集合为n={p1,p2,…,pn},生成C的替换函数(或者置换)为g={,,…,}(或者为σ={d1/p1,d2/p2,…,dn/pn}),其中的di是一阶类型逻辑中的某个类型为B的个体词。记a中命题词替换为某个个体词生成的一阶类型逻辑中的合式公式为g(a)=C(或者aσ=C)。
任取一阶类型逻辑中的赋值φ,构造无类型一阶命题逻辑下的赋值φ,使得
φ(pi)=t当且仅当φ(g(pi))=φ(ej)=
φ(pi)=f当且仅当φ(g(pi))=φ(ej)=,其中ej是pi替换的目标。
显然,a和C的层数是相等的。由于a是恒真的,所以一定有φ(a)=t。施归纳于它们的层数t,需要证明的命题是φ(a)=t时,φ(C)=(为了证明的方便,以下同时证明φ(a)=f时,φ(C)=)。
基始:t=0时,a是一个命题词,C是一个个体词。根据φ的定义,若φ(a)=t则必有φ(C)=,若φ(a)=f则必有φ(C)=。
归纳:t=k(k>0)时。由于a来此于无类型一阶命题逻辑p*,故a和C只可能有以下五种形式(为了将无类型一阶命题逻辑中的逻辑连接词与一阶类型逻辑中的逻辑连接词区分开来,在类型一阶命题逻辑的逻辑连接词上添加下划线)。
1)a=■a1,C=C1,其中C1=g(a1)。若φ(a)=t,则φ(a1)=f,依据基始,有φ(C1)=。据的定义,有φ(C)=。同理,φ(a)=f时,有φ(C)=
2)a=a1■a2,C=C1∧C2,其中C1=g(a1),C2=g(a2)。若φ(a)=t,则φ(a1)=t且φ(a2)=t,依据基始,有φ(C1)=且φ(C2)=。据∧的定义,有φ(C)=。若φ(a)=f,则φ(a1)=f或φ(a2)=f。不妨设φ(a1)=f,依据基始,有φ(C1)=。据∧的定义,有φ(C)=。
3)a=a1■a2,C=C1?C2,其中C1=g(a1),C2=g(a2)。若φ(a)=t,则φ(a1)=t或者φ(a2)=t,不妨设φ(a1)=t,则依据基始,有φ(C1)=。据∨的定义,有φ(C)=。若φ(a)=f,则φ(a1)=f且φ(a2)=f,依据基始,有φ(C1)=且φ(C2)=。据∨的定义,有φ(C)=。
4)a=a1■a2,C=C1C2,其中C1=g(a1),C2=g(a2)。若φ(a)=t,则φ(a1)=f或者φ(a2)=t。当φ(a1)=f时,依据基始,有φ(C1)=,据的定义,有φ(C)=;当φ(a2)=t时,依据基始,有φ(C2)=,据的定义,有φ(C)=。若φ(a)=f,则φ(a1)=t且φ(a2)=f,依据基始,有φ(C1)=且φ(a2)=,据的定义,有φ(C)=。
5)a=a1■a2,C=C1?圮C2,其中C1=g(a1),C2=g(a2)。若φ(a)=t,则φ(a1a2)=t且φ(a2a1)=t。依据第4步的结论,有φ(C1C2)=且φ(C2C1)=。据?圮的定义,有φ(C)=。若φ(a)=f,则φ(a1■a2)=f或者φ(a2■a1)=f。此处不妨设φ(a1■a2)=f,则依据第4步的结论,有φ(C1C2)=。据?圮的定义,有φ(C)=。
综上所述,φ(a)=t时,φ(C)=,φ(a)=f时,φ(C)=。
由于a是恒真的,所以一定有φ(a)=t。又因为φ是任取的一阶类型逻辑上的赋值,所以对于任意的一阶类型逻辑上的赋值?,都能通过构造无类型一阶逻辑上的赋值φ来证明φ(C)=,所以C是恒真的。
定理2.2原子简单导出的可靠性定理
如果在无类型一阶命题逻辑p*中,有合式公式a是恒真的,则将a中所有的命题词一一替换为一阶类型逻辑中的某个原子,则新得到的一阶类型逻辑下的合式公式也是恒真的。
要证明这个定理,只要按照定理2.1的证明思路,构造赋值即可,此处不再证明,仅提供一个例子作为验证。
我们知道德・摩尔根律在p*下一定是成立的,由之,我们有以下恒真合式公式:
H1=(a∧B)?圮a∨B和H2=(a∨B)?圮a∧B
构造替换函数g1={,},g2={,},其中,C1、C2和D都是一阶类型逻辑中的原子,则得到一阶类型逻辑中的g1(H1)=(C1∧C2)?圮C1∨C2,g2(H2)=(D∧D)?圮D∨D。不论是哪一种赋值,C1、C2和D都只有或者两种值,所以以下我们分别对各种情况作讨论(假设赋值为φ):
对于g1(H1),
1)φ(C1)=,φ(C2)=,则φ((C1∧C2))=,φ(C1∨C2)=,故φ(g1(H1))=。
2)φ(C1)=,φ(C2)=,则φ((C1∧C2))=,φ(C1∨C2)=,故φ(g1(H1))=。
3)φ(C1)=,φ(C2)=,同2理,有φ(g1(H1))=。
4)φ(C1)=,φ(C2)=,则φ((C1∧C2))=,φ(C1∨C2)=,故φ(g1(H1))=。
因此g1(H1)必是恒真合式公式。
对于g2(H2),它的情况比g1(H1)简单,显然也是恒真的。
定理2.3基本简单导出的可靠性定理
如果在无类型一阶命题逻辑p*中,有合式公式a是恒真的,则a经过基本简单导出,得到的一阶类型逻辑下的合式公式也是恒真的。证明方法同定理2.1及定理2.2。
3等值符号的可替换性定理
再次引入定义:
定义3.1:所有由基本简单导出得到的类型合式公式的集合称为基本简单导出集合。
等值符号的可替换性定理:设a、B、C是基本简单导出集合中的类型合式公式,Г是基本简单导出集合的子集,如果B和C等值(即B?圮C),由Г和a把B在其中的某些出现替换为C而得到Г'和a'。那么
[1]a?圮a'
[2](Гa)?圮(Г'a')
分析:我们可以把式子[1]描述为m=(BC)?圮(aa'),于是只要证明(BC)?圮(aa')为恒真,原命题则得证。同理对于[2]式,只需证明n=(B?圮C)((Гa)?圮(Г'a'))为恒真即可。
证明:由于a、B、C是基本简单导出集合中的类型合式公式,Г是基本简单导出集合的子集,故一定存在无类型一阶命题逻辑p*中的合式公式a0、B0、C0和合式公式集合Г0,使得a、B、C分别由a0、B0、C0基本简单导出,Г中的所有合式公式都是由Г0中的某一个基本简单导出。
令Ga(X)表示将a中某些B的出现替换为X,使得B的一个出现被替换当且仅当在构造a'时,该位置的B被替换。则a=Ga(B),a'=Ga(C)。显然一定有无类型一阶命题逻辑p*中的公式Ga0(),使得Ga()是由Ga0()将其中的命题词替换为带类型一阶逻辑中的B类型个体词和原子得到的。于是对Ga0(C0)做基本简单导出可以得到Ga(C)=a'。记Ga0(C0)=a0',即证明a'可以由导出a的a0替换部分B0的出现(即a0')再做基本简单导出得到。同理可证,有Г0'使得对Г0'中的所有合式公式做基本简单导出得到的集合是Г'。
构造无类型一阶命题逻辑p*中的合适公式m0=(B0?圮C0)(a0?圮a0'),n0=(B0?圮C0)((Г0a0)/(Г0'a0')),由a、B、C、Г和a0、B0、C0、Г0之间的被导出和导出的关系,显然可知,m0和n0做基本简单导出可以相应得到m和n。
已知在无类型一阶命题逻辑p*中,有等值公式的可替换性定理,则任意的m0和n0形式的公式都是恒真的。又因为m0和n0是由m和n分别作基本简单导出得到,根据基本简单导出的可靠性定理,m和n为恒真公式,于是定理得证。
4结论
本文探讨了带类型一阶逻辑的理论证明方法,通过证明基本简单导出的可靠性定理,方便了带类型一阶逻辑的理论证明。比如,我们可以利用该可靠性定理,直接证明(+),如果Γ,b则Γb。
另外,等值符号的可替换性定理的证明,也一定程度上减轻了证明过程中的工作量。但是,基本简单导出的可靠性定理和等值符号的可替换性定理的应用范围只局限在基本简单导出集合之内。我们之后的任务是通过更多的理论探讨,拓展这两个定理的应用范围,从而更好的简化理论证明,构造完备的带类型一阶逻辑理论体系。
参考文献:
[1]刘椿年,曹德和.prolog语言、它的应用与实现[m].北京:科学出版社,1990.
[2]Hillpm,LloydJw.theGodelprogrammingLanguage[m].London:mitpress,1994.
[3]高伟.逻辑程序设计语言Godel的说明性语义[D].厦门:厦门大学计算机科学系,2009.
[4]昌杰.逻辑程序设计语言Godel的过程性语义[D].厦门:厦门大学计算机科学系,2009.
[5]胡世华,陆钟万.数理逻辑基础(上,下)[m].北京:科学出版社,1980.
[6]耿素云,屈婉云,王捍贫.离散数学教程[m].北京:北京大学出版社,2003.
逻辑学基本原理篇3
【关键词】卡诺图；《数字逻辑电路》；教学措施
《数字逻辑电路》是计算机技术中的基础知识，是很多中职院校的电子信息工程、电子信息科学与技术、电子科学与技术各专业必修的学科基础课和技术基础课。但是在教学中，如何使得数字逻辑课程学习中不借助任何实验仪器，从而能直观地看到逻辑电路设计的结果，是教学中的难点与重点。随着教学技术的发展与教学理念的概念，在《数字逻辑电路》教学中，卡诺图的运用广泛而灵活。本文具体探讨了卡诺图在《数字逻辑电路》教学中的运用情况，现报告如下。
一.《数字逻辑电路》的教学特点
（一）《数字逻辑电路》的内容特点
由于《数字逻辑电路》有易于集成、传输质量高、有运算和逻辑推理能力等优点，因此被广泛用于计算机、自动控制、通信、测量等领域。而《数字逻辑电路》的第一个内容特点是为了突出“逻辑”两个字，使用的是独特的图形符号。当前最新教学版本的《数字逻辑电路》中有门电路和触发器两种基本单元电路，其是以晶体管和电阻等元件组成的。比如在ttL电路还是CmoS电路中，按逻辑功能要求把这些图形符号组合起来画成的图就是逻辑电路图。
（二）《数字逻辑电路》的教学目的
本课程的主要任务是培养学生掌握《数字逻辑电路》方面的基本理论，基本知识和基本技能；了解《数字逻辑电路》技术和实际器件的现状与发展趋势；培养学生独立分析问题和解决问题的能力；与实验课配合，通过实验课的基本训练，理论联系实际。掌握典型《数字逻辑电路》的基本分析方法、设计步骤、实验手段和调试技能；为进一步深入学习专业知识以及电子技术在相关专业中的应用奠定良好的基础；具有较强的查阅电子技术资料的能力和从网络上获取有关信息的能力。
（三）《数字逻辑电路》的教学要求
在现代电子产品中，学生要想真正理解这些电子产品的工作原理，作为基础，数字逻辑课程的学习也是必不可少的。比如在逻辑门电路中，其教学的内容主要为三种基本逻辑门（与、或、非）电路及几种复合逻辑门电路（与非、或非、异或、与或非门）的特性、二极管及三极管的开关特点、二极管（三极管的开关特性），分立元件组成与工作原理、ttL反相器的工作原理，静态输入输及输入端负载特性与开关特性。
二.《数字逻辑电路》教学中存在的问题
长期以来，中职院校的《数字逻辑电路》教学由于受“重理论、轻实践”的传统观念影响，理论教学成分居多，学生普遍不重视实验。《数字逻辑电路》实验设备的开发也受此因素影响，滞后于现代教学的需要。同时我们知道，数字电子技术的功能是通过逻辑函数来实现的，而逻辑函数一般是基本逻辑或、与、非的复合表达，导致教学难度加大。同时《数字逻辑电路》的理论教学教法单一，只侧重于知识点的传授，理论和实践结合少，缺乏实物的展示，难于理解，控制逻辑电路的分析单调，而在实习操作时又要从头学起，很难达到素质教育的要求，不但给学生的学习造成很大困难，也造成了重复教学和资源浪费，更影响了教学质量的提高和应用性、技能型人才的培养。
三.卡诺图在《数字逻辑电路》教学中的运用措施
（一）卡诺图的应用价值
在《数字逻辑电路》教学中，为了实现某种复合逻辑的最简数学表达意味着对应的技术成本较低；所以化简逻辑函数既具有理论价值，也具有现实意义，其具体方法包括公式化简法与卡诺图化简法。在教学中，为使学生正确认识卡诺图，我们需要依据《数字逻辑电路》课程的教学特点，结合学生应具有的能力和知识结构，从卡诺图的常规用法和特殊用法两方面探讨了卡诺图在《数字逻辑电路》教学中的运用，为今后的教学起到更好的参考和借鉴作用。其能形象直观地为使用者演示其工作原理，即使其面对的展示对象是毫无相关知识的相关学生，也能让他们在短时间内了解简单的逻辑电路，在寓教于乐中发现数字逻辑的无限趣味和魅力，从小培养对科学热爱和严谨认真处事的态度。
（二）卡诺图在《数字逻辑电路》教学中的运用方法
力求使学生立于主体地位，教师必须进行角色的转换和地位的改变，从传统的讲授者、灌输者转变为引导者、主持人，转变为走到学生中间指导、交流、讨论和共同学习的朋友；要对学生充满信任和理解，遇到困难时，应适时点拨。在课堂上应鼓励学生大胆设想，有发现，有创新，敢于别出心裁，标新立异。同时学生参与课堂并非只有提问一种形式，也可以采用分组讨论或学生之间提出问题、解决问题等多种教学方法，在今后的教学中还需根据实际情况考虑设计。其次是积极进行职业活动导向法教学，其核心是要求学生在学习中不仅要用脑，而且要“脑、心、口、手”并用，共同参与活动来完成学习将学生认为枯燥的《数字逻辑电路》知识通过活动转变为生动的学习内容，有利于培养学生的综合职业能力。第三是备学生不足，多设计几种学生回答的可能性，一定能使师生之间的沟通更好。也需要强化学生的实际训练，比如在数字逻辑电路的控制线路中，先分析机械运动方式和电气动作要求，再把常用数字逻辑电路的控制线路化整为零.同时灵活借助多媒体教学资源，把每个基本控制线路不同控制要求讲清楚，这样就把基本控制线路和数字逻辑电路控制有机地结合起来了，提高了学生学习兴趣，而且实际训练时间增多了，有利于教学目标的完成。
总之，卡诺图在《数字逻辑电路》教学中的运用以实践与实验为线索，把理论教学内容溶于每一个活动之中，充分挖掘和激活学生的潜能，充分调动和发挥学生的积极性、主动性和参与性，培养出适应社会需要的高素质人才。
参考文献：
[1]陈静.概念图/思维导图在计算机教学中的应用研究[D].广西师范学院，2010年.
[2]张光凯.项目教学法在《数字逻辑电路》教学中的实践[J].职业，2007年23期.
[3]刘杰.《数字逻辑电路》教材改革浅析[J].职业，2010年14期.
[4]黄杰勇，邓春健.基于VerilogHDL的数字逻辑电路教学改革与探索[J].计算机教育，2008年16期.
[5]宋俐荣，杨一荔.论数字逻辑电路的特点在教学中的重要性[J].科教文汇，2010年03期.
逻辑学基本原理篇4
【关键词】proteus，与逻辑，或逻辑，非逻辑，复合逻辑
中图分类号：tp331
proteusforhardwarecoursesandprdoducedaffect
abstract:theproteususedintraditionalteachingwhichcanbeproducedapositiveaffect,analysisingtheresultofproteususedforpromotingtheteaching,forexample,thethreebasiclogic:anD,oR,andseveralimportantcompoundlogic:XoR,XnoR,anD-oR,anD-oR-invertofDigitalcircuitscourse.
Keywords:proteus,anD,oR,not,Compoundlogic
1proteus简介
proteus软件是来自英国Labcenterelectronics公司的eDa工具软件，proteus软件有近20年的历史，在全球广泛使用。proteus组合了高级原理布线图、混合模式SpiCe仿真，pCB设计以及自动布线来实现一个完整的电子设计系统。proteus可以建立了完备的电子设计开发环境。
proteus产品系列除了具有和其它eDa工具一样的原理布图、pCB自动或人工布线及电路仿真的功能外，也包含了VSm技术，用户可以对基于微控制器的设计连同所有的周围电子器件一起仿真。其革命性的功能是，它的电路仿真是交互的，可视化的，针对微处理器的应用，还可以直接在基于原理图的虚拟原型上编程，并实现软件源码级的实时调试，有显示及输出，还能看到运行后输入输出的效果，配合系统配置的虚拟仪器如示波器、逻辑分析仪等，用户甚至可以实时采用诸如LeD/LCD、键盘、RS232终端等动态外设模型来对设计进行交互仿真。
2proteus在硬件课程中的应用
和硬件相关的教学，在理论和实践方面同样的重要，既要掌握好理论又要掌握好实际操作，一直是硬件相关教学比较困难的一个课题。传统的教学中一般是先进性理论教学然后让学习者进入实验室进行实验。而学习者要把理论和实践很好的融合在一起需要较长的时间，理论教授者和实验教授者通常不是同一授课者，而理论教授者和实验教授者的切入点和侧重点也不尽相同，如果在教学过程中，理论教授者和实验教授者的衔接稍有问题，可能使教学效果大打折扣。
为了克服这方面的问题，在教学中做了一定的探索，proteus的应用于就是教学实践中的探索之一。数字电路是一门基础性和原理性的课程，也是后继相关硬件和电路课程的基础。把proteus引入数字电路的教学有非常积极的意义。学习者初次接触数字电路都会遇到一定的困难，主要是对原理的理解上，而理解上的困难又突出的表现在逻辑函数式的运算原理上和0，1信号到底在具体电路中是起一个什么样的作用，如果这些基本点理解不好，会一直困扰数字电路后继章节的学习。
产生这种困难的原因主要是由与学习者未能从概念上区别的普通运算方程和普通数字表示建立的基础和数字电路中运算方程和数字表示建立的基础是有所不同的，而受了很多固有概念和习惯思维的影响，要使学习者摆脱固有概念和习惯思维的影响，教授者除了要从原理和概念上阐明数字电路中的基本运算法则和数字所表达的含义外，还应该让学习者及早的建立一种感性认识，这样可以尽可能的减少固有概念和习惯思维的影响，使学习者尽早的从感性认识上也接受数字电路的运算原理和表示法则，学习者建立起基本而良好的认识基础后，对整个课程及后继课程的理解都是有利的。
而这个过程中需要有强有力的辅助工具才能实现，在理论课程到实验课程，这中间是有一段时间差的，从整个课程的设计上看是没问题的，但对学习者的理解和接受上却有一定的影响的，所以要及早的让学习者建立起一种感性的认识，而及时的把proteus运用于教和学的互动中，效果是积极和明显的，可以使学习者及早的建立起感性上的认识，下面是在课程中运用proteus对基本逻辑关系式和基本门电路的一个展示，使学习者可以在理论学习中建立起初步的感性概念，同时增强对基本逻辑符号的印象。
在教授基本逻辑关系关系的过程中，主要涉及到与逻辑和对应的门电路――与门，或逻辑和对应的门电路――或门，非逻辑和对应的逻辑门电路――非门；以及几种常用的复合逻辑异或、同或、与或非。对这些基本门电路的理解直接影响学习者对最小项和最大项的理解。看似简单，但要使学习者，特别是初学者从根本和本质上理解，是需要对该部分进行精细的剖析和讲解。传统的教授过程中一般是列出相应的真值表，然后给出相应的逻辑门的符号，或者再列举一些应用题。整个过程对学习者完整的传授了知识的基本点，但忽略了人的认识一般是建立相应的感性认识，在对感性认识进行相应的总结和逻辑抽象，逐渐形成完整的抽象体系，这个过程很类似小孩学习语言的过程。把proteus应用于教授的过程恰好弥补了传统教授过程中所忽略的问题。
首先，以基本的逻辑关系为例，这包括与逻辑、或逻辑和非逻辑。在没有使用proteus进行辅助教授的过程中，一般是给出真值表，再给出一个示例，比如串联电路或并联电路。与、或、非三种基本逻辑关系比较简单，学学习者还较易理解，当逻辑关系稍复杂一些，举例相对也比较难，而且学习者不容易理解它们的逻辑关系。当把proteus应用于教授过程中，这些过程相对变得直观而形象，不仅基本逻辑电路的逻辑关系一目了然，而且复合逻辑的逻辑关系也清晰可辨。下面列举出了与（图1）、或（图2）、非（图3）三种逻辑关系在proteus运行过程中的截图，并附上了相应的真值表，学习者对照真值表，并进行相应的操作，可以直观的看到各逻辑关系输出和输入之间的函数关系，把抽象的理解变为了直观的感触，加深了印象和学习效果。【其中初始输入均为0，图中连接导线上方的小方块为红色时代表“1”，为蓝色时代表“0”；如果小方块为灰色，表示未连通。（后面出现的图与此含义相同）】
复合逻辑关系中异或逻辑（图4）、同或逻辑（图5）、与或（图6）、与或非（图6）是一种基本而常见的逻辑形式，是学习者必须掌握的逻辑结构。学习者对复合逻辑的理解是比较困难的，特别是异或逻辑和同或逻辑之间的关系，在实际生活中对应的实例很少，学习者很难直观的理解。当把proteus融入到教授过程中，使这一过程形象化和直观化，学习者通过每一步的操作与观察可以直观的理解同或逻辑关系、异或逻辑关系以及同或和异或之间的关系。
图4-1是采用的标准异或门器件74LS86实现，为了使学习者能全面的掌握异或这一复合逻辑结构，在图4-2中采用基本逻辑门电路构成异或门（与门采用74LS08，或门采用74LS32，非门采用74LS04），通过置数开关a、B可以观察到异或门内部的逻辑关系，学习者可以充分了解异或这一复合逻辑关系内部各逻辑变量是如何相互影响和变化的，从而形象而直观的理解异或这一复合逻辑。为了使学习者能充分理解并掌握异或和同或之间的逻辑关系，在图5中采用与图4-2同样的器件，实现同或逻辑关系，在图4-2中Y1表示表4中的输出Y，Y1’是Y1取反后的输出，图5中Y2是表示表5中的Y，Y2’是Y2取反后的输出，这样可以直观的看到异或和同或之间的逻辑关系，自然的得到Y1=Y2’，或Y2’=Y1。通过直观而形象的过程，自然掌握异或和同或之间的关系，摆脱了传统教授过程中大部分学习者是机械记忆同或和异或关系的状态。
图6中给出了与或和与或非两种逻辑关系的电路图，由于篇幅所限只做了部分截图，由于实验中是采用的74LS51芯片，有些学习者对其内部各逻辑变量的关系并不太理解，这里也通过三种基本逻辑门构成了一个与或门（Y端输出）和与或非门（Y’端输出），使学习者即知其然，也知其所以然。
3应用proteus带来的好处及需要注意的方面
proteus在教授过程中的应用，从某种层度上代替了实验实物的作用，如果在实验中也采用proteus，可以很大程度上减轻实验前的准备工作，使实验室更容易维护。但另一点不容忽视，软件毕竟不能代替实物，尤其是实物操作过程中可能出现的问题，有时是软件不能模拟的，比如芯片是否插反，外界的环境变化等，所以对实物操作也需要进一步加强，使理论知识真正能用于实践，并藉助proteus这一工具更好的促进实践和提高理论水平。
有了proteus作为强有力的辅助工具，甚至可以把数字电路下放到中等职业教育或者是中学进行，数字电路所涉及的理论知识并不是很高深，主要是对其电路的一个理解，需要较多的实践环节，也就是对感性认识的强化过程中不断对抽象的理论知识的深入理解与发挥的过程。使计算机硬件方面的爱好者有从分的发挥余地，一方面可以减少大学教育的压力，另外可以使人才及早脱颖而出。
4小结
逻辑学基本原理篇5
论文摘要：逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。
逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：
（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：p或者非p中不管变项p赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？
关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。超级秘书网
逻辑学基本原理篇6
论文关键词:逻辑真理;真理符合论
论文摘要:逻辑学是研究推理的一门学问,而推理是由概念、命题组成的,不懂得命题就不懂得推理。普通逻辑学在研究命题时,主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵,同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。
逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的:
(一)前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的,在这里真或假不是用以描述事物状态的,而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的,例如:“台湾不是一个主权国家。”这个命题的内容是符合客观事实的,所以是个真命题。
(二)推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真,归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
(三)指派真和赋值真。在逻辑学中(特别是在现代逻辑中)把命题形式当作真值形式,而且只从真假的角度研究每一种命题形式的逻辑特征,真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假,这时的真假和具体命题内容的真假无关,而只是一种假定的真假和根据这种假定而推论出的真假。
(四)形式真。这是指永真式(重言式)或普遍有效式的真。逻辑学中有一类公式,对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真,例如:p或者非p中不管变项p赋真值或是假值,这个公式都是真的。
(五)系统真。现代逻辑建立了形式系统,如果它的定理都是形式真,即都是永真公式或是普遍有效式,那么整个系统便是可靠的和一致的,这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下,逻辑学不考虑第一种意义的“真”,而只关注后四种“真”。后四种“真”在逻辑学中有各种表现,在其他科学中也有这些意义上的真的表现,就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理,是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真,它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为:全部哲学特别是近代哲学的重大基本问题,是思维与存在的关系问题。它包括两个方面的问题,一方面是思维与存在何者为本原的问题;另一方面是思维和存在有无同一性的问题,也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看,其重大的基本问题就是逻辑与客观现实的关系问题,任何逻辑学家都要回答:逻辑真理是否与客观现实一致?逻辑真理与事实真理之间又有什么关系?
关于这个理论问题,亚里士多德在其所着《形而上学》一书中明确提出并详细论述了逻辑基本规律(矛盾律与排中律)。在谈到矛盾律时认为,事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律,是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性,其根据就是真理符合现实的理论,即所谓真理符合论。它在解释真与假这对概念时说,凡以不是为是、是为不是者,这就是假的;凡以实为实、以假为假者这就是真的。按照真理符合论,一切真理必需与现实一致,逻辑真理也不能例外。可见亚里士多德的真理观,是唯物主义的一元论,这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性,却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题,对亚里士多德的真理一元论提出了挑战。他认为有两种真理:即推理的真理和事实的真理。推理的真理是必然的,事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验,它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点,就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立,在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断;分析判断是绝对独立于一切经验的知识,即先天知识。例如:“白人是人”就是分析判断,在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后,逻辑哲学领域中出现了维特根斯坦学派,即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果,发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论,使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真,由此他断言,重言式既不能为经验所证实,同样的也不能为经验所否定,也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来,凡是先天的都是分析的;反之,凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条:分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为,哲学家们常常区分两类真理,某些陈述的真理是逻辑的、必然的、根据意义而定的,另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理,后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念,他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样,必需与客观现实相符合或者相一致,在形式语言中,一个语句是不是逻辑真理,取决于它是不是在每一种解释下都成为真语句;同时一个语句在某一解释下是否为真,取决于它在这一解释下,是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句,与它们所描述的客观现实之间的符合关系,这说明它的逻辑真理或者分析真理并非先验的真或者先天的真,它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论,表明一切真理包括事实真理和逻辑真理,它们的共同特征就是必需与客观现实相符合。
综上所述,我们可以看出亚里士多德提出的真理符合论,肯定了逻辑真理与存在规律的一致性,但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为,逻辑真理和现实绝对无关,与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础,而且只能以形式语言来构造,这种观点有一定的局限性。
马克思主义认识论认为,真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出,人的实践经过千百万次的重复,它在人的意识中以逻辑的格固定下来,而最普遍的逻辑格,就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系,是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的,事实真是基础,逻辑真是建立在事实真基础之上的,二者是一致的,但是逻辑真理与任何具体的经验事实无关。
第一,逻辑系统的公理和定理的真是逻辑系统设定,其为真的根据是某种初始的逻辑关系。第二,逻辑公理和定理经过解释的真命题,其为真不取决于解释中的内容,而取决于这些公理、定理所显示的逻辑关系。第三,逻辑推断关系这种推论的结论真是一种逻辑关系真。第四,根据逻辑联系词的性质,由逻辑真得到逻辑真。如:a、B是逻辑真命题,那么a并且B、如果a那么B都是逻辑真命题。第五,数学中的逻辑真命题,是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真,在这一点上我们可以说,在局部意义上,相对于特定的逻辑系统而言,逻辑真理可以说是分析的,是以逻辑意义为根据的,而与任何具体的经验事实无关。
逻辑学基本原理篇7
【关键词】归纳逻辑/休谟问题/概率/贝叶斯主义
【正文】
一、概述
归纳逻辑是关于或然性推理的逻辑。或然性推理是这样一种推理：当其前提真时其结论很可能真但不必然真。现代归纳逻辑的显著特点就是对或然性推理加以系统化和定量化。本世纪二、三十年代以后，随着数学概率论趋于成熟，概率归纳逻辑得以产生和发展。概率归纳逻辑是应用概率论来系统地研究和表述或然性推理的。本世纪七十年代前后，出现了一种非数学概率论的归纳逻辑理论，这种理论也被称为“非帕斯卡概率归纳逻辑”（参见非帕斯卡概率归纳逻辑）。不过从总体上讲，比起经典的（亦即帕斯卡的）概率归纳逻辑，非帕斯卡概率归纳逻辑还显得比较薄弱，亟待改进和发展。
凡属经典概率归纳逻辑的理论都满足数学概率论的三条公理即：（1）任何事件或命题的概率大于等于0，即p（a）≥0；（2）一个必然事件或命题的概率等于1；（3）对于任何两个互斥的事件或命题a和B，p（a∨B）＝p（a）＋p（B）。任一事件或命题a的概率p（a）叫做“基本概率”。概率公理系统的逻辑功能就是在给定基本概率之后推导出有关的其他概率来。至于基本概率如何确定，概率公理除了告诉我们，一组互斥且穷举的事件或命题的基本概率之和等于1外，什么也没说。这种情况类似于演绎逻辑。演绎逻辑并没有告诉我们如何得到真前提，其作用仅仅在于我们得到真前提之后保证由此推出的其他命题都是真的。可见，概率公理系统实际上只是演绎逻辑或数学的一个分支。正如怎样获得真前提的问题属于归纳逻辑研究的范围。怎样获得基本概率的问题也属于归纳逻辑研究的范围。因此，确定基本概率的原则属于归纳原则，它与概率公理系统一道构成一个扩充的系统，这个扩充的系统就是概率归纳逻辑系统。采取不同的确定基本概率的原则以及对概率给以不同的解释就导致不同的概率归纳逻辑系统，进而导致不同的概率归纳逻辑学派，其中主要包括经验主义，逻辑主义和主观主义（即贝叶斯主义）。
现代归纳逻辑还面临着一个传统逻辑遗留下来的疑难问题即休谟问题亦即归纳合理性问题。此问题的严重性在于，如果作为经验科学基础的归纳推理没有合理性，那么，人们的科学活动也就成为非理性的行为。对于休谟问题，现代归纳逻辑的各个派别都试图给出解答，但是至今尚未得到一个令人满意的答案。除了休谟问题外，现代归纳逻辑还面临若干悖论，其中包括认证悖论（乌雅悖论）、绿蓝悖论（新归纳之谜）和抽彩悖论，它们分别由当代逻辑学家和哲学家亨佩尔（C.G.Hempel）、古德曼（n.Goodman）和凯伯格（H.e.Kyburg）提出。这些悖论的共同特点是，从人们通常公认的原则或原理出发，却得出逻辑矛盾或与常识相违的结论。对于这些悖论能否给出恰当的解决，是衡量一种归纳理论是否恰当的重要标志。
出于解决休谟问题、归纳悖论以及其他归纳疑难的企图，本世纪六、七十年代出现了一种新的思潮即局部归纳逻辑。局部归纳逻辑不同于整体归纳逻辑的地方在于，它不要求对一切非演绎的原则或知识进行辩护，而只要求对那些在科学家们看来已经成为问题的原则或知识进行辩护。这意味着，如果科学家们对诸如简单枚举法这些最常用的归纳原则的合理性没有产生疑问的话，那么，哲学家们也大可不必为此操心。可见，局部归纳逻辑在很大程度上是绕过休谟问题以及其他一些疑难问题的。尽管局部归纳逻辑对于现代归纳逻辑的发展起了相当大的促进作用，但是如此宽泛的局部化使其哲学价值受到怀疑。主观主义亦即贝叶斯主义概率归纳逻辑走了一条介于局部归纳逻辑和整体归纳逻辑之间的道路，而且近年来其发展势头仍然不减甚至愈来愈猛，显示出一个进化的研究纲领的某些特征。在笔者看来，贝叶斯主义概率归纳逻辑代表着现代归纳逻辑的发展趋势。下面就对有关问题分别加以简要的讨论。
二、休谟问题
休谟问题也叫做归纳问题，是由十八世纪的英国哲学家休谟（D.Hume）提出来的，它在现代归纳逻辑中仍然是核心问题之一，并且至今尚未得到令人满意的解决。休谟提出的问题是：归纳法具有理性的依据吗？如何为归纳法的合理性进行辩护？休谟本人的回答是：为归纳法的合理性进行辩护是不可能的，因此归纳法没有合理性，只不过是人的一种心理本能。休谟的理由大致是：一切推理可以分为两类，一类是关于观念间的推理，具有必然性；另一类是关于经验事实的推理，具有或然性。归纳法是要根据过去发生的事情推断将来要发生的事情，既然过去和将来之间没有逻辑上的必然性，所以不能用前一种推理为它进行辩护；但也不能用后一种推理为它进行辩护，否则就会出现循环论证。在概率归纳逻辑中，休谟问题转化为：如何为确定基本概率的原则进行辩护？对此问题，不同的学派采取了不同的论证方式或思路，但有一种趋向似乎是共同的，即为归纳法的实用合理性进行辩护。实用合理性与真理性之间并无直接关系，而是与人的主观目的性直接相关的：如，为归纳法的渐近性、简单性或可避免大弃赌等性质进行辩护均属关于实用合理性的辩护。尽管这些辩护还存有这样或那样的缺陷，但却是富有启发性的；至于从实用合理性的角度为归纳法辩护是否最终取得成功，则有待进一步的研究。笔者在拙作《归纳逻辑与归纳悖论》（1994年）中也对休谟问题提出一种尝试性的解决方案。
三、经验主义概率归纳逻辑
经验主义概率归纳逻辑主要是由莱欣巴赫（H.Reichenbach）于本世纪三十年代提出的，后由萨尔蒙（w.Salmon）等人给以进一步的发展。在此理论中，概率被定义为相对频率的极限。具体地说，在关于某一事件a的无穷序列中，如果被观察的某一特征B出现的相对频率Fn（B，a）趋向某一极限L，那么，L就是B相对于a的概率，记为：
lim
p（B，a）＝
F[，n]（B，a）＝L
n∞
由于这种定义下的概率涉及到事件的无穷序列，所以是不可能被直接观察到的，只能由渐近认定的方法来得到。渐近认定的方法是一个不断修正的过程即：当观察次数n为一有限数n[，1]时，观察到特征B出现了m[，1]次，便认定概率p（B，a）就是相对频率m[，1]／n[，1]；当n增加到n[，2]时，相对频率变为m[，2]／n[，2]，那么便重新认定p（B，a）就是m[，2]／n[，2]；以此类推，直到n充分大。这种渐近认定方法并不假定事件的无穷序列一定存在极限，但它仍然是合理的，因为，如果不存在极限，用任何方法都找不到极限，反之，如果存在极限，那么用这种方法便一定能够找到。这就是说，对于寻找频率极限，渐进认定方法不会比其他方法差而只会比其他方法好。渐近认定方法的这种合理性与真理性并无直接关系，因此常常被称为“实用的合理性”。然而，具有这种实用合理性的渐近认定规则并非只此一种，而是有无数种，它们可被统一地表述为：给定Fn（B，a）＝m／n，则推得
lim
F[，n]（B，a）＝m／n＋C（当n∞，则C0）
n∞
显然，上面提及的那种渐近认定方法只是当C为常数0时的特例，比起其他一般的渐近认定方法，它的优越性亦即合理性仅仅在于它的简单性；这能否成为对休谟问题的一种恰当解决，乃是一个有争议的问题。此外，把概率定义为无穷序列的频率极限，从根本上讲是不适用于单个事件或有限多个事件的，这一事实威胁到此定义的恰当性，也是此理论所面临的一个疑难问题。
四、逻辑主义概率归纳逻辑
逻辑主义概率归纳逻辑起源于凯恩斯（J.m.Keynes）和杰弗里斯（H.Jeffreys）等人，不过其代表人物当推卡尔纳普（R. Carnap），他于本世纪四、 五十年代系统地建立起这一理论， 后由欣蒂卡（J.Hintikka）等人给以改进和发展。该理论把概率定义为假设h相对于证据e的认证度（thedegreeofconfirmation），记为C（h，e）。C（h，e）仅仅表达了h和e这两个命题之间的某种逻辑关系，而对h和e各自的真假毫无断定，因此对它的确定只需进行语义分析，而无需与事实相对照。该理论是建立在一个简单的语言系统之上的，该语言仅由个体常项、一元谓词和逻辑常项构成，而且其数目都是有限的；这样便可形成一些对所有个体的各种性质同时有所断定的语句即“状态描述”，而其他任一语句的概率都可根据状态描述的概率从逻辑上加以确定。问题的关键在于如何确定各个状态描述的概率，对此，卡尔纳普先后采取了不同的方法和态度。它开始将无差别原则直接用于状态描述，从而给各个状态描述以相等的概率；后又改为将无差别原则用于所谓的结构描述，最后又建立了一个“归纳方法连续统”，允许用无数多种方法对状态描述赋予概率；至于一个人如何在这诸多的归纳方法中加以选择，则取决于他在实用上甚至在直觉上的理由。这样一来，卡尔纳普便在很大程度上放弃了原先的逻辑主义主张，在很大程度上转入主观主义的阵营。
五、主观主义概率归纳逻辑
主观主义概率归纳逻辑也叫做私人主义（personalism）或贝叶斯主义（Bayesianism）概率归纳逻辑。此理论发端于本世纪三十年代，其创始人是拉姆齐（F.p.Ramsey）和菲耐蒂（deFinetti）。在此理论中，概率被解释为一个人的合理的主观置信度。主观置信度是人的内省经验，为了使之具有可测度性，它又被定义为一个人关于某一命题的
d[，1]真实性所愿接受的最大赌商，即：p（a）＝───────，这里d[，1]
d[，1]＋d[，2]代表某人关于命题a的真实性进行打赌时所愿下的最大赌金，d[，2]是其对手所下的赌金。该理论的一条重要定理即大弃赌定理（the DutchBooktheorem，有文献译为“荷兰赌定理”）表明，一个人要能避免大弃赌，当且仅当，他的最大赌商满足概率论公理。所谓大弃赌是这样一种，无论所赌的那个命题是真还是假，赌者都要输钱。显然，导致大弃赌的赌商以及相应的置信度是不合理的；这表明，把概率解释为一个人的合理置信度是恰当的。该理论的另一条重要定理是意见收敛定理，它表明，如果按照贝叶斯定理来不断地修正验前概率，那么，无论验前概率是怎样的，验后概率终将趋于一致；这样，验前概率的主观性和任意性就成为无关紧要的，因为它们终将淹没在验后概率的客观性和确定性之中。一个人对被检验假设的验前概率是由他当时的背景知识决定的，这表明主观主义具有局部归纳逻辑的特征；同时，主观主义又要求按照贝叶斯定理用检验结果不断地修正验前概率，从而使局部化的程度及其影响降至最低。可见，主观主义走了一条介于整体归纳逻辑与通常的局部归纳逻辑之间的道路。
意见收敛定理也是对休谟问题的一种解答，然而，哈金（i.Hacking）指出，贝叶斯定理仅仅是关于条件概率的，而非关于验后概率的，因为从逻辑上讲，验后概率可以不等于条件概率。把验后概率等同于条件概率，这是主观主义概率归纳逻辑的一个预设，其合理性有待进一步的辨护。在这方面，拙作《归纳逻辑与归纳悖论》作出一定的努力。
六、贝叶斯定理
贝叶斯定理是概率论的一个定理，它在现代归纳逻辑中常常扮演着重要的角色，因为它提供了一种计算假设的验后概率的方法。贝叶斯定理的表达式是：
在p（e）＞0和p（h[，i]）＞0的条件下，如果h[，1]，h[，2]，…，h[，n]是互斥且穷举的，那么，
p（h[，j]）p（e／h[，j]）
p（h[，j]／e）＝───────────── （1≤j≤n）
n
∑p（h[，i]）p（e／h[，i]）
i＝1
此等式左边的条件概率p（h[，j]／e）一般被称为被检验假设h[，j]相对于证据e的验后概率（上面提到，哈金已指出此说法并不严格），等式右边分子中的p（h[，j]）表示h[，j]的验前概率，p（e／h[，j]）表示h[，j]对e的预测度（或似然度）；类似地，分母中的p（h[，i]）和p（e／h[，i]）分别表示该组假设中的任一假设h[，i]的验前概率亦即主观概率和对e的预测度。根据贝叶斯定理，在对一个假设进行检验的时候应当满足以下几个要求：（1）至少存在另一个竞争假设，即n≥2；（2）这n个假设中至少并且至多有一为真；（3）任何一个竞争假设的验前概率大于0而小于1；（4）证据的无条件概率大于0。应当说，这些要求对于科学检验的实际过程来说都是合理的；并且有文献表明，满足这些要求对于解决归纳逻辑的一些疑难问题是必要的。由于贝叶斯定理给各个竞争假设的验前概率亦即主观概率留有发挥作用的余地（对之只有很弱的限制即大于0而小于1），从而成为从假设的验前概率过度到验后概率的桥梁。这使得它在现代归纳逻辑中，尤其在主观主义概率归纳逻辑中起着重要的作用，这就是主观主义概率归纳逻辑又被称为贝叶斯主义的原因。
七、无差别原则
无差别原则也叫作“不充分理由原则”，其内容是：对于任何两个事件或命题a和B，如果我们关于它们的知识是无差别的，亦即我们没有理由认为其中一个比另一个更有可能发生，那么，我们就应当对它们赋予相等的概率，即p（a）＝p（B）。无差别原则在古典概率论中起着重要的作用，因为概率的古典定义是：
a所包含的基本事件的数目
p（a）＝─────────────
全部基本事件的数目
基本事件的特征之一是具有等概性，而这种等概性就是由无差别原则确定的。无差别原则在现代归纳逻辑中也起着重要的作用，这在逻辑主义概率归纳逻辑中是十分明显的。无差别原则在很大程度上具有主观性和任意性，因为在一定意义上它是基于人们对两个事件或命题的相等的无知，这势必导致某些荒谬的结论。正因为此，现代归纳逻辑的另一些学派都尽量避免使用无差别原则。但是，这种努力是否成功，还是一个值得研究的问题。不过有一点是可以肯定的，即使保留无差别原则，也必须对它的使用条件或使用范围加以限制。
八、相关变项法
相关变项法（therelatedvariablesmethod）是由英国逻辑学家和哲学家科恩（J.Cohen）于本世纪70年代提出来的。它的新颖之处在于试图给出一个分级的而非连续的归纳支持测度。这种分级归纳测度的现实根据在于，科学家们为检验一个科学假设而进行的科学实验是经过精心策划的和有限的，而不是盲目的和无限多的，科学家们设计实验的基本方法就是逐一改变与被检验假设相关的变项及其组合。例如，对于“蜜蜂能辨别颜色”这一假设的检验来说，相关的变项包括：蜜蜂所追逐的目标的排列位置，目标的气味，等等；这些变项可以分别记为：V[，1]，V[，2]，……V[，n]；其中每一变项又包括若干变素（即变项的值），如气味这一变项所包含的变素有：甜味、苦味、酸味，等等；变项V[，i]（1≤i≤n）的k个变素可记为：V[1][，i]，V[2]，…，V[k][，i]。由于各个变项对于被检验假设的相关性程度是有所不同的，相应地，它们对于检验的重要性也就有所不同。相关变项V[，1]，V[，2]，…，V[，n]是依其重要性程度由小到大的次序来排列的。为检验一个具有“所有R都是S”这种形式的假设，实验可以按照如下方式来安排。实验t[，1]：改变相关变项V[，1]，让它依次在k[，1]个变素中取值，其他变项均保持不变，这样就构成k[，1]个子实验，从而构成一个实验完备组，即“规范实验”；如果假设没有通过这个规范实验，那么检验到此为止，否则，继续进行实验t[，2]；以此类推，直到实验t[，n]。请注意，构成实验t[，2]的一组于实验并非仅由改变V[，2]的变素决定的，而是由改变V[，1]的k[，1]个变素和V[，2]的k[，2]个变素的组合决定的。显然，t[，2]包含了t[，1]，这使得如果一个假设通过了t[，2]，那它就一定通过了t[，1]，但反之不然。这种关系适合于任何两个实验t[，j]和t[，i]（j＞i）。在进行t[，1]之前，被检验假设已经具有一定的支持度，否则它就没有被检验的价值；因此可以说，被检验假设首先通过t[，0]。这样，n个相关变项便构成包含t[，0]在内的n＋1个规范实验，从而使被检验假设的支持度可以分为n＋1个级别。如果一个假设H通过t[，i]，而没有通过t[，i]＋1，
i＋1那么它就获得第i＋1级的支持，其支持度记为S（H，e[，i]）＝────，
n＋1，其中e[，i]是关于t[，i]的证据报告。当假设H通过t[，n]时，其支持度便达到1。科恩宣称，此方法是对培根和穆勒的传统排除法的发展和精制；不过，此方法还面临一些有待克服的困难。
九、非帕斯卡概率归纳逻辑
“非帕斯卡概率论”这个概念首先由科恩于1977年正式提出，但对它的研究可以追溯到沙克尔（G.Shackle，1949）。所谓帕斯卡（pascal）概率论就是经典概率论；它有一条定理即：p（＠①H）＝1－p（H），此定理叫做“否定律”，也叫做“互补律”。但是，此定理在非帕斯卡概率论中不成立，而代之以另一条定理即：如果p（H）＞0，则p（＠①H）＝0。科恩的非帕斯卡概率归纳逻辑是对其归纳支持理论的简单扩展，即把一个普遍概括的归纳支持度移植到它的某个特殊事例上。前面谈到，归纳支持理论是以相关变项法为其语义模型的，因此，科恩的非帕斯卡概率如同支持度也是分级的而非连续的。具体地说，如果假
i＋1设“所有R是S”获得的支持度是───，那么某一具有性质R的特殊
n＋1
i＋1
i＋1事例a具有性质s的概率也是─────，记为：p（Sa，Ra）＝──。
n＋1
n＋1由于非帕斯卡概率不满足经典概率的互补律，这使得，任何一个假设如果曾经获得大于0的支持度，那么它就永远不会被彻底否定：更有甚者，如果一个假设曾经在实验t[，i]中获得较高的支持度如4／5，那么，t[，i]以后的任何否证性实验t[，j]都不能使之降低一丝一毫。应该说，这一结论是与科学检验的实际情况相违的。总之，与帕斯卡概率论相比，非帕斯卡概率论以及相应的归纳逻辑无论从语法上还是从语义上都显得不够成熟，亟待改进和发展。
十、局部归纳逻辑与整体归纳逻辑
局部（local）归纳逻辑是于本世纪六 七十年代在归纳逻辑研究范围内兴起的潮流之一，其代表人物是科恩、莱维（i.Levi）等。局部归纳逻辑是相对于整体（global）归纳逻辑而言的，而且同归纳逻辑的辩护问题直接相关。休谟把对一切或然性推理即归纳推理的辩护归结为对简单枚举法的辩护，他论证了简单枚举法的合理性得不到辩护，因此一切归纳推理都得不到辩护。休谟这里所要求的辩护是一种整体的辩护，即除演绎推理原则以外的任何原则或知识都需要辩护。以整体辩护为目标的归纳逻辑就是整体归纳逻辑。卡尔纳普和莱欣巴赫等人的归纳逻辑均属此类。与此不同，局部归纳逻辑只要求对归纳推理作局部的辩护。以科恩的相关变项法为例，它是以相关变项及其相关程度的知识为前提的，至于这种知识是如何得到的，此问题则超出归纳逻辑的范围，正是需要哲学家们向科学家们请教的，而不是相反；事实上，对于一个成熟的科学共同体来说，有关相关变项的意见往往是一致的，因而无需哲学家们节外生枝地对此提出质疑。用莱维的话来讲：“在科学中，仅当在具体的研究语境中产生了辩护的需要，关于信念的辩护才成为必要的。”现在一般认为，休谟所要求的那种关于归纳逻辑的整体辩护是不可能达到的，只能达到局部辩护，问题在于局部化的程度。应当说，一种归纳逻辑理论的局部化程度越低，其哲学价值越高。在许多学者看来，科恩和莱维等人所主张的归纳逻辑的局部化程度太高了，几乎等于对休谟问题的回避，因而是不能令人满意的。相比之下，贝叶斯主义归纳逻辑的局部化程度要低得多。
【参考文献】
〔1〕C.Howson&p.Urbach，ScientificReasoning——theBayesianapproach，Chicago:open court publishing Company，1989.
〔2〕R.J.Bogdan，Localinduction，Dordrecht:Reidel，1976.
〔3〕m.Hesse， the Structure of Scientific inference，Berkeley:UniversityofCaliforniapress，1974
〔4〕w.C.Salmon，theFoundationsofScientificinference，pittsburgh:Universityofpittsburghpress.1967.
〔5〕H.Reichenbach，thetheoryofprobability， Berkeley:UniversityofCaliforniapress，1949.
〔6〕L.J.Savage，theFoundationsofstatistics，newYork:JohnwileyandSons，inc.1954.
〔7〕i. Hacking，'slightly more Realistic personalprobability'，inphilosophyofScience，vol.34，1967.
〔8〕B.de.Finetti，‘Foresight:itsLogical Laws， itsSubjectiveSources’，inStudiesin Subjective probability，editedbyH.e.Kyburg，Jr.，andH.e. Smokler， new York:JohnwileyandSons，inc.1964.
〔9〕Camap，LogicalFoundationsofprobability， Chicago:UniversityofChicagopress，1950.
〔10〕R. Carnap，the Continuum of inductive methods，chicago:UniversityofChicagopress，1952.
逻辑学基本原理篇8
【关键词】地方高校;逻辑教学;改革
长期以来，学界关于高校逻辑教学改革讨论的焦点问题就是教学内容，即逻辑学应该讲授什么？是讲传统逻辑还是讲现代逻辑？对此，学界的看法不一，可谓仁者见仁，智者见智。就笔者目前查到的文献来看，大部分人的观点还是认为，高校逻辑教学不能一味地只要求讲授现代逻辑，但也不能一味地只要求讲授传统逻辑，而应当依据逻辑课的课程类别、学生和学校的不同层次以及学生的不同科类，将传统逻辑和现代逻辑结合起来，但要各有侧重。从这些讨论中，我们更要看到，逻辑教学改革这一话题之所以提了这么多年，至今人们还在热议，其背后是逻辑学界的各位同仁们对高校逻辑课现状的忧虑、不满以及想要改变这一现状的迫切心情。下面，笔者根据自己这几年的逻辑教学实际，谈谈自己的一些想法。
一、地方高校逻辑教学的现状
（一）课程设置不合理
逻辑学是一门研究思维的科学，它对训练学生的思维能力，提高思维素质，培养创新思维能力方面具有尤为关键的作用。自20世纪50年代，逻辑学进入高等院校的课堂以来，有过辉煌期，也有过低潮期。在1978―1992年期间，所有高等院校的文科类专业，如法学、哲学、思想政治教育、汉语言文学，初等教育等，都将逻辑学作为基础课开设，课时一般都在70学时左右。进入90年代以来，我国逻辑教育逐渐呈现萎缩趋势，许多地方高校的课程设置中已经不易见到逻辑学课程了，如黔南民族师范学院的汉语言文学专业就已经不再开设逻辑学课程;即使有些地方高校的部分专业开设了逻辑课，却大都已经把逻辑学由原来的必修课改为了通识课，逻辑通识课的教学目的是培养和提高大学生的逻辑思维素养，以便他们更好的学习其它专业课程，其教学时数一般都不超过30学时;而部分专业虽然把逻辑学作为必修课，但教学学时相比以前也明显减少。
（二）教材体系不合理
我国的逻辑教材体系几十年来都是以传统的直言三段论为主要内容的，内容单一而落后，缺少新鲜的、现代化的内容，教材体系不够合理。虽然当前市面上看到的逻辑教材种类很多，但各教材之间的沟通很少，呈散沙状，再加上教材的针对性不强，所以很难发挥其作用，也达不到预期的教学目的。
（三）教学方式单一
笔者在这几年的逻辑学教学中发现，学生在接触逻辑学之前对逻辑学的印象就是：难懂、深奥;在刚刚接触逻辑学（比如学习概念、命题）的时候，他们认为这是很有意思的一门学科;当讲到推理、现代逻辑的时候，更多的符号、人工语言被引进，地方高校文科类的学生由于其数学基础普遍不好，对此就有一种畏惧心理。对于初学逻辑的这些学生来说，精确的人工语言远远没有自然语言生动、有趣，天天看着枯燥的符号也就失去了学习逻辑学的兴趣，对课程的学习也变成了应付，慢慢地就发现这门课程学不懂了。这样的逻辑教学就失败了，更不用去谈逻辑教学预期达到的效果。
二、地方高校开设逻辑课程的价值
（一）逻辑学是一门基础性学科，为科学研究提供必要的方法指引
人们不论从哪种角度研究事物，不论构建什么学科理论，也不论用何种语言表述理论，都离不开对共同的思维类型即概念、命题、推理的运用，都不能违反逻辑的规则、规律，从这个意义上说，逻辑学是其他任何学科的基础，任何学科都是应用逻辑。1974年联合国教科文组织把逻辑学与数学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学列为七大基础学科，逻辑学位列七大基础学科的第二位。1977年版的英国大百科全书列出了知识的五大科类，即逻辑学、数学、科学历史学和人文学，其中逻辑学位列五大分科之首。由此可以看出逻辑学的地位和重要性。这一点，我们也能从当前国内外一些大型的考试都很注重测试逻辑思维能力可以看出来。逻辑是研究思维的，思维和逻辑密不可分，良好的思维素质离不开逻辑，而思维素质又是人最重要的素质之一，这就决定了地方高校学生的逻辑思维能力培养主要是通过讲授逻辑课进行的。逻辑思维能力是一种能力，不是一种具体的知识，这种能力是通过学习逻辑可以训练的。可见，逻辑学是基础科学。在我国高等教育的课程体系中，它作为一门基础科学，应当是每个大学生的必修课程。
（二）逻辑学是一门工具性学科，其功能是训练思维
逻辑学是研究思维的，但它研究的不是思维的内容而是思维的形式。逻辑学提供的关于概念、命题、推理、论证、逻辑方法的理论，不仅为人们学习、理解掌握和研究其他科学提供了有力工具，也为人们正确地表述思想、驳斥谬误提供了有力工具，同时还对人们参加各类考试有直接帮助。就像黑格尔所指出的，逻辑学就像生理学不能教给人正确地消化一样，逻辑学也不能教给人如何正确地思考思维，只能教给人认识思维的形式和规律性。可见，逻辑学是一门工具性、方法性的科学。作为一种工具，应用性就是其生命之所在。
三、地方高校逻辑教学改革的策略
（一）根据学生的专业、科类合理设置课程
学校有本科院校和专科院校之分，而本科院校中又有重点本科、一般本科等不同层次。针对不同的层次，开设的逻辑课程理应有不同的侧重点。绝大多数的地方高校都是一般本科（包含专科），所以在课程设置的时候只需考虑学生的层次，是研究生、本科生还是专科生？地方类高校一般没有逻辑学的研究生，主要是本科生和专科生（统称为大学生）这两个层次。所以给地方高校的大学生开设逻辑课的时候主要就是根据学生的专业来考虑逻辑课的课程类别，是作为专业必修课出现还是作为通识课出现。但不管是作为专业必修课出现还是作为通识课出现，普遍增加逻辑学的课时是必要的。此外，逻辑课的开设还应该根据学生的科类，比如对理科生，就以讲现代逻辑为主;对文科生，应当以传统逻辑为主，结合现代逻辑讲授。
（二）根据学生的层次编写教材
杨树森教授在中国逻辑学会第六次代表大会暨学术会议上曾明确提出高等院校的逻辑教学应该区分：逻辑学研究和逻辑学教学;理科逻辑教学和文科逻辑教学;哲学专业的逻辑教学和非哲学专业的逻辑教学;本科的逻辑教学和专科的逻辑教学;全日制高校的逻辑教学和自学考试、继续教育的逻辑教学。这一理论提醒我们，在编写教材的时候应该将高校逻辑教学对象考虑得尽可能全面些。这样才能针对不同群体的特点和需要，编写出各具特色的教材，真正做到因材施教。地方高校的大学生学习逻辑，大多不是为了以后专门从事逻辑理论研究，而是为了提高运用逻辑方法解决实际问题的能力，提升逻辑学“应试能力”。市面上的逻辑学教材虽然种类繁多，但是没有一本能够真正满足地方高校学生的这种需要。一本好的教材，一方面要求教材内容精练、结构合理，适合受教育对象，另一方面要求其具有较强的可读性和趣味性。而完成这一重任需要我们逻辑工作者多费心血，可喜的是，我们已经看到一些逻辑学界的同仁们正在向这个方向努力。
（三）优化教学内容，改进教学方法
当前国内外一些大型的考试都涉及逻辑学，比如美国大学研究生院的三大标准化考试：GRe（研究生入学考试）、Gmat（经管企业研究生入学考试）和LaSt（法学院入学考试）都很注重测试考生的逻辑思维水平，要求考生在尽可能短的时间内完成阅读材料，摆脱冗余信息的干扰，准确理解题意，并迅速解决问题;我国近年来也借鉴国外这一做法，在mBa（在职工商硕士管理）、mpa（公共管理硕士）、GCt（工程硕士）以及国家公务员考试的“行政职业能力综合测试”的科目中，也注重测试考生的逻辑思维水平。但是同时我们发现，很多学生能在学校的逻辑学课程考试中得高分，但参加这类考试的时候结果却不尽然。究其原因，一方面是地方高校逻辑学教材对这方面欠缺关注，但更重要的一个原因是地方高校逻辑学教师重理论轻应用、与社会考试脱节，没有深入研究这些大型考试的逻辑学命题倾向，从而也就无法从这方面引导学生。所以地方高校逻辑学教改的一个方向就是优化教学内容，推进逻辑学在现实中的应用性，提升逻辑学“应试能力”。
教学是一门艺术，课堂教学很考验老师的基本功。对于地方高校这个层次的学生而言，逻辑学教师除了要有更多的耐心之外，还要特别注意教学方法，教学方法是决定课堂教学成功的关键因素。正如前面提到的学生在学习逻辑之初，他们的兴趣还是很大的，当慢慢引进符号后，他们就开始觉得逻辑枯燥乏味了，所以这个时候老师要特别注意方式方法，案例式、启发式、讨论式、互动式……的教学形式都可以尝试。一定要保持学生学习逻辑的兴趣，才能让学生从心里喜欢逻辑，让他们感到逻辑是有用的。如何用通俗易懂、生动有趣的语言将抽象的理论传授给学生，在训练思维的同时提高他们解决问题的能力？教学方法很重要。这是我们要在逻辑学教学实践中进一步摸索的，只有做到灵活变通，才能达到更好的教学效果。
综上所述，地方高校逻辑教学存在的问题不是单方面的，而是多方面的，因此，地方高校逻辑教学改革也应该从多方面着手，形成合力，才能改变这种现状。这种改变是需要过程的，我们期待不会很远。
参考文献
[1]何向东.逻辑学教程（第二版）[m]北京：高等教育出版社，2004（07）.
[2]何向东，李包庚.逻辑原理与实务[m].北京：高等教育出版社，2011（09）.
[3]秦纬远，李晋红.关于高校逻辑教学改革的再思考[J].科学教育家，2008（10下）.
逻辑学基本原理篇9
英国著名的哲学家、思想家和科学家培根说过：“史鉴使人明智；诗歌使人巧慧；数学使人精细；博物使人深沉；伦理之学使人庄重；逻辑与修辞使人善辩。”法律逻辑学是一门逻辑学与法学相互渗透、相互融合而产生的边缘性、应用性的学科，一方面，它将逻辑学的基本知识和基本原理应用于法律和司法活动过程，从而探讨关于法律思维活动的一般逻辑形式和逻辑规律；另一方面，它要结合法律与司法活动思维的特殊性，研究法律思维活动特殊的思维形式及其合理性规则。我国对法律逻辑学的研究起步于20世纪80年代初，“由于历史的原因，早期对法律逻辑的研究主要体现在如何应用传统逻辑知识来解释司法实例问题上，实际上是停留在‘传统逻辑在法律领域中的应用’这一层面上。”目前在我国，随着法制建设的进步以及法学教育的发展，法律逻辑学的教学研究在广大法律工作者与逻辑工作者的广泛关注下取得了长足的进步，但是与法学的其他传统学科相比，法律逻辑学依然是一门相当年轻的学科，我们要加大对法律逻辑学教学方法改革与创新的关注力度，通过教学方法的改革与创新进一步推动我国法律逻辑学教学体系的不断完善。就目前的法律逻辑教学实践来说，典型案例教学法、辩论教学法、多媒体技术教学法、情境教学法与法律职业特征相吻合，值得探索。
一、典型案例教学法
“典型案例教学法是指教师在教学中选择最典型的例子讲授，使学生能依靠特殊来掌握一般，并借助这种‘一般’独立地进行学习的教学方法。”使用这一方法的主要目的是启迪受教育者的思维，培养其推理和解决问题的能力，让学生在短时间内掌握同一类知识和规律，同时使学生在实例中独立学习。由于法律逻辑学是结合着法律工作者的实际思维过程和法律条文来研究人的思维形式结构和逻辑规律的，这一独特的研究视角，使得典型案例教学法在法律逻辑学教学过程效果显著。笔者之所以推崇该教学法，主要是基于如下理由：一是由于法律逻辑是一门实践性与操作性都很强的专业基础课，其内容繁多，公式复杂，概括抽象，使人易感枯燥乏味，而典型案例教学法可以把比较抽象、枯燥的知识内容，在典型案例分析中，逐渐的刻画到了脑海中；二是利用典型案例激发学生学习法律逻辑学的兴趣、促使学生养成主动学习和批判思考的推理能力、为学习者提供一种不用亲自实践但却能在短期内接触并处理大量实际问题的机会；三是典型案例教学法可以运用于法律逻辑学的任一章节，易于学生对相关知识的理解记忆。但是，案例教学法并非孤立的教学活动，应与法学教育中的其他教学方法有机地结合起来，既可以进行举例说明，又可以进行模拟训练；既可以进行个人练习，又可以展开小组讨论。总之，典型案例教学法实际上是一种理论联系实际的教学方法，在法律逻辑教学过程中，利用典型案例把逻辑理论与司法实践紧密结合起来，用法学的观点看逻辑，用逻辑的观点看法律。“法律逻辑学应属于逻辑学，即它主要是逻辑科学在司法实践中的应用，因而属于应用逻辑的分支。”列宁曾说过:“一切科学都是应用逻辑。”
二、辩论教学法
法律逻辑学是研究法律思维的逻辑学科，是培养法律思维能力的重要工具。因此，该课程教学的根本目就是要培养和提高学生的逻辑思维能力，促进其自觉地运用逻辑知识，更好地为我们的生活、工作服务。而法律思维能力只有通过逻辑思维和法律实践的紧密结合才能得以不断提高，辩论教学法正是这一过程的真实再现。辩论教学法有如下优势：一是有助于学生对所学知识的融会贯通。通过辩论，学生可以根据自己所掌握的知识，运用正确的逻辑推理形式获得新知识；二是有助于提高学生的表述能力。人们表达思想和建构理论都力求思想明确、条理清楚、结构严谨、首尾一贯，这些都需要有较强的逻辑思维能力。说过：只有学会语法、修辞和逻辑，才能使思想成为有条理和可以理解的东西；三是有助于学生提高运用所学法律知识论证个人观点和反驳他人观点的能力，提高其论证能力。对于法官和律师来说，都应善于说理、善于辩论、熟练运用论证方法。辩论中教师不告诉学生现成的结论、定理和正确的证明，也不表明自己的态度，而只是引导学生通过自己的分析理解，自己去发现其中的规律和方法，得出自认为合乎逻辑的结论。
三、多媒体技术教学法
边缘性的学科性质注定了法律逻辑学具有高度抽象性。在法律逻辑学教学中，将多媒体技术教学法这一现代化的教学方法和传统的教学方法相结合，可以大大提高教学效果。现代化的教学手段在教学过程中是必不可少的，作为现代化教学手段之一，多媒体技术教学法就是利用powerpoint软件系统把法律逻辑学的概念和原理制作成演示文稿的形式，向学生进行展示和讲解的方法。通过多媒体教学教学，可以使学生利用现代化的高科技技术轻松地理解掌握内容较为抽象的法律逻辑知识。同时，多媒体教学法也弥补了教学与社会实践相脱节的缺陷。多媒体技术教学法的优势突出表现为：一是具有较强的表现力和感染力，容易调动学生的学习兴趣和学习积极性。例如，在讲到复合推理的综合运用时，运用多媒体课件，将案发过程和侦查人员的调查经过重演，引导学习者列出侦察人员所掌握的情况，并以此作为前提进行推理，破获案件；二是知识容量大，可以拓宽课堂教学的时空范围，优化教学资源的合理利用。
逻辑学基本原理篇10
关键词:哲学逻辑;逻辑哲学;词义;辨析
一哲学逻辑词义的历史演变
明确使用“哲学逻辑”一词的是英国著名数学家、哲学家、逻辑学家罗素。他在《我们关于外在世界的知识》一书(1929)中,指出:“数理逻辑,除了它的初创形式之外,就连最现代的形式也不直接具有哲学上的重要意义。在初创以后,它就属于数学而不属于哲学了。我将要扼要论述的,是数理逻辑的初创形式,只有这个部分才真正称得上哲学逻辑。往后的发展,尽管没有直接的哲学意义,但是对哲学研究有很大的间接用处。”①他还认为,哲学逻辑的真正对象乃是为各种命题和推理所共有的逻辑形式,哲学逻辑乃是对逻辑形式的研究。以往的哲学由于被语言表面的语法形式所蒙骗,未能认清其隐藏着的真正的逻辑形式,而犯了许多重大的哲学错误。
可见,罗素对“哲学逻辑”一词的词义只给予了初步界定,而未加阐释。后来的英国著名学者斯特劳森赋予了“哲学逻辑”以明确的含义。1967年,斯特劳森编辑出版了一本题为《哲学逻辑》的文集,该文集收入了弗雷格、格拉斯等学者的相关论文,他为此书撰写了一长篇序言,在序言中,斯特劳森阐述了他对哲学逻辑的观点。他把整个逻辑领域区分为两部分:“逻辑是关于命题的一般理论。它有形式的部分和哲学的部分。”分别叫形式逻辑和哲学逻辑。在他看来,形式逻辑研究命题之间的可演绎关系或蕴涵关系,它要以系统的方式排列有关这种蕴涵关系的各种规律;而哲学逻辑则要研究形式逻辑产生的哲学背景和哲学预设,以及由此引出的一系列哲学问题,例如:究竟什么是命题?说一个命题为真是什么意思?命题联结词的准确性质,特别是出现在条件命题中的蕴涵的准确性质是什么?意义概念应当怎样加以分析?真理概念和分析性概念应当怎样加以分析?指称和述谓((predica2tion)的区别与联系是什么?哲学逻辑学家要回答这些问题,就必须回答有关语言和各种语言表达式的性质与功能等问题。因此,需要进一步研究这样一些问题:实际的言语活动模式;意义理论;语言交际的特性与条件,等等。②
很明显,在斯特劳森那里,“哲学逻辑”其实质不是逻辑,而是某种形式的哲学,是对与逻辑有关的哲学概念和哲学问题的仔细探究,它的成果和方法有直接或,间接的哲学意义。在斯特劳森观点的影响下,英国哲学家大都在哲学意义上使用了“哲学逻辑”一词。例如,格雷林在《哲学逻辑引论》一书中指出:“哲学逻辑是哲学,尽管它是提供逻辑学知识,对逻辑问题很敏感的哲学,但它是哲学。”他甚至认为,在“哲学逻辑”这一名词中,“逻辑”这一字眼的作用会引人误解,因为,哲学逻辑并不是关于逻辑的,也不是逻辑学。正是基于这些看法,格雷林的《哲学逻辑引论》所研究的主要是:命题;必然性、分析性与先验性、存在、预设与摹状词、实在论与反实在论,③等等。与格雷林同为英国牛津大学讲师的沃尔夫拉姆在1989年出版的《哲学逻辑导论》一书中,沃尔夫拉姆也阐述了他对哲学逻辑的看法。在他看来,哲学逻辑是关于论证、意义与真理的研究,它的主题与形式逻辑相关,但其研究对象不同,它不像形式逻辑那样处理有效论证,它只检验已经建构好的逻辑系统中的基本概念。根据这种观点,沃尔夫拉姆在书中主要研究了指称与真值、必然真、分析与综合、存在与同一、意义问题,等等。④在由联合国教科文组织筹划,法国哲学家保罗·利科主编的《哲学主要趋向》(1979)一书中,所沿用的都是这种意义上的哲学逻辑概念。
然而,数理逻辑诞生以来,数理逻辑成果被广泛运用,大批应用逻辑分支如同雨后春笋般地涌现出来,很多哲学家与逻辑学家关注了这一情况,赋予了哲学逻辑以逻辑的含义。众所周知,在逻辑发展史上,莱布尼茨最早提出了创立数理逻辑的理想,他为此付出了艰苦的努力,却未能获得成功。
1930年哥德尔证明了谓词演算的完全性,数理逻辑才算真正创立。但是,有一部分逻辑学家不满意已有的数理逻辑系统,认为它们存在严重的“缺陷”和“不足”,于是着手“修改”或“扩充”已有的一阶逻辑。他们或者创立了一些修正以至替代它们的新逻辑分支,例如直觉主义逻辑,相干和衍推的逻辑,多值逻辑,自由逻辑等等,或者应用已有的一阶逻辑工具于哲学、语言学等专门领域,创立了带有浓厚应用色彩的多种逻辑分支,例如,模态逻辑、时态逻辑、道义逻辑、认知逻辑等等。
这些新的逻辑系统或分支在20世纪20—30年代开始出现,在50—70年代繁荣兴旺起来,以至最后形成了一个新兴的逻辑学科群体。⑤因此,相当的学者越来越倾向于用“哲学逻辑”一词专指这个新兴的学科群体。例如,美国逻辑学家莱斯彻在1968年出版的《哲学逻辑论集》中阐述了他对哲学逻辑的看法。他指出,现代逻辑的发展有两个方向:一是数学方向,即数理逻辑,它是现代逻辑发展的主流;另一个方向则是哲学逻辑,它是对一些相关的哲学领域,比如本体论、认识论领域、伦理道德与规范概念等的逻辑研究,这些研究的共同特点是它们与数学并无直接联系,而往往具有较为明显的哲学背景与哲学意义,故称为哲学逻辑。⑥在他看来,模态逻辑、时态逻辑、道义逻辑、认知逻辑等等,就是哲学逻辑研究的主要内容。他所构造的哲学逻辑就是由这些研究内容所组成的学科群体。
关于哲学逻辑的词义,也有许多学者是在哲学与逻辑的双重意义上来使用。例如,柯比和古尔德合编的《当代哲学逻辑》以及冯.赖特的论文集《哲学逻辑》都属于这一类型。在他们看来,哲学逻辑既指对逻辑所产生或引起的哲学概念和问题的哲学研究,也指这种研究所建立起来的新的逻辑。前者是非形式的,后者则是用形式化方法构造的形式系统。恩格尔则把前者叫做“非形式的哲学逻辑”,后者叫做“形式的哲学逻辑”。
二哲学逻辑对象的界定
根据上述对哲学逻辑词义的历史考察,关于哲学逻辑的词义,国外学者是在三种不同的意义上使用的:一是哲学逻辑是哲学,是一门与逻辑有关的哲学学科,它研究由逻辑所引起或,提出的哲学问题;一是哲学逻辑是逻辑,它是与哲学有关的逻辑学科,研究具有较为明显的哲学背景与哲学意义的概念的逻辑问题;一是哲学逻辑既是哲学,又是逻辑。
仔细考究这些关于哲学逻辑词义的不同看法,可知其原因是未能把哲学逻辑与逻辑哲学这两个不同的概念区分开来所致。我们知道,20世纪现代逻辑与现代哲学发展的一个重要特征是两者的相互渗透,由此出现了“哲学的逻辑化”与“逻辑的哲学化”两大趋势,并进而形成了“哲学逻辑”与“逻辑哲学”等新兴的交叉学科。⑦哲学的逻辑化趋势主要表现在现代西方分析哲学和语言哲学的兴起,芬兰最著名的哲学家、逻辑学家冯·赖特在其名著《20世纪的逻辑和哲学》中指出:“20世纪哲学最突出的特征是逻辑的复兴,它是哲学发展的发酵剂。这一复兴是从本世纪开始的。最初以剑桥和维也纳为中心,后来扩大到整个分析哲学运动,这一复兴与之交汇,这是逻辑学登上哲学舞台的标志。”20世纪以来,哲学的主要问题和研究对象既不是本体论,也不是认识论,而是语言问题,哲学研究的一般方法就是语言分析,而语言分析的基本工具就是现代逻辑,因此,在国际哲学界形成了哲学的逻辑化趋势,在这种趋势下,对一些哲学概念进行精细的逻辑分析成为一些学者关注的热点,哲学逻辑也就应运而生。逻辑的哲学化趋势是在现代逻辑的基础上,在对逻辑的哲学反思中形成的,主要表现为对逻辑本身的整体性的哲学思考或研究以及对逻辑特别是现代逻辑发展中的一些具体问题的哲学分析。由于现代逻辑本身是一个不断发展的学科群体,也由于现代逻辑发展中的哲学问题并不是一成不变的,还由于不同的研究者可以有不同的研究视野,因此,逻辑的哲学化趋势是多元的。当哲学逻辑与逻辑哲学刚登上学术舞台的时候,我国年轻学者陈波就密切关注其研究动态,在国内介绍并引进国外学者在哲学逻辑与逻辑哲学研究上的成果,并在一系列相关论著中,明确主张严格区分哲学逻辑和逻辑哲学。
在我看来,哲学逻辑是逻辑,是20世纪20-30年代开始兴起,50～70年代蓬勃发展的一个新兴逻辑学科群体,它们以数理逻辑(主要指一阶逻辑)为直接基础,以传统的哲学概念、范畴以及逻辑在各门具体科学中的应用为研究对象,构造出各种具有直接哲学意义的逻辑系统。逻辑哲学则是哲学,它在逻辑和哲学中都具有自己的起源,因而包括两部分内容:首先,逻辑哲学要研究逻辑学本身所提出的一系列哲学问题,例如逻辑究竟是什么,蕴涵与推理有效性的关系,逻辑真理和逻辑悖论等等;其次,逻辑哲学还要研究如何在哲学研究中引入现代逻辑的工具,利用它去解决传统的哲学争论和哲学难题,例如意义问题、真理问题、存在问题等等。
三哲学逻辑的研究范围
辨析哲学逻辑与逻辑哲学的词义,可知两者有着不同的研究对象,这种不同的研究对象,决定它们有着不同的研究范围。以数理逻辑为直接基础,以传统的哲学概念、范畴以及逻辑在各门具体科学中的应用为研究对象的哲学逻辑,其研究范围包括两大子群,一是异常逻辑(deviantlogic),形式上表现为经典逻辑的择代系统(alternativesystems);一是应用逻辑(appliedlogic),形式上表现为经典逻辑的扩充系统(extendedsystems)。
异常逻辑亦称非经典逻辑(non-classiclogics),它们是相对于经典逻辑而言的。经典逻辑包括命题演算、谓词演算和关系演算,是建立在下述基本原则或假定之上的:(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:philosophicalLogic,oxfordUniversitypress,1967年版,第1页。
③格雷林:《哲学逻辑引论》,中国社会科学出版社1990年版,第17页。
④S,wolfram:philosophicalLogic:anintroduction,RoutledgeLondonandnewYork,1989年版,第8页。
⑤陈波:《逻辑哲学》,北京大学出版社2005年版,第10页。
⑨熊明:《一阶逻辑的内涵语义》,《湖南科技大学学报》(社科版)2006年第6期。
⑩闫景强:《一个以实践确证论为基础的认知逻辑系统KJB》,《湖南科技大学学报》(社科版)2008年第1期。
⑥n.Rescher:topicsinphilosophicalLogic,D.ReidelpublishingCompany,1981年版,第21页。