Semiotic theory of Charles Sanders Peirce


began writing on semiotics, which he also called semeiotics, meaning the philosophical study of signs, in the 1860s, around the time that he devised his system of three categories. During the 20th century, the term "semiotics" was adopted to cover all tendencies of sign researches, including Ferdinand de Saussure's semiology, which began in linguistics as a completely separate tradition.
Peirce adopted the term semiosis and defined it to mean an "action, or influence, which is, or involves, a cooperation of three subjects, such as a sign, its object, and its interpretant, this trirelative influence not being in any way resolvable into actions between pairs". This specific type of triadic relation is fundamental to Peirce's understanding of "logic as formal semiotic". By "logic" he meant philosophical logic. He eventually divided logic, or formal semiotics, into speculative grammar, or stechiology on the elements of semiosis, how signs can signify and, in relation to that, what kinds of signs, objects, and interpretants there are, how signs combine, and how some signs embody or incorporate others; logical critic, or logic proper, on the modes of inference; and speculative rhetoric, or methodeutic, the philosophical theory of inquiry, including his form of pragmatism. His speculative grammar, or stechiology, is this article's subject.
Peirce conceives of and discusses things like representations, interpretations, and assertions broadly and in terms of philosophical logic, rather than in terms of psychology, linguistics, or social studies. He places philosophy at a level of generality between mathematics and the special sciences of nature and mind, such that it draws principles from mathematics and supplies principles to special sciences. On the one hand, his semiotic theory does not resort to special experiences or special experiments in order to settle its questions. On the other hand, he draws continually on examples from common experience, and his semiotics is not contained in a mathematical or deductive system and does not proceed chiefly by drawing necessary conclusions about purely hypothetical objects or cases. As philosophical logic, it is about the drawing of conclusions deductive, inductive, or hypothetically explanatory. Peirce's semiotics, in its classifications, its critical analysis of kinds of inference, and its theory of inquiry, is philosophical logic studied in terms of signs and their triadic relations as positive phenomena in general.

Semiotic elements

Here is Peirce's definition of the triadic sign relation that formed the core of his definition of logic.

Namely, a sign is something, A, which brings something, B, its interpretant sign determined or created by it, into the same sort of correspondence with something, C, its object, as that in which itself stands to C..

This definition, together with Peirce's definitions of correspondence and determination, is sufficient to derive all of the statements that are necessarily true for all sign relations. Yet, there is much more to the theory of signs than simply proving universal theorems about generic sign relations. There is also the task of classifying the various species and subspecies of sign relations. As a practical matter, of course, familiarity with the full range of concrete examples is indispensable to theory and application both.
In Peirce's theory of signs, a sign is something that stands in a well-defined kind of relation to two other things, its object and its interpretant sign. Although Peirce's definition of a sign is independent of psychological subject matter and his theory of signs covers more ground than linguistics alone, it is nevertheless the case that many of the more familiar examples and illustrations of sign relations will naturally be drawn from linguistics and psychology, along with our ordinary experience of their subject matters.
For example, one way to approach the concept of an interpretant is to think of a psycholinguistic process. In this context, an interpretant can be understood as a sign's effect on the mind, or on anything that acts like a mind, what Peirce calls a quasi-mind. An interpretant is what results from a process of interpretation, one of the types of activity that falls under the heading of semiosis. One usually says that a sign stands for an object to an agent, an interpreter. In the upshot, however, it is the sign's effect on the agent that is paramount. This effect is what Peirce called the interpretant sign, or the interpretant for short. An interpretant in its barest form is a sign's meaning, implication, or ramification, and especial interest attaches to the types of semiosis that proceed from obscure signs to relatively clear interpretants. In logic and mathematics the most clarified and most succinct signs for an object are called canonical forms or normal forms.
Peirce argued that logic is the formal study of signs in the broadest sense, not only signs that are artificial, linguistic, or symbolic, but also signs that are semblances or are indexical such as reactions. Peirce held that "all this universe is perfused with signs, if it is not composed exclusively of signs", along with their representational and inferential relations. He argued that, since all thought takes time, all thought is in signs:
To say, therefore, that thought cannot happen in an instant, but requires a time, is but another way of saying that every thought must be interpreted in another, or that all thought is in signs.

