Sign Relations • Semiotic Equivalence Relations 2

A few items of notation are useful in discussing equivalence relations in general and semiotic equivalence relations in particular.

In general, if E is an equivalence relation on a set X then every element x of X belongs to a unique equivalence class under E called the equivalence class of x under E.  Convention provides the square bracket notation for denoting such equivalence classes, in either the form [x]_E or the simpler form [x] when the subscript E is understood.  A statement that the elements x and y are equivalent under E is called an equation or an equivalence and may be expressed in any of the following ways.

Semiotic Equivalence Relation Display 1

Thus we have the following definitions.

Semiotic Equivalence Relation Display 2

In the application to sign relations it is useful to extend the square bracket notation in the following ways.  If L is a sign relation whose connotative component L_{SI} is an equivalence relation on S = I, let [s]_L be the equivalence class of s under L_{SI}.  In short, [s]_L = [s]_{L_{SI}}.  A statement that the signs x and y belong to the same equivalence class under a semiotic equivalence relation L_{SI} is called a semiotic equation (SEQ) and may be written in either of the following forms.

Semiotic Equivalence Relation Display 3

In many situations there is one further adaptation of the square bracket notation for semiotic equivalence classes which can be useful.  Namely, when there is known to exist a particular triple (o, s, i) in a sign relation L, it is permissible to let [o]_L be defined as [s]_L.  This lets the notation for semiotic equivalence classes harmonize more smoothly with the frequent use of similar devices for the denotations of signs and expressions.

Applying the array of equivalence notations to the sign relations for A and B will serve to illustrate their use and utility.

Connotative Components Con(L_A) and Con(L_B)

The semiotic equivalence relation for interpreter \mathrm{A} yields the following semiotic equations.

Semiotic Equivalence Relation Display 4

or

Semiotic Equivalence Relation Display 5

In this way the SER for \mathrm{A} induces the following semiotic partition.

Semiotic Equivalence Relation Display 6

The semiotic equivalence relation for interpreter \mathrm{B} yields the following semiotic equations.

Semiotic Equivalence Relation Display 7

or

Semiotic Equivalence Relation Display 8

In this way the SER for \mathrm{B} induces the following semiotic partition.

Semiotic Equivalence Relation Display 9

Taken all together we have the following picture.

Semiotic Partitions for Interpreters A and B

Resources

cc: Academia.eduLaws of FormResearch GateSyscoi
cc: CyberneticsStructural ModelingSystems Science

#c-s-peirce, #connotation, #denotation, #inquiry, #logic, #logic-of-relatives, #mathematics, #relation-theory, #semiosis, #semiotic-equivalence-relations, #semiotics, #sign-relations, #triadic-relations

Sign Relations • Semiotic Equivalence Relations 1

A semiotic equivalence relation (SER) is a special type of equivalence relation arising in the analysis of sign relations.  Generally speaking, any equivalence relation induces a partition of the underlying set of elements, known as the domain or space of the relation, into a family of equivalence classes.  In the case of a SER the equivalence classes are called semiotic equivalence classes (SECs) and the partition is called a semiotic partition (SEP).

The sign relations L_\mathrm{A} and L_\mathrm{B} have many interesting properties over and above those possessed by sign relations in general.  Some of those properties have to do with the relation between signs and their interpretant signs, as reflected in the projections of L_\mathrm{A} and L_\mathrm{B} on the SI‑plane, notated as \mathrm{proj}_{SI} L_\mathrm{A} and \mathrm{proj}_{SI} L_\mathrm{B}, respectively.  The dyadic relations on S \times I induced by those projections are also referred to as the connotative components of the corresponding sign relations, notated as \mathrm{Con}(L_\mathrm{A}) and \mathrm{Con}(L_\mathrm{B}), respectively.  Tables 6a and 6b show the corresponding connotative components.

Connotative Components Con(L_A) and Con(L_B)

A nice property of the sign relations L_\mathrm{A} and L_\mathrm{B} is that their connotative components \mathrm{Con}(L_\mathrm{A}) and \mathrm{Con}(L_\mathrm{B}) form a pair of equivalence relations on their common syntactic domain S = I.  This type of equivalence relation is called a semiotic equivalence relation (SER) because it equates signs having the same meaning to some interpreter.

