Sign Relations • Discussion 4

Re: Peirce ListEdwina Taborsky

A note on a couple of recurring themes may be useful at this point.

  1. Peirce’s “metaphorical argument” for transforming discussion of interpretive agents, whether individuals or communities, to discussion of interpretant signs is as follows.

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.  …   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, CE 1, 466–467).

There’s additional discussion of this passage at the following locations.

  1. When we employ mathematical models to describe any domain of phenomena, we are always proceeding hypothetically and tentatively, and the modality of all mathematics, in its own right, is the possible.  That is because mathematical existence is existence in the modest sense of “whatever’s not inconsistent”.  In the idiom, “It’s would-be’s all the way down.”  In effect the ordinary scales of modality are flattened down to one mode, to wit, Be ♭.  It is not until we take the risk of acting on our abduced model that we encounter genuine brute force Secondness.

References

  • Peirce, C.S. (1902), “Parts of Carnegie Application” (L 75), in Carolyn Eisele (ed., 1976), The New Elements of Mathematics by Charles S. Peirce, vol. 4, 13–73.  Online.
  • Peirce, C.S., Writings of Charles S. Peirce : A Chronological Edition, Peirce Edition Project (eds.), Indiana University Press, Bloomington and Indianapolis, IN, 1981–.  Cited as (CE volume, page).

Resources

cc: CyberneticsOntolog • Peirce List (1) (2)Structural ModelingSystems Science

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 11 Comments

Animated Logical Graphs • 32

Re: R.J. Lipton and K.W. ReganProof Checking

Dear Dick/Ken,

Here’s a place where I explore different shapes of proofs in a propositional calculus deriving from the graphical systems of Charles S. Peirce and G. Spencer Brown.

I don’t know whether that helps any with \mathrm{P} \overset{\underset{?}{}}{=} \mathrm{NP} but it does supply a lot of nice pictures to contemplate.

Resources

cc: CyberneticsOntolog • Peirce List (1) (2) (3)Structural ModelingSystems Science

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 , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Sign Relations • Discussion 3

Re: Sign Relations • Definition
Re: Ontolog Forum • Alex Shkotin (1) (2)

Regarding Peirce’s definition of a sign linked above, Alex Shkotin writes:

A Sign is unusually active in Peirce’s definition:

A (a sign) brings B (interpretant sign) into correspondence with C (object of sign).

Moreover, A determines B or even creates B.

It would be nice to get an example of such an active sign, its interpretant sign, and an object.  My point is to make the Peirce definition as clear as to be formalized.

Dear Alex,

Thanks for your comment.  It points to a problem lurking in the wings through all these discussions, so let’s nudge it on stage and throw a better light on it.

I remember my first formal logic prof in college being rather adamant about the difference between a logical formula, which supposedly bore its “logical form” on its sleeve — I recall the very figure he used — and any of its diverse and sundry natural language paraphrases.  As time wore on I would reconfigure many of the lessons impressed on me in those days, but that one has stuck, I’m guessing because it goes without saying in mathematical and scientific practice.

This treble clef, to vary the figure — forms as objects, formulas as signs, and paraphrases as interpretant signs — is the key to a fundamental theme.

A very wide field of discussion opens up at this point.  To begin we have the logical jump from forms to formulas and the semiotic drift from formulas to paraphrases.  Further on we’ll encounter a range of tensions between formal and informal contexts of inquiry.

Susan Awbrey and I discussed a related set of issues in our “Conceptual Barriers” paper.  Here is how we set up our treatment of three problematics.

  • Problematic 1 is the tension that arises along a dimension of increasing formalization in our mental models of the world, between what we may call the ‘informal context’ of real-world practice and the ‘formal context’ of specialized study.
  • Problematic 2 is the difficulty in communication that is created by differing mental models of the world, in other words, by the tendency among groups of specialists to form internally coherent but externally disparate systems of mental images.
  • Problematic 3 is a special type of communication difficulty that commonly arises between the ‘Two Cultures’ of the scientific and the humanistic disciplines.  A significant part of the problem derives from the differential emphasis that each group places on its use of symbolic and conceptual systems, limiting itself to either the denotative or the connotative planes of variation, but seldom integrating the two.

Please excuse the sweeping preamble.  It wasn’t meant to sweep your observations under the rug — it’s just so many discussions here and there on the web in recent days are reminding me of the larger designs beyond my more mundane focus on brass tacks matters.  I’ll bring this all back to bear on the everyday life of signs the next chance I get.