Thought is not necessarily connected with a brain. It appears in the work of bees, of crystals, and throughout the purely physical world; and one can no more deny that it is really there, than that the colors, the shapes, etc., of objects are really there. Consistently adhere to that unwarrantable denial, and you will be driven to some form of idealistic nominalism akin to Fichte's. Not only is thought in the organic world, but it develops there. But as there cannot be a General without Instances embodying it, so there cannot be thought without Signs. We must here give "Sign" a very wide sense, no doubt, but not too wide a sense to come within our definition. Admitting that connected Signs must have a Quasi-mind, it may further be declared that there can be no isolated sign. Moreover, signs require at least two Quasi-minds; a Quasi-utterer and a Quasi-interpreter; and although these two are at one in the sign itself, they must nevertheless be distinct. In the Sign they are, so to say, welded. Accordingly, it is not merely a fact of human Psychology, but a necessity of Logic, that every logical evolution of thought should be dialogic.

Sign relation

Signhood is a way of being in relation, not a way of being in itself. Anything is a sign—not as itself, but in some relation to another. The role of sign is constituted as one role among three: object, sign, and interpretant sign. It is an irreducible triadic relation; the roles are distinct even when the things that fill them are not. The roles are but three: a sign of an object leads to interpretants, which, as signs, lead to further interpretants. In various relations, the same thing may be sign or semiotic object. The question of what a sign is depends on the concept of a sign relation, which depends on the concept of a triadic relation. This, in turn, depends on the concept of a relation itself. Peirce depended on mathematical ideas about the reducibility of relations—dyadic, triadic, tetradic, and so forth. According to Peirce's Reduction Thesis, triads are necessary because genuinely triadic relations cannot be completely analyzed in terms of monadic and dyadic predicates, and triads are sufficient because there are no genuinely tetradic or larger polyadic relations—all higher-arity n-adic relations can be analyzed in terms of triadic and lower-arity relations and are reducible to them. Peirce and others, notably Robert Burch and Joachim Hereth Correia and Reinhard Pöschel, have offered proofs of the Reduction Thesis. According to Peirce, a genuinely monadic predicate characteristically expresses quality. A genuinely dyadic predicate—reaction or resistance. A genuinely triadic predicate—representation or mediation. Thus Peirce's theory of relations underpins his philosophical theory of three basic categories.
Extension × intension = information. Two traditional approaches to sign relation, necessary though insufficient, are the way of extension and the way of intension. Peirce adds a third, the way of information, including change of information, in order to integrate the other two approaches into a unified whole. For example, because of the equation above, if a term's total amount of information stays the same, then the more that the term 'intends' or signifies about objects, the fewer are the objects to which the term 'extends' or applies. A proposition's comprehension consists in its implications.
Determination. A sign depends on its object in such a way as to represent its object—the object enables and, in a sense, determines the sign. A physically causal sense of this stands out especially when a sign consists in an indicative reaction. The interpretant depends likewise on both the sign and the object—the object determines the sign to determine the interpretant. But this determination is not a succession of dyadic events, like a row of toppling dominoes; sign determination is triadic. For example, an interpretant does not merely represent something which represented an object; instead an interpretant represents something as a sign representing an object. It is an informational kind of determination, a rendering of something more determinately representative. Peirce used the word "determine" not in strictly deterministic sense, but in a sense of "specializes", bestimmt, involving variation in measure, like an influence. Peirce came to define sign, object, and interpretant by their mode of determination, not by the idea of representation, since that is part of what is being defined. The object determines the sign to determine another sign—the interpretant—to be related to the object as the sign is related to the object, hence the interpretant, fulfilling its function as sign of the object, determines a further interpretant sign. The process is logically structured to perpetuate itself, and is definitive of sign, object, and interpretant in general. In semiosis, every sign is an interpretant in a chain stretching both fore and aft. The relation of informational or logical determination which constrains object, sign, and interpretant is more general than the special cases of causal or physical determination. In general terms, any information about one of the items in the sign relation tells you something about the others, although the actual amount of this information may be nil in some species of sign relations.

Sign, object, interpretant

