从代词照应关系的角度看DRT

话语表现理论(Discourse Representation Theory,简称DRT)是20世纪80年代初由荷兰逻辑学家坎普(Hans Kamp)开创的一种动态语义学理论。DRT是一种关于自然语言的语义观,它的产生源于蒙塔古语法及其语义观。在对自然语义的解释中,格赖斯(Grice)等关联理论研究者都将常规意义从语用     

DRS与一阶谓词逻辑公式

DRS是Discourse Representation Structure(话语表征结构)的简称,是DRT的灵魂部分.DRT即Discourse Representation Theory,在国内它至少有四种不同的译法:话语表征理论[1]、篇章表述理论[2]、话语表达理论[3]和话语表现理论[4].对DRT有多少种译法对DRS就有多少种译法,本文的宗旨只是对DRS与一阶谓词逻辑的公式进行比较,所以可以不必纠缠于这些译名中哪个更准确.通过DRS与一阶谓词逻辑的公式的比较,我们可以更加清楚地看到DRT与一阶谓词逻辑之间的内在联系与差异,从而加深我们对DRT这一理论的了解,为将这一理论运用于汉语的语义分析打下更加坚实的基础.[5]     

从蒙太格语法的局限性看DRT的理论价值

DRT是DiscourseRepresentationTheory的简称,有人译为“话语表征理论”,有人译为“篇章表述理论”或“话语表达理论”,还有人译为“话语表现理论”。这一理论是上世纪80年代初由荷兰逻辑学家汉斯·坎普提出的,是继蒙太格语法之后又一种极具代表性的自然语言逻辑理论,在西方不仅受到逻辑学家与语言学家的广泛关注,还引起了越来越多的人工智能学家和心理学家的极大兴趣,有些学者甚至已经设计出了基于这一理论的分析软件。DRT为什么能有如此的吸引力?坎普是在一种什么样的背景下提出这一理论的?这一理论究竟能够解决一些什么问题?本文将从…     

组合范畴语法研究述评

范畴语法是一种面向自然语言信息处理的逻辑理论,是便于计算机处理的逻辑语法。它产生于20世纪30-40年代,50年代后逐渐走向成熟。[1]纯范畴语法是所有形式主义范畴语法的共同起点,它是巴-希勒尔(Bar-Hillel)对爱裘凯维茨(Ajdukiewicz)的句法演算进行方向性修改的产物,一般被称为AB-演算。[2]AB-演算仅有两条函项应用规则,导致其推演能力太弱,斯蒂德曼(Steedman)在     

真理冗余论述评

真理冗余论(Redundancy theory of truth)是当代的一种真理理论。通常认为,这种理论的首创者是英国剑桥大学数学家和哲学家拉姆齐(F. P. Ramsey,1903—1930),而这种理论的更精致的说法则是由美国哲学家格罗弗(D. Grover)等人1975年在一篇题为《真理的代语句词理论》(A Prosentential Theory of Truth)的著名论文中提出的。在二十世纪语言转向(linguistic turn)的哲学背景下,研究真理问题有一个很明显的特点,即紧密联系语言意义问题来研究真理问题。把握真理与意义之间的联系,的确是研究真     

西方逻辑史语言逻辑思想概观——现代阶段语言逻辑思想及其特点(二)

如果说以罗素,维特根斯坦(Wittgenstein 1889～1951年)为代表的分析哲学家对日常语言的逻辑分析直接导致了“语言逻辑”这一术语的诞生,那么萨默斯(Sammers)、卡尔纳普(Carnap 1891～1970)、斯特劳森的工作则分別从传统逻辑、人工语言和日常语言的角度开始了语言逻辑研究的尝试;如果说现代指号学奠基人莫里斯(Moris)的“指号三分法”(语形、语义、语用)为语言逻辑描述了一个大致轮廓,那么转换生成语法创始人乔姆斯基(N.Chomsky),及其弟子生成语义学创始人莱柯夫(George Lakoll)和蒙太格语法的创始人R、蒙太格(R、Montague)的工作则分别从语法学、语义学和内函语义语境的理论方面大大充实了现代语言逻辑的内容。而在其     

多模态范畴逻辑研究

一、多模态范畴逻辑的背景介绍自上个世纪70年代以来,逻辑和语言的交叉研究获得长足发展。该领域的基础是范畴语法:作为开端的蒙太格语法,其思想来源于范畴语法;而蒙太格语法以后的类型-逻辑语义学及语法逻辑均是范畴语法序列的延伸。近20来年,关于自然语言的范畴语法分析已在计算机信息处理领域内获得了应用。同时,对范畴语法进行逻辑系统的抽象,并构造可能世界的框架语义解释,就形成了所谓多模态范畴逻辑。可以说,范畴语法是多模态范畴逻辑产生的背景。范畴语法是一种使用运算和推演的手段描述语言的形式化工具。运算的概念与数学相关,所…     

代数应用题项目生成中的认知过程与任务特征分析

认知项目设计起源于理论驱动的测量模式,要求在详尽阐述测量建构理论的基础上,鉴别测验项目类型的任务特征,建立和标定与测量建构认知变量之间的对应关系,从而通过系统变换任务特征生成项目.本文以Greeno (1994)提出的代理者-情境交互作用(agent-situation interaction)的问题解决观为基础,对代数应用题解决的认知过程和任务蕴含性(affordance)进行了系统分析.具体而言,代数应用题被视为以文本形式呈现的,嵌套在现实情境中的某种量化结构.在代数应用题解决的转译、整合、计划、执行的认知过程中需要形成三种不同的表征,即文本基、情境模型和问题模型.其形成及解决过程受到个体问题图式知识的深刻影响.对应于不同表征方式,对代数应用题语法/语义结构、量化元素及结构、问题情境特征进行了系统分析和综合.该分析表明,为了保证代数应用题项目生成的科学性,当前研究的关键在于建立任务特征与问题解决认知变量之间的经验关系,并在问题领域整体水平上检验这种关系的可推广性.     

