论文部分内容阅读
QLP是第一个量化核证逻辑,它允许对证明项的量化.菲廷给出了QLP的公理系统和可能世界语义,并证明了QLP的可靠性和完全性.迪安和黑川用QLP分析了知道者悖论,后来又对其进行了详细的哲学分析,但阿洛-科斯塔和岸田反对这种分析.QLP的出现填补了核证逻辑在量化部分的空白,推动了核证逻辑的发展.
量化核证逻辑QLP概观
【摘 要】
：
QLP是第一个量化核证逻辑,它允许对证明项的量化.菲廷给出了QLP的公理系统和可能世界语义,并证明了QLP的可靠性和完全性.迪安和黑川用QLP分析了知道者悖论,后来又对其进行了
【机 构】
：
南开大学哲学院
【出 处】
：
重庆理工大学学报：社会科学版
【发表日期】
：
2014年3期
其他文献
金岳霖先生的《范围逻辑》涉及到对于和“范围”这个概念相关的多个语言一逻辑现象的考察。在金岳霖先生诞辰120周年之际，通过重新分析这些现象来评论金先生给出的理解以及范
一、高校学风：大学文化的一种样态（一）高校学风是一种文化狭义上讲,文化是人在实践活动中创造的观念形态成果。马克思、恩格斯从现实的人及其劳动实践出发,认为文化是由人的劳动
永兴县地处湖南省东南部,永兴方言的归属曾经有过不同意见,这些不同意见的产生有两个主要原因：一是专家使用的标准与方法存在差异,二是永兴方言自身内部的复杂情况。永兴县内
法律推理过程包含着权力与利益、应然与实然、确定性与妥当性、客观解释与主观解释、逻辑与价值、语言与事件、思维与表达、认知与行动等诸多矛盾.在司法能动主义与司法克制
目的比较腹腔镜阑尾切除术与开腹阑尾切除术的临床疗效。方法分别选取62例和143例急性化脓性阑尾炎患者分别行腹腔镜阑尾切除术和开腹阑尾切除术，对两组患者术后疼痛程度、术
论述了盾构隧道管片衬砌内力计算的梁-弹簧法和弹性匀质圆环法。结合一工程实例,采用此两种方法对管片衬砌内力进行了计算,并对计算的结果进行了对比分析。结果表明,采用梁-
生物学中的同源概念可以区分为：分支分类学的同源、系统发育学同源、个体发育学同源以及分子同源.由于各学科研究目的和兴趣的不同,故而对同源概念的定义也不同.孤立同源定义