扩展三段论的可化归性与广义量词的语义性质之间的关系

来源 :逻辑学研究 | 被引量 : 0次 | 上传用户:TigerStone
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于Barwise、Cooper、Keenan、Peters、Westerstahl和vanEijck等人的研究成果,作者提出并证明了若干事实和推论。这些事实和推论表明:(1)不同三段论之间的可化归性本质上反映了广义量词的单调性、对称性等语义性质之间的可转换性,因此,我们可以根据四个亚氏量词的语义性质之间的转换关系来验证亚氏三段论的可化归性;(2)利用广义量词的语义性质可以验证扩展三段论的不同推理模式之间的可化归关系。由于广义量词在自然语言中普遍存在,因此,本文的研究对广义量词理论的发展和自然语言的信息处
其他文献
介绍了冶勒水电站中下平段压力钢管整节凑合安装的质量过程控制,重点对现场测量控制、焊接等方面施工工艺进行了探讨。
当代哲学家们围绕含混性问题展开激烈争论,有许多的理论被相继提出和改进。这些理论相互竞争、彼此批评,我们却很难看出它们是否是关于相同现象的理论,而且坚守不同理论的哲
本文重新考察Bull在1964给出的一个结论:以纯句法方式定义的一些扩张S4的正规模态逻辑具有有穷模型性质。本文修订Bull的代数证明。对于新定义的S4的Bull公式,证明通过它们在S4
本文表明,二阶弗协调概括与弗雷格的第五公理是足道的。也表明,如果等数关系是初始符号,那么通过弗协调推理可以从第五公理可以推出休谟原则。最后表明,弗协调的休谟原则不能用作
沙牌拱坝是目前世界上已建成的最高碾压混凝土拱坝(坝高130m).针对该坝设计与施工的关键技术问题,在"八五"和"九五"国家重点科技攻关的支持下,开展了100m级碾压混凝土拱坝结
锦屏一级水电站所在河谷深切,岸坡陡峻,缓坡地和滩地很少,施工布置十分困难。本文介绍施工场地布置和施工负荷,重点介绍了施工用电系统。
冶勒水电站大坝属首座在400m级超深厚覆盖层上建成的坝高125m沥青混凝土心墙堆石坝,基础防渗最大深度达200m,工程勘察设计难度极大。本文主要就冶勒水电站坝基超深厚覆盖层的工程地质特性及主要工程地质问题有关研究成果进行了总结。
通过对双河拱坝的观测成果、拱坝强度、坝肩抗滑稳定、温度荷载、温度应力和大坝开裂的计算分析,对双河拱坝的开裂原因和拱坝安全进行了综合分析评价.
“真”是不是断定行为的规范?收缩论者能否接受“真”作为断定的规范?怀特(CrispinWright)回答“是”和“不能”.怀特尝试从真之规范出发证明收缩论是内在不一致的.他试图建立两