航空术语语义知识库ATHowNet的构建

语义知识库在自然语言处理的许多领域中起着重要的作用。现有的语义知识库主要面向常识知识,特定领域的语义知识库则很少。文章将知网(HowNet)的理论体系与概念表示方法扩展至航空领域,提出了一个航空领域术语语义知识库——ATHowNet,并介绍了构建过程。该知识库包含3700个概念、3959个概念关系和3864个术语。在航空术语相似度计算及词类比任务上应用与验证了ATHowNet,结果证实了其在航空领域概念语义描述及基于概念关系推理上的有效性。     

语义反实在论与弗雷格—吉奇难题

语义反实在论主张,有些断定性命题并非对特定事态的描述,因而无真假可言.作为语义反实在论的一个典型版本,表达主义面临著名的弗雷格—吉奇难题.化解此难题的关键在于:对推理有效性的说明必须满足真值要求或内容要求.然而,以吉巴德的规范表达主义和布莱克本的承诺语义学为代表的解决方案要么不能在满足真值要求的情况下说明推理的有效性,...     

规范词“禁止”与“不得”的异同辩析

以往人们把规范词“禁止”与“不得”作为具有同样内涵语义的语词用于法律逻辑推理,可以在同一命题中相互置换,而不影响推理有效性。情况果真如此吗?本文从语形、语义、推理有效性力面对二者进行了分析,则结果为：它们异者有二,同者有一,异大于同。...     

推理优先于表征——布兰顿推理主义语义学研究

布兰顿的推理主义语义学主张,从推理而不是表征阐明概念使用,确立语言的意义,在此,推理优先于表征。通过对表征词汇的推理性阐明,布兰顿解释了语义内容的表征维度,维护了概念内容的客观性。布兰顿对推理实践优先性的强调,引发了以麦克道威尔为代表的哲学家们的责难与批判,由此引起是否"丧失世界"的哲学论争。本文力图表明,布兰顿如何为推理主义保留了一个"客观"的语义表征维度,从而避免"丧失世界"的指责。     

推理的广义概念——推理理论的基本问题

拉尔夫·约翰逊指出推理理论的研究是哲学领域亟待填补的空白,并指出对推理概念本身的探讨是推理理论研究中至关重要的基本问题。文章讨论了目前学者对这个概念的各种用法并试图解释推理与论证之间的概念混淆。为了澄清推理的概念,文章试图从形式逻辑研究抽象推理形式的角度和非形式逻辑研究真实推理的具体特征进行论述,提出了一个相对广义的推理之概念,以涵盖更多推理理论研究试图探讨的理论内涵。最后,文章再次指出了推理理论研究的学术意义。     

伦理推理:一种中国古代归纳推理——以儒、墨两家为例

中国"推类"逻辑的归纳特性剖析表明,中国古代有归纳逻辑,作为一种非形式逻辑,其推理类型具有不同于西方归纳逻辑的特殊性,具体体现在推类的价值相关性上.从逻辑系统看,伦理推理是中国古代归纳逻辑的基本推理系统.儒墨对丧礼的不同推论表明,伦理推理具有三个特征:大前提有较强语境敏感性;推导一般不具演绎有效性,更具概率性;类比是推...     

约翰·波洛克可废止推理观的省察

约翰·波洛克的可废止推理论在认识论视域下的推理研究中具有开创性意义。他的理论包含了三种不同的语义,体现了他在不同阶段的观点。其中,多重赋值语义旨在刻画命题的证成状态,但是,它在处理奇偶循环问题时会产生反直观结果;基于证成状态的循环语义是为了克服该反直观问题而提出的一种新标记语义,然而它并不完全适用于刻画命题的渐进式属性。为解决这一问题,基于证成度的循环语义被提出,它是以强度和证成度来表达命题的可信度。批判性地回顾和思考波洛克的理论成果,可以梳理其可废止推理观的演进,同时展示和讨论可废止推理研究中的一些重要问题。     

