克里普克在逻辑学方面的主要贡献
克里普克是美国的逻辑学家,哲学家,曾任教于哈佛、哥伦比亚、康奈尔和洛克菲勒等大学,1977年任普林斯顿大学哲学教授,后升任麦科什讲座哲学教授。
克里普克是模态逻辑语义学的创始人和因果—历史指称论的首倡者之一,认为名词的指称主要取决于与使用该名词有关的社会历史的传递链条。
克里普克在逻辑学方面的主要贡献,即:
1.严格区分了“先验的”和“必然的”这两个概念。
2.在区分先验真理和必然真理基础上,提出了“先验偶然命题”和“后验必然命题”的新概念。
3.在模态逻辑语义学的基础上,提出了因果的、历史的指称理论,为该理论的首创人之一。