Each of the semiotic equivalence relations, \mathrm{Con}(L_\mathrm{A}), \mathrm{Con}(L_\mathrm{B}) \subseteq S \times I \cong S \times S partitions the collection of signs into semiotic equivalence classes.  This constitutes a strong form of representation in that the structure of the interpreters’ common object domain \{ \mathrm{A}, \mathrm{B} \} is reflected or reconstructed, part for part, in the structure of each one’s semiotic partition of the syntactic domain \{ ``\text{A}", ``\text{B}", ``\text{i}", ``\text{u}" \}.

It’s important to observe the semiotic partitions for interpreters \mathrm{A} and \mathrm{B} are not identical, indeed, they are orthogonal to each other.  Thus we may regard the form of the partitions as corresponding to an objective structure or invariant reality, but not the literal sets of signs themselves, independent of the individual interpreter’s point of view.

Information about the contrasting patterns of semiotic equivalence corresponding to the interpreters \mathrm{A} and \mathrm{B} is summarized in Tables 7a and 7b.  The form of the Tables serves to explain what is meant by saying the SEPs for \mathrm{A} and \mathrm{B} are orthogonal to each other.

Semiotic Partitions for Interpreters A and B

Resources

cc: Academia.eduLaws of FormResearch GateSyscoi
cc: CyberneticsStructural ModelingSystems Science

#c-s-peirce, #connotation, #denotation, #inquiry, #logic, #logic-of-relatives, #mathematics, #relation-theory, #semiosis, #semiotic-equivalence-relations, #semiotics, #sign-relations, #triadic-relations

Sign Relations • Ennotation

A third aspect of a sign’s complete meaning concerns the relation between its objects and its interpretants, which has no standard name in semiotics.  It would be called an induced relation in graph theory or the result of relational composition in relation theory.  If an interpretant is recognized as a sign in its own right then its independent reference to an object can be taken as belonging to another moment of denotation, but this neglects the mediational character of the whole transaction in which this occurs.  Denotation and connotation have to do with dyadic relations in which the sign plays an active role but here we are dealing with a dyadic relation between objects and interpretants mediated by the sign from an off‑stage position, as it were.

As a relation between objects and interpretants mediated by a sign, this third aspect of meaning may be referred to as the ennotation of a sign and the dyadic relation making up the ennotative aspect of a sign relation L may be notated as \mathrm{Enn}(L).  Information about the ennotative aspect of meaning is obtained from L by taking its projection on the object‑interpretant plane and visualized as the “shadow” L casts on the 2‑dimensional space whose axes are the object domain O and the interpretant domain I.  The ennotative component of a sign relation L, variously written as \mathrm{proj}_{OI} L,  L_{OI},  \mathrm{proj}_{13} L,  or L_{13}, is defined as follows.

Display 5

As it happens, the sign relations L_\mathrm{A} and L_\mathrm{B} are fully symmetric with respect to exchanging signs and interpretants, so all the data of \mathrm{proj}_{OS} L_\mathrm{A} is echoed unchanged in \mathrm{proj}_{OI} L_\mathrm{A} and all the data of \mathrm{proj}_{OS} L_\mathrm{B} is echoed unchanged in \mathrm{proj}_{OI} L_\mathrm{B}.

Tables 5a and 5b show the ennotative components of the sign relations associated with the interpreters \mathrm{A} and \mathrm{B}, respectively.  The rows of each Table list the ordered pairs (o, i) in the corresponding projections, \mathrm{Enn}(L_\mathrm{A}), \mathrm{Enn}(L_\mathrm{B}) \subseteq O \times I.

Ennotative Components Enn(L_A) and Enn(L_B)

Resources

cc: Academia.eduLaws of FormResearch GateSyscoi
cc: CyberneticsStructural ModelingSystems Science

#c-s-peirce, #connotation, #denotation, #inquiry, #logic, #logic-of-relatives, #mathematics, #relation-theory, #semiosis, #semiotic-equivalence-relations, #semiotics, #sign-relations, #triadic-relations