References

  • Awbrey, S.M., and Awbrey, J.L. (2001), “Conceptual Barriers to Creating Integrative Universities”, Organization : The Interdisciplinary Journal of Organization, Theory, and Society 8(2), Sage Publications, London, UK, pp. 269–284.  AbstractOnline.
  • Peirce, C.S. (1902), “Parts of Carnegie Application” (L 75), in Carolyn Eisele (ed., 1976), The New Elements of Mathematics by Charles S. Peirce, vol. 4, 13–73.  Online.

Resources

cc: CyberneticsOntolog • Peirce List (1) (2)Structural ModelingSystems Science

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 8 Comments

Sign Relations • Signs and Inquiry

There is a close relationship between the pragmatic theory of signs and the pragmatic theory of inquiry.  In fact, the correspondence between the two studies exhibits so many congruences and parallels it is often best to treat them as integral parts of one and the same subject.  In a very real sense, inquiry is the process by which sign relations come to be established and continue to evolve.  In other words, inquiry, “thinking” in its best sense, “is a term denoting the various ways in which things acquire significance” (John Dewey).  Thus, there is an active and intricate form of cooperation that needs to be appreciated and maintained between these converging modes of investigation.  Its proper character is best understood by realizing that the theory of inquiry is adapted to study the developmental aspects of sign relations, a subject which the theory of signs is specialized to treat from structural and comparative points of view.

References

  • Charles S. Peirce (1902), “Parts of Carnegie Application” (L 75), in Carolyn Eisele (ed., 1976), The New Elements of Mathematics by Charles S. Peirce, vol. 4, 13–73.  Online.
  • Awbrey, J.L., and Awbrey, S.M. (1995), “Interpretation as Action : The Risk of Inquiry”, Inquiry : Critical Thinking Across the Disciplines 15(1), pp. 40–52.  ArchiveJournalOnline.

Resources

Document History

Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.

cc: CyberneticsOntolog • Peirce List (1) (2)Structural ModelingSystems Science

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 3 Comments

Sign Relations • Discussion 2

Re: CyberneticsBernard C.E. Scott
Re: Sign Relations • Definition

Regarding Peirce’s definition of a sign given in the previous post, Bernard Scott writes:

It is very helpful [to] distinguish Peirce’s formal semiotic (his logic) from psychological, and by extension, ‘biosemiotic’ understandings of ‘sign’.

Dear Bernard,

You raise a very important point.  It is critical to distinguish the abstract theory from its concrete applications.  The power of a great theory lies in the diversity of its applications.  But that very power comes with a warning, as the diversity it generates can be the source of dispute and dissension among its appliers and interpreters.

We all know the parable of the seven sightless sages and the polymorphous pachyderm they ponder, so I don’t need to spend a lot of words on the moral of that story here.  But it may be useful to say more about the major misunderstandings occasioned by, the schisms, sects, and splinter groups spawned by Peirce’s extremely general and powerful theory of triadic sign relations.  I’ll attend to that when I next get a chance.

Reference

  • Charles S. Peirce (1902), “Parts of Carnegie Application” (L 75), in Carolyn Eisele (ed., 1976), The New Elements of Mathematics by Charles S. Peirce, vol. 4, 13–73.  Online.

Resources

cc: CyberneticsOntolog • Peirce List (1) (2)Structural ModelingSystems Science

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 7 Comments

Pragmatic Truth • Discussion 24

Re: Peirce ListEdwina Taborsky

Dear Edwina,

I think I can get the drift of what you are saying.  At least, I can see there is something monadic about the Tenacity method of fixing belief or settling on what to believe, perhaps even in the sense of Leibnizian monads, windowless, hermeneutically sealed spheres of belief.  But monads would say they’ve got that pre-established harmony thing working for them, so I’m not sure how to categorize that.  At first, the Authority method appears to be dyadic, Freud would probably call it a transference effect, but we know people pick their authority to fit what they already believe, so maybe appeals to authority reduce to a monadic or monastic model after all, at least to a first approximation.  As far as the À Priori Plausibility method goes, things appear a little more complex at first because it involves a community.  Sure, people can pursue the “What Is Pleasing To Speculate” game in the privacy of their own minds, but something about that way of trying to settle belief remains unsettled and naturally drives the hermitary visionary to seek out and try to convert others to the Big Idea.  So, yes, the missing link to Scientific Inquiry is found in that Dialogue Involving Nature, the endeavor to commune not only with other minds but with that ever-insistent-persistent reality constantly thumping us in the head until we pay attention.