试论逻辑哲学的中心问题

波普尔曾经指出,科学哲学的诸多问题中存在着一个中心问题,这就是科学知识增长的问题。在我们看来,逻辑哲学中同样存在一个中心问题。那就是形式系统内的推理有效性是否恰当地符合非形式原型的问题,亦即恰当性问题。整个逻辑哲学都是围绕着逻辑系统内有效的形式推理如何与系统外的非形式原型恰当相符这个问题展开的,其他问题都是由此派生出来的。     

谈术语及术语系统之系统性

系统性是最重要的术语理论问题之一。俄罗斯术语学派把概念结构及相应的语言结构两个方面结合起来考察术语系统的系统性,使术语获得理据性,并通过术语的语言形式展现术语所命名概念的特征以及该概念与其他相关概念的联系。众所周知,以E.维斯特为代表的奥地利术语学派重视概念研究,认为概念系统是术语系统的基础。在这一点上,俄罗斯术语学派与奥地利学派观点相同。但俄派把概念和术语放在同等重要的位置上,在研究概念的同时,从语言学角度考察术语,在许多问题的解决上形成了自己的特色,如术语词汇中的系统性问题。一、 系统性 (системность) 是术语最重要的属性俄罗斯术语学家通常把“术语”界定为称谓、表示人类某一知识或活动领域理论中的概念的词或词组。从来源看,术语是自然语言的词汇单位——词或词组;从功能上看,术语称谓、表示概念,而且是某一知识或活动领域理论中的概念。如术语масса(质量)在牛顿和爱因斯坦的物理学理论中表示不同概念,具有不同内涵,是两个同音异义术语,而不是多义术语。许多研究术语问题的教材、专著把系统性看作“术语存在的最为重要的条件之一。术语只有作为术语系统的成分才能得以存在……”^[1]。甚至有人指出：“单独存在的术语是虚构的,它只能存在于术语系统之中,即和与之具有一定关系的其他术语共存”^[2],而“术语系统”(терминосистема)是准确称谓、表示人类某一知识、活动领域理论中的概念的术语的总和。这里需要特别强调的是,术语所要表示的是某一知识、活动领域中服务于某一确定理论的概念。我们知道,一个学科中可能并存若干种理论,相应地也就有若干个概念系统与之对应。这就意味着一个学科中可能并存着若干个术语系统。脱离开术语系统去审定、统一和创造术语就会无的放矢。正因如此,俄罗斯的许多术语学家认为术语工作的首要原则之一是：“不应单独地脱离开术语所属的术语系统来评价、统一术语……系统性是术语不可分割的属性。所有术语毫无例外地具有系统性特点^[3]。” 坚持这一原则,有助于解决术语词汇中诸如多义、同音异义现象等语义问题。通常情况下,同一语言形式在同一学科、同一术语系统中表示不同概念时,为多义术语,如范畴多义术语：классификация (分类 — 分类结果);同一语言形式表示不同学科的概念时,为跨学科、跨领域的同音异义术语：речь (言语<语言学> ;舌,舌头<解剖学>);但同一语言形式表示同一学科领域、不同理论中的概念时,则为学科领域内部、跨系统的同音异义术语,如上面提到的物理学术语“质量”。二、 完善概念系统是实现术语系统之系统性的前提术语系统之系统性(системность терминосистемы)是说把术语系统作为一个整体来研究它的系统性特征。1.俄罗斯术语学派的观点俄术语学派对“术语系统之系统性”的理解存在分歧。归纳起来主要有两种观点。第一种：从语言研究的角度出发,把术语之间存在的形态、构词和词汇－语义方面的系统性联系当作术语系统自身的系统性特征,忽略概念和相应的概念系统^[4]。第二种观点由俄罗斯术语理论创始人之一Д.С.洛特提出。他认为,实现术语系统之系统性必须具备三个条件：“①作为构筑术语系统的基础,分类结果应当在发展中研究概念并且具有预见性;②从分类示意图出发划分出的术语应当直接反映概念的充分必要特征;③只有在前两个步骤结束之后才可以选择词和词的组成部分构成术语。被选中的词,一方面应当尽可能直观地反映所表示概念与其他概念的共性,另一方面又要体现该概念的自身特点,而且尤为重要的是：同一序列的术语应具有相同类型的结构^[5]。” 从上述三个条件可以看出,概念的分类结果是创建术语系统的基础。分类是否科学、合理,能否动态地研究概念并具有预见性,能否根据分类结果划分出概念的充分必要特征是实现术语系统之系统性的必备前提。概念分类结束之后,才可以选择合适的语言手段来表示概念。而且,术语应直接反映概念的充分必要特征且尽可能直观地通过术语的形式反映概念之间的联系。很显然,在洛特看来,要实现术语系统的系统性,必须有合理、完善的概念系统和相应的语言形式系统,建立完善的概念系统是实现术语系统之系统性的先决条件。可见,俄罗斯术语学派强调概念、概念系统的重要性及其对术语、术语系统的决定作用。2.奥地利术语学派的观点以E.维斯特为代表的西欧术语传统认为,概念系统是术语系统的基础,术语系统之系统性受制于概念之间的各种逻辑关系和本体论关系^[6]。根据维斯特的理论,最为典型的逻辑关系是纵向的属种关系。具有属种关系的概念构成延伸链。如：发动机—燃气发动机—汽油发动机。此外,逻辑关系还包括逻辑交叉关系(教授—作家)、横向的逻辑协调关系(燃气发动机—电力发动机—风力发动机)和对角逻辑关系(动物名词—抽象集合名词)。最重要的本体论关系是整体—部分关系。整体—部分关系在很多方面与属种关系类似,也可以构成纵向的属种和种属关系、整体与部分的交叉关系、“横向的”的协调关系和“对角”关系。本体论关系还包括时、空上的相邻关系及“因—果”、“材料—产品”、“工具—功能”等类型关系。显然,本体论关系类型系统具有开放性。概念之间的关系还可以划分为上下层级关系和非上下层级关系。层级关系中包含纵向属种、种属关系和整体—部分关系。这些关系使概念具有层级性。其他关系(无论是逻辑关系,还是本体论关系)都不是层级关系,无法使概念具有层级性。西欧术语理论认为概念可以不依赖其语言表达形式而存在。如H.费尔伯不止一次指出：“概念不依赖于术语而存在”,“如果语言学中词的内容与其形式被看作一个单位,那么术语学中概念与其表现形式(术语、符号、缩写形式)可以彼此相互分开”^[7]。T.Л.坎黛拉基和Г.Г.萨姆布罗娃发表于1969年的《已整理的术语系统之意义系统的模式问题》一文中就曾提出过类似思想：“……整理过程通常分为两个阶段：1) 阐明日后用于构建术语系统的概念系统;2) 制定术语系统。这一过程中,整理之后的术语系统的质量完完全全地取决于第一阶段的工作质量,即概念系统的质量^[8]。” 显然,这里所考虑的只是概念间的相互关系,而没有考虑概念的表达方式。在她们看来,只要概念系统制定得正确合理,概念的语言表达形式——术语以及术语系统就应该是正确合理的。实际上,这里把术语系统看成了对概念系统的完全重复、等同,但这种观点显然不正确。概念系统和术语系统不存在等同关系,比如概念系统中包括单独概念,而单独概念是用另一种专业词汇单位-名称表示的^[9]。另外,一个概念可以有若干个术语与之对应(同义术语),同一个语言符号(术语)因用于广义、狭义而对应不同概念(多义术语)或者表示不同学科的不同概念、同一学科不同理论体系中的不同概念(同音异义术语),因此,一个学科理论中的概念的总和不等于服务于该理论的术语的总和,二者之间不是复现关系。建立完善合理的术语系统只是术语系统获得科学性、系统性的一个先决条件,而不是惟一条件。三、建立完善的语言结构是实现术语系统之系统性不可或缺的条件如果如隆多所说,术语是由能指(即名称^①——术语的外部语言形式)和所指(即概念)组成的语言符号^[10],那么术语系统就不能,也不可能脱离开语言(符号)单位而存在。传统上通常用“系统”表示概念(内容)层面各单位、语言(表达)层面各单位以及这两个层面单位之间的对应关系,而不依赖于术语而存在的所谓“概念系统”并不考虑概念的表达方式,因此,有人称之为“术语系统的概念结构”或“术语系统的逻辑－概念结构”,而不是“系统”。与术语系统的概念结构相对应,术语系统各单位(其中包括术语系统特有的语言形式)之间的语言对应关系的总和称为术语系统的语言结构。这样,“术语系统之系统性”就是术语系统所表示的概念结构和语言结构之间的对应关系。术语研究在很大程度上具有规范性质,因此不可能只局限于分析、描写概念结构,还必须考虑到概念的语言表达方式,因为规范性研究的最终目的是挑选最优化的语言单位来表示、称谓概念。因此,洛特学派在统一、规范术语时,把概念结构与语言结构放在一起来研究术语系统之系统性^[5]。可以说,术语系统的系统性程度如何取决于两点：1)术语系统所表示的逻辑－概念结构是否明确并具有一贯性;2)与概念结构对应的语言结构是否明确并具有一贯性。这两个条件对实现术语系统整体上的系统性而言同等重要,缺一不可。1.理据性是联系术语的意义及其形式的纽带俄罗斯术语学派认为：在术语系统之系统性问题上,术语的理据性占第一位且具有双重作用。这是因为“理据性是符号的形式与内容之间的连接环节”^[1]。一方面,理据性通过语言手段揭示术语的意义与其内在形式(字面意义)之间联系的合理化程度,而这对评价术语的性质而言极为重要。另一方面,术语的意义与其内在形式之间的联系是否合理,只有以整个术语系统为背景才能得以正确评判。从整体上理解术语系统的理据性对分析、统一术语非常重要,而术语系统整体上的理据程度与术语系统性直接相关。值得注意的是,尽管洛特在创立俄术语理论之初并没有使用“理据”、“理据性”这样的术语,但他非常重视术语的理据性问题。比如,洛特认为：“术语元素^②应直接反映的概念的充分必要特征来自于以分类示意图为基础给概念所下的定义。构筑术语的艺术在于要尽可能直观地、同时又相当简明(紧凑)地反映这些充要特征”^[5]。洛特的这段话中包含着3层意思：1)为概念下定义的基础是概念的分类结果;2) 在概念的定义中给出概念的充分必要特征;3)术语要直观、简明地反映概念的充分必要特征。可见,洛特强调概念的重要性,同时又把概念的语言表达形式——术语放在重要的地位上。因此,有人认为较之奥地利学派,俄派在“术语系统之系统性”问题上向前迈出一步,追求术语系统的完美性。但是必须指出一点,只有极少数理想化的完美术语才能在其语言形式中表达概念的充分必要特征,许多术语的语言形式中只包含概念的某一区分特征,有些术语的表达层面对认识术语所表示的概念没有帮助,而有些甚至有误导倾向。洛特根据术语的真正意义与其字面意义是否相符,区分出三种类型术语：“正确定位术语”,即具有正确理据的术语;“中性术语”,即没有理据或理据无法判断的术语;“错误定位术语”,即具有错误理据、其字面意义与真正意义相矛盾的术语。2.术语的理据程度取决于术语的构成方式任何一个发达的俄语术语系统中,无理据术语只占少数,而且多为外来音译术语。绝大部分术语都在一定程度上具有理据性。根据有理据术语的构成方式,可以划分出：1)语义方式构成的术语,如：поле(电场、磁场、力场<物理学>,采区<矿物>,字段<计算机>,域<数学>—场地、田野);2)形态方式构成的术语,如：золочение(镀金<冶金>);3)句法方式构成的术语,如：релаксация напряжений (应力松弛<物理学>);4)综合上述两种或三种方式构成的术语：роза ветра(风向图<气向学>),позвоночный столб(脊柱<解剖学>)等。(1)语义方式构成的术语术语的语义构成方式主要有三种类型：1)隐喻型,如：колено(膝、膝盖—弯管、曲柄<技术>)(外形相似);2)借代型,如：добыча(开采—开采量)(过程—过程结果),лицо(脸—人、人员)(人体部位—担任某一职务、职位的人);3)缩小语义型,如：стрижка(剪,剪短—剪毛<技术>)。通过语义方式构成的术语在意义上与其生产词(源词)保持着一定联系。发生隐喻引申时,术语与其源词表示的概念只有一个或几个特征相似,其余的区分特征各不相同,而相似特征正是实现称谓引申的基础。发生借代引申时,情况与隐喻引申相同,只不过实现称谓引申的基础是一个或几个相近、相邻的特征。通过缩小语义构成术语时,专业概念和通用概念的所有主要区分特征均相同,但专业概念还具有某些通用概念不具备的其他主要特征。从理据程度来看,通过缩小语义构成的术语,其理据性得到最大程度的体现：与源词相比,术语概念的外延缩小,内涵变得更加丰富,除了具备日常词所表示的概念的所有特征之外,术语表示的概念又从学科、理论体系的概念结构中获得其他专门特征。而以隐喻和借代方式构成的术语,其理据性较弱,因为术语与源词在意义上的联系弱。(2)形态方式构成的术语Т.Л.坎黛拉基曾以形态方式构成的技术过程称谓为材料,描写、分析了术语和术语意义之间具有规律性的语言关系,提出术语的必备属理据性和补充理据性,前者与最邻近属概念相符,后者与种差相符。谈到最邻近属概念的作用时,她认为,表示最邻近属概念的词和未来要构成的术语必须在词类和某些词汇—语法类别上一致。而通过种差分析理据性时,坎氏划分出直接理据性和间接理据性。前者指：术语的词干与该术语定义中表示种差的词具有直接联系,如：术语жирование(涂油、滑润)的种差特征表述中包含名词жир(脂肪、油脂),术语известкование(加石灰、涂石灰)的种差特征表述中包含名词известь(石灰)等等。间接理据性则是指：术语的词干不直接、而是通过其他词类的同根词与种差特征联系^[11]。坎黛拉基的分析表明,术语结构和意义之间的关系不总是具有任意性的。术语与其意义的有规律的联系体现在术语的理据性中,即术语的字面意义与真正意义的对应关系中。(3)句法方式构成的术语一些研究术语语义问题的论著,通过比较术语的内部形式和概念内涵的对应关系来考察术语的理据程度。如果提供理据的术语元素,其语义投入越充分、准确,术语所获得的理据性也就越强。但这不等于说,如果术语元素的语义全部进入术语的语义,术语就会获得最大理据性。因为最大理据性的实现取决于诸如术语的句法结构、术语的语词长度、术语的范畴语义等等因素。术语的内在形式和术语意义要相符、术语理据要高度准确,这不仅是对术语提出的理想化要求,有时也是构筑术语系统应遵循的一条相当硬性的规定。比如,当词组—术语中的术语元素自身是术语,且与词组—术语同属一个概念系统时,术语元素的语义应当完全进入词组—术语的语义中,如：излучение(辐射),поток излучения(辐射通量),плотность потока излучения(辐射通量的密度)。把术语元素的语义直接加入到整个术语的语义中是记录术语与其构成成分(同样为术语)之间语义关系的最为有效的方法。因此,如果术语的组成部分自身也是术语,词组－术语就应当最大限度地从术语元素中获取理据,最终以进入其组成的所有单个术语为理据。综上所述,理据性是确保术语系统获得语言系统性的重要因素。如果术语元素自身不是术语,那么使术语获得理据性是术语工作者努力的目标,但如果术语元素自身就是术语,那么词组—术语必须具有理据性,这是构筑术语系统应遵循的一条硬性规定。研究术语词汇中的系统性问题,还应关注术语的同义和多义现象。虽然术语的同义或多义现象对建立术语系统的概念结构没有影响,但对术语系统的语言结构而言却至关重要。甚至在概念结构相近或相同的情况下,术语系统也可能由于同一概念具有多种变体表达形式、术语自身具有不同程度的多义性而大相径庭。四、小结统一、规范术语时,必须将术语置于其所属的系统中,从全局角度出发做到有的放矢。对术语系统而言,系统性体现为概念结构与语言结构的协调搭配程度。作为术语系统基础的概念结构复杂多样,术语系统的类型各不相同、其系统性程度也有差异。如何协调各方面因素,充分揭示术语系统的系统性本质,还有待于进一步研究。①这里的“名称”(隆多的术语)是指语言词汇单位的语音外壳,与继术语之后划分出来的又一专业词汇单位——“名称”是同音异义术语。②术语元素是受制于术语所表达的概念特征的术语表义部分。Канделаки Т Л.Об одном типе слдоваря медународных Терминолементов.НДВⅢ.Φилол.науки.1967(2):38。     

