Sign Relations • Comment 8

Re: Semiotic TriangleJC

Peirce being prickly as usual his distinctions all tend toward tri-stinctions and on this field he wields his trident:  Tone, Token, Type.

Here’s a link to a few pertinent passages:

Posted in C.S. Peirce, Inquiry, Logic of Relatives, Peirce, Relation Theory, Semiotics, Sign Relations | Tagged , , , , , , | 16 Comments

Sign Relations • Comment 7

Re: Semiotic TriangleFrancesco Bellucci

I am still looking for a way to build a bridge between the different senses of complete and incomplete being used in this discussion but while that bridge is under construction it may help to say what I’m saying another way.

Signs do not do anything at all by themselves — except take up space in their media — they do not denote, or mean, or propose anything at all except insofar as they are interpreted to do so.

Of course we all speak of signs denoting this or connoting that, but that is just loose talk, elliptical or informal manners of speaking, which our practice and theory of semiotics has the task of rendering clear.

One way of carrying out the required formalization is to introduce explicit interpreters and to specify exactly what interpretant signs they relate to just what signs in reference to just what objects.

But once we’ve specified that much, it becomes clear we are simply specifying a particular sign relation L \subseteq O \times S \times I for specified object, sign, and interpretant domains.  It can be a rhetorical convenience to keep the figure of the interpreter as a hypostatic abstraction or personification of the sign relation but all the information about the interpreter’s semiotic conduct is contained in the bare sign relation itself.

Posted in C.S. Peirce, Inquiry, Logic of Relatives, Peirce, Relation Theory, Semiotics, Sign Relations | Tagged , , , , , , | 17 Comments

Sign Relations • Comment 6

Re: Semiotic TriangleJAFBJAFB

Two different senses of completeness and incompleteness in regard to signs arose in discussion at this point, as illustrated by the following exchange:

FB:
“Socrates” for Peirce would be an incomplete sign ….  Signs (i.e. complete signs) for Peirce are propositions, not names (which are signs, but incomplete).
JA:
The proper unit of analysis and classification is the whole sign relation L \subseteq O \times S \times I, where O, S, and I are the object, sign, and interpretant sign domains, respectively.  In that sense, one could say the individual sign is always incomplete until one specifies the sign relational setting in which it is conceived to have significance.
FB:
Some signs are incomplete because although they must refer to object and interpretant, they do not do so explicitly.  So a proposition is “complete” in regard to the object, but not in regard to the interpretant.  An argument is complete in both respects, a term or rhema in neither.

One factor in the divergence appears to be a difference in the context of application, whether signs are regarded in the light of descriptive or normative semiotics.  Another appears to be a difference in the level of analysis, whether the prospective completion of a sign is considered to be a sign relational triple (o, s, i), or its degree of completeness evaluated in the context of a whole sign relation L \subseteq O \times S \times I.

I am using language that is common in the mathematical theory of relations, which itself got one of its biggest growth spurts from Peirce’s own logic of relative terms.  The concepts of relational domains, elementary relations (ordered tuples), and components or correlates of ordered tuples are all straightforward translations of Peirce’s own concepts.  And they do help very much, I would say they are of critical importance in applying the theory of triadic sign relations to practical settings in logic, mathematics, computing, and the sciences in general.

The basic ideas can be found in my notes on Peirce’s 1870 Logic of Relatives:

Posted in C.S. Peirce, Inquiry, Logic of Relatives, Peirce, Relation Theory, Semiotics, Sign Relations | Tagged , , , , , , | 18 Comments

Sign Relations • Comment 5

Note. The following links afford a review of the discussion up to this point.
Re: Semiotic TriangleJCJAJAJCJAJAJCJAFBJAJA

Peirce gives his clearest and most complete definition of signs and sign relations in the context of defining logic.  Here’s a link to a couple of variants:

There is more discussion in the following article and section:

The proper unit of analysis is the whole sign relation L \subseteq O \times S \times I, where O, S, and I are the object, sign, and interpretant sign domains, respectively.  In that sense, one could say that the individual sign is always incomplete until one specifies the sign relational setting in which it is conceived to have significance.

Posted in C.S. Peirce, Inquiry, Logic of Relatives, Peirce, Relation Theory, Semiotics, Sign Relations | Tagged , , , , , , | 16 Comments

Sign Relations • Comment 4

Re: John CorcoranSemiotic TriangleMy Comment

The following passage is very instructive on several points, illuminating especially the relationship between interpreters (sign‑using agents) and interpretant signs.

We are all, then, sufficiently familiar with the fact that many words have much implication;  but I think we need to reflect upon the circumstance that every word implies some proposition or, what is the same thing, every word, concept, symbol has an equivalent term — or one which has become identified with it, — in short, has an interpretant.

Consider, what a word or symbol is;  it is a sort of representation.  Now a representation is something which stands for something.  I will not undertake to analyze, this evening, this conception of standing for something — but, it is sufficiently plain that it involves the standing to something for something.  A thing cannot stand for something without standing to something for that something.  Now, what is this that a word stands to?  Is it a person?

