Survey of Semiotics, Semiosis, Sign Relations • 4
• https://inquiryintoinquiry.com/2023/04/05/survey-of-semiotics-semiosis-sign-relations-4/

C.S. Peirce defines “logic” as “formal semiotic”, using “formal” to distinguish the role of logic as a normative science, over and above the more descriptive study of signs in the wild and their antics at large. Understanding logic as Peirce understood it therefore requires a companionstudy of semiotics, semiosis, and sign relations.

This is a Survey of blog and wiki resources on the theory of signs, also 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.

Please follow the above link for the full set of resources.
Articles and blog series on the core ideas are linked below.

Elements —

• Semeiotic ( https://oeis.org/wiki/Semeiotic )

• Sign Relations ( https://oeis.org/wiki/Sign_relation )

Sources —

C.S. Peirce • On the Definition of Logic
• https://inquiryintoinquiry.com/2012/06/01/c-s-peirce-on-the-definition-of-logic/

C.S. Peirce • Logic as Semiotic
• https://inquiryintoinquiry.com/2012/06/04/c-s-peirce-logic-as-semiotic/

C.S. Peirce • Objective Logic
• https://inquiryintoinquiry.com/2012/03/09/c-s-peirce-objective-logic/

Blog Series —

• Semeiotic ( https://inquiryintoinquiry.com/2008/07/30/semeiotic/ )

#Peirce #Logic #LogicAsSemiotics #Semeiotic #Semiotics #Semiosis
#RelationTheory #InterpretiveFrameworks #ObjectiveFrameworks
#SystemsOfInterpretation #SignRelations #TriadicRelations

Survey of Definition and Determination • 2
• https://inquiryintoinquiry.com/2023/04/06/survey-of-definition-and-determination-2/

In the early 1990s, “in the middle of life's journey” as the saying goes, I returned to grad school in a systems engineering program with the idea of taking a more systems-theoretic approach to my development of Peircean themes, from signs and scientific inquiry to logic and information theory.

Two of the first questions calling for fresh examination were the closely related concepts of definition and determination, not only as Peirce used them in his logic and semiotics but as researchers in areas as diverse as computer science, cybernetics, physics, and systems sciences were finding themselves forced to reconsider the concepts in later years. That led me to collect a sample of texts where Peirce and a few other writers discuss the issues of definition and determination. There are copies of those selections at the following sites.

Collection Of Source Materials
• https://oeis.org/wiki/User:Jon_Awbrey/EXCERPTS

Excerpts on Definition
• https://oeis.org/wiki/User:Jon_Awbrey/EXCERPTS#Definition

Excerpts on Determination
• https://oeis.org/wiki/User:Jon_Awbrey/EXCERPTS#Determination

What follows is a Survey of blog and wiki posts on Definition and Determination, with a focus on the part they play in Peirce's interlinked theories of signs, information, and inquiry. In classical logical traditions the concepts of definition and determination are closely related and their bond acquires all the more force when we view the overarching concept of constraint from an information-theoretic point of view, as Peirce did beginning in the 1860s.

#Peirce #Logic #Definition #Determination #DifferentialLogic
#Inference #Information #Inquiry #Semiotics #SignRelations
#AI #Cybernetics #IntelligentSystems #InquiryDrivenSystems

Survey of Pragmatic Semiotic Information • 7
• http://inquiryintoinquiry.com/2023/07/23/survey-of-pragmatic-semiotic-information-7/

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.

#Peirce #Logic #LogicOfScience #ScientificMethod #InformationTheory
#Pragmatism #Semiotics #SignRelations #PragmaticSemioticInformation

Pragmatic Semiotic Information • Ψ
• http://inquiryintoinquiry.com/2023/07/22/pragmatic-semiotic-information-%cf%88-2/

I remember it was back in ’76 when I began to notice a subtle shift of focus in the computer science journals I was reading, from discussing X to discussing “Information About X”, or \(X \to \mathrm{Info}(X)\) as I came to notate the transformation. I suppose that small arc of revolution had been building for years but it struck me as crossing a threshold to a more explicit, self‑conscious stage about that time.

#Peirce #Logic #LogicOfScience #ScientificMethod #InformationTheory
#Pragmatism #Semiotics #SignRelations #PragmaticSemioticInformation

Systems of Interpretation • 1
• https://inquiryintoinquiry.com/2023/05/05/systems-of-interpretation-1-2/

Questions have arisen about the different styles of diagrams and figures used to represent triadic sign relations in Peircean semiotics. What do they mean? Which style is best? Among the most popular pictures some use geometric triangles while others use the three‑pronged graphs Peirce used in his logical graphs to represent triadic relations.

Diagrams and figures, like any signs, can serve to communicate the intended interpretants and thus to coordinate the conduct of interpreters toward the intended objects — but only in communities of interpretation where the conventions of interpretation are understood. Conventions of interpretation are by comparison far more difficult to communicate.

That brings us to the first question we have to ask about the possibility of communication in this area, namely, what conventions of interpretation are needed to make sense of these diagrams, figures, and graphs?

#Peirce #Logic #LogicalGraphs #RelationTheory #Semiotics #Semiosis
#DiagrammaticReasoning #InterpretiveFrameworks #ObjectiveFrameworks
#SystemsOfInterpretation #SignRelations #TriadicRelations #Visualization

Survey of Inquiry Driven Systems • 5
• https://inquiryintoinquiry.com/2023/04/23/survey-of-inquiry-driven-systems-5/

This is a Survey of work in progress on Inquiry Driven Systems, material I plan to refine toward a systematic treatment of the subject.

An “inquiry driven system” is a system having among its state variables some representing its state of information with respect to various questions of interest, for example, its own state and the states of potential object systems. Thus it has a component of state tracing a trajectory though an “information state space”.

Please follow the above link for the full set of resources.
Articles treating the more central ideas are linked below.

Elements —

Prospects for Inquiry Driven Systems
• https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems

Introduction to Inquiry Driven Systems
• https://oeis.org/wiki/Introduction_to_Inquiry_Driven_Systems

Background —

Functional Logic • Inquiry and Analogy
• https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_Analogy

Functional Logic • Quantification Theory
• https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Quantification_Theory

Functional Logic • Higher Order Propositions
• https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Higher_Order_Propositions

Developments —

Inquiry Driven Systems • Inquiry Fields
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Inquiry_Fields

Inquiry Driven Systems • Inquiry Into Inquiry
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

Applications —

Conceptual Barriers to Creating Integrative Universities
• https://www.academia.edu/1266492/Conceptual_Barriers_to_Creating_Integrative_Universities

Interpretation as Action • The Risk of Inquiry
• https://www.academia.edu/57812482/Interpretation_as_Action_The_Risk_of_Inquiry

An Architecture for Inquiry • Building Computer Platforms for Discovery
• https://www.academia.edu/1270327/An_Architecture_for_Inquiry_Building_Computer_Platforms_for_Discovery

Exploring Research Data Interactively • Theme One : A Program of Inquiry
• https://www.academia.edu/1272839/Exploring_Research_Data_Interactively._Theme_One_A_Program_of_Inquiry

#Peirce #Inquiry #InquiryDrivenSystems #InformationStateSpace
#Semiotics #SignRelations #Interpretation #SystemsEngineering
#Abduction #Deduction #Induction #Analogy #DynamicsOfInquiry

Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2023/03/28/survey-of-animated-logical-graphs-5/

This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.

Please follow the above link for the full set of resources. A couple of beginning pieces are linked below.

Logical Graphs • Introduction
• https://inquiryintoinquiry.com/2008/07/29/logical-graphs-introduction/

Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2008/09/19/logical-graphs-formal-development/

I've been thinking about ways to connect the species of logical graphs I've been developing out of Peirce's entitative and existential graphs with the styles of logical graphs envisioned in the RDF Surfaces group.

One thing arising out of those reflections was I began to tease apart two layers of structure, the one involved in conceiving and computing logical formulas and the other employed in displaying the end results.

At any rate, I'll explore that theme further as we go.

For now, the Survey page linked above will provide an overview of work already done.

#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #PropositionalCalculus #LogicAsSemiotics
#RelationTheory #SignRelations #Semiotics #W3C #RDF #RDFSurfaces

Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2023/03/28/survey-of-animated-logical-graphs-5/

This is a Survey of blog and wiki posts on Logical Graphs, encompassing
several families of graph-theoretic structures originally developed by
Charles S. Peirce as graphical formal languages or visual styles of
syntax amenable to interpretation for logical applications.

Please follow the link above for the full set of resources.
Here I'll just link to a couple of beginning pieces.

Logical Graphs • Introduction
• https://inquiryintoinquiry.com/2008/07/29/logical-graphs-introduction/

Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2008/09/19/logical-graphs-formal-development/

I've been thinking about ways to connect the species of logical graphs
I've been developing out of Peirce's entitative and existential graphs
with the styles of logical graphs envisioned in the RDF Surfaces group.

One thing arising out of those reflections was I began to tease apart
two layers of structure, the one involved in conceiving and computing
logical formulas and the other employed in displaying the end results.

At any rate, I'll be exploring that theme as we go.

For now, the Survey page linked above will provide an overview of work already done.

#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #PropositionalCalculus #LogicAsSemiotics
#RelationTheory #SignRelations #Semiotics #W3C #RDF #RDFSurfaces

Survey of Semiotics, Semiosis, Sign Relations
• https://inquiryintoinquiry.com/2023/04/05/survey-of-semiotics-semiosis-sign-relations-4/

C.S. Peirce defines “logic” as “formal semiotic”, using “formal” to distinguish the role of logic as a normative science, over and above the more descriptive study of signs in the wild and their antics at large. Understanding logic as Peirce understood it therefore requires a companion study of semiotics, semiosis, and sign relations.

This is a Survey of 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”.

Please follow the above link for the full set of resources. I'll link just a sample of basics below.

Elements —
• Semeiotic ( https://oeis.org/wiki/Semeiotic )
• Sign Relations ( https://oeis.org/wiki/Sign_relation )

Sources —

C.S. Peirce • On the Definition of Logic
• https://inquiryintoinquiry.com/2012/06/01/c-s-peirce-on-the-definition-of-logic/

C.S. Peirce • Logic as Semiotic
• https://inquiryintoinquiry.com/2012/06/04/c-s-peirce-logic-as-semiotic/

C.S. Peirce • Objective Logic
• https://inquiryintoinquiry.com/2012/03/09/c-s-peirce-objective-logic/

Blog Series —

• Semeiotic ( https://inquiryintoinquiry.com/2008/07/30/semeiotic/ )

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

Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2023/03/28/survey-of-animated-logical-graphs-5/

This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.

#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#Boole #BooleanAlgebra #BooleanFunctions #Semiotics #Semeiotics
#SpencerBrown #LawsOfForm #PropositionalCalculus #SignRelations

@AndriusKulikauskas

Hi Andrius,

At this point I could only recommend getting better acquainted with #Peirce's #Semiotics.

Here's a motley collection of resources from my own #WebWork and related discussions over the years.

Omnibus Survey Page
• https://inquiryintoinquiry.com/surveys/

#RelationTheory
• https://inquiryintoinquiry.com/2021/11/08/survey-of-relation-theory-5/

#Semiotics, #Semiosis, #SignRelations
• https://inquiryintoinquiry.com/2022/06/26/survey-of-semiotics-semiosis-sign-relations-3/

Regards,
Jon

@mikefriedline @mattslocombe @cognition @cogsci @psychology

Q. What exactly is developing?

A. From a highly formal and #Semiotic point of view, what develops is a #SignRelation.

P.S. The basic idea is really as old as #Aristotle, with a few new twists by C.S. #Peirce, who taught #WilliamJames psychology could be an experimental science.

Some background —
• https://www.academia.edu/57812482/Interpretation_as_Action_The_Risk_of_Inquiry

#Semiotics #Semeiotics #SignRelations

@ceperez

There's a motley assortment of resources linked on the following page.

Survey of #Semiotics, #Semiosis, #SignRelations
• https://inquiryintoinquiry.com/2022/06/26/survey-of-semiotics-semiosis-sign-relations-3/

In the Way of Inquiry • Obstacles 3
• https://inquiryintoinquiry.com/2015/09/12/in-the-way-of-inquiry-obstacles/

One way to test a supposed knowledge is to try to formulate it in such a way that it can be taught to other people. A related test, harder in some ways but easier in others, is to try to formalize it so completely that even a computer could go through the motions that are supposed to be definitive of its practice.

#Peirce #Inquiry #InquiryIntoInquiry
#Semiotics #Semeiotics #SignRelations

In the Way of Inquiry • Recircus
• https://inquiryintoinquiry.com/2015/09/12/in-the-way-of-inquiry-recircus/

I must lie down where all the ladders start
In the foul rag and bone shop of the heart.

— W.B. #Yeats

I have in mind circling back to a point in my project on Inquiry Driven Systems, namely the chapter addressing various Obstacles to the Project.

• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_5#Obstacles

#Peirce #Inquiry #InquiryDrivenSystems #InquiryIntoInquiry
#IntelligentSystems #Semiotics #Semeiotics #SignRelations

#Semiositis • 1.1
• https://inquiryintoinquiry.com/2015/07/10/semiositis-1/

Both types of sign-using systems, #Commerce and #Communication, are prey to the same sort of dysfunction or functional disease — it sets in when users confound signs and objects so severely as to take signs for ends instead of means.

There is a vast literature on this topic, once you think to go looking for it. And it’s a perennial theme in fable and fiction.

#Peirce #Pragmatics #Semiotics #Semeiotics #SignRelations #Triadicity

#Semiositis • 1
• https://inquiryintoinquiry.com/2015/07/10/semiositis-1/

There is a deep and pervasive #Analogy between systems of #Commerce and systems of #Communication, turning on their near-universal use of #Symbola (images, media, proxies, signs, symbols, tokens, etc.) to stand for #Pragmata (objects, objective values, the things we really care about, or would really care about if we examined our values in practice thoroughly enough).

#Peirce #Pragmatics #Semiotics #Semeiotics #SignRelations #Triadicity

#ZerothLawOfSemiotics • Discussion 4.2
• https://inquiryintoinquiry.com/2022/12/25/zeroth-law-of-semiotics-discussion-4/

As Esteban observes, our place-value systems of representation for integers and other numbers are relative to the basis chosen to generate the sequence of place values. The basis is, in effect, the key to the code. We may take this as a special case of a more general fact, one I summed up as follows.

Reference is relative to a frame of reference. In pragmatic semiotics, frames of reference are called #SignRelations”.

#Logic

#ZerothLawOfSemiotics • Discussion 4.1
• https://inquiryintoinquiry.com/2022/12/25/zeroth-law-of-semiotics-discussion-4/

<ET:>
Well the truth value can me true or false or something else — akin to \(5+5=12\) being a true statement, if one knows what base it involves, else it may be false. The same for \(4+4=10\) being a true statement, if one knows what base it involves.
</ET>

Yes, reference is relative to a frame of reference. In pragmatic #Semiotics, frames of reference are called #SignRelations.

#Logic #Peirce #Semeiotics #AllLiarNoParadox

2/2

#Definition and #Determination • #SurveyPage
• https://inquiryintoinquiry.com/2020/09/06/survey-of-definition-and-determination-1/

Thus I was led me to collect a sample of texts where Peirce and a few other writers discuss the issues of definition and determination. There are copies of those selections at the following sites.

(See the blog page linked here.)

#AI #AdaptiveSystems #IntelligentSystems #InquiryDrivenSystems
#Peirce #Semiotics #Semeiotics #SignRelations #LogicOfScience

3/3