张秋成
- 作品数：5 被引量：4H指数：1
- 供职机构：中国人民大学外国语学院更多>>
- 发文基金：教育部人文社会科学研究重大课题攻关项目更多>>
- 相关领域：哲学宗教语言文字更多>>
- 认知视域中的抽象对象理论
- 本文从认知角度来研究抽象对象理论。在现代逻辑中，抽象对象理论是与内涵逻辑的研究与发展密不可分的。内涵逻辑语义学可大概分为以卡尔纳普、邱奇和蒙太格等人为代表的早期内涵逻缉和以Edward N．Zalta和George Be...
- 张秋成
- 关键词：内涵逻辑命题态度
- 文献传递
- 内涵语境下替换失效问题及其解决被引量：1
- 2007年
- 解决内涵语境下替换失效问题的基本思路是:内涵语境下的语言表达式表达了某主体所持有的信念或愿望等心理内容,因此是带有主体标记的,它只能被带有相同主体标记的并且和它具有相同指称的表达式所替换才不会改变包含内涵语境在内的整个句子的真值,否则,真值发生改变。
- 张秋成
- 关键词：内涵语境指称
- 命题态度句的成真条件被引量：1
- 2007年
- 用动态认知逻辑特别是话语表现理论为主要研究工具,充分考虑语境因素,探讨命题态度句的语义解释,得出的结论是:(一)命题态度句的语义依赖于被报道的信念和解释者对信念主体的认知状态的表征的其它元素的交互作用;(二)对命题态度句的处理揭示了语义的动态更新过程。
- 张秋成
- 类型—逻辑语法——一种自然语言语义分析的重要工具被引量：2
- 2003年
- 类型—逻辑语法是一种建立在类型—逻辑语义学基础上的规范语法,它自上个世纪80年代诞生以来,就以其表述的简洁性、理论的逻辑化和词汇化倾向以及更好地符合意义组合原则等鲜明特色,受到了形式语义学、语言学和自然语言理解和处理等领域的广泛关注,并继续保持迅猛的发展势头。该文第一部分简短回顾了范畴语法的发展情况,第二部分主要论述了类型—逻辑语法的核心内容——其句法学和语义学。其语义学的主要内容为简单类型的λ—演算和高阶逻辑:其句法学的主要内容是兰贝克演算。在第二部分的最后,笔者探讨了类型—逻辑语法与逻辑形式系统的深刻联系。总之,类型—逻辑语法对自然语言的语义分析具有比较广阔的发展空间。
- 张秋成
- 类型—逻辑语法的句法特色
- 2006年
- 论述类型—逻辑语法的句法特色———兰贝克演算。兰贝克演算是对由爱裘凯维茨和巴—希勒尔所创立的经典范畴语法的改进和发展,其表述有多种形式,重点论述在实践中应用广泛的根岑风格的兰贝克演算。
- 张秋成
- 关键词：范畴语法