Peirce held that there are exactly three basic semiotic elements, the sign, object, and interpretant, as outlined above and fleshed out here in a bit more detail:
Some of the understanding needed by the mind depends on familiarity with the object. In order to know what a given sign denotes, the mind needs some experience of that sign's object collaterally to that sign or sign system, and in this context Peirce speaks of collateral experience, collateral observation, collateral acquaintance, all in much the same terms.
"" was adopted by Peirce as his blanket technical term for any and every sign or sign-like thing covered by his theory. It is a question of whether the theoretically defined "representamen" covers only the cases covered by the popular word "sign." The word "representamen" is there in case a divergence should emerge. Peirce's example was this: Sign action always involves a mind. If a sunflower, by doing nothing more than turning toward the sun, were thereby to become fully able to reproduce a sunflower turning in just the same way toward the sun, then the first sunflower's turning would be a representamen of the sun yet not a sign of the sun. Peirce eventually stopped using the word "representamen."
Peirce made various classifications of his semiotic elements, especially of the sign and the interpretant. Of particular concern in understanding the sign-object-interpretant triad is this: In relation to a sign, its object and its interpretant are either immediate or mediate.
The immediate object is, from the viewpoint of a theorist, really a kind of sign of the dynamic object; but phenomenologically it is the object until there is reason to go beyond it, and somebody analyzing a given semiosis will consider the immediate object to be the object until there is reason to do otherwise.
Peirce preferred phrases like dynamic object over real object since the object might be fictive—Hamlet, for instance, to whom one grants a fictive reality, a reality within the universe of discourse of the play Hamlet.
It is initially tempting to regard immediate, dynamic, and final interpretants as forming a temporal succession in an actual process of semiosis, especially since their conceptions refer to beginning, midstages, and end of a semiotic process. But instead their distinctions from each other are modal or categorial. The immediate interpretant is a quality of impression which a sign is fitted to produce, a special potentiality. The dynamic interpretant is an actuality. The final interpretant is a kind of norm or necessity unaffected by actual trends of opinion or interpretation. One does not actually obtain a final interpretant per se; instead one may successfully coincide with it. Peirce, a fallibilist, holds that one has no guarantees that one has done so, but only compelling reasons, sometimes very compelling, to think so and, in practical matters, must sometimes act with complete confidence of having done so. In any case, insofar as truth is the final interpretant of a pursuit of truth, one believes, in effect, that one coincides with a final interpretant of some question about what is true, whenever and to whatever extent that one believes that one reaches a truth.

Classes of signs

Peirce proposes several typologies and definitions of the signs. More than 76 definitions of what a sign is have been collected throughout Peirce's work. Some canonical typologies can nonetheless be observed, one crucial one being the distinction between "icons", "indices" and "symbols". The icon-index-symbol typology is chronologically the first but structurally the second of three that fit together as a trio of three-valued parameters in regular scheme of nine kinds of sign.
Peirce's three basic phenomenological categories come into central play in these classifications. The 1-2-3 numerations used further below in the exposition of sign classes represents Peirce's associations of sign classes with the categories. The categories are as follows:
The three sign typologies depend respectively on the sign itself, how the sign stands for its denoted object, and how the signs stands for its object to its interpretant. Each of the three typologies is a three-way division, a trichotomy, via Peirce's three phenomenological categories.
  1. Qualisigns, sinsigns, and legisigns. Every sign is either a quality or possibility, or an actual individual thing, fact, event, state, etc., or a norm, habit, rule, law.
  2. Icons, indices, and symbols. Every sign refers either through similarity to its object, or through factual connection to its object, or through interpretive habit or norm of reference to its object.
  3. Rhemes, dicisigns, and arguments. Every sign is interpreted either as term-like, standing for its object in respect of quality, or as proposition-like, standing for its object in respect of fact, or as argumentative, standing for its object in respect of habit or law. This is the trichotomy of all signs as building blocks of inference.
