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

#CSPeirce #Connotation #Denotation #Inquiry #Logic #LogicOfRelatives #Mathematics #RelationTheory #Semiosis #SemioticEquivalenceRelations #Semiotics #SignRelations #TriadicRelations

The Project Gutenberg eBook of How We Think, by John Dewey.

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

#CSPeirce #Connotation #Denotation #Inquiry #Logic #LogicOfRelatives #Mathematics #RelationTheory #Semiosis #SemioticEquivalenceRelations #Semiotics #SignRelations #TriadicRelations

Arisbe - Peirce MS L75

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

#CSPeirce #IconIndexSymbol #Inquiry #Logic #LogicOfRelatives #Mathematics #RelationTheory #Semiosis #Semiotics #SignRelations #TriadicRelations #Triadicity #Visualization

Surveys

Survey of Abduction, Deduction, Induction, Analogy, Inquiry • (1) • (2) • (3) • (4) • (5) Survey of Animated Logical Graphs • (1) • (2) • (3) • (4) &bul…

Inquiry Into Inquiry

Peircean Semiotics and Triadic Sign Relations • 3
https://inquiryintoinquiry.com/2024/08/23/peircean-semiotics-and-triadic-sign-relations-3-a/

Having labored mightily to bring out a new edition of my primer on sign relations, including material on the pivotal concept of semiotic equivalence relations, I thought it worth the candle to post a notice of the new version here.

Sign Relations
https://oeis.org/wiki/Sign_relation

Semiotic Equivalence Relations
https://oeis.org/wiki/Sign_relation#Semiotic_equivalence_relations

#Peirce #Inquiry #Logic #LogicOfRelatives #RelationTheory
#Semiotics #Semiosis #SignRelations #TriadicRelations

Peircean Semiotics and Triadic Sign Relations • 3

Having labored mightily to bring out a new edition of my primer on sign relations, including material on the pivotal concept of semiotic equivalence relations, I thought it worth the candle to&nbsp…

Inquiry Into Inquiry

Peircean Semiotics and Triadic Sign Relations • 2
https://inquiryintoinquiry.com/2024/08/22/peircean-semiotics-and-triadic-sign-relations-2-a/

When I returned to graduate school for the third time around, this time in systems engineering, I had in mind integrating my long‑standing projects investigating the dynamics of information, inquiry, learning, and reasoning, viewing each as a process whose trajectory evolves over time through the medium which gives it concrete embodiment, namely, a triadic sign relation.

Up until that time I don't believe I'd ever given much thought to sign relations that had anything smaller than infinite domains of objects, signs, and interpretant signs. Countably infinite domains are what come natural in logic, since that is the norm for the formal languages it uses. Continuous domains come first to mind when turning to physical systems, despite the fact that systems with a discrete or quantized character often enter the fray.

So it came as a bit of a novelty to me when my advisor, following the motto of engineers the world over to “Keep It Simple, Stupid!” — affectionately known by the acronym KISS — asked me to construct the simplest non‑trivial finite example of a sign relation I could possibly come up with. The outcome of that exercise I wrote up in the following primer on sign relations.

Inquiry Driven Systems • Sign Relations : A Primer
https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_1#Sign_Relations_:_A_Primer

Inquiry Driven Systems • Semiotic Equivalence Relations
https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_1#Semiotic_Equivalence_Relations

#Peirce #Inquiry #Logic #LogicOfRelatives #RelationTheory
#Semiotics #Semiosis #SignRelations #TriadicRelations

Peircean Semiotics and Triadic Sign Relations • 2

When I returned to graduate school for the third time around, this time in systems engineering, I had in mind integrating my long‑standing projects investigating the dynamics of informat…

Inquiry Into Inquiry

Peircean Semiotics and Triadic Sign Relations • 1
https://inquiryintoinquiry.com/2024/08/20/peircean-semiotics-and-triadic-sign-relations-1-a/

As a “guide for the perplexed”, at least when it comes to semiotics, I'll use this thread to collect a budget of resources I think have served to clarify the topic in the past.

