普莱尔混合时态逻辑的思想基础

普莱尔较早较系统地创立了时态逻辑。蒯因认为模态逻辑的产生面临三个等级的牵涉,但是这并没有阻碍普莱尔构建时态逻辑。普莱尔出于哲学的和技术的考虑在时态逻辑的基础上进一步建立了混合时态逻辑。混合时态逻辑在人文和计算机科学中有着重要的应用,但它又引起了进一步的牵涉,普莱尔对此没有给出充分的说明,本文将追寻普莱尔提出混合时态逻辑的过程并对其合理性进行论述。笔者认为逻辑牵涉是形式化方法必然会带来的问题,但是多半是可以化解的。