Every sign falls under one class or another within and within and' within. Thus each of the three typologies is a three-valued parameter for every sign. The three parameters are not independent of each other; many co-classifications aren't found. The result is not 27 but instead ten classes of signs fully specified at this level of analysis.
In later years, Peirce attempted a finer level of analysis, defining sign classes in terms of relations not just to sign, object, and interpretant, but to sign, immediate object, dynamic object, immediate interpretant, dynamic interpretant, and final or normal interpretant. He aimed at 10 trichotomies of signs, with the above three trichotomies interspersed among them, and issuing in 66 classes of signs. He did not bring that system into a finished form. In any case, in that system, icon, index, and symbol were classed by category of how they stood for the dynamic object, while rheme, dicisign, and argument were classed by the category of how they stood to the final or normal interpretant.
These conceptions are specific to Peirce's theory of signs and are not exactly equivalent to general uses of the notions of "icon", "index", "symbol", "tone", "token", "type", "term", "proposition", "argument".

I. Qualisign, sinsign, legisign

Also called tone, token, type; and also called potisign, actisign, famisign.
This is the typology of the sign as distinguished by sign's own phenomenological category.
  1. A qualisign is a sign which consists in a quality of feeling, a possibility, a "First."
  2. A sinsign is a sign which consists in a reaction/resistance, an actual singular thing, an actual occurrence or fact, a "Second."
  3. A legisign is a sign which consists in a idea, a norm or law or habit, a representational relation, a "Third."
A replica of a legisign is a sign, often an actual individual one, which embodies that legisign. A replica is a sign for the associated legisign, and therefore is also a sign for the legisign's object. All legisigns need sinsigns as replicas, for expression. Some but not all legisigns are symbols. All symbols are legisigns. Different words with the same meaning are symbols which are replicas of that symbol which consists in their meaning but doesn't prescribe qualities of its replicas.

II. Icon, index, symbol

This is the typology of the sign as distinguished by phenomenological category of its way of denoting the object. This typology emphasizes the different ways in which the sign refers to its object—the icon by a quality of its own, the index by real connection to its object, and the symbol by a habit or rule for its interpretant. The modes may be compounded, for instance, in a sign that displays a forking line iconically for a fork in the road and stands indicatively near a fork in the road.
  1. An icon is a sign that denotes its object by virtue of a quality which is shared by them but which the icon has irrespectively of the object. The icon resembles or imitates its object. The icon has, of itself, a certain character or aspect, one which the object also has and which lets the icon be interpreted as a sign even if the object does not exist. The icon signifies essentially on the basis of its "ground.". Peirce called an icon apart from a label, legend, or other index attached to it, a "hypoicon", and divided the hypoicon into three classes: the image, which depends on a simple quality; the diagram, whose internal relations, mainly dyadic or so taken, represent by analogy the relations in something; and the metaphor, which represents the representative character of a sign by representing a parallelism in something else. A diagram can be geometric, or can consist in an array of algebraic expressions, or even in the common form "All __ is ___" which is subjectable, like any diagram, to logical or mathematical transformations. Peirce held that mathematics is done by diagrammatic thinking—observation of, and experimentation on, diagrams.
  2. An index* is a sign that denotes its object by virtue of an actual connection involving them, one that he also calls a real relation in virtue of its being irrespective of interpretation. It is in any case a relation which is in fact, in contrast to the icon, which has only a ground for denotation of its object, and in contrast to the symbol, which denotes by an interpretive habit or law. An index which compels attention without conveying any information about its object is a pure index, though that may be an ideal limit never actually reached. If an indexical relation is a resistance or reaction physically or causally connecting an index to its object, then the index is a reagent. Such an index is really affected or modified by the object, and is the only kind of index which can be used in order to ascertain facts about its object. Peirce also usually held that an index does not have to be an actual individual fact or thing, but can be a general; a disease symptom is general, its occurrence singular; and he usually considered a designation to be an index, e.g., a pronoun, a proper name, a label on a diagram, etc.
  3. A symbol* is a sign that denotes its object solely by virtue of the fact that it will be interpreted to do so. The symbol consists in a natural or conventional or logical rule, norm, or habit, a habit that lacks dependence on the symbolic sign's having a resemblance or real connection to the denoted object. Thus, a symbol denotes by virtue of its interpretant. Its sign-action is ruled by a habit, a more or less systematic set of associations that ensures its interpretation. For Peirce, every symbol is a general, and that which we call an actual individual symbol is called by Peirce a replica or instance of the symbol. Symbols, like all other legisigns, need actual, individual replicas for expression. The proposition is an example of a symbol which is irrespective of language and of any form of expression and does not prescribe qualities of its replicas. A word that is symbolic is an example of a symbol that prescribes qualities of its replicas. Not every replica is actual and individual. Two word-symbols with the same meaning are symbols which are replicas of that symbol which consists in their shared meaning. A book, a theory, a person, each is a complex symbol.
