逻辑学对语义学的影响（一） (5-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

目录

1.概览 Overview ▹

2.前弗雷格逻辑 Pre-Fregean logic ▹

3.弗雷格的推进 Gottlob Frege's progress ▹

4.罗素的批评和他关于限定摹状语的理论Bertrand Rus... ▹

5.卡尔纳普关于外延和内涵的理论 Rudolf Carnap's the... ▹

6.奎因：逻辑，存在与命题态度Willard V.O.Quine:Lo... ▹

参考 ▹

1. 概览 Overview

本文探讨逻辑学工具对语义学理论发展的影响。首先介绍前弗雷格时期的逻辑，最早从亚里士多德三段论开始。这一逻辑学的传统框架具有多方面局限性（不允许多重量化、没有多种辖域）。弗雷格（Frege）的谓词逻辑克服了这些弊端，成为标准的现代逻辑学的根源，首次为语言的形式化探索奠定了基础。弗雷格逻辑的不足在于缺少单数项（singular terms），这是罗素（Russell）的限定摹状语（definite descriptions）理论发展的动力之一。弗雷格引入了意义和指称（sense and reference）的区分，罗素则对其扬弃。卡尔纳普（Carnap）引入了可能世界语义学，并论证了如何保持弗雷格的语义直觉的同时不求助于sense这样的概念。卡尔纳普发展出一套内涵和外延（intension and extension）的理论，将一个表达的内涵定义为从可能世界到相应外延的函数。当时一个重要的理论发展是克里普克（Kripke）的模态逻辑。这一框架尤其适用于专有名词的直接指称问题，以及所谓的二维语义学（two-dimensional semantics），其能很好的处理名称（names）、限定摹状语和索引词（indexicals）。塔斯基（Tarski）有关“真”的形式理论被戴维森（Davidson）用来论证真值条件（truth-conditions）足以刻画断言的含义。尽管真值条件语义学的思想从弗雷格开始已成背景，在戴维森的工作之下它才成为现代语义学的指导思想。

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