逻辑学对语义学的影响（三） (4-1)

10.The influence of logic on semantics

1. Overview

2. Pre-Fregean logic

3. Gottlob Frege's progress

4. Bertrand Russell's criticism and his theory of detinite descriptions

5. Rudolf Carnap's theory of extension and intension: Relying on possible wc

6.Willard V.O.Quine:Logic,existence and propositional attitudes

7. Necessity and direct reference:The two-dimensional semantics

8. Montague-Semantics: Compositionality revisited

9. Generalized quantifiers

10. Intensional theory of types

11. Dynamic logic

12. References

目录

7.必然性和直接指称：二维语义学Necessity and direct... ▹

8.蒙塔古语义学中的组合性 Montague-Semantics:Co... ▹

9.广义量化词 Generalized quantifiers ▹

10.内涵语义类型 Intensional theory of types ▹

11.动态逻辑 Dynamic logic ▹

参考 ▹

7. 必然性和直接指称：二维语义学 Necessity and direct reference: The two-dimensional semantics

由克里普克（Saul A. Kripke）发展起来的模态逻辑极大影响了语义学理论。其基本直觉很明确：每个实体都必然和其自身相同（同时必然和其他任何实体不同）。克里普克区分了认识论维度上先验/后验的概念和形而上学维度上必然/偶然的概念。举例来说，有些句子表达的是必然事实，但是却是后验的（a posteriori）。比如“鲁迅是周树人”，因为鲁迅是周树人的笔名，这个句子表达的就是一种自我同一性（self-idendity），但这一事实并不是我们语言本身的知识，因此不是先验的。反之，有些句子表达的是偶然（contingent）事实，但却是先验的（a priori）。比如“我现在在说话”，如果我说出这句话，那么它一定是正确的，但它不是一个必然事实，否则的话我现在这个时刻就必须在说话，但实际上我完全可以保持沉默。为了解释先验/后验和必然/偶然之间的区分，克里普克引入了专有名词的直接指称理论。与之相应，卡普兰（Kaplan）引入了二维语义学。

这里简要的介绍一下卡普兰关于character的理论，这一理论现在已经成为解释名称和索引词的标准框架。我们需要区分“话语语境”（utterance context）和“评价状况（circumstance of evaluation）”。话语语境定出说出一句话表达的命题，评价状况则根据相关可能世界的情况评价该命题为真或为假。用图来表示这样两个步骤：

character of a sentence

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。