* Note: in "On a New List of Categories" Peirce gave the unqualified term "sign" as an alternate expression for "index", and gave "general sign" as an alternate expression for "symbol". [|"Representamen"] was his blanket technical term for any and every sign or signlike thing covered by his theory. Peirce soon reserved "sign" to its broadest sense, for index, icon, and symbol alike. He also eventually decided that the symbol is not the only sign which can be called a "general sign" in some sense, and that indices and icons can be generals, generalities, too. The general sign, as such, the generality as a sign, he eventually called, at various times, the "legisign", the "type", and the "famisign" .

III. Rheme, dicisign, argument

This is the typology of the sign as distinguished by the phenomenological category which the sign's interpretant attributes to the sign's way of denoting the object :
  1. A rheme is a sign that represents its object in respect of quality and so, in its signified interpretant, is represented as a character or mark, though it actually may be icon, index, or symbol. The rheme* stands as its object for some purpose. A proposition with the subject places left blank is a rheme; but subject terms by themselves are also rhemes. A proposition, said Peirce, can be considered a zero-place rheme, a zero-place predicate.
  2. A dicisign is a sign that represents its object in respect of actual existence and so, in its signified interpretant, is represented as indexical, though it actually may be either index or symbol. The dicisign separately indicates its object. The dicisign "is intended to have some compulsive effect on the interpreter of it". Peirce had generalized the idea of proposition to where a weathercock, photograph, etc., could be considered propositions. A proposition in the conventional sense is a dicent symbol. Assertions are also dicisigns.
  3. An argument is a sign that represents its object in respect of law or habit and so, in its signified interpretant, is represented as symbolic. The argument separately "monstrates" its signified interpretant ; an argument stripped of all signs of such monstrative relationship is, or becomes, a dicisign. It represents "a process of change in thoughts or signs, as if to induce this change in the Interpreter" through the interpreter's own self-control. A novel, a work of art, the universe, can be a delome in Peirce's terms.
*Note: In his "Prolegomena To an Apology For Pragmaticism", Peirce uses the words "seme", "pheme", and "delome" for the rheme-dicisign-argument typology, but retains the word "rheme" for the predicate in his system of Existential Graphs. Also [|note] that Peirce once offered "seme" as an alternate expression for "index" in 1903.

The three sign typologies together: ten classes of sign

The three typologies, labeled "I.", "II.", and "III.", are shown together in the table below. As parameters, they are not independent of one another. As previously said, many co-classifications aren't found. The slanting and vertical lines show the options for co-classification of a given sign. The result is ten classes of sign.
Words in parentheses in the table are alternate names for the same kinds of signs.
*Note: As noted above, in "On a New List of Categories" Peirce gave the unqualified word "sign" as an alternate expression for "index", and gave "general sign" as an alternate expression for "symbol." Peirce soon reserved "sign" to its broadest sense, for index, icon, and symbol alike, and eventually decided that symbols are not the only signs which can be called "general signs" in some sense. See note at end of section "II. Icon, index, symbol" for details.
Note that a term is not just any rheme; it is a kind of rhematic symbol. Likewise a proposition is not just any dicisign, it is a kind of dicent symbol.
Sign classed
by own
phenome-
nological
category
Relative
to
object
Relative
to
interpretant
Specificational redundancies
in parentheses
Some examples
QualisignIconRheme QualisignA feeling of "red"
SinsignIconRheme Iconic SinsignAn individual diagram
IndexRhemeRhematic Indexical SinsignA spontaneous cry-
DicisignDicent SinsignA weathercock or photograph--
LegisignIconRheme Iconic LegisignA diagram, apart from its factual individuality
IndexRhemeRhematic Indexical LegisignA demonstrative pronoun-
DicisignDicent Indexical LegisignA street cry --
SymbolRhemeRhematic Symbol A common noun-
DicisignDicent Symbol A proposition --
ArgumentArgument A syllogism--