信念逻辑的更新模型

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

刻画动态否定的逻辑

通常的逻辑只涉及静态否定的概念.文章建立了几类动态系统来刻画动态否定概念,并引入相应的语义,然后证明这些系统相对这些语义是可靠和完全的.     

一个刻画强否定的模态系统及其性质

否定是逻辑学的中心概念之一.直觉主义用关系语义刻画了一个强否定,我们在此也用关系语义刻画一个强否定.所不同的是,我们的否定是直觉主义的否定的补,所以我们给出的刻画强否定的语义和系统就有一些刻画直觉主义否定的语义和系统所没有的性质.例如,禁自返相对于我们的语义是模态可定义的.     

论句子语义中的命题

本文从命题的角度对句子的语义组织进行探讨,分析了命题在语言学中的理解及其与句子的关系。认为命题是与句子的事态有关的语义,但也并不能完全摆脱句子的模态语义。文章重点阐述了对命题结构的两种不同理解和三种分类。     

论语义预设与语用预设

预设分为语义预设和语用预设。语义预设是关于句子结构与世界的关系,它与句子本身有着密切的关系。一个句子的预设可以是完全预设,也可以是几个句子共一个预设,也可以是一个预设由若干项组成,所有这些项合起来才成为句子的完全预设。语用预设是关于话语与语境之间的关系,其特征是预设的合适性和共知性     

“S+V+R+O”双核谓词格框架研究

在“S +V +R +O”句式中 ,由于述语中心动词V价的不同、宾语的不同 ,补语R语义指向的不同 ,主语S、述语V、补语R、宾语O构成一个复杂的语义网络。弄清楚其中的语义网络 ,就可以着手建立“S +V +R +O”双核谓词格框架了。建立双核谓词格框架 ,可以促进对句子的理解 ,促进现代汉语格系统的建立     

基于开放世界假设的三值逻辑的语义推理系统

Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"┒"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的.既然该命题逻辑系统难以进行推理,文章通过引进真算子T和F,直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO.文章还给出了严格的形式语义,并且用该语义理论证明了SKO的可靠性和完全性.     

概率语义与蕴涵系统

本文我们引入适于初始联结符为和→的句子语言的概率语义,并证明通常我们使用的句子系统——蕴涵系统——相对这样的概率语义有可靠性和完全性。     

语义何以足够最小:非语境敏感语义学的新进展

针对语义研究主流的语境主义倾向,H·卡培朗和E·勒珀尔提出了非语境敏感语义学,也称为"语义最小论",认为一个句子一经说出就具有一个不受语境影响的最小语义内容。E·博格和G·普雷尔则在坚持句子语义最小论的基本立场上进一步提出了"语义如何足够最小"的问题,在严格区分意图行为与语义内容、坚持命题主义立场、索引词类型的概念模型建立等方面做了新的理论尝试,力图说明句子的语义内容完全由其句法结构和词项内容所触发,与意图、情境等因素无关。这一理论新进展,值得讨论。     

逻辑刻画:研究"理解"的新视角

对理解的哲学研究大多是纯粹的哲学思辨,很难体现理解所具有的客观性,不过也有哲学家把"理解"直觉上等同于"知道A的意义",或把理解归于"知道怎样",试图用知道的客观性来描述理解的客观性.理解可以用知道这样来表述:主体理解一个命题当且仅当主体知道这个命题真或知道这个命题假.把此命题形式化后作为特征公理纳入描述知识的S5系统,建立描述理解的认知系统U,用关系语义和典范模型方法证明此系统具有完全性与可靠性,能够逻辑地刻画理解的客观性.     

类型逻辑语法与汉语中的照应省略

现代汉语中存在大量语义资源重复使用的现象,最典型的是代词的回指照应、以及李艳惠在《省略与成分缺失》一文中提到的三种谓词省略结构[1]。在类型逻辑语法框架下,基于Jger构造的LLC系统添加针对"省略槽"引入范畴的规则eI,再借助照应算子的回指搜索功能,不但能够处理一般的代词回指、VP回指现象,还能够推广刻画汉语的多动词单句和兼语句等现象,获得正确的语义解读。可以证明,添加对应eI规则的公理的新系统在特定框架模型下是可靠并且完全的。     

论网络机器诗的审美特征

