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

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

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

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

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

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

关于条件句的蕴涵理论

为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出所有的条件关系,因此都不能等同于自然语言中的"如果,那么"。     

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

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

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

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

论蕴涵怪论的合理性

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

试论情境语义学的认知科学意义

情境语义学为外在世界与内在心理状态提出一个情境认知框架,并依此发展了一个意义理论,自然语言语义在这个意义理论中得到合理解释.从其理论源头、理论视角及其应用等角度来看,情境语义学与当代认知科学之间存在密切联系,对认知科学研究有重要意义,主要表现在情境语义学所确立的信息认知框架、相关认知词的情境语义解释与情境逻辑分析以及自然语言中隐喻表达的情境语义刻画等4个方面.     

相干逻辑R中合取的解释

根据马雷什提出的相干逻辑R的理论,相干逻辑R中对蕴涵的解释是根据情景推理给出的.相干逻辑中对其他联接词的处理也需要改进.本文根据情景推理对出现在相干逻辑中的联接词进行了分析,指出许多哲学家对相干逻辑中出现的连接词的处理是反直觉的.而本文的目的是给出相干逻辑中处理联接词的方法,并且表明这种处理方法对情景推理的的结构是必不可少的.     

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

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

弗雷格论条件与普遍性

弗雷格在创建现代逻辑之时就已分析了蕴涵怪论.他强调"对于思想只应该考虑它是真的还是假的,而实际上根本不应该考虑思想内容本身",否则,要么将问题复杂化而无实际益处;要么前后件不是真正的句子.后一情形乃是使概念或关系联系起来,融合了普遍性与实质蕴涵.这也正是充分条件的表达方式.相干逻辑欲借助前后件共享命题变元来体现二者在内容及意义上的联系.一阶逻辑通过共享个体变元比相干逻辑更好地做到了这一点.     

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

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

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

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

信念逻辑的更新模型

刻画信念逻辑的关系语义模型中的关系缺乏直观的解释,更新模型用合理性可以给信念逻辑提供一个更直观的解释.更新模型用动态的更新语义刻画信念算子.用有穷模型的方法证明信念逻辑相对于更新语义是框架可靠的和框架完全的.     

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

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

模态认识论与反事实条件句逻辑

在德雷茨克和诺齐克传统中,模态认识论关注由反事实条件句表达的模态联系,如敏感性和反事实安全性。认知封闭失效是作为知识必要条件的反事实条件句封闭失效的结果,该结果依赖斯塔尔内克-刘易斯语义学。这种语义学因忽略模态算子“would”的独立意义而应被摒弃。作为其替代的反事实条件句的组合语义学认为,反事实条件句是语境受限的严格条件句。在替代语义学中,加强前件律和逆否规则等逻辑原则有效,因而原本失效的反事实条件句在替代语义中均有效,认知封闭原则成立。     

多元系统论与俄国形式主义的关联

在简要介绍多元系统理论的基础上,论述了该理论与俄国形式主义之间的关联,认为多元系统理论中的“系统”概念、“多元系统”思想、“中心/边缘”二元对立思想以及“从意识形态出发解释文学与文学环境之间的关系”思想等都来自于俄国形式主义者,二者具有直接的联系和内在的逻辑关联.     

相干逻辑的产生及评价

在概述“蕴涵怪论”与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改.认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景.然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑.     

从关联理论看语用翻译

关联理论认为,要正确理解语言就要通过语境来寻找关联,要靠推理.而翻译中为达到语用等效,其前提正是正确地认知和理解语言.关联理论对语用翻译具有指导作用.依据关联理论能更好地理解原文,寻找关联,解释翻译过程中作者-译者-译文读者的三元关系,从而更好地顾及读者的认知,达到翻译中的语用等效.     

从翻译失误看语篇翻译中的深层逻辑语义分析

逻辑语义关系是指由某种表层逻辑结构显现,并通过语言表达而附加出来的意义关系。原文表层逻辑结构和深层逻辑语义的不一致是造成翻译中逻辑转换失误的重要原因。因此,译者在翻译时应仔细分析原文内在的逻辑语义关系,再用符合译入语习惯的逻辑形式表达出来。