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