处于时间情景中的推理与形式化 |
| |
引用本文: | 钱波.处于时间情景中的推理与形式化[J].重庆工学院学报,2009,23(8):29-32. |
| |
作者姓名: | 钱波 |
| |
作者单位: | 南京大学现代逻辑与逻辑应用研究所,南京,210093;南京大学哲学系,南京,210093 |
| |
摘 要: | 现实的推理是在时空中进行的,推理本身需要花费时间。传统的逻辑理论忽视了这一点,从而导致逻辑全能。为此,给出了相关的案例,表明现实的推理处于时间情景之中 同时,介绍了几个涉及时间的形式化理论,指出它们研究的是关于时间的推理,而非处于时间之中的推理 最后,阐述了一个新的逻辑理论——步进逻辑,认为步进逻辑体现了推理的时间情景,有着良好的应用前景,进而提出了未来的研究设想。
|
关 键 词: | 时间 逻辑全能 形式化 步进逻辑 |
本文献已被 维普 万方数据 等数据库收录! |
|