您的位置: 专家智库 > >

国家社会科学基金(07BZX047)

作品数:5 被引量:10H指数:2
相关作者:张立英周北海琚凤魁更多>>
相关机构:中央财经大学北京大学阿姆斯特丹大学更多>>
发文基金:国家社会科学基金中财121人才工程青年博士发展基金中央财经大学121人才工程青年博士发展基金更多>>
相关领域:哲学宗教自动化与计算机技术语言文字更多>>

文献类型

  • 5篇中文期刊文章

领域

  • 4篇哲学宗教
  • 2篇自动化与计算...
  • 1篇语言文字

主题

  • 2篇形式语义
  • 2篇语义
  • 1篇动态语义
  • 1篇形式语言
  • 1篇英文
  • 1篇语义分析
  • 1篇语义解释
  • 1篇语义研究
  • 1篇指称
  • 1篇省略
  • 1篇排序
  • 1篇自然语言
  • 1篇里尔
  • 1篇逻辑
  • 1篇逻辑学
  • 1篇逻辑研究
  • 1篇剧本
  • 1篇计算机
  • 1篇计算机科学
  • 1篇法解释

机构

  • 3篇中央财经大学
  • 2篇北京大学
  • 1篇阿姆斯特丹大...

作者

  • 3篇张立英
  • 1篇琚凤魁
  • 1篇周北海

传媒

  • 2篇哲学动态
  • 1篇哲学研究
  • 1篇暨南大学学报...
  • 1篇逻辑学研究

年份

  • 2篇2010
  • 2篇2009
  • 1篇2007
5 条 记 录,以下是 1-5
排序方式:
概称句推理与排序被引量:3
2009年
概称句推理可分为主要通过演绎方式的和主要通过归纳方式的。对于演绎方式进行的推理又可根据研究关注点的不同分为结论是事实句的推理和结论是概称句的推理。由于概称句的作用,这三种类型的推理都是非单调推理。通过分别的考察,本文指出,这三种类型的概称句推理要想真正得以刻画,都需要引入前提集的排序的概念。进而,排序将是融合这三种类型推理的纽带。
张立英
关键词:排序非单调推理
用概率方法解释概称句——亚里尔·科恩的概称句语义研究被引量:9
2007年
张立英
关键词:法解释语义研究里尔语义分析语义解释
“否则”的形式语义(英文)
2010年
作为汉语中的一个二元连接词,"否则"实际上有3个主目,其中的一个被省略掉了.这种省略是依赖于语境的,确切地说,其主要与"否则"之前的子句的主连接词有关.在某些情况下,这种省略是歧义的.基于更新语义框架,本文为"否则"构造一种动态语义.在这个语义中,语句的意义是语义堆上的更新函项,"否则"是更新函项上的二元运算.这种处理方式能够成功捕捉这种省略对于语境的依赖.
琚凤魁
关键词:省略动态语义
从剧本的视角看名与指称被引量:1
2010年
There are two kinds of language,the language of the audience and the language of the roles,involved in a play-script.In analyzing the text of a play-script,we can have a new perspective to view the issue of name and reference.From this perspective,the first step in investigating the issue is to distinguish between these two languages,because in different languages there are different ways in which reference of names are determined.In the studies of name and reference,there have been two major approaches,namely,the Fregean and the Kripkean,which seem to be in deep conflict with each other.However,from the perspective of the play-script theory of names,they become in some sense the theory of names for the language of the audience and that for the language of the roles,respectively.Hence,they stand by no means in unsolvable conflicts,and could be combined and developed further in the new perspective.In a word,the play-script theory of names serves as a meta-theory that helps clarify different approaches to name and reference.
周北海
关键词:指称剧本弗雷格
自然逻辑的产生、发展及意义——以范·本特姆自然逻辑研究为例
2009年
张立英
关键词:逻辑研究计算机科学形式语言自然语言形式语义逻辑学
共1页<1>
聚类工具0