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

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

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

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

n维子空间在n+1个点上的Dunham型联合最佳逼近

本文在不假定 Haar 条件时.讨论了 n 维子空间在 n+1个给定点上的 Dunham 型联合最佳逼近问题,所得结论与文献[1]、[3]类似,并包含[1]、[3]的结果作为其特例,本文还证明了文献[2]中 Dunham 所提两个猜想在联合逼近的情形下是成立的.     

关于非真实条件句的几种结构变体

英语中的非真实条件句是一项重要的语法内容,特别是在正式语体中.虽然这种句子有其基本结构,但还包括许多结构变体,常令中国学生难以理解.本文针对使用非真实条件句的几种结构变体作比较全面的探讨,以期帮助英语学习者减少学习障碍.     

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

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

语用与修辞视角下的If-非真实条件句

目前,对英语中条件句的研究是语言学界研究的一个热点,然而,对于不具备真值的If-非真实条件句的研究却往往局限于语法层面.在语言交际中,If-非真实条件句作为自然语言而大量存在着,它可能是礼貌的委婉语,也可能是欲扬故抑的低调,还可能是酸涩的反语,同样的一种表达在不同的语境中往往具有不同的语用功能和修辞意义.语用和修辞框架中的If-非真实条件句,具有更加丰富的内涵和语言效果.     

关于可换BCK—代数的一个注记

1980年,K.Iseki[1]提出具有条件(C)的BCK—代数是否可换的问题。1982年,M.palasinki[2]绐出了一个条件(C_1),并证明了在BCK—代数中条件(C_1)等价于可换。1989年,沈百英(3)证明了(C_1)与(C)是等价的,从而解决了Iseki的问题。本文给出具有条件(C)的BCK—代数等价于可换的一个直接证明。     

极小条件句逻辑

给出L-极小系统的定义，这样定义的L-极小系统在两个方面分别有相对性和绝对性。用语言L1表述4个条件句系统，它们就是满足定义给出的条件的L1-极小系统。     

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

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

关于条件句的蕴涵理论

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

认知视阈下可预测性条件结构研究

以构式语法和心理空间理论为依据，对英语中可预测性条件句进行语言的认知分析，探讨可预测性条件结构的形式—意义关系及其心理空间的可选择性。     

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

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

条件句逻辑完全性问题探微初步

直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的影响,指出没有RCEA的条件句逻辑直接定义模型,不定义框架是有原因的,而有RCEA的系统则可以进一步讨论框架完全性问题。     

原始社会无法论逻辑辩证根据

本文从规范、规则与法的逻辑及法的辩证关系论证原始社会无法论。     

基于开放世界预设的3-值逻辑的列表证明系统

鞠实儿等(2003)在开放世界预设和真值条件理论基础上,构造了3-值语句演算系统SLO及其形式语义理论.该文采用Priest(2001)列表证明的表述形式,结合Fitting(1995)多值逻辑列表证明实质,克服两者的一些缺陷,给出了一种改良的3-值逻辑列表证明方法.针对SLO的形式语义,该文给出各个联结词的列表证明规则,构造出列表证明系统SLO*,并且证明了这一系统相对SLO语义是可靠的和完全的.     

广府在古代中国外贸体制中的地位及其文化分析

本文从三方面阐述广府文化在古代中国外贸体制中的地位。第一，三度一口通商彰显广府在中国外贸体制中最突出的地位。第二，历代外贸体制在广州的先行先试充分表现了广府对于中国外贸体制的贡献和地位。第三，通过广府外贸地位的文化分析：地理环境和海外市场分析；海洋文化传统最早形成和成熟；海洋文化精神的强固，论证广府在中国外贸体制中获得显赫地位，蕴涵着深刻的文化发展逻辑。     

广义集压缩映射原理及其对积分方程组的应用

本文对Banach空间中映射组证明了一个不动点定理.利用这个定理,我们给出了Banach空间中非线性Fredholm和Volterra积分方程组解的存在性定理,也获得了非线性Volterra积分方程组极值解的存在定理和比较定理.这些定理推广了文[1]中的相应结果.     

关于代数模与代数的扩张的注记

由可知,从已知代数模的扩张U出发,便可得一广义导子f。反之,利用这个广义导子f,我们也可构造出一个代数模的扩张U＇。本文证明了这两个代数模U与U＇是同构的。并给出了由因子系构造代数的扩张的一个方法。