Reference

Resources

cc: CyberneticsOntolog • Peirce List (1) (2)Structural ModelingSystems Science

Posted in Aristotle, C.S. Peirce, Coherence, Concordance, Congruence, Consensus, Convergence, Correspondence, Dewey, Fixation of Belief, Information, Inquiry, John Dewey, Kant, Logic, Logic of Science, Method, Peirce, Philosophy, Pragmatic Maxim, Pragmatism, Semiotics, Sign Relations, Triadic Relations, Truth, Truth Theory, William James | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Pragmatic Truth • Discussion 23

Re: Richard J. LiptonThe Truth

Just a random forkful of thoughts from a pragmatic peircepective …

Re: Cristopher MoorePlatonism and Pluralism

The “irritation of doubt”, a state of uncertainty or surprise, marks the beginning of inquiry according to pragmatic thinkers like Peirce and Dewey, so it’s critical to acknowledge and value such states when they occur.

According to John Dewey, it is because of the human quest for perfect certainty that philosophy has inherited three problematic viewpoints:

the first, that certainty, security, can be found only in the fixed and unchanging;

the second, that knowledge is the only road to that which is intrinsically stable and certain;

the third, that practical activity is an inferior sort of thing, necessary simply because of man’s animal nature and the necessity for winning subsistence from the environment.

— John Dewey • The Quest for Certainty

See Interpretation as Action : The Risk of Inquiry

Resources

cc: CyberneticsOntolog • Peirce List (1) (2)Structural ModelingSystems Science

Posted in Aristotle, C.S. Peirce, Coherence, Concordance, Congruence, Consensus, Convergence, Correspondence, Dewey, Fixation of Belief, Information, Inquiry, John Dewey, Kant, Logic, Logic of Science, Method, Peirce, Philosophy, Pragmatic Maxim, Pragmatism, Semiotics, Sign Relations, Triadic Relations, Truth, Truth Theory, William James | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Sign Relations • Definition

One of Peirce’s clearest and most complete definitions of a sign is one he gives in the context of providing a definition for logic, and so it is informative to view it in that setting.

Logic will here be defined as formal semiotic.  A definition of a sign will be given which no more refers to human thought than does the definition of a line as the place which a particle occupies, part by part, during a lapse of time.  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.  It is from this definition, together with a definition of “formal”, that I deduce mathematically the principles of logic.  I also make a historical review of all the definitions and conceptions of logic, and show, not merely that my definition is no novelty, but that my non-psychological conception of logic has virtually been quite generally held, though not generally recognized.  (C.S. Peirce, NEM 4, 20–21).

In the general discussion of diverse theories of signs, the question frequently arises whether signhood is an absolute, essential, indelible, or ontological property of a thing, or whether it is a relational, interpretive, and mutable role a thing can be said to have only within a particular context of relationships.

Peirce’s definition of a sign defines it in relation to its object and its interpretant sign, and thus defines signhood in relative terms, by means of a predicate with three places.  In this definition, signhood is a role in a triadic relation, a role a thing bears or plays in a given context of relationships — it is not an absolute, non-relative property of a thing-in-itself, a status it maintains independently of all relationships to other things.

Some of the terms Peirce uses in his definition of a sign may need to be elaborated for the contemporary reader.

  • Correspondence.  From the way Peirce uses this term throughout his work it is clear he means what he elsewhere calls a “triple correspondence”, in short, just another way of referring to the whole triadic sign relation itself.  In particular, his use of this term should not be taken to imply a dyadic correspondence, as in the varieties of “mirror image” correspondence between realities and representations bandied about in contemporary controversies about “correspondence theories of truth”.
  • Determination.  Peirce’s concept of determination is broader in several ways than the sense of the word referring to strictly deterministic causal-temporal processes.  First, and especially in this context, he uses a more general concept of determination, what is known as formal or informational determination, as we use in geometry when we say “two points determine a line”, rather than the more special cases of causal or temporal determinisms.  Second, he characteristically allows for the broader concept of determination in measure, that is, an order of determinism admitting a full spectrum of more and less determined relationships.
  • Non-psychological.  Peirce’s “non-psychological conception of logic” must be distinguished from any variety of anti-psychologism.  He was quite interested in matters of psychology and had much of import to say about them.  But logic and psychology operate on different planes of study even when they happen to view the same data, as logic is a normative science where psychology is a descriptive science.  Thus they have distinct aims, methods, and rationales.