推荐五本世界公认的逻辑学著作

(1) G·Takeuti和W.M.Zaring的《公理化集合论导引》第2版(Introduction to Axiomatic Set Theory [2nd ed]),本书以Zermelo-Fraenke的理论为线索全面介绍公理化集合的Godel和Cohen相容性和独立性理论,用这种论述方式介绍,读者能较容易地掌握公理化集合论的基本理论以及其他相关结果,并进入到80年代的许多新的前沿课题。本书1971年初版,1982年第2版对初版作了全面刷新,增添了许多新内容,如Silver机、证明可构造性公理化相容性的结构设计等。本书可作为数理逻辑专业研究生一个学期集合论课程的标准教材。 (2) G·Takeuti和W.M.Zaring的《公理化集合论》(Axiomatic Set Theory)。本书是《公理化集合论导引》一     

有关类比推理过程中的图式归纳研究综述

1　引言　　所谓类比推理是指根据两个对象的相似性从其中一个对象的已知特性推出另一个对象也具有该特性的认知活动[1] 。类比推理的相关理论很多 ,其研究视角、建构方式都不尽相同 ,但有一个重要的共同点就是非常强调关系或结构的作用[2 ,3] ,而关系或结构则是通过图式归纳 (schemainduction)的方式获得的[4 ] 。许多研究都表明 ,通过对图式归纳的训练 ,可以提高被试者解决目标问题的成功率[5- 7] 。也就是说 ,图式归纳的优劣会影响到问题解决得好坏 ,而图式归纳又可以通过训练来提高 ,也正是因为这一点 ,使得对图式归纳的研究变得极有意…     

生态哲学研究的一个向度——河流自然生命的定位

河流生命一词,多见于文学和艺术作品,用拟人化手法比喻河流是"鲜活的,有生命的",与"陈旧的,僵死的"相对.河流生命作为科学概念,即生态系统的一种具体形式的提出,既来源于全球河流生态危机胁迫产生的河流危机意识,[1]也直接来源于我国黄河管理过程中构建河流生命伦理实践的迫切需要.[2]河流生命有其自然与文化两种存在方式,本文旨在探讨河流自然生命的存在方式,重点对其出发点、立论基础和评价标准做出阐释.     

《淮南子》的学习心理思想

《淮南子》,又名《淮南鸿烈》。汉淮南王刘安编著。唐刘知几说：“其书牢笼天地。博极古今。”其广博的内容中蕴含有颇为丰富的学习心理思想。本文即拟对此作一探讨。     

逻辑哲学研究的新标识--《逻辑哲学九章》述评

自 19世纪末、20世纪初现代逻辑产生以来,逻辑学研究在西方学术界可说是方兴未艾。与之相伴的是逻辑哲学研究也在 20世纪的西方学术界开展得如火如荼。受国际学术界的影响,我国学术界自 20世纪 30年代始,在金岳霖、牟宗三、沈有鼎等先生的努力下,逻辑哲学研究逐步得到展开,特别是20世纪 80年代后,在一大批逻辑学者的努力下,我国的逻辑哲学研究逐渐形成繁荣之势。王路、李小五、张清宇、张家龙和邹崇理等合力完成的《逻辑哲学九章》(张清宇主编,江苏人民出版社, 2004 ) (以下简称《九章》)则将我国的逻辑哲学研究推进到了一个新的水平,这…     

关于当前我国医患关系若干问题的评估意见

2004年7月在大连举行的“医患关系-医疗诉讼-医患维权”的学术研讨会,就这个《评估意见》进行了讨论,现在发表的是依据讨论中提出的意见进行了修改的文本。我们认为,建立医患之间的诚信关系,正确处理和协调当前医患间的一些纠纷,在如下一些问题上达成共识是有意义的。     

Mediators of the effects of magnitude of reinforcement

The characteristics of mediational mechanisms based upon magnitude of reinforcement were investigated using rats. In two experiments, two-choice discriminations were trained in which selections of one lever in one external stimulus and a second lever in another external stimulus were reinforced with food. In the first experiment, it was found that the discrimination was acquired more rapidly when one choice was reinforced with a large number of food pellets and the other with a smaller number of pellets than when other configurations of reinforcement magnitude were provided. In the second experiment, reversal of a two-choice discrimination was found to be facilitated by prior exposure of the animals to the reversed relationships between the external stimuli and magnitudes of reinforcement. These results were consistent with predictions from a stimulus or associative view of anticipatory processes based upon magnitude of reinforcement.     

走出价值相对主义

价值相对主义的理论失误和实践危害,使大多数价值哲学论者都力图克服之。新康德主义的形式先验主义的思路,舍勒的实质先验主义的思路,布伦坦诺的经验直觉主义的思路,培里的现代经验主义的思路,都是克服价值相对主义的不同尝试,都有其合理因素。但由于它们各自理论的缺陷,使之难以真正克服价值相对主义。我们认为,以实践为基点去理解价值的本质,应用唯物辩证的方法去说明价值的相对性与绝对性,才能走出价值相对主义。