Sign Relations • Connotation

Another aspect of a sign’s complete meaning concerns the reference a sign has to its interpretants, which interpretants are collectively known as the connotation of the sign.  In the pragmatic theory of sign relations, connotative references fall within the projection of the sign relation on the plane spanned by its sign domain and its interpretant domain.

In the full theory of sign relations the connotative aspect of meaning includes the links a sign has to affects, concepts, ideas, impressions, intentions, and the whole realm of an interpretive agent’s mental states and allied activities, broadly encompassing intellectual associations, emotional impressions, motivational impulses, and real conduct.  Taken at the full, in the natural setting of semiotic phenomena, this complex system of references is unlikely ever to find itself mapped in much detail, much less completely formalized, but the tangible warp of its accumulated mass is commonly alluded to as the connotative import of language.

Formally speaking, however, the connotative aspect of meaning presents no additional difficulty.  The dyadic relation making up the connotative aspect of a sign relation L is notated as \mathrm{Con}(L).  Information about the connotative aspect of meaning is obtained from L by taking its projection on the sign‑interpretant plane and visualized as the “shadow” L casts on the 2‑dimensional space whose axes are the sign domain S and the interpretant domain I.  The connotative component of a sign relation L, variously written as \mathrm{proj}_{SI} L,  L_{SI},  \mathrm{proj}_{23} L,  or L_{23}, is defined as follows.

Display 4

Tables 4a and 4b show the connotative components of the sign relations associated with the interpreters \mathrm{A} and \mathrm{B}, respectively.  The rows of each Table list the ordered pairs (s, i) in the corresponding projections, \mathrm{Con}(L_\mathrm{A}), \mathrm{Con}(L_\mathrm{B}) \subseteq S \times I.

Connotative Components Con(L_A) and Con(L_B)

Resources

cc: Academia.eduLaws of FormResearch GateSyscoi
cc: CyberneticsStructural ModelingSystems Science

#c-s-peirce, #connotation, #denotation, #inquiry, #logic, #logic-of-relatives, #mathematics, #relation-theory, #semiosis, #semiotic-equivalence-relations, #semiotics, #sign-relations, #triadic-relations

Sign Relations • Denotation

One aspect of a sign’s complete meaning concerns the reference a sign has to its objects, which objects are collectively known as the denotation of the sign.  In the pragmatic theory of sign relations, denotative references fall within the projection of the sign relation on the plane spanned by its object domain and its sign domain.

The dyadic relation making up the denotative, referent, or semantic aspect of a sign relation L is notated as \mathrm{Den}(L).  Information about the denotative aspect of meaning is obtained from L by taking its projection on the object‑sign plane.  The result may be visualized as the “shadow” L casts on the 2‑dimensional space whose axes are the object domain O and the sign domain S.  The denotative component of a sign relation L, variously written as \mathrm{proj}_{OS} L,  L_{OS},  \mathrm{proj}_{12} L,  or L_{12}, is defined as follows.

Display 3

Tables 3a and 3b show the denotative components of the sign relations associated with the interpreters \mathrm{A} and \mathrm{B}, respectively.  The rows of each Table list the ordered pairs (o, s) in the corresponding projections, \mathrm{Den}(L_\mathrm{A}), \mathrm{Den}(L_\mathrm{B}) \subseteq O \times S.

Denotative Components Den(L_A) and Den(L_B)

Looking to the denotative aspects of L_\mathrm{A} and L_\mathrm{B}, various rows of the Tables specify, for example, that \mathrm{A} uses ``\text{i}" to denote \mathrm{A} and ``\text{u}" to denote \mathrm{B}, while \mathrm{B} uses ``\text{i}" to denote \mathrm{B} and ``\text{u}" to denote \mathrm{A}.

Resources

cc: Academia.eduLaws of FormResearch GateSyscoi
cc: CyberneticsStructural ModelingSystems Science

#c-s-peirce, #connotation, #denotation, #inquiry, #logic, #logic-of-relatives, #mathematics, #relation-theory, #semiosis, #semiotic-equivalence-relations, #semiotics, #sign-relations, #triadic-relations