机器创作的诗歌无论是古典诗词还是现代的自由体诗,都呈现为缺失情感浸润和语义逻辑线索的碎片化的审美表征。不管从一个句子内部词义之间的逻辑关系来看,还是从句子之间的语义逻辑以及上下文的语境来看,机器诗的语句之间的跳跃性都完全超出了内在的情感意蕴的逻辑线索,成为互不相关的句子随意拼贴构成的大杂烩。由此可见,机器诗从诗歌的本体特征到审美蕴涵完全代替人工诗歌的论调可以休矣。     

与句子组合后的名词性结构的地位确定

名词性结构(NP)和句子(S)组合后的语法分析,最为关键的是确定NP在这个组合序列中的地位,它直接影响句子的性质及其结构层次。本文根据含有[+顺序]的NP才具有陈述性,才能独立成句,借助有限语境、语用信息焦点及句子系统本身内在的语义语法关系去定位NP。这样做在一定程度上可以省去一些不必要的工作,为简单可行地定位NP找到了一条思路,这对于汉语教学,特别是对对外汉语教学有一定的意义和价值。     

"NP1+是+VP的+NP2"句浅谈

本文主要讨论现代汉语里一种习焉不察的句式的特殊性.指出,由这种句式造成的句子依照抽象语义(Generalmeaning)大致可以分成S1、S2、S3.文章运用转换分析验证了S1、S2、S3三类句子的不同,并从V的性质以及NP1、NP2跟关系上初步探讨了这一句式多义性的内部规律.     

论现代汉语句子的语义结构

一个具体的句子总是有句法、语义、语用三个平面、三种结构。就汉语来说,句子的语义结构和语用结构研究较为薄弱,本文主要探讨汉语句子的语义结构及有关问题。文中首先讨论了汉语句子语义结构的基底─—动核结构以及语义结构中的动核、动元、状元的类别和基干动核结构的类型;进而探讨了汉语句子语义结构及其构成成分投射为句法结构及其构成成分的一般规律和语用限制。     

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

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

单句的三个平面分析

从严格意义上来讲,成分分析法和层次分析法不是句子的分析方法,而是短语的分析方法,充其量也只是对抽象的句子所作的句法分析,这种传统的所谓句子分析方法注重句法兼及语义,但排斥语用,分析的"句子"实际上是排除句调以及"挂在句子身上的语用零碎"以后剩下的词语组合。汉语的句子有具体和抽象之分。具体的句子是形式、意义和内容的三位一体,可以进行句法、语义、语用的分析。抽象的句子只有形式和意义,没有内容,只能进行句法、语义分析,而不能进行语用分析。句子的句法、语义、语用分析把静态分析与动态分析相结合,既可以分析抽象的句子,也可以分析具体的句子,是一种比较理想的析句方法。     

关系句与复句之辨——兼论汉语句子的功能分析

文化语言学功能句型理论中的关系句与结构分析中的复句在句子观、事件单元、涵盖范围和分析原则上存在根本差异。对比基于小说文本的大量实例可以发现:单纯依据关联词语和逻辑-语义关系标准的复句分析是不可靠的。汉语的关系范畴渗透于短语、句子成分及小句之间,因此必须首先确定句子是否是一个以表达关系范畴为目的的功能单位,在此基础上才能进一步分析句子内部的关系范畴类型。此外,流水句是汉语句子的常态,是复句系统难以攻克的难题。只有在功能视角下,流水句的关系分析和句子成分分析才游刃有余。因此,对于汉语句子的分析一定要建立在功能视角的分析方法之下。     

浅谈词组的歧义

语法形式和语义内容之间的关系十分复杂,相同的语义内容可以用不同的语法形式表达,不同的语义内容也可以用相同的语法形式表达。前一种情况使句子和词组的结构丰富多样,后一种情况便造成了句子和词组的歧义现象。本文仅就词组的歧义谈一点粗浅的看法。歧义词组指的是同一个词组可以做两种或几种分析。造成词组歧义的原因有词汇上的,     

论句子的语义结构

语义问题是当前语言学界颇为重视的一个问题,但大家比较注重语义构成成份(semantic component) 的分析,很少对句子的语义结构进行全面深入的研究。本文尝试对句子的语义结构做一些探讨,很可能是错误的。一、句子是交际的基本单位语言是交际工具,人们利用语言进行交际,句子是交际的基本单位。句子包含着形式