可证性的逻辑 |
| |
作者姓名: | G.布劳斯 张尚水 |
| |
作者单位: | 美国麻省理工学院语言学和哲学系 教授 |
| |
摘 要: | 这篇文章的主题是说明这样一种方法,就是用亚里士多德首先研究并称为模态逻辑的一个古代的逻辑分支来阐明一个现代的逻辑分支,即由 D.希尔伯特开创而由 K.哥德尔实现的对于数学自身的数学研究。模态逻辑研究的基本概念是必然性和可能性:一个陈述称为“必然的”,如果它必定是真的,称为“可能的”,如果它可能是真的。比如,因为在2000年可能有一场战争,陈述“在2000年将有一场战争”是可能的,但它不是必然的,因为那时可能没有战争。另一方面,“在2000年将有一场战争
|
本文献已被 CNKI 等数据库收录! |
|