Sign Relations • Dyadic Aspects

For an arbitrary triadic relation L \subseteq O \times S \times I, whether it happens to be a sign relation or not, there are six dyadic relations obtained by projecting L on one of the planes of the OSI‑space O \times S \times I.  The six dyadic projections of a triadic relation L are defined and notated as shown in Table 2.

\text{Table 2. Dyadic Aspects of Triadic Relations}

Dyadic Aspects of Triadic Relations

By way of unpacking the set‑theoretic notation, here is what the first definition says in ordinary language.

The dyadic relation resulting from the projection of L on the OS‑plane O \times S is written briefly as L_{OS} or written more fully as \mathrm{proj}_{OS}(L) and is defined as the set of all ordered pairs (o, s) in the cartesian product O \times S for which there exists an ordered triple (o, s, i) in L for some element i in the set I.

In the case where L is a sign relation, which it becomes by satisfying one of the definitions of a sign relation, some of the dyadic aspects of L can be recognized as formalizing aspects of sign meaning which have received their share of attention from students of signs over the centuries, and thus they can be associated with traditional concepts and terminology.

Of course, traditions vary with respect to the precise formation and usage of such concepts and terms.  Other aspects of meaning have not received their fair share of attention and thus remain innominate in current anatomies of sign relations.

Resources

cc: Academia.eduLaws of FormResearch GateSyscoi
cc: CyberneticsStructural ModelingSystems Science

#c-s-peirce, #connotation, #denotation, #inquiry, #logic, #logic-of-relatives, #mathematics, #relation-theory, #semiosis, #semiotic-equivalence-relations, #semiotics, #sign-relations, #triadic-relations

Sign Relations • Examples

Soon after I made my third foray into grad school, this time in Systems Engineering, I was trying to explain sign relations to my advisor and he, being the very model of a modern systems engineer, asked me to give a concrete example of a sign relation, as simple as possible without being trivial.  After much cudgeling of the grey matter I came up with a pair of examples which had the added benefit of bearing instructive relationships to each other.  Despite their simplicity, the examples to follow have subtleties of their own and their careful treatment serves to illustrate important issues in the general theory of signs.

Imagine a discussion between two people, Ann and Bob, and attend only to the aspects of their interpretive practice involving the use of the following nouns and pronouns.

\{ ``\text{Ann}", ``\text{Bob}", ``\text{I}", ``\text{you}" \}

  • The object domain of their discussion is the set of two people \{ \text{Ann}, \text{Bob} \}.
  • The sign domain of their discussion is the set of four signs \{ ``\text{Ann}", ``\text{Bob}", ``\text{I}", ``\text{you}" \}.

Ann and Bob are not only the passive objects of linguistic references but also the active interpreters of the language they use.  The system of interpretation associated with each language user can be represented in the form of an individual three‑place relation known as the sign relation of that interpreter.

In terms of its set‑theoretic extension, a sign relation L is a subset of a cartesian product O \times S \times I.  The three sets O, S, I are known as the object domain, the sign domain, and the interpretant domain, respectively, of the sign relation L \subseteq O \times S \times I.

Broadly speaking, the three domains of a sign relation may be any sets at all but the types of sign relations contemplated in formal settings are usually constrained to having I \subseteq S.  In those cases it becomes convenient to lump signs and interpretants together in a single class called a sign system or syntactic domain.  In the forthcoming examples S and I are identical as sets, so the same elements manifest themselves in two different roles of the sign relations in question.

When it becomes necessary to refer to the whole set of objects and signs in the union of the domains O, S, I for a given sign relation L, we will call this set the World of L and write W = W_L = O \cup S \cup I.

To facilitate an interest in the formal structures of sign relations and to keep notations as simple as possible as the examples become more complicated, it serves to introduce the following general notations.

Display 1

Introducing a few abbreviations for use in the Example, we have the following data.

Display 2

In the present example, S = I = \text{Syntactic Domain}.

