可证性的逻辑

来源 :哲学译丛 | 被引量 : 0次 | 上传用户:dqwq1314
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
【正】 这篇文章的主题是说明这样一种方法,就是用亚里士多德首先研究并称为模态逻辑的一个古代的逻辑分支来阐明一个现代的逻辑分支,即由 D.希尔伯特开创而由 K.哥德尔实现的对于数学自身的数学研究。模态逻辑研究的基本概念是必然性和可能性:一个陈述称为“必然的”,如果它必定是真的,称为“可能的”,如果它可能是真的。比如,因为在2000年可能有一场战争,陈述“在2000年将有一场战争”是可能的,但它不是必然的,因为那时可能没有战争。另一方面,“在2000年将有一场战争
其他文献
急救医学在人类健康事业中占有重要的地位,急救中心是其阵地,它是衡量医院整体水平、服务质量、应急能力的一个重要标准.如何使急救中心这个特殊的医疗环境适合医疗卫生体制
美国海军唯一以海外基地作为母港的航母,为第七舰队第5航母战斗群的小鹰号航母。配属小鹰号航母的第5舰载机联队,每年都会在其驻地,神奈川县绫濑市的厚木海军航空设施举行盛大的
分析了利用保护间隔估计数字音频广播(DAB)系统载波细频偏时码间串扰带来的误差,降低码间串扰对码元同步影响的基础上,提出一种改进的利用保护间隔计算载波细频偏的方法。20径的A
古人讲,知人论世,说的是我们要想充分了解一个人,必须把他置于他所在的环境里去考量,不可妄加推断。了解一篇文章也是这样,只有将其放在作者所处的时代中,以及作者写作时的心态下,才
1 概述 “立体声”一词近几年来频繁地出现在各种文章和媒体中,它的含意可以概括为声源的空间分布与人们对它的判断和感受。在自然界和日常生活中,存在着各种各样的声源,例如
【正】 如同“历史主义”和“主观主义”等概念一样,在当前哲学用语中,“反理性主义”也是一个含义很不明确的概念。人们常常在许多不同的意义和场合使用它。因此,如果企图言
目的探讨医院高压氧舱治疗时的安全隐患及管理对策。方法将760例行高压氧治疗的患者根据住院时间分为对照组324例、观察组436例。对照组通过历史性回顾,统计分析存在的安全隐