塔斯基的真理论与符合论

塔斯基的语义真理论常被当作符合论.通过区分塔斯基式真定义的普遍特征和具体的定义形式,并对不同语言构造具有不同语义特征的定义实例,揭示出塔斯基所持的是一种语义工具论.塔斯基的真理论并不是符合论.     

从符合论的观点看逻辑真理

从真理符合论的观点看,逻辑真理与一般的事实真理有本质的不同.我们认为,逻辑真理不应看作是真理,而只是一类逻辑有效式,它们与逻辑推理的普遍有效式是一致的.逻辑学的任务就是探寻逻辑真理.     

Games as formal tools versus games as explanations in logic and science

This paper addresses the theoretical notion of a game as it arisesacross scientific inquiries, exploring its uses as a technical andformal asset in logic and science versus an explanatory mechanism. Whilegames comprise a widely used method in a broad intellectual realm(including, but not limited to, philosophy, logic, mathematics,cognitive science, artificial intelligence, computation, linguistics,physics, economics), each discipline advocates its own methodology and aunified understanding is lacking. In the first part of this paper, anumber of game theories in formal studies are critically surveyed. Inthe second part, the doctrine of games as explanations for logic isassessed, and the relevance of a conceptual analysis of games tocognition discussed. It is suggested that the notion of evolution playsa part in the game-theoretic concept of meaning.     

