弗雷格关于普遍性的思想及其逻辑学意义

弗雷格用实质蕴涵来刻画条件句导致了"实质蕴涵怪论",因此实质蕴涵不断受到批判.然而,根据弗雷格关于逻辑普遍性的思想,我们可以清楚地了解弗雷格对实质蕴涵的看法以及他为什么使用实质蕴涵.弗雷格把条件关系区分为能表达普遍性的情况和仅仅表达真值关系的情况,表达普遍性的条件句其从句不是完整的思想,其指称不是真值,而是其间接指称.仅仅表达真值关联系的条件句其从句则是完整的句子,其指称是真值.他指出表达事物因果联系的条件句要用带全称量词的一阶谓词逻辑公式?x(P(x)→ ψ(x))表达,而只表示真假关系的条件句直接用实质蕴涵式来表达.弗雷格的思想远远超出了他建立的逻辑,他关于逻辑普遍性的思想对于条件句逻辑的产生及后来逻辑学的发展有着直接或间接的影响,对于我们全面而准确地理解和把握现代逻辑有着重要的意义.     

弗雷格关于普遍性的思想及其逻辑学意义

弗雷格用实质蕴涵来刻画条件句导致了"实质蕴涵怪论",因此实质蕴涵不断受到批判.然而,根据弗雷格关于逻辑普遍性的思想,我们可以清楚地了解弗雷格对实质蕴涵的看法以及他为什么使用实质蕴涵.弗雷格把条件关系区分为能表达普遍性的情况和仅仅表达真值关系的情况,表达普遍性的条件句其从句不是完整的思想,其指称不是真值,而是其间接指称.仅仅表达真值关联系的条件句其从句则是完整的句子,其指称是真值.他指出表达事物因果联系的条件句要用带全称量词的一阶谓词逻辑公式?x(P(x)→ ψ(x))表达,而只表示真假关系的条件句直接用实质蕴涵式来表达.弗雷格的思想远远超出了他建立的逻辑,他关于逻辑普遍性的思想对于条件句逻辑的产生及后来逻辑学的发展有着直接或间接的影响,对于我们全面而准确地理解和把握现代逻辑有着重要的意义.     

相干蕴涵和情境信息理论中的制约关联

相干蕴涵是相干逻辑中一个重要的概念.相干蕴涵不仅顾及前后件之间的真假关系方面的联系即真值性,而且还体现了前后件之间以共同的命题变元为特征的内容方面的联系即相干性.相干逻辑学家们在相干逻辑的研究中,给出了这种相干性的种种语义解释,尤其是鲁特雷-迈耶给出了集合-关系语义理论.鲁特雷-迈耶的三元可达关系为相干逻辑中的相干蕴涵提供了新的思路,而伊斯雷尔和佩里的制约关联概念则把我们对条件句的理解转换到情境信息关联的层面.相干蕴涵和制约关联这两类看似完全不同的理论,一个是逻辑的,一个是有关信息的,因为基本概念的相似性,呈现某种解释逻辑、语言和信息的新视野.尽管这两个理论还有许多需要解决的问题和困惑,但是把三元关系解释为信息制约关系,反过来在制约关联中运用三元可达关系,对于相干蕴涵和情境信息理论来说都是很富有启示意义的.随着相干逻辑和信息理论的深入研究,情境信息理论和相干逻辑会更紧密地联系在一起.关于条件句的相干逻辑理论可能是信息理论的一个部分,而我们关于制约关联的情境信息理论则是相干逻辑的某种体现.     

条件句的语义排歧与假设性思考的量化机制

能够使用条件句做假设性思考,是人类理性思维的一种重要特征。自然语言条件句的语义排歧,需要在区分条件句与条件命题、命题与命题函数的基础上,更多地关注使用受限量化域的特殊形式蕴涵。在珀尔因果模型论的基础上对共伴式和干预式假设性思考的研究,使得假设性思考中基于形式蕴涵的量化机制得以清晰呈现。通过对量化机制的把握解决“实质蕴涵怪论”问题造成的假设性思考疑难,消除因果模型论的“反经典外貌”,维护实质蕴涵理论的基础性和普适性,经典逻辑在人类智能和人工智能研究中的基础功能和作用可得到进一步开掘。     

论实质蕴涵、形式蕴涵与逻辑蕴涵

该文将蕴涵分为三类:实质蕴涵、形式蕴涵与逻辑蕴涵。从多值逻辑角度解决了实质蕴涵、条件句与推论关系之间的关系,详细考察了三类蕴涵概念之间的区别和联系,从三种蕴涵角度区分了科学真理、数学真理与逻辑真理。     

论蕴涵怪论的合理性

本文详细讨论了实质蕴涵的真实涵义，它与条件句、推论关系之间的联系与区别，分析了实质蕴涵与逻辑蕴涵之间的关系和误解，探讨了逻辑的性质及与科学推理的关系，从丽为实质蕴涵及其由其产生的所谓怪论并不怪作出了合理的辨护。     

关于实质条件句的两个问题

实质条件句和蕴涵的关系如何？实质条件句与日常语言中的条件句的关系如何？这是关于实质条件句的两个基本问题。澄清了实质条件句和蕴涵的关系，指出不能将蕴涵混同于相应的实质条件句的真理性，并在此基础上分析了所谓的蕴涵悖论。应该将实质条件句在技术上的价值与它在日常语言中的对应物这两个问题分开处理，并论证了以实质条件句概念解释日常语言中的直陈单独条件句的适当性，指出两者之间的关系是卡尔纳普所谓之辩明关系。     

