分支时间中条件强历史必然性逻辑及对未来决定论论证的分析
计算机科学中的逻辑
2024-05-27 v1
摘要
本文提出一种在分支时间中处理条件强历史必然性的逻辑，并运用于分析林渡姆( Lavenham)关于未来决定论的非神学论证。强历史必然性源于语言学视角，其典型例子为：``如果我当初没有逃脱，我必然已死亡''。逻辑方法如下：代理人接受关于世界随时间演变的实在规则，视其中一些规则为不可推翻的，这些规则决定了可接受的时间线。评估含有条件强历史必然性的句子时，我们将其前件引入为不可推翻的实在规则，然后检查其后件是否在所有可接受的时间线中成立。该论证在该逻辑下并不成立。
引用
@article{arxiv.2405.15248,
title = {Logic for conditional strong historical necessity in branching time and analyses of an argument for future determinism},
author = {Fengkui Ju},
journal= {arXiv preprint arXiv:2405.15248},
year = {2024}
}