Abduction as a Logic and Methodology of Discovery: the Importance of Strategies

There are various ``classical' argumentsagainst abduction as a logic of discovery,especially that (1) abduction is too weak amode of inference to be of any use, and (2) inbasic formulation of abduction the hypothesisis already presupposed to be known, so it isnot the way hypotheses are discovered in thefirst place. In this paper I argue, bybringing forth the idea of strategies,that these counter-arguments are weaker thanmay appear. The concept of strategiessuggests, inter alia, that many inferentialmoves are taken into account at the same time.This is especially important in abductivereasoning, which is basically a very weak modeof inference. The importance of strategicthinking can already be seen in Charles S.Peirce's early treatments of the topic, and N.R.Hanson's later writings on abductionalthough they did not use the concept of``strategies.' On the whole, I am arguing thatthe focus should be more on methodologicalprocesses, and not only on validityconsiderations, which have dominated thediscussion about abduction.     

Ontological Frameworks for Scientific Theories

A close examination of the literature on ontology may strike one with roughly two distinct senses of this word. According to the first of them, which we shall call traditional ontology, ontology is characterized as the a priori study of various “ontological categories”. In a second sense, which may be called naturalized ontology, ontology relies on our best scientific theories and from them it tries to derive the ultimate furniture of the world. From a methodological point of view these two senses of ontology are very far away. Here, we discuss a possible relationship between these senses and argue that they may be made compatible and complement each other. We also examine how logic, understood as a linguistic device dealing with the conceptual framework of a theory and its basic inference patterns must be taken into account in this kind of study. The idea guiding our proposal may be put as follows: naturalized ontology checks for the applicability of the ontological categories proposed by traditional ontology and give substantial feedback for it. The adequate expression of some of the resulting ontological frameworks may require a different logic. We conclude with a discussion of the case of orthodox quantum mechanics, arguing that this theory exemplifies the kind of relationship between the two senses of ontology. We also argue that the view proposed here may throw some light in ontological questions concerning this theory.     