从条件句悖论看信息流理论的哲学基础

经典逻辑中的一些有效推理规则对自然语言条件句推理的失效导致条件句悖论.情景语义学认为,造成条件句悖论的原因跟条件句所描述制约关系的背景条件有关.信息流理论继承情景语义学使用内涵方法处理内涵问题的传统、使用信息通道的概念在通道等级系统中表征条件句所描述制约关系的背景条件,对造成条件句悖论的原因给出令人信服的合理解释.根据信息流理论对条件句悖论的分析和解释,本文进一步分析阐释信息流理论在本体论和认识论方面的哲学基础.在本体论上,信息流理论认为世界是一个由情景和关系构成的关系网络.在认识论上,信息流推理与认知主体及其知识状态紧密相连.     

试论“If“条件句中动词一般现在时表将来的语义

哲学家从意义角度研究"If"条件句,而教学法语法学家从它的形式结构来探究它.Dancygier的"构块语法"则将二者的研究角度结合起来.这种方法着重于条件句形式的各个方面是如何产生条件句所要表达的各种意思的.Dancygier认为将条件句分为"中性"或"开放"和"非真实"或"封闭"两类是不充分的.她运用"预测情态性(predictive modality)"和"后指(backshiR)"两个概念将条件句分为"预测性"和"非预测性"两类.利用这个理论可以很好的解释"If"条件句前提句中一般现在时标将来的语义.     

蕴涵和蕴涵怪论述评

作为逻辑学的重要概念，蕴涵常因其理论复杂和界定含混使初学者难于理解，蕴涵怪论更为其平添障碍，本文通过陈述各种不同的蕴涵定义，探明其差异性，寻求蕴涵的统逻辑语义，并在此基础上对蕴涵怪论加以说明，由于涉及理论较多，本文采取先达后评的方法，先介绍各种蕴涵理论，再定义真值蕴涵，并逐一说明相关问题，     

象似性视角下的If条件句的非对称性

文章从认知视角,运用象似性理论分析不同类型的If条件句,从而揭示出不同种类的If条件句能够广泛体现象似性,并发现条件句中两个分句之间呈现一种非对称关系,而这种非对称关系也体现了现实世界中人们的认知和思维过程.     

IF条件句的类型及其语用初探

根据If条件句中动词的不同形式,条件句可分为8类。这8类If 件句的结构和语义的用法各不相同。研究If条件句If的语义和语用功能具有重要意义。     

主次条件句中的多余条件问题

刘壮虎、李小五在文献[1]中建立了一种有两个条件的主次条件句逻辑C2Lm.以此为基础,讨论主次条件句中的多余条件问题,证明了文献[1]中提出的一种扩充是不成立的.另外建立了C2Lm的一个刻画某种多余条件的扩充系统C1,证明了它的一些语法及语义性质.     

维果茨基高级心理机能理论探析

借助于巴甫洛夫与斯金纳的条件反射学说,维果茨基对于人类高级心理机能本质的论述可以理解为人类思维是以语言符号为中介的两种条件反射的结合。这种以“言语思维”为特点的人类高级心理机能,在人类个体与周边环境的相互作用之中,经历了特点迥异而又互为关联的不同发展阶段。对人类个体高级心理机能发展过程的历史回顾,恰好可以展示作为人类思维之核心部分的概念发展的本质。     

if条件句与充分条件性——if构块式理据的研究

多种不同的语义关系都可以进入if条件句,Sweetser提出三域进行分析;这一分析细致深入,但略嫌共性概括不足.充分条件性是if构块式大家族的背后同一理据的假设;据此,if条件句大家族分为两大构块式群,下分四小类.这个大家族是一个典型范畴,第一小类典型条件句作为充分条件假言判断的语言表达形式是最典型的成员,以下各小类向着边缘成员演变,构成了一个连续统.对if条件句的理解,要通过常规推理,将从句一主句的关系补足为充分条件同其结果的关系.if条件句的多种意义最后都可回归到充分条件性,这就是各类if条件句最后都可归入if构块式大家族的同一理据.这一研究再一次表明了含意本体论的常规关系和常规推理理论在研究构块式的理据方面可能起的作用.     

假言判断变形推理：构建于种新的推理形式

假言判断的形式是由其前后件的位置、性质及条件联系等因素决定的,按照一定的规则,变换其因素,就可推出一个新的假言判断,这就是假言判断变形推理。这种新的推理形式的建立,进一步完善了逻辑学体系,有助于一些逻辑问题的解决。     

论原型条件分句和隐喻式条件分句

从认知的角度来看,条件分句可以分为原型奈件分句和隐喻式条件分句.在原型条件分句中,语法符号表达其原来的语法意义,二者是形式和意义的统一体;在隐喻式条件分句中,语法符号脱离了其原来的语法意义,而语法隐喻使语法符号通过隐喻模式与其语法意义得到了统一.     

知识蕴涵直觉主义逻辑系统

在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统。结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性和完全性。在该系统中,矛盾律仍然成立,但是排中律、双重否定消去律、司各脱法则都不再成立。在该系统中,弗协调逻辑和直觉主义逻辑的基本特征都被保留了下来,该系统给出了一个处理矛盾问题的既是弗协调的、又是直觉主义的兼容方案。