Tables 1a and 1b show the sign relations associated with the interpreters \mathrm{A} and \mathrm{B}, respectively.  In this arrangement the rows of each Table list the ordered triples of the form (o, s, i) belonging to the corresponding sign relations, L_\mathrm{A}, L_\mathrm{B} \subseteq O \times S \times I.

Sign Relation Twin Tables LA & LB

The Tables codify a rudimentary level of interpretive practice for the agents \mathrm{A} and \mathrm{B} and provide a basis for formalizing the initial semantics appropriate to their common syntactic domain.  Each row of a Table lists an object and two co‑referent signs, together forming an ordered triple (o, s, i) called an elementary sign relation, in other words, one element of the relation’s set‑theoretic extension.

Already in this elementary context, there are several meanings which might attach to the project of a formal semiotics, or a formal theory of meaning for signs.  In the process of discussing the alternatives, it is useful to introduce a few terms occasionally used in the philosophy of language to point out the needed distinctions.  That is the task we’ll turn to next.

Resources

cc: Academia.eduLaws of FormResearch GateSyscoi
cc: CyberneticsStructural ModelingSystems Science

#c-s-peirce, #connotation, #denotation, #inquiry, #logic, #logic-of-relatives, #mathematics, #relation-theory, #semiosis, #semiotic-equivalence-relations, #semiotics, #sign-relations, #triadic-relations

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” (Dewey, 38).

Tracing the passage of inquiry through the medium of signs calls for an active, intricate form of cooperation between the converging modes of investigation.  Its proper character is best understood by realizing the theory of inquiry is adapted to study the developmental aspects of sign relations, a subject the theory of signs is specialized to treat from comparative and structural points of view.

References

  • Dewey, J. (1910), How We Think, D.C. Heath, Boston, MA.  Reprinted (1991), Prometheus Books, Buffalo, NY.  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.  ArchiveJournal.  Online (doc) (pdf).

Resources

cc: Academia.eduLaws of FormResearch GateSyscoi
cc: CyberneticsStructural ModelingSystems Science

#c-s-peirce, #connotation, #denotation, #inquiry, #logic, #logic-of-relatives, #mathematics, #relation-theory, #semiosis, #semiotic-equivalence-relations, #semiotics, #sign-relations, #triadic-relations

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, New Elements of Mathematics, vol. 4, 20–21

In the general discussion of diverse theories of signs, the question 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 may be said to have only within a particular context of relationships.

Peirce’s definition of a sign defines it in relation to its objects and its interpretant signs, and thus defines signhood in relative terms, by means of a predicate with three places.  In that definition, signhood is a role in a triadic relation, a role a thing bears or plays in a determinate context of relationships — it is not an absolute or non‑relative property of a thing‑in‑itself, one it possesses 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 the term throughout his work, it is clear he means what he elsewhere calls a “triple correspondence”, and thus this is just another way of referring to the whole triadic sign relation itself.  In particular, his use of the term should not be taken to imply a dyadic correspondence, like the kinds 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 directions than the sense of the word referring to strictly deterministic causal‑temporal processes.  First, and especially in this context, he is invoking a more general concept of determination, what is called a formal or informational determination, as in saying “two points determine a line”, rather than the more special cases of causal and temporal determinisms.  Second, he characteristically allows for what is called 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 have occasion to view the same data, as logic is a normative science where psychology is a descriptive science, and so they have very different aims, methods, and rationales.

Reference

  • 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: Academia.eduLaws of FormResearch GateSyscoi
cc: CyberneticsStructural ModelingSystems Science

#c-s-peirce, #connotation, #denotation, #inquiry, #logic, #logic-of-relatives, #mathematics, #relation-theory, #semiosis, #semiotic-equivalence-relations, #semiotics, #sign-relations, #triadic-relations

Sign Relations • Anthesis

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

In his picturesque illustration of a sign relation, along with his tracing of a corresponding sign process, or semiosis, Peirce uses the technical term representamen for his concept of a sign, but the shorter word is precise enough, so long as one recognizes its meaning in a particular theory of signs is given by a specific definition of what it means to be a sign.

Resources

cc: Academia.eduLaws of FormResearch GateSyscoi
cc: CyberneticsStructural ModelingSystems Science

