【摘 要】
：
本文考察了强可能性和弱必然性这两种真势模态的逻辑性质。称一个命题是强可能的,当且仅当它在某个可及的但非现实的可能世界中成立;称一个命题是弱必然的,当且仅当它在所有
【机 构】
：
南京大学哲学系,南京大学科学技术与社会研究所
【基金项目】
：
国家社科基金青年项目“社会悖境的逻辑机制与出路研究”(17CZX007)
论文部分内容阅读
本文考察了强可能性和弱必然性这两种真势模态的逻辑性质。称一个命题是强可能的,当且仅当它在某个可及的但非现实的可能世界中成立;称一个命题是弱必然的,当且仅当它在所有可及的但非现实的可能世界中都成立。强可能性与弱必然性互为对偶。在表达力上,强可能性算子不同于可能性算子。尽管如此,刻画强可能性和弱必然性的逻辑(简称为强可弱必逻辑)仍然是正规模态逻辑,而且它的极小逻辑在形态上类似于极小正规模态逻辑K。本文主要在形式技术上对强可弱必逻辑作了初步研究:比较了它和模态逻辑以及一阶逻辑在语言表达力上的区别,给出了它的极小
其他文献
科学探究是科学素养的核心，贯穿于整个科学教育的始终。正确的科学探究活动可以启发学生的探究兴趣，提高学生的科学素养、科学探究的步骤包括：①提出问题；②猜想与假设；③制定计划
主轴承密封失效的案例在TBM施工中并不少见,通常密封失效后采用在洞内更换的方式进行处理。文章通过对辽宁重点输水工程1台TBM主轴承密封失效的应急处理方案的介绍,为同类设
在广义论证视域下,贵州丹寨"八寨苗"的祭祀仪式是人神之间在共享的交流空间中,借助象征性符号实施社会互动,开展说理活动的过程。本文遵循本土化研究原则,在田野数据的基础上
证明了几乎正规子群与C-正规子群的某些性质，并利用几乎正规子群概念考察了某些有限群的可解性，得到了若干充分条件．
Fine(2016)给出了几种使真者语义学来解释我们如何理解我们的语言,但是它们是有争议的,特别在我们如何理解全称句子方面存在争议。在Hale未发表的论文中,Hale修正了严格使真
数学证明中常有"设自然数n为任意自然数","设三角形ABC为任意三角形"这样的习语。通过证明自然数n或者三角形ABC具有某种属性,推出论域中的所有对象都具有同样的属性。这种论
从水库取水输送到用户，每年多数时间用户所需水头压力均有富余，为了充分利用水库水位势能，在水库出口设置电站，一方面降低下游管道压力，一方面为社会带来经济效益。经济管径计算公