逻辑学概念之间的关系范例(3篇)
逻辑学概念之间的关系范文
一、细化概念教学，有效培养学生逻辑思维
在初中数学概念教学中，可以采用多种教学方法。如运用直观教具，引导学生有目的、深入细致地观察，使学生从感性认识上升到理性认识，从而掌握概念。从学生已有的知识出发，帮助学生理解新概念，创设情境，引入概念，使学生产生求知的欲望，并为得到某一概念而积极思维。无论采用哪一种教学方法都需要讲清概念的基本含义，而学生要真正理解概念的含义，必须通过思维才能实现，学生的思维只有接受老师的指导，才能按正确的思路进行思维，也就是说学生的思维跟上老师讲课时的思路。因此，在概念教学时要求教师要精心设计教学过程，首先就要抓住学生的心理。然后使学生按照你事先设计好的思路进行思维，从而发展学生的逻辑思维能力。另外在概念的讲授过程中，要使学生弄清楚一个基本概念的外延和内涵，运用正确的分类规则使学生掌握一些概念之间的相互关系和区别，对于具有从属关系的概念，要使学生掌握“种概念”和“属概念”之间关系和定义概念中的具体内容，这样在根据这一概念进行推理中，就会不仅考虑它本身的特点，而且还会考虑到这种概念所具有的一切属性它也具有，由此，教师在推理过程中应注意加以引导，学生的逻辑思维会得到更开阔的发展，从而发展学生的逻辑思维能力。例如在长方体这一概念的教学时，出示教具，让学生观察这个几何体有什么特点，学生说它的特点一共有六个面，每个面都是矩形，它是一个四棱柱，它是一个直四棱柱等等，然后根据学生的回答总结出它是一个底面是矩形的直四棱柱这个结果，然后定义出凡是底面是矩形的直四棱柱叫做长方体。然后让学生举几个长方体的例子，这样就使学生基本上掌握了长方体的概念。另外，在长方体的教学时，还要指明它是棱柱的一种，所以它具有棱柱的特点，这样可以把棱柱的特点过渡到长方体上，从而使学生在掌握长方体概念的同时，培养了学生的思维能力。
二、夯实基础知识，有效发展学生逻辑思维
在初中数学教学过程中，教师要逐步教给学生观察、比较、分析、综合、抽象、概括、判断、推理等思维方法。思维的发展具有某些规律性，它需要用一定的方法培养、训练，在教学过程中教给学生一定的思维方法，从而发展学生的逻辑思维能力。教学过程中，教师要通过仔细分析条件和结论之间的关系来拓展思路，条件和结论的关系有的是一个条件可以得出多种结论，也有时一个条件可以通过多种途径来达到某一固定的结论，因此，对条件和结论的分析在教学中可以培养学生的思维深度、广度及思维的灵活性。在教学过程中，根据每节课的特点采用灵活多样的教学方法来培养学生的逻辑思维能力。由于每节课的知识内容和结构各有特点，所以在教学中注意根据教学内容的不同，采用不同的教学方法，绝不能拘泥于一种固定的教学方法。在教学中，注意教学内容和形式相统一的方法，激发学生的学习热情，培养学生的逻辑思维能力。
三、激励学生思考，有效发展学生逻辑思维
逻辑思维中极为重要的是所谓思维的志向水平，即思维的兴趣、动机、意向。教师在教学中要激发学生的学习兴趣，引发动机，使学生获得思维成就带来的欢乐。例如在“多边形内角和”教学时，教师不是照本宣科，而是要学生们想一想，最简单的多边形是几边形，学生自然会想到三角形，那么，能不能多边形内角和转化为三角形内角和问题呢？在教师的启发下，学生展示了自己的思维过程。这对学生来说，就是一种“活生生的构想”，通过构想，把复杂问题转化为简单的或已学过的知识。在教学中要给学生创设思维的条件，让学生通过自己的思维来学习。在传统教学中，教师备课时往往为学生作了详尽的考虑和安排，如哪些概念易混淆，哪些公式在运用中可能出现问题，在问题中应该注意些什么等等。但是，在教学过程中如果全盘托出，包办代替，势必剥夺了学生自己的思维过程，只能事倍功半。因为学生在学习过程中犯思维错误是符合客观规律的。教师怕学生犯这样的思维错误，或是学生思维方法不符合自己原来设定的方向，就立即加以“引导”，这样做只会扼杀学生思维的积极性，不利于启迪学生的思维活动。因此，在教学中要给出一定的时间多提一些问题让学生思考，多给学生创设思维的条件，让学生发现自己的错误，找出正确的方法，这比教师直接或提前告诉他们将更为有效。同时这样做也使学生懂得，任何一件事情成功的背后都包含着探索思考的艰辛，从而养成自觉思维的习惯。
四、强化解题训练，有效发展学生逻辑思维
数学教学是离不开数学题的，而数学题是无尽无休的，每道题都是有所区别的，所以每解一道题都要求进行分析题中条件和结论之间的关系，找出它们之间的联系，确定解题方法，这是培养学生逻辑思维的良好途径。在解题过程中，注意让学生从简单类型出发，让学生逐步理解解题方法形成思维定势，待学生完全掌握这一道题以至这类题的解法后，再增加题的难度，这样经过反复训练、深化，使学生在解题过程中强化学生的思维，发展学生的逻辑思维能力。
五、重视复习课，有效发展学生逻辑思维
逻辑学概念之间的关系范文篇2
abstract:frommulle’sdiscussionoftheprobability,afterw.s.jevons’sfoundationtotheprobabilisticinductivelogic,untilthesystemofmodernprobabilisticinductivelogicwhichcarnaprepresents.thisarticleinspectstheprocessofwhichprobabilityinductivelogicdeveloped,promulgatesthereasonwhichitrises,andanalyzessomenewtendenciesofthemoderninductivelogic.
keywords:probabilisticinductivelogic;theoryofprobability;probability
概率归纳逻辑旨在以数学的概率论和现代演绎逻辑为工具构造归纳逻辑的形式演绎系统，是现代归纳逻辑的主要发展方向。
一、概率归纳逻辑的开创
18世纪40年代，休谟指出归纳推理不具有逻辑必然性，认为它只把真前提同可能的结论相联系,是主观的、心理的，不曾想到当时概率论所揭示的或然性的客观意义及其对归纳的可能应用。穆勒在《逻辑体系》中以很大篇幅讨论了偶然性问题,认为概率论只同经验定律的建立有关，而与作为因果律的科学定律的建立无关。惠威尔也对偶然性作过讨论，但与穆勒一样，并未想到把概率论应用于归纳。直到1859年，德国化学家本生（r.w.bunsen）和基尔霍夫（g.r.kirchoff）用统计方法分析太阳光谱的元素组成等科学活动，进一步引起科学方法论家对统计推理问题的注意。许多科学方法论家认为科学结论不是确定的，而是或然的，开始尝试把归纳还原为概率论。
最早将归纳同概率相结合的是德摩根和耶方斯。德摩根将一般除法定理和贝叶斯定理应用于科学假说。但是布尔（boole）抓住了它的缺点，即运用贝叶斯推理给科学假说的概率带来更大的任意性，至此否定了概率归纳逻辑的方向。在70年代耶方斯作出重大开创性工作之前，这方面的工作基本趋于沉寂。耶方斯发展了布尔代数，他一方面有着关于归纳本质的方法论考虑，另一方面，他将数学应用于发展演绎逻辑的同时，也将数学应用于发展归纳逻辑。他在《科学原理》中说明：“如果不把归纳方法建立于概率论，那么，要恰当地阐释它们便是不可能的。”[1]耶方斯认为一切归纳推理都是概率的。
耶方斯的工作实现了古典归纳逻辑向现代归纳逻辑的过渡。
二、现代概率归纳逻辑
现代概率归纳逻辑始于20世纪20年代，逻辑学家凯恩斯、尼科（nicod）及卡尔纳普和莱欣巴赫（reichenbach）等人，采用不同的确定基本概率的原则及对概率的不同解释，形成不同的概率归纳逻辑学派。
凯恩斯将概率与逻辑相结合，认为归纳有效度和合理性的本质是一个逻辑问题，而不是经验的或形而上学的问题。他提出了“概率关系”的概念：假设任一命题集合组成前提h，任一命题集合组成结论a，若由知识h证实a的合理逻辑信度为α，我们称a和h间的“概率关系”的量度为α，记作a/h=α。并着眼于构造两个命题间的逻辑关系的合理体系，但未取得成功。而且他认为，大多数概率关系不可测，许多概率关系不可比较。但他在推进归纳逻辑与概率理论的结合上，作出了历史性的贡献，是现代归纳逻辑的一位“开路先锋”。
逻辑主义的概率归纳逻辑的代表卡尔纳普，在20世纪50年代提出概率逻辑系统，这一体系宣告了归纳逻辑的演绎化、形式化和定量化，将概率归纳逻辑推向了“顶峰”。卡尔纳普认为休谟说的归纳困难并不存在，归纳也是逻辑，并且也有像演绎一样的严格规则。施坦格缪勒（stegmuller）指出：“2500年前，亚里士多德开始把正确的演绎推理的规则昭示世人，同样，卡尔纳普现在以精确表述归纳推理的规则为己任。”[2]演绎的逻辑基础在于它的分析性，所以，从维特根斯坦和魏斯曼（waismann）就开始致力于把它改造为逻辑的概率概念，以使概率归纳成为分析性的。卡尔纳普完成了这一发展。他说：“我的思想的信条之一是，逻辑的概率概念是一切归纳推理的基础……因此，我称逻辑概率理论为‘归纳逻辑’。”[3]他并把此概念直接发展为科学的推理工具：“我相信，逻辑概率概念应当为经验科学方法论的基本概念，即一个假说为一给定证据所确证的概念提供一个精确的定量刻画。因此，我选用‘确证度’这个术语作为逻辑概率刻画的专门术语。”[3]与凯恩斯一样，卡尔纳普把概率1解释作句子e和h间的逻辑关系，表达式是c(h,e)=r，读作“证据e对假说h的逻辑确证度是r”。这样，归纳便是分析性的了，演绎推理是完全蕴涵，归纳推理是部分蕴涵，即归纳是演绎的一种特例。此外，卡尔纳普所想要的归纳逻辑还是定量的，他希望最终找到足够多的明确而可行的规则，使c(e,h)的计算成为只是一种机械的操作，以将他与凯恩斯严格区分开来。
20世纪30年代，莱欣巴赫建立了他的概率逻辑体系，被称为经验主义的概率归纳逻辑。他用频率说把概率定义为，重复事件在长趋势中发生的相对频率的极限。这种方法简单实用，但却带来两方面的困难。首先，上述极限定义是对于无数次重复事件的概率而言的。那如何找出一种测定假说真假的相对频率的方法呢？其次，对单一事件或单一假说怎么处理呢？所以频率说只适用于经验事件的概率，其合理性的辩护非常困难。它所面临的最大困难就是找不到由频率极限过渡到单个事件概率的适当途径。为此，莱欣巴赫建议把“概率”概念推广到虚拟的、平均化的“单个”事件，引进了单个事件的“权重（weight）”概念，试图把理想化的单个事件的概率或“权重”事先约定与对应的同质事件的无限序列的极限频率视作同一。但这与他的初衷相背，频率论者不得不由原先主张的客观概率转向主观概率了。
对概率的前两种解释都着眼于概率的客观量度，然而对随机事件的概率预测离不开主观的信念与期望。主观主义概率归纳逻辑发端于20世纪30年代，创始人是拉姆齐（f.p.ramsey）和菲尼蒂（definetti）。它将概率解释为“合理相信程度”或“主体x对事件a的发生，或假说被证实的相信程度。”表明，如果按贝叶斯公理不断修正验前概率，那么无论验前概率怎样，验后概率将趋于一致；这样，验前概率的主观性和任意性就无关紧要了，因为它们终将淹没在验后概率的客观性和确定性之中。一个人对被检验假设的验前概率是由他当时的背景知识决定的。
主观概率充分注意到推理的个人意见及心理对于概率评价的相关性，意义重大。但是，人们在做出置信函项时，除了“一贯性”的较弱限制外，很难在多种合理置信函项间作出比较和选择。
三、概率归纳逻辑兴起的原因
概率归纳逻辑是伴随现代科学、现代演绎逻辑、归纳逻辑本身的发展而兴起的。
概率归纳逻辑兴起的原因大致有：（1）现代科学的发展。对微观粒子的运动只能采用概率的方法，因此，西方科学界出现了否定因果决定论而接受概率论的观念。（2）较完备的概率理论。特别是20世纪以来，它具备了严格的数学基础，而且被广泛应用于各种领域。（3）归纳逻辑本身要求进一步完善和精确化。人们要求对单称事件陈述对全称理论陈述的归纳支持作出量的精确刻画。逻辑的数学化，数学的逻辑化，穆勒已经注意到归纳与概率的关系，耶方斯等将归纳与概率结合。（4）以数理逻辑为主干的现代演绎逻辑逐渐成熟，从而使得一些逻辑学家热衷于将现代演绎的形式化、公理系统方法与概率论方法协调起来，以运用于归纳逻辑的研究。（5）对归纳法的合理性问题的探索。休谟的归纳问题一直是个哲学难题。现代归纳逻辑的种种体系，几乎都可以看成是对这个问题不断作出回答。上述三种概率归纳逻辑体系也无例外，都是为求得归纳推理的合理性，或对归纳论证进行改进，或把结论改成概率的陈述，使归纳逻辑被构造成演绎逻辑的一个分支，或用实用主义策略使归纳即使不是有效的，至少也有存在的理由。所以说概率逻辑是以现代演绎逻辑和概率论为工具，形式化、定量化的归纳逻辑。
20世纪50年代以后，科学技术步入一个新的阶段，概率论与数理统计、数理逻辑等相关学科取得新的发展，特别是计算机科学技术以及多学科交叉发展的趋势，使现代归纳逻辑的研究进入到一个新阶段，出现了一些新的趋势和特点。
第一，面临归纳演绎化的困难，出现了非概率化、非数量化的趋势，有的用有序化、等级化来代替，有的将定性的研究重新放到重要的位置上，有的又再度重视如模态、因果概念的结合使用等等。
第二，将主观因素与客观因素相结合，将纯逻辑研究与其他学科相结合。这就不能只限于语构层次，而要考虑语义、语用层次，就要涉及心理学、社会学等方面的研究。而且不能脱离所涉及的具体过程（实验）与学科。
第三，对归纳逻辑的研究与整个思维科学、信息科学的研究联系起来。归纳是一类复杂性问题，决不是单靠纯逻辑所能解决的。归纳远比演绎复杂，须与多学科结合起来进行系统研究。
第四，归纳逻辑的研究与当前的科技相互影响、相互作用。申农提出的信息论仅是相当于语形的统计信息模型。而信息的语义层次的研究都出自卡尔纳普之手，再经辛迪卡（hintikka）等人的论作又已形成信息逻辑这一分支。这揭示了逻辑与信息科学的联系。再如，随着计算机科学、人工智能的研究进展，对归纳的研究日益受到重视。若能将人工智能与归纳结合起来，必将带来新的进展与突破[4]。
概率归纳逻辑是归纳逻辑的一个发展阶段，它大大发展了归纳逻辑，也昭示了归纳逻辑的发展机制，为我们出示了现代归纳逻辑发展的方向。
参考文献:
[1]w.s.jevous.theprinciplesofscience[m].london:doverpress,1877.197.
[2]hintikka,j.(ed.).rudolfcarnap,logicalempiricist[m].d.reidelpub.co.,1995.lix.
逻辑学概念之间的关系范文
关键词:哲学逻辑;逻辑哲学;词义;辨析
从20世纪50年代开始，哲学逻辑和逻辑哲学的研究在国际哲学界、逻辑学界蓬勃兴起，国内逻辑学界也于上世纪80年代开始，介绍、引进国外哲学逻辑和逻辑哲学的研究成果，目前对哲学逻辑与逻辑哲学的研究，从总体上讲，国内仍处于消化、吸收并尝试进行创造性研究阶段。哲学逻辑和逻辑哲学这是两门密切相关的学科，二者都是现代哲学与现代逻辑相互渗透的产物，但它们是两门不同的学科，有着不同的研究对象与范围。然而，由于“哲学逻辑”至今是一个充满歧义的词，不同的学者对它有不同的理解，并在很不相同的意义上使用它，冠以“哲学逻辑”之名的书籍五花八门，因而，和逻辑哲学在词义上发生了混乱。为了进一步推动哲学逻辑与逻辑哲学的研究，促进这两门新兴学科的确立与完善，因此，有必要对哲学逻辑的精确涵义及与逻辑哲学的关系作一番梳理与辨析。
一哲学逻辑词义的历史演变
最早[hi138\Com]明确使用“哲学逻辑”一词的是英国著名数学家、哲学家、逻辑学家罗素。他在《我们关于外在世界的知识》一书(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时，就得到最简单的多值逻辑:三值逻辑。在卢卡西维茨所构造的三值逻辑中，被经典逻辑奉为金科玉律的不矛盾律和排中律不再是普遍有效的规律。三值逻辑还可扩展成有穷多值甚至无穷多值逻辑。将多值逻辑应用于物理学领域，导致了量子逻辑的创立，后者被用来刻画微观粒子的波粒二象性和测不准特性。⑨
相干[Www.]和衍推的逻辑、直觉主义逻辑都是由否弃实质蕴涵而建立的逻辑理论。在相干逻辑中，用相干蕴涵代替实质蕴涵。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页。
⑥N.Rescher:TopicsinPhilosophicalLogic，D.ReidelPublishingCompany，1981年版，第21页。
⑦胡泽洪:《逻辑的哲学反思》，中央编译出版社2004年版，第34页。
⑧王路:《逻辑与哲学》，人民出版社2007年版，第46页。