#c-s-peirce, #connotation, #denotation, #inquiry, #logic, #logic-of-relatives, #mathematics, #relation-theory, #semiosis, #semiotic-equivalence-relations, #semiotics, #sign-relations, #triadic-relations

Survey of Semiotics, Semiosis, Sign Relations • 6

C.S. Peirce defines logic as “formal semiotic”, using formal to highlight the place of logic as a normative science, over and above the descriptive study of signs and their role in wider fields of play.  Understanding logic as Peirce understands it thus requires a companion study of semiotics, semiosis, and sign relations.

What follows is a Survey of blog and wiki resources on the theory of signs, variously known as semeiotic or semiotics, and the actions referred to as semiosis which transform signs among themselves in relation to their objects, all as based on C.S. Peirce’s concept of triadic sign relations.

Elements

Blog Series

  • Peircean Semiotics and Triadic Sign Relations • (1)(2)(3)

Blog Dialogs

Sources

  • C.S. Peirce • Algebra of Logic ∫ Philosophy of Notation • (1)(2)
  • C.S. Peirce • Algebra of Logic 1885 • Selections • (1)(2)(3)(4)

Topics

Excursions

  • Semiositis • (1)
  • Signspiel • (1)
  • Skiourosemiosis • (1)

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, 269–284.  AbstractOnline.
  • Awbrey, S.M., and Awbrey, J.L. (September 1999), “Organizations of Learning or Learning Organizations : The Challenge of Creating Integrative Universities for the Next Century”, Second International Conference of the Journal ‘Organization’, Re‑Organizing Knowledge, Trans‑Forming Institutions : Knowing, Knowledge, and the University in the 21st Century, University of Massachusetts, Amherst, MA.  Online.
  • Awbrey, J.L., and Awbrey, S.M. (1995), “Interpretation as Action : The Risk of Inquiry”, Inquiry : Critical Thinking Across the Disciplines 15(1), 40–52.  ArchiveJournal.  Online (doc) (pdf).
  • Awbrey, J.L., and Awbrey, S.M. (1992), “Interpretation as Action : The Risk of Inquiry”, The Eleventh International Human Science Research Conference, Oakland University, Rochester, Michigan.

cc: FB | SemeioticsLaws of FormMathstodonOntologAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

#c-s-peirce, #icon-index-symbol, #inquiry, #logic, #logic-of-relatives, #mathematics, #relation-theory, #semiosis, #semiotics, #sign-relations, #triadic-relations, #triadicity, #visualization

Survey of Pragmatic Semiotic Information • 9

This is a Survey of blog and wiki posts on a theory of information which grows out of pragmatic semiotic ideas.  All my projects are exploratory in character but this line of inquiry is more open‑ended than most.  The question is —

What is information and how does it impact the spectrum of activities answering to the name of inquiry?

Setting out on what would become his lifelong quest to explore and explain the “Logic of Science”, C.S. Peirce pierced the veil of historical confusions obscuring the issue and fixed on what he called the “laws of information” as the key to solving the puzzle.

The first hints of the Information Revolution in our understanding of scientific inquiry may be traced to Peirce’s lectures of 1865–1866 at Harvard University and the Lowell Institute.  There Peirce took up “the puzzle of the validity of scientific inference” and claimed it was “entirely removed by a consideration of the laws of information”.

Fast forward to the present and I see the Big Question as follows.  Having gone through the exercise of comparing and contrasting Peirce’s theory of information, however much it yet remains in a rough‑hewn state, with Shannon’s paradigm so pervasively informing the ongoing revolution in our understanding and use of information, I have reason to believe Peirce’s idea is root and branch more general and has the potential, with due development, to resolve many mysteries still bedeviling our grasp of inference, information, and inquiry.

Inference, Information, Inquiry

Pragmatic Semiotic Information

Semiotics, Semiosis, Sign Relations

Sign Relations, Triadic Relations, Relation Theory

  • Blog Series • (1)
    • Discusssions • (1)(2)

Excursions

Blog Dialogs

