Sign Relations • Comment 11

Re: Peirce ListJon Alan Schmidt

When you ask a question about what something is, you are asking a question about its ontology.  But signhood is not a matter of ontology, it is a form of relation.

Re: Peirce ListEdwina TaborskyHelmut RaulienNeal Bruss

Here again is that budget of excerpts on Determination, mostly Peirce with a few others before and after his time, all of which I collected back when I was turning my hand to the cybernetic and intelligent systems engineering prospects of Peirce’s theories of information, inquiry, and signs.

Contemporary conceptions of determination and determinacy in mathematics, physics, computer science, and engineering are covered by the concept of constraint and generalize beyond absolute determinism to degrees and measures of determination, ranging from none at all to totality.

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

Sign Relations • Comment 10

Re: Peirce ListJohn Sowa

Three-Headed Dogs and Triadic Sign Relations

Peirce’s “Sop to Cerberus” got tossed about quite a bit in our discussions across the Web this millennium.  Here’s a record of one occasion from the days when our discussions bridged over multiple perspectives, in this instance the Peirce List and its parallel Arisbe List, the French SemioCom, and the Standard Upper Ontology Working Group:

There is a critical passage where Peirce explains the relationship between his popular illustrations and his technical theory of signs.

It is clearly indispensable to start with an accurate and broad analysis of the nature of a Sign.  I define a Sign as anything which is so determined by something else, called its Object, and so determines an effect upon a person, which effect I call its Interpretant, that the latter is thereby mediately determined by the former.  My insertion of “upon a person” is a sop to Cerberus, because I despair of making my own broader conception understood.  (Peirce 1908, Selected Writings, p. 404).

I have long connected this passage with Peirce’s much earlier “metaphorical argument” where he changes the addressee of a word — that to which it stands for something — from a person, to that person’s memory, to “a particular remembrance or image in that memory”, to wit, “the one which is the mental equivalent of the word … in short, its interpretant.”

Here is a passage from Peirce that is decisive in clearing up the relationship between the interpreter and the interpretant …

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.  …

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, Chronological Edition 1, pp. 466–467).

As I read the long arc of Peirce’s work, the greater significance of the transformation he suggests at these points is not the shift from one type of interpreter to another, however compelling the consideration of life-forms in general as sign-processing agents may be, but the change of perspective that pulls our exclusive focus on representative agents of semiosis back to a properly relational point of view and the triadic sign relations that generate competent semiotic conduct.  But Peirce made this transformation early on in his work, and even more strikingly in its first trials.  Viewed in that light I think I share Peirce’s despair that its full impact has yet to be felt.

References

  • 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.
  • Peirce, C.S. (1908), “Letters to Lady Welby”, Chapter 24, pp. 380–432 in Charles S. Peirce : Selected Writings (Values in a Universe of Chance), Edited with Introduction and Notes by Philip P. Wiener, Dover Publications, New York, NY, 1966.

Resources

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

{ Information = Comprehension × Extension } • Discussion 7

Re: Joselle DiNunzio KehoeInformation and Questions of Consciousness

C.S. Peirce put forth the idea that what he called “the laws of information” were key to solving “the puzzle of the validity of scientific inference” and thus to understanding the “logic of science”.  See my notes on his notorious formula:

Posted in Abduction, C.S. Peirce, Comprehension, Consciousness, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Logic, Logic of Science, Mathematics, Peirce, Peirce's Categories, Scientific Method, Semiotic Information, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Animated Logical Graphs • 12

Re: Facebook DiscussionMeredith Bricken Mills

I’ve always been fond of picture proofs — it was one of the things that drew me to graph theory, topology, and the logical graphs of C.S. Peirce and Spencer Brown in the first place.  Sue was transitioning from Chemistry to Instructional Media when we first met and we often talked of crafting visual media for teaching mathematics from the ground up.

But the more I programmed the basal learning and reasoning modules the more I ran up against the limitations of the CSP–GSB calculi in their handed down forms and the limits of iconic representations in general.  Changes had to be made.  Curiously enough, many of the needed changes could be gleaned by looking more closely at the steps CSP and GSB used to arrive at their systems, by self-applying, iterating, and then taking those steps to the limit.

Resources

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

Animated Logical Graphs • 11

Re: Richard CoyneInside Out Logic

Venn diagrams make for very iconic representations of their universes of discourse.  That is one of the main sources of their intuitive utility and also the main source of their logical limitations — they begin to exceed our human capacity for visualization once we climb to four or five circles (Boolean variables) or so.

Peirce’s logical graphs at the Alpha level, as interpreted for propositional calculus, are iconic in certain respects but far less so than Venn diagrams.  They are more properly understood as symbolic representations, in a way that exceeds the logical capacities of icons.  That is the source of their considerably greater power as a symbolic calculus.

Resources

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Sign Relations • Comment 9

Re: Facebook DiscussionCJ

Yes, that’s the idea.

Descriptive semiotics needs formal models for describing any sort of sign-using conduct, whether conducted by humans, life-forms, machines, or sign-using systems in general.

Normative semiotics, also known as logic, inquires into how sign-using agents “should” use signs in order to achieve specific goals, for example, how to get a “true” representation of an object system.

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

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