皮尔士符号学理论

查尔斯·桑德斯·皮尔斯（Charles Sanders Peirce，1839–1914）在1860年代开始撰写关于符号学（）的研究，其意思是对符号的哲学研究，当时他设计了三个范畴的系统。到20世纪，“符号学”一词的内涵扩展到所有关于符号的研究动向，包括费迪南·德·索绪尔从语言学出发，另行独自发展起来的符号学（）传统。
皮尔斯是一位创新性和颇有成就的逻辑学家、数学家兼科学家，创立了哲学实用主义。皮尔斯符号学理论的中心思想集中在逻辑和表征上。
19世纪，皮尔斯将他所谓的“符号学”（semiotic，他有时将其拼作“semeiotic”）定义为“准必要的或形式的符号学说”，它抽象了“必须是所有符号的特征”所使用的符号……一种能够通过经验学习的智能，”并且这是在符号和符号过程方面追求的哲学逻辑。一般认为，皮尔斯的符号学是符号的哲学逻辑研究（符号未必是语言或人工的符号）、符号过程、推理模式和一般探究过程。皮尔斯符号学不仅涉及外部交流机制（类似索绪尔的符号学），还涉及内部表征机器、探究符号过程、推理模式，以及一般意义的整个探究过程。
与索绪尔的二元传统（能指、所指）不同，皮尔斯的符号学是三元的，包括符号、对象、解释项。 皮尔斯符号学进一步将三元中的每一元细分为三个子类型：像似符号、指示符号、规约符号。
皮尔斯学派的学者和编辑Max H. Fisch（1978）称，符号学的“semeiotic”一词是皮尔斯个人偏好的对洛克所说的的翻译。
符号学和逻辑.
皮尔士将作为逻辑本身的哲学逻辑与逻辑的数学区分开来。他认为逻辑（本身）是哲学的一部分，是美学和伦理学之后的规范领域，比形而上学更基础，并且是设计研究方法的艺术。他认为，更一般地说，作为推理，“逻辑根植于社会原则”，因为推理取决于立场，而从某种意义上说，立场是无限的。
皮尔士认为逻辑是形式符号学，它是最广泛意义上的符号的形式研究，符号不仅包括人工的、语言的或符号的符号，还包括表象或指示性的符号，例如反应。他认为“整个宇宙都充满了符号，甚至是完全由符号组成”，以及它们的表征和推理关系，可以通过心灵或准心灵（任何功能类似于心灵的东西，尽管实际上可能不是）来解释；这里的重点是一般的符号动作，而不是心理学、语言学或社会研究。
他认为，由于所有思想都需要时间，“所有思想都在符号中”和符号过程中（“”）并且符号过程的三个不可简化的元素是（1）符号，（2）对象，符号的主题，符号所代表的事物，可以是任何想得到的东西——品质、残酷的事实，或法律——甚至是虚构的（哈姆雷特王子），以及（3）解释项，这是符号的意义或衍伸形成的概念或效果，即进一步的符号，例如翻译。即一个符号的表示是基于相似性或不依赖于解释的事实，该符号也是一个符号，因为它至少有可被解释的潜力。一个符号依赖于它的对象的，这种依赖允许（且在某种意义上决定）符号被解释，形成一个解释项，而解释项又依赖于符号和对象，就像符号依赖于对象一样，因此是解释项又是一个新符号，允许并决定了进一步、再进一步的解释。这个三元的过程在逻辑上得到结构化，使之永存，并且定义了符号、对象和解释项。
一个对象要么（1）是符号的直接对象，即符号所表现的对象，要么（2）是一个动态对象，即对象实际的样子，而这个实际的样子是直接对象的基础。通常所讨论的一个对象，比如哈姆雷特或海王星，是特殊的或部分的对象。一个符号的完整对象是对象的论域，即客体归属的那个世界中事物的总和。解释项要么是（1）直接的，例如一个词的通用义，符号中存在的一种解释品质或可能性，或者（2）动态的，一个实际的解释项，例如一种骚动状态，或（3）终端的或规范的，它是问题的真正解决，如果思考或探究推得足够远，就能达到这种结果，它是一种规范或理想的终端，实际的解释项至多只能与此相吻合。
皮尔士说，为了知道一个符号指涉的是什么，头脑需要对符号对象的某种体验，在给定符号或符号系统之外的体验，以及与之相伴随的体验。因此，他谈到了附随经验、附随观察、附随熟知，所有这些都使用了几乎相同的术语。例如，艺术作品既可以利用观众体验的丰富性，也可以利用观众体验的局限性；一位小说家在撰写时，会假定一般读者没有亲身接触过小说中描绘的真实人物。然后，读者以惯常的方式将符号和解释项指向小说所（有意或无意）表现的对象。无论怎样，对象（无论是性质、事实或规律，甚至是虚构的）都通过人们与对象的附随经验来决定符号指向的解释项，附随经验中对象是新发现的或被回忆起来的，即使它是与符号所唤起的想像中的对象的经验，这种情况不仅在虚构作品中会发生，在理论和数学中也会发生，这一切都可能涉及在特定的规则和约束下对对象进行心理实验。通过附随经验，即使是和某个不在场对象偶然地相似的符号，也会受到该对象的决定。
皮尔士认为逻辑分为三个主要部分：
1.思辨语法（speculative grammar）。皮尔士所说的这个术语的意思是发现符号如何有意义、符号有哪些种类、它们如何组合，以及一些符号如何体现或包含其他符号等问题之间的关系。在这个广阔的领域内，皮尔士发展了三种相互关联的普遍符号三分法，分别取决于 (1) 符号本身，(2) 符号如何代表其对象，以及 (3) 符号如何为其解释项代表其对象。每个三分法都根据所涉及的现象学范畴进行划分：第一性（感觉的性质，本质上是一元的），第二性（反应或抵抗，本质上是二元的）或第三性（表征或媒介，本质上是三元的）。
不同三分法的一些（但不是全部）符号类别是相互交叉的。例如，质符一定是像似符号，而不会是指示或规约符号。他认为在这三个通用的三分法的逻辑定义下，只存在十类符号。他认为还存在更多这样的通用的三分法。此外，一些符号需要其他符号才能体现。比如说，一个型符，如英文单词“the”，需要借助一个单符才能被表达出来。另一种组合形式是附加或包含：指示符号可以附加到或包含于像似符号或规约符号中。
皮尔士将标签、图例或其他附加在像似符号上的指示符号与一般的像似符号分别开来，称为“亚像似符”（hypoicon），并将亚像似符分为三类：(a)图像（image），依赖于简单的性质； (b)图表（diagram），其内部关系（主要是二元关系或类似二元关系）通过类比表示另一事物之中的关系； (c)隐喻（metaphor），通过表示另一事物的平行关系来表示出某一符号的代表特征。图表可以是几何的，也可以包含在代数表达式的数组中，甚至可以是“所有的___都是___”这样的日常表达，因为它与其他图表类似，可以转换成逻辑或数学形式。
2.逻辑批评（logical critic）或逻辑本身（logic proper）。这是皮尔士所讲的日常意义上的逻辑。对于皮尔士来说，其主要目标是对论证（argument）进行分类并确定每种论证的有效性和效力。他看到了三种主要模式：溯因推理（猜测，对假设解释的推理）、演绎和归纳。一件艺术作品可以体现一个推理过程，可以成为一个论证（argument），而不是一个明确的论辩（argumentation）。例如，这就是《战争与和平》的大部分内容及其结尾部分之间的区别。
3.思辨修辞（speculative rhetoric）或方法学（methodeutic）。对皮尔士来说，它是在对真理的调查、阐述和应用中有效使用符号的理论。其中，皮尔斯对该术语的解释与莫里斯的语用学概念不谋而合。他还称之为“方法学”，因为它是对调查中使用的方法的分析。
使用符号和对象.
皮尔士得出结论，符号可以通过三种方式来表示对象。这也是皮尔士最著名的符号三分法的基础：
该术语指借由相似性来表示的符号，例如肖像和一些绘画，但这种符号也可以是自然的或数学的。像似性与实际连接无关，哪怕它可能是由实际连接而产生的。一个像似符号，只要它的对象不需要实际存在，就是或者体现了一种可能性。一张照片可以视作像似符号，因为它与其对象相似，但由于它与对象的实际联系，也可以认为是一个指示符号（上面附着了像似符号）。同样，一幅写生的肖像也是同理。像似符号的相似性是客观的，独立于解释，但与某种理解方式（如视觉）相关。像似符号未必是感官的；任何东西都可以作为像似符号，例如一个简化的论点（本身是一个复杂的符号）常用作充满细节的论点（另一个符号）的像似符号。
皮尔士认为，指示符号借助事实的联系来表意，这种联系通常是因果关系。例如，如果我们看到烟，我们会推测：它是某个原因——火灾——产生的结果。如果联系是事实的，无论相似性或解释如何，都可视作指示符号。皮尔士通常认为人名和指示词（例如“这个”一词）也是指示符号，因为尽管作为词它们依赖于解释，但它们是依赖于与其指示对象之间必不可少的事实关系的符号。个人姓名与其命名对象具有实际的历史联系，通常记录在出生证明上；而“这个”这个词就像手指的指向。
皮尔士认为，规约符号是指称和意义的习惯或规范。规约符号可以是自然的、文化的，也可以是抽象的和合乎逻辑的。它们作为符号的意义取决于将如何被解释，并且缺乏或已丧失和它们所表示的对象之间的像似性或指示的联系，哪怕它在某次出现时可能是符号接收者对这个符号所代表的对象的体验的指示。规约符号由专门的指示的单一符号（indexical sinsign）。一个命题，不考虑其在特定语言中的表达，就已经是一个规约符号，但许多规约符号都是从社会上接受和文化上认同的东西中提取出来的。传统符号，如“马”和“caballo”，规定了它们实例的声音或外观性质（例如，页面上“马”一词的个别用例）基于相当于任意规定的内容。这样的规约符号利用社会中已知和被认可的东西来赋予意义。它可以是口语，也可以是书面语。
例如，我们可以把有四个轮子、四个门、一个引擎，以及座位的大型金属物体称为“汽车”，因为这个词语在我们的文化中是一致的，它使我们能够交流沟通。类似地，作为一个对语言和符号有着共同理解的社会，我们也可以在其他使用中文的社会环境中写下“汽车”一词，且知道它象征什么、代表什么。