在分析性问题的有关讨论中，卡尔纳普（ R. Carnap） 和蒯因（ W. V. O. Quine） 的一系列论述无疑是最为集中和引人关注的，特别是蒯因在《经验论的两个教条》中对分析陈述和综合陈述之区分所进行的有力抨击，使得在他之后的许多学者接受了分析性概念的不可维

实质蕴涵怪论问题是逻辑哲学领域历久而弥新的焦点话题之一，对于现代逻辑基础教学也具有特殊的重要意义。我在《从形式蕴涵看实质蕴涵怪论---怪论定理之反例化解路径新探》（以下简称《新探》） 一文中，就化解实质蕴涵定理的严峻反例问题提出了诉诸于命题的

邓小平是当代中国马克思主义的主要创立者和奠基人，是中国改革开放的总设计师，是中国特色社会主义道路的开创者[1]90.邓小平理论是毛泽东思想的继承和发展，是当代中国的马克思主义，是全党全国人民集体智慧的结晶，是中国共产党的指导思想和振兴中华的精神

早在上世纪末期，逻辑学就已被联合国教科文组织列第 7 大基础学科之一，同时逻辑学还被 1977 年出版的大英百科全书排为五大学科的第一位。逻辑学的基础作用是对人思维的培养，作为一门应用型学科，是指导人类使用逻辑思维并进行高效交流和讨论的必备手段。而

一、什么是因明 因明是古印度有关推理、论证方法以及思维方法的学说。后由印度传往中国与日本。唐代名僧玄奘在《大唐西域记》中，记述了他所了解的印度的教育情况：开蒙诱进，先遵十二章。七岁以后，渐授五明大论。一曰声明，释诂训字，诠目疏别。二工巧明，

创新研究离不开思维研究，而思维的核心力是推理。在三大推理---演绎、归纳和类比中，类比优于归纳和演绎，突出表现在： 不必以一般原理为中介而在两个具体事物间直接利用某些相似点建立推导关系，能在不同质的两个或两类对象间架起推导的桥梁，实现由此及彼

在理解究竟什么是自然律方面，反事实条件句起着重要的作用。 正是因为认为自然律支持反事实条件句，有些哲学家认为反事实条件句能帮助我们把自然律从偶适概括中区分出来；也正是因为自然律支持反事实条件句才说明了规律的极简主义和规律的规则进路的失败，这

1.为什么您最初会被吸引到逻辑哲学研究方向? 在我的学生时代---虽然那时人们也承认（不过仍有些勉强），女性或许也能够从事哲学研究---但是，人们通常会认为我们更适合去从事哲学学科中那些看起来较软的方向，尤其是伦理学。但是我发现伦理学难得惊人；实际

悖论是逻辑与哲学史上一个严肃而重要的课题，正如柏拉图的如下判断所表明的： 矛盾（ 悖论）或者明显的矛盾迫使心灵以一种不寻常的方式深思。理性在一个矛盾的对面被迫去力争到达一个更高水平的理解。[1]782-784纵观整个思想史，悖论一直是哲学家头痛的问题-

传统模态逻辑多为单模态逻辑，即在同一系统内只考虑一种模态算子（ 如时间、知识、程序等） ,很少尝试着在同一模态系统内同时考虑多种模态算子。而随着模态逻辑在人工智能、计算科学等领域的发展，人们开始思考这样的问题： 是否可以在同一逻辑系统内处理必

一、引 言 古希腊大哲学家苏格拉底认识到，作为人类常用的探究方式之一，问与答是由已知推向未知、获取新知的有效途径。甚至可以说，所有的推理活动实际上都可以看作是一种问答探究活动。在自然语言中，用来表达问题的语言形式主要是疑问句，简称问句。所谓

信念（ belief） 是西方哲学中的一个重要范畴。自从柏拉图明确把它作为认识论范畴提出后，信念问题就备受诸多哲学家的关注。作为现代西方哲学家中最有影响的哲学家之一，伯特兰罗素从信念之内部结构的维度来剖析信念，涉及到心身问题、心理内容问题等多方面

形式逻辑是一门研究思维的形式结构及其规律的科学，学习形式逻辑有助于正确认识事物，从已知进入到未知；有助于准确、严密地表达和论证思想；有助于揭露谬误，驳斥诡辩等。联合国教科文组织编制的学科分类和英国大百科全书都给予了逻辑学非常重要的地位。近

逻辑学是联合国教科文组织确定的七门基础学科之一。以山东大学哲学系本科生的逻辑学课程设置为例。哲学系会为本专业学生开设两门逻辑学课程：（1）应用逻辑，主要介绍概念、判断及三段论推理等内容；（2）数理逻辑，主要介绍命题演算和一阶谓词演算等内容。

引言 真是逻辑学的核心概念，逻辑学以求真为目标。 而在关于真的理论中，真值载体（truth-bearer）是一个被反复提及的概念。什么是真的承载者？当我们谈论真的时候，什么是我们讨论的对象和基础？虽然早在古希腊时代，亚里士多德就提出用命题这个概念作为真

黑格尔认为形式逻辑有它的局限性，不能证明具体的理性真理，而只能证明普遍的知性真理，所以他认为有必要对形式逻辑进行改造，建立新的逻辑思维方法，以适用于自己的思辨哲学体系。黑格尔称自己的逻辑为思辨逻辑或理性逻辑,形式逻辑为知性逻辑,认为前者包括

辩证思维作为一种高级形态的理论思维，是人类思维能力的核心。它通过实践从运动发展中、从矛盾转化中认识和研究事物，为人们建立把握世界和自身的理论方式，提供批判和反思世界的工具，从而更好地构建全球化背景下的新世界。因此，提倡辩证性思维方式，是人

逻辑的本质究竟是什么？这是一个十分不易回答的问题。它既是一个老问题，也是一个新问题。言其是一个老问题，是因为它是随着逻辑学的产生而产生的，从逻辑学作为一门独立的科学被创立时起，就必须回答这个问题，而在逻辑科学漫长的发展历史过程中，又始终是

欧阳中石先生生于 1928 年，山东泰安人。他于 1950 年考入北京辅仁大学哲学系，1951 年转入北京大学哲学系逻辑专业，师从金岳霖、王宪钧、汪奠基等诸位先生，专攻逻辑学，主修中国逻辑史，1954 年毕业。[1] 早在 1957 年，欧阳中石先生就在 《光明日报》上发

蕴涵是自然语言中的联结词如果，那么的逻辑解释，对它所表达的逻辑关系，逻辑学界众说纷