Reference

  • Charles S. Peirce (1902), “Parts of Carnegie Application” (L 75), in Carolyn Eisele (ed., 1976), The New Elements of Mathematics by Charles S. Peirce, vol. 4, 13–73.  Online.

Resources

Document History

Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.

cc: CyberneticsOntolog • Peirce List (1) (2)Structural ModelingSystems Science

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 8 Comments

Triadic Relations • Discussion 2

To everything there is a season,
A time for every purpose under heaven:
A time for building castles in the stratosphere,
A time to mind the anti-gravs that keep us here.

Re: Systems ScienceRob Young
Cf: Conceptual Barriers to Creating Integrative Universities

RY:
The aspiration to a form of knowledge ‘wisdom’ resonated with me, and, not withstanding the ‘university’ context (connotative?) the article was couched in, every time I read the word ‘university’, I mentally substituted it with ‘systems movement’ and the resonance was there.

Dear Rob,

Thanks for your comments and questions.  They took me back to the decade before the turn of the millennium when there was a general trend of thought to embrace chaos and complexity, seeking the order and simplicity on the other side.  (Oliver Wendell Holmes, but it appears in doubt whether Sr. or Jr.)

One thing I’ve learned in the mean time is just how poorly grounded and maintained are many of the abstract concepts and theories we need for grappling with the complexities of communication, computation, experimental information, and scientific inquiry.  So I’ve been doing what I can to reinforce the concrete bases and stabilize the working platforms of what otherwise tend to become empty à priori haunts.

I’ll have to be getting back to that.  For now I’ll just link to a few readings your remarks brought to mind.  The “Conceptual Barriers” paper from 2001 is the journal upgrade of a conference presentation from 1999, “Organizations of Learning or Learning Organizations : The Challenge of Creating Integrative Universities for the Next Century”.

Your reflex of jumping from universities to systems in general is very much on the mark.  Our work was motivated in large part by the movement toward Learning Organizations, that is, organizations able to apply organizational research to their own organizational development.  To put a fine point on it, all we are saying is, “Shouldn’t a University, as an Organization of Learning, also be a Learning Organization?”

Well, I had a lot more to relate at this point, but our dishwasher just went on the fritz, so I’ll leave it for now with a few links to Susan’s earlier work along these lines and try to get back to it later …

  • Scott, David K., and Awbrey, Susan M. (1993), “Transforming Scholarship”, Change : The Magazine of Higher Learning, 25(4), 38–43. Online (1) (2).
  • Papers by Susan Awbrey and David Scott • University of Massachusetts, Amherst.

Reference

  • Awbrey, S.M., and Awbrey, J.L. (2001), “Conceptual Barriers to Creating Integrative Universities”, Organization : The Interdisciplinary Journal of Organization, Theory, and Society 8(2), Sage Publications, London, UK, pp. 269–284. Abstract. Online.

cc: CyberneticsOntolog ForumPeirce ListStructural ModelingSystems Science

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 6 Comments

Sign Relations • Discussion 1

Thus, if a sunflower, in turning towards the sun, becomes by that very act fully capable, without further condition, of reproducing a sunflower which turns in precisely corresponding ways toward the sun, and of doing so with the same reproductive power, the sunflower would become a Representamen of the sun.

— C.S. Peirce, Collected Papers, CP 2.274

Re: Cybernetic CommunicationsKlaus Krippendorff
Re: Ecology of Systems ThinkingRichard Saunders

I’m working at reviewing and revising some pieces I’ve rewritten two score times over the last … lost count of years … and that bit from Peirce is one of my favorite epigraphs for the work ahead.  But I take it as an allegorical figure whose purpose is to illustrate a certain form of relation, and not to be taken too literally.  So I’m sympathetic to the reactions of several readers who find it clangs a bit if taken at face value.  I think there are clues in the passage, the hypothetical subjunctive construction, the unnatural qualification, “without further condition”, etc., telling us Peirce did not intend it as a truth of botany.  But taken rightly it does point to the shape of a proper definition to come.  So I’ll be getting to that …

Resources

cc: CyberneticsOntolog • Peirce List (1) (2)Structural ModelingSystems Science

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 9 Comments