We usually say that the word homme stands to a Frenchman for man.  It would be a little more precise to say that it stands to the Frenchman’s mind — to his memory.  It is still more accurate to say that it addresses a particular remembrance or image in that memory.  And what image, what remembrance?  Plainly, the one which is the mental equivalent of the word homme — in short, its interpretant.  Whatever a word addresses then or stands to, is its interpretant or identified symbol.  Conversely, every interpretant is addressed by the word;  for were it not so, did it not as it were overhear what the word says, how could it interpret what it says.

There are doubtless some who cannot understand this metaphorical argument.  I wish to show that the relation of a word to that which it addresses is the same as its relation to its equivalent or identified terms.  For that purpose, I first show that whatever a word addresses is an equivalent term, — its mental equivalent.  I next show that, since the intelligent reception of a term is the being addressed by that term, and since the explication of a term’s implication is the intelligent reception of that term, that the interpretant or equivalent of a term which as we have already seen explicates the implication of a term is addressed by the term.

The interpretant of a term, then, and that which it stands to are identical.  Hence, since it is of the very essence of a symbol that it should stand to something, every symbol — every word and every conception — must have an interpretant — or what is the same thing, must have information or implication.

(Peirce 1866, Lowell Lecture 7, CE 1, 466–467).

My study of Peirce’s information formula, “Information = Comprehension × Extension”, provides a measure of context for the above passage.

There’s additional discussion in the following article and section.

Reference

  • Peirce, C.S. (1866), “The Logic of Science, or, Induction and Hypothesis”, Lowell Lectures of 1866, pp. 357–504 in Writings of Charles S. Peirce : A Chronological Edition, Volume 1, 1857–1866, Peirce Edition Project, Indiana University Press, Bloomington, IN, 1982.

Resources

Posted in C.S. Peirce, Inquiry, Logic of Relatives, Peirce, Relation Theory, Semiotics, Sign Relations | Tagged , , , , , , | 17 Comments

Sign Relations • Comment 3

Re: Semiotic TriangleJohn Corcoran

A sign relation L \subseteq O \times S \times I is a formal structure that satisfies a very general definition, on the same order of generality as a mathematical group or geometry.  So any consideration of what a particular sign relation contains will be very context-dependent.

We can study sign relations in the abstract or in connection with particular applications.  In applications, sign relations describe structures of interpretation, for example, the conduct of sign-using interpreters.  Applications divide broadly into descriptive and normative types.

Descriptively, we could be describing the interpretive conduct of someone named “Socrates” who happens to speak English and who uses the word “I” to denote himself.  In that case, we would probably want to include the signs “Socrates” and “I” in both the sign domain and the interpretant domain of the sign relation that we use to describe the usage of that agent.

Posted in C.S. Peirce, Inquiry, Logic of Relatives, Peirce, Relation Theory, Semiotics, Sign Relations | Tagged , , , , , , | 16 Comments

Sign Relations • Comment 2

Re: Semiotic TriangleJohn Corcoran

In a typical sign relation where Socrates belongs to the object domain O, one sign in the sign domain S could be the name “Socrates” and one interpretant in the interpretant domain I could be the name “Socrates”.

Slightly more interesting examples are discussed in the following article and section.

Posted in C.S. Peirce, Inquiry, Logic of Relatives, Peirce, Relation Theory, Semiotics, Sign Relations | Tagged , , , , , , | 17 Comments

Sign Relations • Comment 1

Re: Semiotic TriangleJohn Corcoran

Peirce’s triadic sign relations are sets of ordered triples having the form (o, s, i), where o is the object, s is the sign, and i is the interpretant sign (usually shortened to interpretant).  In other words, a specific sign relation L is a subset of the cartesian product O \times S \times I, where O is the object domain, S is the sign domain, and I is the interpretant domain.

There is more discussion in the following papers.

Posted in C.S. Peirce, Inquiry, Logic of Relatives, Peirce, Relation Theory, Semiotics, Sign Relations | Tagged , , , , , , | 16 Comments

Differential Logic • Comment 3

In my previous comment on boundaries in object universes and venn diagrams, and always when I’m being careful about their mathematical senses, the definitions of “topology” and “boundary” I have in mind can be found in any standard textbook.  Here are links to basic definitions from J.L. Kelley, a veritable classic and my own first brush with the subject.

Excerpts from John L. Kelley, General Topology, Van Nostrand Reinhold, New York, NY, 1955

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Diagrammatic Reasoning, Differential Analytic Turing Automata, Differential Logic, Discrete Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

Differential Logic • Comment 2

As always, we have to distinguish between the diagram itself, the representation or sign inscribed in some medium, and the formal object it represents under a given interpretation.

A venn diagram is an iconic sign we use to represent a formal object, namely, a universe of discourse, by virtue of properties the sign shares with the object.  But it is only the relevant properties that do the job — the icon has many properties the object lacks and the object has many properties the icon lacks.

As far as the universe of discourse goes, its regions do not necessarily have any boundaries defined.  In order to define boundaries for the regions we need to impose a particular topology on the object space.

However, even at the level of abstract logical properties, such as described by a propositional calculus, we can construct a differential extension of the calculus by attaching names to the qualitative changes involved in crossing from regions to their complements, and that is what leads to the simplest order of differential logic.

See the following articles for the basic intuitions.

Resources

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Diagrammatic Reasoning, Differential Analytic Turing Automata, Differential Logic, Discrete Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , | 12 Comments