皮尔士与逻辑符号学

皮尔士与逻辑符号学

查尔士·皮尔士（Charles S. Peirce)

       美国哲学家，逻辑学家，自然科学家。实用主义的创始人 。1839年9月10日生于马萨诸塞州坎布里奇，曾于哈佛大学就读，在美国海洋和大地测量观察所任职。一生不得志。1887年以前一直未能在大学谋到一正式教席 。在哲学上，提出作为实用主义核心的意义理论，把观念的意义和实际的效果联系起来，断言一个观念的主义是该观念的可感觉的效果。后来，将实用主义易名为“实效主义”。在逻辑学方面有两大贡献，一是改进了希尔代数，一是发展了关系逻辑，即引入新的概念和符号，把关系逻辑组成为一个关系演算。在自然科学方面，先于A.A.迈克尔逊以光波波长作为测量单位。皮尔士从小接受良好的哲学和科学的训练，他能背诵康德的《纯粹理性批判》，6岁起学化学，12岁开始做实验，后来转学动物学。他还是一个杰出的数理逻辑学家。他有一个雄心勃勃的计划，要“建立一个像亚里士多德那样的哲学......即使在遥远的未来，它也能包含人类的全部学科”。但他并不真的对哲学体系有兴趣，他有志建立的是一个能适应于各门学科的科学的逻辑。他在1878年1月发表的《如何使我们的观念清楚》标志着实用主义的诞生，后来又发表了一系列阐述他的科学逻辑的文章，但都没有引起人们的注意，直到1898年詹姆士把他的哲学冠以“实用主义”的名称大力推广，人们才把他尊为实用主义的创始人。皮尔士生前没有出版过一本哲学著作，他的丰富的思想是在他的遗稿出版之后才发掘出来的。大部分论著由后人整理成《皮尔士文集》。

一、皮尔士符号学理论的基础是范他自己提出的三个“普遍畴”:

（一）普遍范畴

1、一级存在(第一性)：指的是自我独立的存在，皮尔士又称之为“感觉状态”；

2、二级存在(第二性)：个别的时间和空间上的经验，它牵涉到主体与被感知事物的关系；（活动经验）

3、三级存在(第三性)：属于“中介”、“习惯”、“记忆”、“再现”、“交流”等抽象的范畴，它使具体的时、空经验获得新的形态。如不同的人在不同的时空条件下对某类外部事物的感知效果并不完全一样，但人们仍然用同样的符号来表达、再现和传递这些效果。

此外，一级存在、二级存在和三级存在之间是一种由低级到高级、由简单到复杂的递进关系。也就是说，二级存在中包含着一级存在，三级存在中又包含着二级存在。

符号属于三级存在，因而同时包含着其他两种存在。

（二）符号是依次发生的三重关系：

1、使联系过程开始的东西

2、其对象

3、符号所产生的效果（解释）。

二、关于符号的三种三分法

皮尔士将上述三个范畴应用于对符号现象的具体分析，进而得出著名的三个三分法。

（一）根据符号的自身特征

1、“状态符号”, 即事物的状态或形式；

2、“个例符号”, 即实际出现的符号，它们是状态符号的具体表现；

3、 “规则符号”, 即符号的抽象范式或法规，所有约定俗成的符号都属于这一范畴，个别的符号现象无关紧要，重要的是它们的一般类型。

（二）根据符号与指称对象之间的不同关系（在皮尔士看来，这是符号分类中最为根本的一种）

1、“类象符号”(Icon)：类象符号通过写实或模仿来表征其对象，它们在形状或色彩上与指称对象的某些特征相同。换句话说，类象符号是表现对象本身具有的某种特征。类象符号很多，最典型的例子是照片、画像、雕塑、电影形象、施工草图、方程式和各类图形。这类符号最适宜跨语言的交流。

2、“指示符号” (Index)：指示符号与指称对象构成某种因果的或者时空的连接关系。就符号与指称对象之间的对应来说，指示关系比模拟关系更加直接。驾驶员开车在路上行驶，看见一个“Stop”(停止)标记，就知道前面不远处有一个交叉路口，需要放慢速度。这里的“Stop”标记就是一个指示符号，而前面不远的交叉路口则是指称对象。因为指示符号与指称对象之间的关系必须是直接的，所以它总是与某种具体的或个别的地点和时间相关联。如果不是这样，该符号就会失去其意义。除了路标以外，属于指示符号的还有箭头、指针、专有名词、指示代词，等等。

3、“抽象符号” (Symbol)：抽象符号表示另外一种关系。在这种关系里，符号与指称对象之间的联系完全是约定俗成的。

（三）根据符号意义的不同性质

1、 “可能符号” (rheme)：可能符号没有真假之分，它仅代表某种对象的可能性；

2、“现实符号” (dicent)：表达某种实际存在，其最显著的特征是或真或假，但又不为此提供理由；

3、“证实符号” (argument)：证实符号是某种规律，它由前提引向结论，从而达到真理。

1、皮尔士给符号概念以确切的定义，指出人的一切思想和经验都是符号活动，因此，符号理论就是关于意识与经验的理论。

