共找到 逻辑学相关的 本期刊
共找到 逻辑学相关的 20篇文献
假设V=终极L,则连续统假设为真,并且所有关于集合论的独立性问题都可以还原为有关更大无穷的公理,它还为集合论提供了一个对科恩力破免疫的公理化基础。在这个意义上,这将是哥德尔纲领的一个实现。更进一步,如果V=终极L是真的,那么就存在一个独特的...
辛提卡提出的语言博奕论旨在提供一种能用于系统分析语言与世界联系的理论工具。本文重点分析了辛提卡为一阶理论建立的"寻找且找到博奕"。它的理论渊源是维持维根斯坦的"语言活动"论。它仍以可能世界论为基础,与形式逻辑的理论模型集合论密切联系,以致辛...
本文主要以《韩非子》原典为本,尝试由其中寻绎一条可以通贯全书"通一同情"的方法;说明韩非在先秦变乱情势中,为达到变革、弭争、止乱、去弱、治强目的,所采取的一种发现、分析、说明问题与解决问题的思维过程与步骤,以及如何整合观点、研拟出实际有效解...
本文主要从诠释的观点来看"中国逻辑"这门学科,"中国逻辑"既然是对中国思想文献的一种诠释,这样的诠释是否与其所诠释的对象原意相符,涉及了逻辑思想是否原本就属于中国思想的一个特征的问题。本文对上述问题的处理主要分为三个部分:第一部分说明"中国...
对于庄子与惠施在濠梁之上的"鱼之乐"的辩论,本文试图论证:庄子并无意图要证明他知道知鱼之乐,他的目的在否证"他者心灵的不可理解/通接性"这一惠子的假定。本文认为庄子的"知"与他的"为一"观念是密切相关的,而庄子的"为一"观念与惠子的"一体"...
本文从语义学与证明论的角度研究了时态德摩根代数所对应的逻辑DMt。一方面,基于时态德摩根代数的表示定理,本文给出了时态德摩根逻辑的关系语义,并证明了DMt相对于该语义是可靠且完全的;另一方面,本文构造了DMt的保守扩张显示演算系统D.DMt...
日常推理具有非单调性,而经典逻辑不足以刻画这样的推理,自认知逻辑是研究非单调推理的一种主要方法,它旨在为具有反思能力的主体的推理过程做形式的刻画。
多数学者对于《老子》思想的研究,经常会特别关注老子提出的"道",着重于老子关于"道"之根源意义、形而上的探究;因而学界中以思维方法探究《老子》思想,属于较少的研究进路;而在探讨老子之思维模式的研究中,多会关注到老子的"辩证思维",如"正言若...
"书能读"、"这本书能读"这类"能"句,在语义上如何解释,句法上如何分析,国内学界对此并没有令人信服的研究。基于国外对情态动词以及中动句式的研究成果(Brennan 1993;Lekakou 2005),我们认为(1)"能"句中的"能"一般...
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved