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

作　　者：钱波[1,2] 

机构地区：[1]南京大学现代逻辑与逻辑应用研究所,南京210093 [2]南京大学哲学系,南京210093

出　　处：《重庆工学院学报（社会科学版）》2009年第8期29-32,共4页Journal of Chongqing Institute of Technology

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

关 键 词：时间 逻辑全能 形式化 步进逻辑 

分 类 号：B81[哲学宗教—逻辑学]