2、皮尔士在符号中增加了“解释”项，从而对事物的解释会体现不同人的主观因素，这样皮尔士的符号系统便成了一个开放的系统。皮尔士认为符号之所以成为符号，无非是由于符号的解释者依据一定的共同体或社会的规范所作的解释或认知。正是人赋予符号以生命，并以符号为工具发展了人自身。作为符号的解释者，人所作的解释是一个动态的发展过程，而社会共同体的规范决定了符号解释的不自由。

3、以皮尔士以及之后的莫里斯、卡西尔和苏珊-朗格等人为主的实证主义色彩的符号学流派，与索绪尔为主的结构主义符号学流派截然不同。

       逻辑符号学是一门应用性很强的学科，在许多领域都得到了广泛的应用，并且在认识论、社会生物学、宗教学、神话、文学、音乐等方面取得了重大的成果。现在，世界各国和符号学家正在用逻辑符号学的观点来研究动物语言、宗教语言、法律语言、政治语言、广告语言等。

      在逻辑中，经常使用一组符号来表达逻辑结构。因为逻辑学家非常熟悉这些符号，他们在使用的时候没有解释它们。所以，给学逻辑的人的下列表格，列出了最常用的符号、它们的名字、读法和有关的数学领域。此外，第三列包含非正式定义，第四列给出简短的例子。
　　要注意，在一些情况下，不同的符号有相同的意义，而同一个符号，依赖于上下文，有不同的意义。
　　基本逻辑符号
　　符号 名字 解说 例子
　　读作
　　范畴
　　⇒
　　→
　　⊃ 实质蕴涵 A ⇒ B 意味着如果 A 为真，则 B 也为真；如果 A 为假，则对 B 没有任何影响。
　　→ 可能意味着同 ⇒ 一样的意思(这个符号也可以指示函数的域和陪域；参见数学符号表)。
　　⊃ 可能意味着同 ⇒ 一样的意思(这个符号也可以指示超集)。 x = 2 ⇒ x2 = 4 为真，但 x2 = 4 ⇒ x = 2 一般为假(因为 x 可以是 −2)。
　　蕴涵；如果.. 那么
　　命题逻辑
　　⇔
　　↔ 实质等价 A ⇔ B 意味着 A 为真如果 B 为真，和 A 为假如果 B 为假。 x + 5 = y +2 ⇔ x + 3 = y
　　当且仅当; iff
　　命题逻辑
　　¬
　　˜ 逻辑否定 陈述 ¬A 为真，当且仅当 A 为假。
　　穿过其他算符的斜线同于在它前面放置的 "¬"。 ¬(¬A) ⇔ A
　　x ≠ y ⇔ ¬(x = y)
　　非
　　命题逻辑
　　∧ 逻辑合取 陈述 A ∧ B 为真，如果 A 与 B 二者都为真；否则为假。 n < 4 ∧ n >2 ⇔ n = 3 当 n 是自然数的时候。
　　与
　　命题逻辑
　　∨ 逻辑析取 陈述 A ∨ B 为真，如果 A 或 B (或二者)为真；如果二者都为假，则陈述为假。 n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3 当 n 是自然数的时候。
　　或
　　命题逻辑
　　⊕
　　⊻ 异或 陈述 A ⊕ B 为真，在要幺 A 要幺 B 但不是二者为真的时候为真。A ⊻ B 意思相同。 (&not;A) ⊕ A 总是真，A ⊕ A 总是假。
　　xor
　　命题逻辑, 布尔代数
　　∀ 全称量词 ∀ x: P(x) 意味着所有的 x 都使 P(x) 都为真。 ∀ n ∈ N: n2 ≥ n.
　　对于所有；对于任何；对于每个
　　谓词逻辑
　　∃ 存在量词 ∃ x: P(x) 意味着有至少一个 x 使 P(x) 为真。 ∃ n ∈ N: n 是偶数。
　　存在着
　　谓词逻辑
　　∃! 唯一量词 ∃! x: P(x) 意味着精确的有一个 x 使 P(x) 为真。 ∃! n ∈ N: n + 5 = 2n.
　　精确的存在一个
　　谓词逻辑
　　:=
　　≡
　　:⇔ 定义 x := y 或 x ≡ y 意味着 x 被定义为 y 的另一个名字(但要注意 ≡ 也可以意味着其他东西，比如全等)。
　　P :⇔ Q 意味着 P 被定义为逻辑等价于 Q。 cosh x := (1/2)(exp x + exp (−x))
　　A XOR B :⇔ (A ∨ B) ∧ &not;(A ∧ B)
　　被定义为
　　所有地方
　　( ) 优先组合 优先进行括号内的运算。 (8/4)/2 = 2/2 = 1, 而 8/(4/2) = 8/2 = 4。
　　所有地方
　　├ 推论 x ├ y 意味着 y 推导自 x。 A → B ├ &not;B → &not;A
　　推论或推导
　　命题逻辑, 谓词逻辑

相关资料：
符号学http://baike.baidu.com/view/72633.html
《皮尔士的符号学理论》http://old.blog.edu.cn/user4/caojinjin/archives/2007/1739695.shtml
皮尔士http://baike.baidu.com/view/120078.html?wtp=tt
实用主义http://baike.baidu.com/view/39074.htm

逻辑符号http://baike.baidu.com/view/332033.htm