By way of a first offering, let me recommend the following most excellent paper, which I can say with all due modesty in light of the fact all its excellence is due to my most excellent co‑author.

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.
https://web.archive.org/web/20001210162300/http://chss.montclair.edu/inquiry/fall95/awbrey.html
https://www.pdcnet.org/inquiryct/content/inquiryct_1995_0015_0001_0040_0052
https://www.academia.edu/1266493/Interpretation_as_Action_The_Risk_of_Inquiry
https://www.academia.edu/57812482/Interpretation_as_Action_The_Risk_of_Inquiry

#Peirce #Inquiry #Logic #LogicOfRelatives #RelationTheory
#Semiotics #Semiosis #SignRelations #TriadicRelations

Peircean Semiotics and Triadic Sign Relations • 1

As a “guide for the perplexed”, at least when it comes to semiotics, I’ll use this thread to collect a budget of resources I think have served to clarify the topic in the past. By…

Inquiry Into Inquiry

Logic of Relatives
https://inquiryintoinquiry.com/2024/08/05/logic-of-relatives-a/

Relations Via Relative Terms —

The logic of relatives is the study of relations as represented in symbolic forms known as rhemes, rhemata, or relative terms.

Introduction —

The logic of relatives, more precisely, the logic of relative terms, is the study of relations as represented in symbolic forms called rhemes, rhemata, or relative terms. The treatment of relations by way of their corresponding relative terms affords a distinctive perspective on the subject, even though all angles of approach must ultimately converge on the same formal subject matter.

The consideration of relative terms has its roots in antiquity but it entered a radically new phase of development with the work of Charles Sanders Peirce, beginning with his paper “Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic” (1870).

References —

• Peirce, C.S., “Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic”, Memoirs of the American Academy of Arts and Sciences 9, 317–378, 1870. Reprinted, Collected Papers CP 3.45–149. Reprinted, Chronological Edition CE 2, 359–429.
https://www.jstor.org/stable/25058006
https://archive.org/details/jstor-25058006
https://books.google.com/books?id=fFnWmf5oLaoC

Resources —

Charles Sanders Peirce
https://mywikibiz.com/Charles_Sanders_Peirce

Relation Theory
https://oeis.org/wiki/Relation_theory

Survey of Relation Theory
https://inquiryintoinquiry.com/2024/03/23/survey-of-relation-theory-8/

Peirce's 1870 Logic of Relatives
https://inquiryintoinquiry.com/2019/09/24/peirces-1870-logic-of-relatives-overview/
https://oeis.org/wiki/Peirce%27s_1870_Logic_Of_Relatives_%E2%80%A2_Overview

#Peirce #Logic #LogicOfRelatives #MathematicalLogic
#Mathematics #RelationTheory #Semiotics #SignRelations

Logic of Relatives

The logic of relatives, more precisely, the logic of relative terms, is the study of relations as represented in symbolic forms known as “rhemes”, “rhemata”, or “relat…

Inquiry Into Inquiry
Peirce’s 1870 “Logic of Relatives” • Selection 12

On to the next part of §3. Application of the Algebraic Signs to Logic. Peirce’s 1870 “Logic of Relatives” • Selection 12 The Sign of Involution I shall take involution …

Inquiry Into Inquiry

Peirce's 1885 “Algebra of Logic” • Discussion 2
https://inquiryintoinquiry.com/2024/04/03/peirces-1885-algebra-of-logic-discussion-2/

Re: FB | Daniel Everett

One thing I've been trying to understand for a very long time is the changes in Peirce's writing about math and logic from 1865 to 1885. If there's anything I've learned from reading Peirce in the often dim light of intellectual history it is to be wary of progressivist assumptions — but unlike many of his other fans I apply that caution also within the body of his own work. Long story short, from 1865 to 1885 I see progress on several fronts but also bits of backsliding from his more prescient early insights. So it's a puzzle … and it will take more study to ravel out the reasons why.

