【时态逻辑的历史和现状兼论时态逻辑与辩证逻辑关系诸问题】李志勇.pdf

所在单位哲学系(本校填系、所):专:业逻辑学研究方向:辩证逻辑指导教师或推荐马玉珂教授人姓名、职称苏:越副教投(在职人员填后者):学习期限:89年9月至91年6月

目录前言 1。对时态逻辑历史的考察 1非形式的时态逻辑思想的历史发展 1形式化时态逻辑的形成 2.对时态逻辑现状的考察 2P一F算子类型的时态逻辑Rt算子类型的时态逻辑 2 用不增加算子的方法研究时间问题 3.目前时态逻辑发展的情况和趋势3.U一S系统研究概关于时间副词now、then的研究时态与模态的结合,一个方向 3面向人工智能的时态逻辑的研究 50 3谢词演算方面的发展.时态逻辑与辩证逻辑 4辩证逻辑与时态逻辑的基本关系 4。2时态逻辑对辩证逻辑形式化的启示 4.

家都谈到时间.马克思主义认为:事物是运动、变化、发展的,时空是事物存在的方式时空是有限和无限的辩证统一,辩证逻辑如何处理马克思主义关于时间的辩证法,为分析时空因提供一个重要工具？解决这一问题是辨证逻辑的任务之一辩证逻辑自前进入了一个新的发展阶段。立体思维是辩证息维的现代发展,目前国内立体息维的研究已越来越深入,论文论著日渐增多,立体思维是包活三维空间和一维时同因素的动态感维形式,时态逻辑提供的分析时间因素的工具,是否有助于立体思维的研究？对辩证逻辑形式化又可以微些什么？本文拟就这些问题进行探讨,提出一些个人的设想。