范·弗拉森反最佳说明推理的无动于衷论证

最佳说明推理的有效性是当前科学哲学研究备受关注的话题.范·弗拉森反驳这种推理的有效性.他通过质询正确的好说明是否在那堆被考虑的可能说明中,表明如果遗漏正确说明,在考虑它时"无动于衷",那就无法认为一堆可能说明中最佳的那个说明是正确的.范·弗拉森对这种推理的理解实际上并不充分.结合他的相关表述,就能看到他的无动于衷论证存...     

从逻辑哲学观点看量子逻辑

1.根据逻辑哲学,量子逻辑可以定位于一种以非分配性为特征的非经典逻辑,它以量子力学家实际使用的科学推理为现实原型或经验基础;2.普特南从量子逻辑的产生而得出根据经验的理由,逻辑是整体可修正的结论。但他同时又主张逻辑联词的意义不变,因此陷入二难困境。3.根据量子力学几种不同解释来重新审视经验理由和逻辑可修正性论证,发现形而上学考量更不可忽视。4.对应原理具有消解普特南二难的方法论功效,量子逻辑对于经典逻辑的继承性与革新性同时可以得到合理解释。     

从必然性退却--波普的无逻辑可能世界

卡尔·波普的科学知识增长理念之所以坠入无逻辑可能世界 ,其原因是因为他过分强调了正确推理之真前提与真结论之间联系的必然性 ,这导致他否定归纳逻辑在科学发现中的价值。同时他又认为科学发现不能从演绎逻辑推出 ,因而在波普所谓的科学发现的可能世界中既没有归纳逻辑也没有演绎逻辑 ,而仅仅是猜测     

论内涵逻辑与内涵语境下的替换失效问题

本文旨在介绍内涵逻辑的兴起与内涵语境下的替换失效问题之间的关系，分析了外延逻辑所存在的缺陷，并进一步简要地展示各种内涵逻辑系统对于替换失效问题的解决方案。     

从毕达哥拉斯学派到现代分子生物学--关于物种概念、分类及系统进化的哲学回归

物种与进化的问题具体到生物学领域所采用的方法显然是一门具体的自然科学。但是从解决问题的思维方式来看应该是自然界的，即哲学的。古希腊先哲们对此有不同认识，亚里士多德提出著名的存在之链，毕达哥拉斯认为自然界事物的多样性只不过是几何结构及数的不同比例的差异，即所谓的“万物的本质是数”。对物种的认识及生物进化，生物分类学家、系统进化研究者所持观念与不同时期的哲学流派相联系，因此有本质论的、唯名论的以及生物学的、进化论的、系统学的物种概念。现代分子生物学极大的促进了物种分类学、系统学的发展，人们对物种概念及生物进化有了更深层次的认识，但是从哲学的角度看却又回归到了古希腊圣哲们的思想藩篱。