【内容提要】概称句一方面具有某种全称性,另一方面又容忍反例,这是概称句最重要的特点,也是概称句研究的主要困难所在。这一特点使概称句呈现内涵性。在概称句内涵语义的基础上,借助于形式化方法,本文通过构造可能世界到内涵域幂集的映射,发现概称句是表达概念内涵的句子,揭示了概称句的本质,使得关于概称句的一些现象得
具体给出R(x)的方法这一方向没有给出,事实上,在这种表达下是无法探讨这一问题的,以一阶谓词作为限制手段,不能为概称句的判断所做判断的主体和语境影响留有余地,也不可能体现概称句的内涵性。
3)generic sentence概称句 1.Based on intensional semantics, this paper uses a formal method to reveal that generic sentences express the intensions of concepts, and shows that what generics are about.概称句一方面具有某种全称性,另一方面又容忍反例,这是概称句最重要的特点,也是概称句研究的主要困难所...
概称句推理与排序
《概称句推理研究》在对概称句进行合理解释及形式化表达的基础上对包含概称句的推理作了全面研究。作者张立英通过分析概称句的特点,并借助形式化方法把已有研究成果内在的递进研究脉络呈现出来,很终发现双正常语义和涵义语义能同时刻画概称句七个特点。区别于以往建立逻辑系统来刻画单调推理的做法,作者用逻辑系统+前...
概称句词项逻辑的树图判定算法
概称句推理研究 作者:张立英著出版社:社会科学文献出版社出版时间:2013年12月 手机专享价 ¥ 当当价降价通知 ¥32.00 定价 ¥48.00 配送至 北京市东城区 运费6元,满49元包邮 服务 由“当当”发货,并提供售后服务。 当当自营 商品详情 开本: 纸张:...
摘要:基于[4]中的逻辑系统G,本文通过删减和增加公理及规则给出3个逻辑G0,GD和Gs,同时,我们通过对正常主项选择函数添加不同的条件给出与三个逻辑相应的不同的模型定义。其中,G0是GD和Gs的基础。这些逻辑的给出是为了刻画通过演绎方式得概称句的推理的局部推理。 注:因版权方要求,不能公开全文,如需全文,请...