弗协调的弗雷格

来源 :逻辑学研究 | 被引量 : 0次 | 上传用户:liu716313
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文表明,二阶弗协调概括与弗雷格的第五公理是足道的。也表明,如果等数关系是初始符号,那么通过弗协调推理可以从第五公理可以推出休谟原则。最后表明,弗协调的休谟原则不能用作逻辑主义数学的基础。
其他文献
根据赛江干流白塔站长系列径流资料,采用累积曲线、累进均值曲线法、滑动平均曲线法等多种计算方法分析该站径流系列代表性和径流特性,特别是枯水径流特性,并采用历年最小月
双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时却忽略
本文认为文献(vanDitmarschet.al.,2007)对认知行动“读”形式化时,语法与语义混淆,给出的语法和语义不够直观、自然。本文在形式化认知行动“读”时,严格区分语法和语义,在形式上
介绍了冶勒水电站中下平段压力钢管整节凑合安装的质量过程控制,重点对现场测量控制、焊接等方面施工工艺进行了探讨。
当代哲学家们围绕含混性问题展开激烈争论,有许多的理论被相继提出和改进。这些理论相互竞争、彼此批评,我们却很难看出它们是否是关于相同现象的理论,而且坚守不同理论的哲
本文重新考察Bull在1964给出的一个结论:以纯句法方式定义的一些扩张S4的正规模态逻辑具有有穷模型性质。本文修订Bull的代数证明。对于新定义的S4的Bull公式,证明通过它们在S4