关于时间逻辑的研究

作为现代非经典逻辑分支的时间逻辑,是判断的一个公理化逻辑理论,这些判断是用命题表达的,而这些命题的真值将随着时间的推移而发生变化。时间逻辑的产生和形成是逻辑学发展的一个具体典范,它以新的方式丰富了逻辑学。这一对认识的理论方法的创新,是在概括总结全部科学成果和认识经验的基础上产生的,是符合辩证唯物主义的基本观点的。按照列宁的说法,逻辑是“各种科学的经验的总结”。人类社会在探索、实践和革命性地改造周围世界及自身中,从逻辑方法的发展