Resources for reconciling Peirce's two accounts —
1. The 1870 account of logical involution
2. The 1885 account of universal quantification

Peirce's 1870 “Logic of Relatives” • Selection 12 • The Sign of Involution
https://inquiryintoinquiry.com/2014/06/09/peirces-1870-logic-of-relatives-selection-12/
Comments —
(1) https://inquiryintoinquiry.com/2014/06/10/peirces-1870-logic-of-relatives-comment-12-1/
(2) https://inquiryintoinquiry.com/2014/06/11/peirces-1870-logic-of-relatives-comment-12-2/
(3) https://inquiryintoinquiry.com/2014/06/12/peirces-1870-logic-of-relatives-comment-12-3/
(4) https://inquiryintoinquiry.com/2014/06/14/peirces-1870-logic-of-relatives-comment-12-4/
(5) https://inquiryintoinquiry.com/2014/06/15/peirces-1870-logic-of-relatives-comment-12-5/

Peirce's 1885 “Algebra of Logic” • Selections
(1) https://inquiryintoinquiry.com/2024/03/24/peirces-1885-algebra-of-logic-selection-1/
(2) https://inquiryintoinquiry.com/2024/03/26/peirces-1885-algebra-of-logic-selection-2/
(3) https://inquiryintoinquiry.com/2024/03/30/peirces-1885-algebra-of-logic-selection-3/
(4) https://inquiryintoinquiry.com/2024/04/01/peirces-1885-algebra-of-logic-selection-4/

Peirce, C.S. (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7, 180–202.
https://www.jstor.org/stable/2369451

#Peirce #Logic #AlgebraOfLogic #LogicOfRelatives #RelationTheory #CategoryTheory
#Semiotics #PredicateCalculus #Quantification #LogicalInvolution #ComputerScience

Peirce’s 1885 “Algebra of Logic” • Discussion 2

Re: FB | Daniel Everett One thing I’ve been trying to understand for a very long time is the changes in Peirce’s writing about math and logic from 1865 to 1885.  If there’s a…

Inquiry Into Inquiry

Peirce's 1885 “Algebra of Logic” • Discussion 1
https://inquiryintoinquiry.com/2024/04/02/peirces-1885-algebra-of-logic-discussion-1/

Re: FB | Daniel Everett

DE:
❝One of the most important papers in the history of logic. “On the Algebra of Logic” was the first to introduce the term “quantifier”.

❝Peirce, C.S. (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7, 180–202.
https://www.jstor.org/stable/2369451

As far as quantification by any other word goes, Peirce had already introduced a more advanced and “functional” concept of quantification in his 1870 “Logic of Relatives”. The subsequent passage to Fregean styles of first order logic would turn out to be a retrograde movement toward syntacticism (a species of nominalism), as seen in the general run of what fol‑lowed in the fol‑lowing years.

See ☞ Peirce's 1870 “Logic of Relatives”
https://inquiryintoinquiry.com/2019/09/24/peirces-1870-logic-of-relatives-overview/

Especially ☞ “The Sign of Involution”
https://inquiryintoinquiry.com/2014/06/09/peirces-1870-logic-of-relatives-selection-12/

The connection between logical involution and universal quantification which Peirce put to use in his 1870 Logic of Relatives will turn up again a century later with the application of category theory to computer science and both of those in turn to logic. Just one more time Peirce was that far ahead of it.

See ☞ Lambek and Scott (1986), Introduction to Higher Order Categorical Logic, Cambridge University Press.
https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems#Lambek

#Peirce #Logic #AlgebraOfLogic #LogicOfRelatives #RelationTheory #CategoryTheory
#Semiotics #PredicateCalculus #Quantification #LogicalInvolution #ComputerScience

Peirce’s 1885 “Algebra of Logic” • Discussion 1

Re: FB | Daniel Everett DE: One of the most important papers in the history of logic.  “On the Algebra of Logic” was the first to introduce the term “quantifier”. Peirc…

Inquiry Into Inquiry