处于时间情景中的推理与形式化

• 作者: 钱波
• 来源期刊: 重庆工学院学报（社会科学版）
• 学科: 哲学
• 关键词: 时间 逻辑全能 形式化 步进逻辑
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 逻辑学
• 页码范围: 29-32
• 页数: 4页
• 分类号: B81
• 字数: 4097字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425.2009.08.007

摘要

现实的推理是在时空中进行的,推理本身需要花费时间.传统的逻辑理论忽视了这一点,从而导致逻辑全能.为此,给出了相关的案例,表明现实的推理处于时间情景之中;同时,介绍了几个涉及时间的形式化理论,指出它们研究的是关于时间的推理,而非处于时间之中的推理;最后,阐述了一个新的逻辑理论--步进逻辑,认为步进逻辑体现了推理的时间情景,有着良好的应用前景,进而提出了未来的研究设想.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱波	南京大学现代逻辑与逻辑应用研究所	3	4	1.0	2.0