References

  • Peirce, C.S. (1867), “Upon Logical Comprehension and Extension”.  Online.
  • Awbrey, J.L., and Awbrey, S.M. (1995), “Interpretation as Action : The Risk of Inquiry”, Inquiry : Critical Thinking Across the Disciplines 15(1), 40–52.  ArchiveJournal.  Online (doc) (pdf).

cc: FB | SemeioticsLaws of FormMathstodonOntologAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

#abduction, #c-s-peirce, #communication, #control, #cybernetics, #deduction, #determination, #discovery, #doubt, #epistemology, #fixation-of-belief, #induction, #information, #information-comprehension-x-extension, #information-theory, #inquiry, #inquiry-driven-systems, #inquiry-into-inquiry, #interpretation, #invention, #knowledge, #learning-theory, #logic, #logic-of-relatives, #logic-of-science, #mathematics, #philosophy-of-science, #pragmatic-information, #probable-reasoning, #process-thinking, #relation-theory, #scientific-inquiry, #scientific-method, #semeiosis, #semiosis, #semiotic-information, #semiotics, #sign-relational-manifolds, #sign-relations, #surveys, #triadic-relations, #uncertainty, #visualization

Survey of Relation Theory • 9

In the present Survey of blog and wiki resources for Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set‑theoretic constructions, many of which arise quite naturally in applications.  This approach to relation theory is distinct from, though closely related to, its study from the perspectives of abstract algebra on the one hand and formal logic on the other.

Elements

Relational Concepts

Relation Composition Relation Construction Relation Reduction
Relative Term Sign Relation Triadic Relation
Logic of Relatives Hypostatic Abstraction Continuous Predicate

Illustrations

Information‑Theoretic Perspective

  • Mathematical Demonstration and the Doctrine of Individuals • (1)(2)

Blog Series

Peirce’s 1870 “Logic of Relatives”

Peirce’s 1880 “Algebra of Logic” Chapter 3

Peirce’s 1885 “Algebra of Logic”

  • C.S. Peirce • Algebra of Logic ∫ Philosophy of Notation • (1)(2)
  • C.S. Peirce • Algebra of Logic 1885 • Selections • (1)(2)(3)(4)

Resources

cc: FB | Relation TheoryLaws of FormMathstodonOntologAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

#algebra, #algebra-of-logic, #c-s-peirce, #category-theory, #combinatorics, #discrete-mathematics, #duality, #dyadic-relations, #formal-languages, #foundations-of-mathematics, #graph-theory, #group-theory, #logic, #logic-of-relatives, #logical-graphs, #mathematics, #model-theory, #relation-theory, #semiotics, #set-theory, #sign-relational-manifolds, #sign-relations, #triadic-relations, #type-theory

Survey of Cybernetics • 5

Again, in a ship, if a man were at liberty to do what he chose, but were devoid of mind and excellence in navigation (αρετης κυβερνητικης), do you perceive what must happen to him and his fellow sailors?

— Plato • Alcibiades • 135 A

This is a Survey of blog posts relating to Cybernetics.  It includes the selections from Ashby’s Introduction and the comment on them I’ve posted so far, plus two series of reflections on the governance of social systems in light of cybernetic and semiotic principles.

Anthem

Ashby’s Introduction to Cybernetics

  • Chapter 11 • Requisite Variety

Blog Series

  • Theory and Therapy of Representations • (1)(2)(3)(4)(5)

cc: FB | Inquiry Driven SystemsLaws of FormMathstodonAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

#abduction, #c-s-peirce, #communication, #control, #cybernetics, #deduction, #determination, #discovery, #doubt, #epistemology, #fixation-of-belief, #induction, #information, #information-comprehension-x-extension, #information-theory, #inquiry, #inquiry-driven-systems, #inquiry-into-inquiry, #interpretation, #invention, #knowledge, #learning-theory, #logic, #logic-of-relatives, #logic-of-science, #mathematics, #peirce, #philosophy, #philosophy-of-science, #pragmatic-information, #probable-reasoning, #process-thinking, #relation-theory, #scientific-inquiry, #scientific-method, #semeiosis, #semiosis, #semiotic-information, #semiotics, #sign-relational-manifolds, #sign-relations, #surveys, #triadic-relations, #uncertainty