#inquiryintoinquiry — Public Fediverse posts

Reflection On Recursion • Discussion 1

Re: Reflection On Recursion • 1
Re: Laws of Form • John Mingers

Also the work of Maturana and Varela on autopoiesis and the neurophysiology of cognition which also has recursion at its heart.

Thanks, John.  Yes, we certainly find the whole array of self concepts coming into play here — selfhood, autopoiesis or self creation, self reference and self transformation, just to name a few.  But one thing I need to emphasize from the start is how radically different such concepts appear when viewed under x‑rays of Peirce’s pragmatic semiotics.

I forget where I first heard it, but it’s fairly common observation that the persistence of a recurring problem is a symptom of how unlikely it is to be solved in the paradigm where it keeps occurring.

After a while, it simply becomes time to change the paradigm …

Just by way of a first example, take the very idea of “self‑reference”.  The moment we place it in the medium of triadic sign relations we realize signs do not refer to anything at all except insofar as an interpreter refers them.  And when we think to ask, “What is this that we call an interpreter?”, the pragmatic theory of signs tells us we do not know when we turn out the light but under the x‑ray of the pragmatic maxim the sum of its effects is effectively modeled by an extended triadic sign relation.

Everything I’ll be working at here will be done within a framework like that.

Regards,
Jon

Resources

• Inquiry Driven Systems • Inquiry Into Inquiry
• Reflective Interpretive Frameworks
• The Phenomenology of Reflection
• Higher Order Sign Relations

cc: Academia.edu • Cybernetics • Laws of Form • Mathstodon
cc: Research Gate • Structural Modeling • Systems Science • Syscoi

Reflection On Recursion • 4
• https://inquiryintoinquiry.com/2026/04/18/reflection-on-recursion-4/

A feature worth noting in the recursion diagram is the function traversing the square from one triadic node to the other. It preserves an image of the object n all the while its precedent p(n) is being retrieved and processed — thus it injects a measure of parallel process and a modicum of extra memory over and above that afforded by the serial composition of functions.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 4
• https://inquiryintoinquiry.com/2026/04/18/reflection-on-recursion-4/

A feature worth noting in the recursion diagram is the function traversing the square from one triadic node to the other. It preserves an image of the object n all the while its precedent p(n) is being retrieved and processed — thus it injects a measure of parallel process and a modicum of extra memory over and above that afforded by the serial composition of functions.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 4
• https://inquiryintoinquiry.com/2026/04/18/reflection-on-recursion-4/

A feature worth noting in the recursion diagram is the function traversing the square from one triadic node to the other. It preserves an image of the object n all the while its precedent p(n) is being retrieved and processed — thus it injects a measure of parallel process and a modicum of extra memory over and above that afforded by the serial composition of functions.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 4
• https://inquiryintoinquiry.com/2026/04/18/reflection-on-recursion-4/

A feature worth noting in the recursion diagram is the function traversing the square from one triadic node to the other. It preserves an image of the object n all the while its precedent p(n) is being retrieved and processed — thus it injects a measure of parallel process and a modicum of extra memory over and above that afforded by the serial composition of functions.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 4
• https://inquiryintoinquiry.com/2026/04/18/reflection-on-recursion-4/

A feature worth noting in the recursion diagram is the function traversing the square from one triadic node to the other. It preserves an image of the object n all the while its precedent p(n) is being retrieved and processed — thus it injects a measure of parallel process and a modicum of extra memory over and above that afforded by the serial composition of functions.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 4

A feature of special note in the recursion diagram is the function traversing the square from one triadic node to the other.  It preserves an image of the object all the while its precedent is being retrieved and processed — thus it injects a measure of parallel process and a modicum of extra memory over and above that afforded by the serial composition of functions.

Resources

• Inquiry Driven Systems • Inquiry Into Inquiry
• Reflective Interpretive Frameworks
• The Phenomenology of Reflection
• Higher Order Sign Relations

cc: Academia.edu • Cybernetics • Laws of Form • Mathstodon
cc: Research Gate • Structural Modeling • Systems Science • Syscoi

Reflection On Recursion • 3
• https://inquiryintoinquiry.com/2026/04/13/reflection-on-recursion-3/

One other feature of syntactic recursion deserves to be brought into higher relief. Evidence of it can be found in the recursion diagram by examining the places where three paths meet. On the descending side there is the point where three paths diverge. On the ascending side there is the point where the middlemost of the three divergent paths joins the upshot arrow in medias res.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

The arrows of the diagram represent functions, a species of dyadic relations, but nodes of degree three signify aspects of triadic relations somewhere in the mix.

• The three arrows from the initial node represent a function F : N → N×N×N such that F(n) = (p(n), n, f(n)).

• The three arrows at the penultimate node represent a function m : N×N → N such that m(j, k) = jk.

For the sake of a first approach, many questions about triadic relations which might arise at this point can be safely left to later discussions, since the current level of generality is comprehensible enough in functional terms.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 3
• https://inquiryintoinquiry.com/2026/04/13/reflection-on-recursion-3/

One other feature of syntactic recursion deserves to be brought into higher relief. Evidence of it can be found in the recursion diagram by examining the places where three paths meet. On the descending side there is the point where three paths diverge. On the ascending side there is the point where the middlemost of the three divergent paths joins the upshot arrow in medias res.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

The arrows of the diagram represent functions, a species of dyadic relations, but nodes of degree three signify aspects of triadic relations somewhere in the mix.

• The three arrows from the initial node represent a function F : N → N×N×N such that F(n) = (p(n), n, f(n)).

• The three arrows at the penultimate node represent a function m : N×N → N such that m(j, k) = jk.

For the sake of a first approach, many questions about triadic relations which might arise at this point can be safely left to later discussions, since the current level of generality is comprehensible enough in functional terms.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 3
• https://inquiryintoinquiry.com/2026/04/13/reflection-on-recursion-3/

One other feature of syntactic recursion deserves to be brought into higher relief. Evidence of it can be found in the recursion diagram by examining the places where three paths meet. On the descending side there is the point where three paths diverge. On the ascending side there is the point where the middlemost of the three divergent paths joins the upshot arrow in medias res.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

The arrows of the diagram represent functions, a species of dyadic relations, but nodes of degree three signify aspects of triadic relations somewhere in the mix.

• The three arrows from the initial node represent a function F : N → N×N×N such that F(n) = (p(n), n, f(n)).

• The three arrows at the penultimate node represent a function m : N×N → N such that m(j, k) = jk.

For the sake of a first approach, many questions about triadic relations which might arise at this point can be safely left to later discussions, since the current level of generality is comprehensible enough in functional terms.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 3
• https://inquiryintoinquiry.com/2026/04/13/reflection-on-recursion-3/

One other feature of syntactic recursion deserves to be brought into higher relief. Evidence of it can be found in the recursion diagram by examining the places where three paths meet. On the descending side there is the point where three paths diverge. On the ascending side there is the point where the middlemost of the three divergent paths joins the upshot arrow in medias res.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

The arrows of the diagram represent functions, a species of dyadic relations, but nodes of degree three signify aspects of triadic relations somewhere in the mix.

• The three arrows from the initial node represent a function F : N → N×N×N such that F(n) = (p(n), n, f(n)).

• The three arrows at the penultimate node represent a function m : N×N → N such that m(j, k) = jk.

For the sake of a first approach, many questions about triadic relations which might arise at this point can be safely left to later discussions, since the current level of generality is comprehensible enough in functional terms.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 3
• https://inquiryintoinquiry.com/2026/04/13/reflection-on-recursion-3/

One other feature of syntactic recursion deserves to be brought into higher relief. Evidence of it can be found in the recursion diagram by examining the places where three paths meet. On the descending side there is the point where three paths diverge. On the ascending side there is the point where the middlemost of the three divergent paths joins the upshot arrow in medias res.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

The arrows of the diagram represent functions, a species of dyadic relations, but nodes of degree three signify aspects of triadic relations somewhere in the mix.

• The three arrows from the initial node represent a function F : N → N×N×N such that F(n) = (p(n), n, f(n)).

• The three arrows at the penultimate node represent a function m : N×N → N such that m(j, k) = jk.

For the sake of a first approach, many questions about triadic relations which might arise at this point can be safely left to later discussions, since the current level of generality is comprehensible enough in functional terms.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 3

One other feature of syntactic recursion deserves to be brought into higher relief.  Evidence of it can be found in the recursion diagram by examining the places where three paths meet.  On the descending side there is the point where three paths diverge.  On the ascending side there is the point where the middlemost of the three divergent paths joins the upshot arrow in medias res.

The arrows of the diagram represent functions, a species of dyadic relations, but nodes of degree three signify aspects of triadic relations somewhere in the mix.

• The three arrows from the initial node represent a function such that
• The three arrows at the penultimate node represent a function such that

For the sake of a first approach, many questions about triadic relations which might arise at this point can be safely left to later discussions, since the current level of generality is comprehensible enough in functional terms.

Resources

• Inquiry Driven Systems • Inquiry Into Inquiry
• Reflective Interpretive Frameworks
• The Phenomenology of Reflection
• Higher Order Sign Relations

cc: Academia.edu • Cybernetics • Laws of Form • Mathstodon
cc: Research Gate • Structural Modeling • Systems Science • Syscoi

Reflection On Recursion • 2
• https://inquiryintoinquiry.com/2026/04/09/reflection-on-recursion-2/

Turning to the form of a simple recursive function f(n) = m(n, f(p(n))), the clause we used to define it earns the title of “syntactic recursion” due to the way the function name “f” occurring in the defined phrase “f(n)” re‑occurs in the defining phrase “m(n, f(p(n)))”.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

It needs to be clear there is no circle in the definition — each instance of the type f is defined in terms of an instance one step simpler until the base case is reached and fixed by fiat. Instead of a circle then we have two gyres, the gyre down via the precedent function p and the gyre up via the modifier function m.

cc: https://www.academia.edu/community/L24rvm
cc: https://www.academia.edu/community/LE2mrr
cc: https://www.researchgate.net/post/Reflection_On_Recursion

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 2
• https://inquiryintoinquiry.com/2026/04/09/reflection-on-recursion-2/

Turning to the form of a simple recursive function f(n) = m(n, f(p(n))), the clause we used to define it earns the title of “syntactic recursion” due to the way the function name “f” occurring in the defined phrase “f(n)” re‑occurs in the defining phrase “m(n, f(p(n)))”.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

It needs to be clear there is no circle in the definition — each instance of the type f is defined in terms of an instance one step simpler until the base case is reached and fixed by fiat. Instead of a circle then we have two gyres, the gyre down via the precedent function p and the gyre up via the modifier function m.

cc: https://www.academia.edu/community/L24rvm
cc: https://www.academia.edu/community/LE2mrr
cc: https://www.researchgate.net/post/Reflection_On_Recursion

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 2
• https://inquiryintoinquiry.com/2026/04/09/reflection-on-recursion-2/

Turning to the form of a simple recursive function f(n) = m(n, f(p(n))), the clause we used to define it earns the title of “syntactic recursion” due to the way the function name “f” occurring in the defined phrase “f(n)” re‑occurs in the defining phrase “m(n, f(p(n)))”.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

It needs to be clear there is no circle in the definition — each instance of the type f is defined in terms of an instance one step simpler until the base case is reached and fixed by fiat. Instead of a circle then we have two gyres, the gyre down via the precedent function p and the gyre up via the modifier function m.

cc: https://www.academia.edu/community/L24rvm
cc: https://www.academia.edu/community/LE2mrr
cc: https://www.researchgate.net/post/Reflection_On_Recursion

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 2
• https://inquiryintoinquiry.com/2026/04/09/reflection-on-recursion-2/

Turning to the form of a simple recursive function f(n) = m(n, f(p(n))), the clause we used to define it earns the title of “syntactic recursion” due to the way the function name “f” occurring in the defined phrase “f(n)” re‑occurs in the defining phrase “m(n, f(p(n)))”.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

It needs to be clear there is no circle in the definition — each instance of the type f is defined in terms of an instance one step simpler until the base case is reached and fixed by fiat. Instead of a circle then we have two gyres, the gyre down via the precedent function p and the gyre up via the modifier function m.

cc: https://www.academia.edu/community/L24rvm
cc: https://www.academia.edu/community/LE2mrr
cc: https://www.researchgate.net/post/Reflection_On_Recursion

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 2
• https://inquiryintoinquiry.com/2026/04/09/reflection-on-recursion-2/

Turning to the form of a simple recursive function f(n) = m(n, f(p(n))), the clause we used to define it earns the title of “syntactic recursion” due to the way the function name “f” occurring in the defined phrase “f(n)” re‑occurs in the defining phrase “m(n, f(p(n)))”.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

It needs to be clear there is no circle in the definition — each instance of the type f is defined in terms of an instance one step simpler until the base case is reached and fixed by fiat. Instead of a circle then we have two gyres, the gyre down via the precedent function p and the gyre up via the modifier function m.

cc: https://www.academia.edu/community/L24rvm
cc: https://www.academia.edu/community/LE2mrr
cc: https://www.researchgate.net/post/Reflection_On_Recursion

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 2

Turning to the form of a simple recursive function the clause we used to define it earns the title of “syntactic recursion” due to the way the function name occurring in the defined phrase re‑occurs in the defining phrase

It needs to be clear there is no circle in the definition — each instance of the type is defined in terms of an instance one step simpler until the base case is reached and fixed by fiat.  Instead of a circle then we have two gyres, the gyre down via the predecessor function and the gyre up via the modifier function

Resources

• Inquiry Driven Systems • Inquiry Into Inquiry
• Reflective Interpretive Frameworks
• The Phenomenology of Reflection
• Higher Order Sign Relations

cc: Academia.edu • Cybernetics • Laws of Form • Mathstodon (1) (2) (3)
cc: Research Gate • Structural Modeling • Systems Science • Syscoi

Reflection On Recursion • 1.3
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Comment 5 —

Recursion is rife in mathematics and computation, typically sporting its recursive character on its sleeve in the fashion of syntax sketched above.

But mathematics and computation are overlearned subjects and practices, enjoying long histories of being gone over with an eye to articulating every last detail of any way they might be conceived and conducted.

So it's fair to ask whether all that artifice truly tutors nature or only creates a rationalized reconstruction of it. Then again, even if that's all it does, is there anything of use to be learned from it?

Comment 6 —

The prevalence of recursion in mathematics arises from the architecture of mathematical systems.

Mathematical systems grow from a fourfold root.

• “Primitives” are taken as initial terms.

• “Definitions” expound ever more complex terms in relation to the primitives.

• “Axioms” are taken as initial truths.

• “Theorems” follow from the axioms by way of inference rules.

Recursive definitions of mathematical objects and inductive proofs of the corresponding theorems follow closely parallel patterns. And again, in computation, recursive programs follow the same patterns in action.

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 1.3
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Comment 5 —

Recursion is rife in mathematics and computation, typically sporting its recursive character on its sleeve in the fashion of syntax sketched above.

But mathematics and computation are overlearned subjects and practices, enjoying long histories of being gone over with an eye to articulating every last detail of any way they might be conceived and conducted.

So it's fair to ask whether all that artifice truly tutors nature or only creates a rationalized reconstruction of it. Then again, even if that's all it does, is there anything of use to be learned from it?

Comment 6 —

The prevalence of recursion in mathematics arises from the architecture of mathematical systems.

Mathematical systems grow from a fourfold root.

• “Primitives” are taken as initial terms.

• “Definitions” expound ever more complex terms in relation to the primitives.

• “Axioms” are taken as initial truths.

• “Theorems” follow from the axioms by way of inference rules.

Recursive definitions of mathematical objects and inductive proofs of the corresponding theorems follow closely parallel patterns. And again, in computation, recursive programs follow the same patterns in action.

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 1.3
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Comment 5 —

Recursion is rife in mathematics and computation, typically sporting its recursive character on its sleeve in the fashion of syntax sketched above.

But mathematics and computation are overlearned subjects and practices, enjoying long histories of being gone over with an eye to articulating every last detail of any way they might be conceived and conducted.

So it's fair to ask whether all that artifice truly tutors nature or only creates a rationalized reconstruction of it. Then again, even if that's all it does, is there anything of use to be learned from it?

Comment 6 —

The prevalence of recursion in mathematics arises from the architecture of mathematical systems.

Mathematical systems grow from a fourfold root.

• “Primitives” are taken as initial terms.

• “Definitions” expound ever more complex terms in relation to the primitives.

• “Axioms” are taken as initial truths.

• “Theorems” follow from the axioms by way of inference rules.

Recursive definitions of mathematical objects and inductive proofs of the corresponding theorems follow closely parallel patterns. And again, in computation, recursive programs follow the same patterns in action.

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 1.3
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Comment 5 —

Recursion is rife in mathematics and computation, typically sporting its recursive character on its sleeve in the fashion of syntax sketched above.

But mathematics and computation are overlearned subjects and practices, enjoying long histories of being gone over with an eye to articulating every last detail of any way they might be conceived and conducted.

So it's fair to ask whether all that artifice truly tutors nature or only creates a rationalized reconstruction of it. Then again, even if that's all it does, is there anything of use to be learned from it?

Comment 6 —

The prevalence of recursion in mathematics arises from the architecture of mathematical systems.

Mathematical systems grow from a fourfold root.

• “Primitives” are taken as initial terms.

• “Definitions” expound ever more complex terms in relation to the primitives.

• “Axioms” are taken as initial truths.

• “Theorems” follow from the axioms by way of inference rules.

Recursive definitions of mathematical objects and inductive proofs of the corresponding theorems follow closely parallel patterns. And again, in computation, recursive programs follow the same patterns in action.

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 1.3
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Comment 5 —

Recursion is rife in mathematics and computation, typically sporting its recursive character on its sleeve in the fashion of syntax sketched above.

But mathematics and computation are overlearned subjects and practices, enjoying long histories of being gone over with an eye to articulating every last detail of any way they might be conceived and conducted.

So it's fair to ask whether all that artifice truly tutors nature or only creates a rationalized reconstruction of it. Then again, even if that's all it does, is there anything of use to be learned from it?

Comment 6 —

The prevalence of recursion in mathematics arises from the architecture of mathematical systems.

Mathematical systems grow from a fourfold root.

• “Primitives” are taken as initial terms.

• “Definitions” expound ever more complex terms in relation to the primitives.

• “Axioms” are taken as initial truths.

• “Theorems” follow from the axioms by way of inference rules.

Recursive definitions of mathematical objects and inductive proofs of the corresponding theorems follow closely parallel patterns. And again, in computation, recursive programs follow the same patterns in action.

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 1.2
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Comment 3 —

If we discard from the idea of recursion what is not of its essence, we find recursion occurs when our understanding of one situation has recourse to our understanding of other situations.

Very typically, the object situation presents itself as complex, difficult, or unfamiliar while the resource situations are regarded as being better understood.

It must be appreciated, however, that any ranking of situations by level of understanding is contingent on the circumstances in view and may vary radically in alternate settings.

Comment 4 —

Recursion occurs more markedly in “syntactic recursion”, where the recursive process shows its character as such in the symbols of its syntactic expression.

A sense of the difference can be gained by looking at a case of “ostensible syntactic recursion”. (How much substance backs the ostentation is a subject we'll take up, maybe at length, but later …)

Consider the following diagram for the computation of a simple recursive function.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

For example, the factorial function f(n) = n! has a definition in terms of the predecessor function p(n) = n-1 and the multiplier function m(j, k) = j∙k.

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 1.2
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Comment 3 —

If we discard from the idea of recursion what is not of its essence, we find recursion occurs when our understanding of one situation has recourse to our understanding of other situations.

Very typically, the object situation presents itself as complex, difficult, or unfamiliar while the resource situations are regarded as being better understood.

It must be appreciated, however, that any ranking of situations by level of understanding is contingent on the circumstances in view and may vary radically in alternate settings.

Comment 4 —

Recursion occurs more markedly in “syntactic recursion”, where the recursive process shows its character as such in the symbols of its syntactic expression.

A sense of the difference can be gained by looking at a case of “ostensible syntactic recursion”. (How much substance backs the ostentation is a subject we'll take up, maybe at length, but later …)

Consider the following diagram for the computation of a simple recursive function.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

For example, the factorial function f(n) = n! has a definition in terms of the predecessor function p(n) = n-1 and the multiplier function m(j, k) = j∙k.

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 1.2
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Comment 3 —

If we discard from the idea of recursion what is not of its essence, we find recursion occurs when our understanding of one situation has recourse to our understanding of other situations.

Very typically, the object situation presents itself as complex, difficult, or unfamiliar while the resource situations are regarded as being better understood.

It must be appreciated, however, that any ranking of situations by level of understanding is contingent on the circumstances in view and may vary radically in alternate settings.

Comment 4 —

Recursion occurs more markedly in “syntactic recursion”, where the recursive process shows its character as such in the symbols of its syntactic expression.

A sense of the difference can be gained by looking at a case of “ostensible syntactic recursion”. (How much substance backs the ostentation is a subject we'll take up, maybe at length, but later …)

Consider the following diagram for the computation of a simple recursive function.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

For example, the factorial function f(n) = n! has a definition in terms of the predecessor function p(n) = n-1 and the multiplier function m(j, k) = j∙k.

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 1.2
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Comment 3 —

If we discard from the idea of recursion what is not of its essence, we find recursion occurs when our understanding of one situation has recourse to our understanding of other situations.

Very typically, the object situation presents itself as complex, difficult, or unfamiliar while the resource situations are regarded as being better understood.

It must be appreciated, however, that any ranking of situations by level of understanding is contingent on the circumstances in view and may vary radically in alternate settings.

Comment 4 —

Recursion occurs more markedly in “syntactic recursion”, where the recursive process shows its character as such in the symbols of its syntactic expression.

A sense of the difference can be gained by looking at a case of “ostensible syntactic recursion”. (How much substance backs the ostentation is a subject we'll take up, maybe at length, but later …)

Consider the following diagram for the computation of a simple recursive function.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

For example, the factorial function f(n) = n! has a definition in terms of the predecessor function p(n) = n-1 and the multiplier function m(j, k) = j∙k.

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 1.2
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Comment 3 —

If we discard from the idea of recursion what is not of its essence, we find recursion occurs when our understanding of one situation has recourse to our understanding of other situations.

Very typically, the object situation presents itself as complex, difficult, or unfamiliar while the resource situations are regarded as being better understood.

It must be appreciated, however, that any ranking of situations by level of understanding is contingent on the circumstances in view and may vary radically in alternate settings.

Comment 4 —

Recursion occurs more markedly in “syntactic recursion”, where the recursive process shows its character as such in the symbols of its syntactic expression.

A sense of the difference can be gained by looking at a case of “ostensible syntactic recursion”. (How much substance backs the ostentation is a subject we'll take up, maybe at length, but later …)

Consider the following diagram for the computation of a simple recursive function.

Simple Recursion
• https://inquiryintoinquiry.com/wp-content/uploads/2026/03/simple-recursion-fn-mn-fpn.png

For example, the factorial function f(n) = n! has a definition in terms of the predecessor function p(n) = n-1 and the multiplier function m(j, k) = j∙k.

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 1.1
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Ongoing conversations with Dan Everett on Facebook have me backtracking to recurring questions about the relationship between formal language theory (as I once learned it) and the properties of natural languages as they are found occurring in the field.

A point of particular interest is the role of recursion in formal and natural languages, along with collateral questions about its role in the cognitive sciences at large.

It has taken me quite a while to bring my reflections up to the threshold of minimal coherence — and the inquiry remains ongoing — but it may catalyze the thinking process if I simply share what I've thought so far …

Comment 1 —

Recursion is where you find it — so, myself not being a natural language researcher, when someone who is says they don't find it in a given corpus I just take them at their word …

Comment 2 —

The question to which I keep returning has to do with the relationship between two ways we find recursion occurring.

One way I'd call “pragmatic recursion” — if I wanted to be precise and cover its full scope — since so many of its operations occur without conscious direction, but for now I'll defer to more familiar language, calling it “cognitive” or “conceptual” recursion.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 1.1
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Ongoing conversations with Dan Everett on Facebook have me backtracking to recurring questions about the relationship between formal language theory (as I once learned it) and the properties of natural languages as they are found occurring in the field.

A point of particular interest is the role of recursion in formal and natural languages, along with collateral questions about its role in the cognitive sciences at large.

It has taken me quite a while to bring my reflections up to the threshold of minimal coherence — and the inquiry remains ongoing — but it may catalyze the thinking process if I simply share what I've thought so far …

Comment 1 —

Recursion is where you find it — so, myself not being a natural language researcher, when someone who is says they don't find it in a given corpus I just take them at their word …

Comment 2 —

The question to which I keep returning has to do with the relationship between two ways we find recursion occurring.

One way I'd call “pragmatic recursion” — if I wanted to be precise and cover its full scope — since so many of its operations occur without conscious direction, but for now I'll defer to more familiar language, calling it “cognitive” or “conceptual” recursion.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 1.1
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Ongoing conversations with Dan Everett on Facebook have me backtracking to recurring questions about the relationship between formal language theory (as I once learned it) and the properties of natural languages as they are found occurring in the field.

A point of particular interest is the role of recursion in formal and natural languages, along with collateral questions about its role in the cognitive sciences at large.

It has taken me quite a while to bring my reflections up to the threshold of minimal coherence — and the inquiry remains ongoing — but it may catalyze the thinking process if I simply share what I've thought so far …

Comment 1 —

Recursion is where you find it — so, myself not being a natural language researcher, when someone who is says they don't find it in a given corpus I just take them at their word …

Comment 2 —

The question to which I keep returning has to do with the relationship between two ways we find recursion occurring.

One way I'd call “pragmatic recursion” — if I wanted to be precise and cover its full scope — since so many of its operations occur without conscious direction, but for now I'll defer to more familiar language, calling it “cognitive” or “conceptual” recursion.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 1.1
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Ongoing conversations with Dan Everett on Facebook have me backtracking to recurring questions about the relationship between formal language theory (as I once learned it) and the properties of natural languages as they are found occurring in the field.

A point of particular interest is the role of recursion in formal and natural languages, along with collateral questions about its role in the cognitive sciences at large.

It has taken me quite a while to bring my reflections up to the threshold of minimal coherence — and the inquiry remains ongoing — but it may catalyze the thinking process if I simply share what I've thought so far …

Comment 1 —

Recursion is where you find it — so, myself not being a natural language researcher, when someone who is says they don't find it in a given corpus I just take them at their word …

Comment 2 —

The question to which I keep returning has to do with the relationship between two ways we find recursion occurring.

One way I'd call “pragmatic recursion” — if I wanted to be precise and cover its full scope — since so many of its operations occur without conscious direction, but for now I'll defer to more familiar language, calling it “cognitive” or “conceptual” recursion.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflection On Recursion • 1.1
• https://inquiryintoinquiry.com/2026/04/06/reflection-on-recursion-1/

Ongoing conversations with Dan Everett on Facebook have me backtracking to recurring questions about the relationship between formal language theory (as I once learned it) and the properties of natural languages as they are found occurring in the field.

A point of particular interest is the role of recursion in formal and natural languages, along with collateral questions about its role in the cognitive sciences at large.

It has taken me quite a while to bring my reflections up to the threshold of minimal coherence — and the inquiry remains ongoing — but it may catalyze the thinking process if I simply share what I've thought so far …

Comment 1 —

Recursion is where you find it — so, myself not being a natural language researcher, when someone who is says they don't find it in a given corpus I just take them at their word …

Comment 2 —

The question to which I keep returning has to do with the relationship between two ways we find recursion occurring.

One way I'd call “pragmatic recursion” — if I wanted to be precise and cover its full scope — since so many of its operations occur without conscious direction, but for now I'll defer to more familiar language, calling it “cognitive” or “conceptual” recursion.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#RIF_1

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflective Interpretive Frameworks • Incident 1
• https://inquiryintoinquiry.com/2026/03/26/reflective-interpretive-frameworks-incident-1/

Re: William Waites • The Agent That Doesn't Know Itself
• https://johncarlosbaez.wordpress.com/2026/03/20/the-agent-that-doesnt-know-itself/

WW: ❝Why Has Nobody Done This?❞

People who study C.S. Peirce would say reflective reasoning requires triadic relations at core and there is work being done on that. One of the challenges is clarifying the role of triadic relations in category theory and raising them into higher relief as fundamental operations.

Note. I was looking for a word to describe a random encounter with something that jogs one's memory of a recurring theme — “incident” plays into the “reflection” theme and looked worth trying for now.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#Reflective_Interpretive_Frameworks

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/
• https://inquiryintoinquiry.com/2021/07/31/notes-on-categories-2/

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflective Interpretive Frameworks • Incident 1
• https://inquiryintoinquiry.com/2026/03/26/reflective-interpretive-frameworks-incident-1/

Re: William Waites • The Agent That Doesn't Know Itself
• https://johncarlosbaez.wordpress.com/2026/03/20/the-agent-that-doesnt-know-itself/

WW: ❝Why Has Nobody Done This?❞

People who study C.S. Peirce would say reflective reasoning requires triadic relations at core and there is work being done on that. One of the challenges is clarifying the role of triadic relations in category theory and raising them into higher relief as fundamental operations.

Note. I was looking for a word to describe a random encounter with something that jogs one's memory of a recurring theme — “incident” plays into the “reflection” theme and looked worth trying for now.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#Reflective_Interpretive_Frameworks

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/
• https://inquiryintoinquiry.com/2021/07/31/notes-on-categories-2/

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflective Interpretive Frameworks • Incident 1
• https://inquiryintoinquiry.com/2026/03/26/reflective-interpretive-frameworks-incident-1/

Re: William Waites • The Agent That Doesn't Know Itself
• https://johncarlosbaez.wordpress.com/2026/03/20/the-agent-that-doesnt-know-itself/

WW: ❝Why Has Nobody Done This?❞

People who study C.S. Peirce would say reflective reasoning requires triadic relations at core and there is work being done on that. One of the challenges is clarifying the role of triadic relations in category theory and raising them into higher relief as fundamental operations.

Note. I was looking for a word to describe a random encounter with something that jogs one's memory of a recurring theme — “incident” plays into the “reflection” theme and looked worth trying for now.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#Reflective_Interpretive_Frameworks

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/
• https://inquiryintoinquiry.com/2021/07/31/notes-on-categories-2/

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflective Interpretive Frameworks • Incident 1
• https://inquiryintoinquiry.com/2026/03/26/reflective-interpretive-frameworks-incident-1/

Re: William Waites • The Agent That Doesn't Know Itself
• https://johncarlosbaez.wordpress.com/2026/03/20/the-agent-that-doesnt-know-itself/

WW: ❝Why Has Nobody Done This?❞

People who study C.S. Peirce would say reflective reasoning requires triadic relations at core and there is work being done on that. One of the challenges is clarifying the role of triadic relations in category theory and raising them into higher relief as fundamental operations.

Note. I was looking for a word to describe a random encounter with something that jogs one's memory of a recurring theme — “incident” plays into the “reflection” theme and looked worth trying for now.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#Reflective_Interpretive_Frameworks

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/
• https://inquiryintoinquiry.com/2021/07/31/notes-on-categories-2/

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

Reflective Interpretive Frameworks • Incident 1
• https://inquiryintoinquiry.com/2026/03/26/reflective-interpretive-frameworks-incident-1/

Re: William Waites • The Agent That Doesn't Know Itself
• https://johncarlosbaez.wordpress.com/2026/03/20/the-agent-that-doesnt-know-itself/

WW: ❝Why Has Nobody Done This?❞

People who study C.S. Peirce would say reflective reasoning requires triadic relations at core and there is work being done on that. One of the challenges is clarifying the role of triadic relations in category theory and raising them into higher relief as fundamental operations.

Note. I was looking for a word to describe a random encounter with something that jogs one's memory of a recurring theme — “incident” plays into the “reflection” theme and looked worth trying for now.

Resources —

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

Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#Reflective_Interpretive_Frameworks

The Phenomenology of Reflection
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_11#The_Phenomenology_of_Reflection

Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations

Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/
• https://inquiryintoinquiry.com/2021/07/31/notes-on-categories-2/

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations

In the Way of Inquiry • Objections to Reflexive Inquiry 3
• https://inquiryintoinquiry.com/2023/02/05/in-the-way-of-inquiry-objections-to-reflexive-inquiry-a/

An episode of inquiry bears the stamp of an interlude — it begins and ends “in medias res” with respect to actions and circumstances neither fixed nor fully known. As easy as it may be to overlook the contingent character of the inquiry process it's just as essential to observe a couple of its consequences:

First, it means genuine inquiry does not touch on the inciting action at points of total doubt or absolute certainty. An incident of inquiry does not begin or end in absolute totalities but only in the differential and relative measures which actually occasion its departures and resolutions.

Inquiry as a process does not demand absolutely secure foundations from which to set out or any “place to stand” from which to examine the balance of onrushing events. It needs no more than it does in fact have at the outset — assumptions not in practice doubted just a moment before and a circumstance of conflict that will force the whole situation to be reviewed before returning to the normal course of affairs.

Second, the interruptive character or escapist interpretation of inquiry is especially significant when contemplating programs of inquiry with recursive definitions, as the motivating case of inquiry into inquiry. It means the termination criterion for an inquiry subprocess is whatever allows continuation of the calling process.

Overview
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

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

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Recursion #Reflection #Refraction #InformationResistance
#Interruption #Obstruction #Reconstruction #Reconstitution

In the Way of Inquiry • Objections to Reflexive Inquiry 2
• https://inquiryintoinquiry.com/2023/02/05/in-the-way-of-inquiry-objections-to-reflexive-inquiry-a/

Our agent of inquiry is brought to the threshold of two questions:

• What actions are available to achieve the aims of the present activity?

• What assumptions already accepted are advisable to amend or abandon?

The inquirer is faced in the object of inquiry with an obstinately oppositional state of affairs, a character marked by the Greek word “pragma” for “object”, whose manifold of senses and derivatives includes among its connotations the ideas of purposeful objectives and problematic objections, and not too incidentally both inquiries and expositions.

Overview
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

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

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Anomaly #Doubt #Discrepancy #Dispersion #Entropy #Uncertainty
#Interruption #Obstruction #Information #Comprehension #Extension
#Pragma #Pragmata #Purpose #Objective #Problem #Objection #Praxis
#Semiotics #SignRelations #Semiositis #Reflection #SelfApplication

In the Way of Inquiry • Objections to Reflexive Inquiry 1
• https://inquiryintoinquiry.com/2023/02/05/in-the-way-of-inquiry-objections-to-reflexive-inquiry-a/

Inquiry begins when an automatic routine or normal course of activity is interrupted and agents are thrown into doubt concerning what is best to do next and what is really true of their situation. If this interruptive aspect of inquiry applies at the level of self‑application then occasions for inquiry into inquiry arise when an ongoing inquiry into any subject becomes obstructed and agents are obliged to initiate a new order of inquiry in order to overcome the obstacle.

At such moments agents need the ability to pause and reflect — to accept the interruption of the inquiry in progress, to acknowledge the higher order of uncertainty obstructing the current investigation, and finally to examine accepted conventions and prior convictions regarding the conduct of inquiry in general. The next order of inquiry requires agents to articulate the assumptions embodied in previous inquiries, to consider their practical effects in light of their objective intents, and to reconstruct forms of conduct which formerly proceeded through their paces untroubled by any articulate concern.

Overview
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

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

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Anomaly #Doubt #Discrepancy #Dispersion #Entropy #Uncertainty
#Interruption #Obstruction #Information #Comprehension #Extension

In the Way of Inquiry • Reconciling Accounts
• https://inquiryintoinquiry.com/2023/01/24/in-the-way-of-inquiry-reconciling-accounts-a/

The Reader may share with the Author a feeling of discontent at this point, attempting to reconcile the formal intentions of this inquiry with the cardinal contentions of experience. Let me try to express the difficulty in the form of a question:

What is the bond between form and content in experience, between the abstract formal categories and the concrete material contents residing in experience?

Once toward the end of my undergrad years a professor asked me how I'd personally define mathematics and I told him I saw it as “the form of experience and the experience of form”. This is not the place to argue for the virtues of that formulation but it does afford me one of the handles I have on the bond between form and content in experience.

I have no more than a tentative way of approaching the question. I take there to be a primitive category of “form‑in‑experience” — I don’t have a handy name for it yet but it looks to have a flexible nature which from the standpoint of a given agent easily passes from the “structure of experience” to the “experience of structure”.

Overview
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

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

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Semiotics #SignRelations #Semiositis #ObstaclesToInquiry
#Logic #Abduction #Deduction #Induction #ScientificMethod
#Experience #Expectation #EffectiveDescription #FiniteMeans
#Abstraction #Analogy #Form #Matter #Empiricism #Rationalism
#Concretion #Information #Comprehension #Extension #Intension

In the Way of Inquiry • Material Exigency 2
• https://inquiryintoinquiry.com/2023/01/20/in-the-way-of-inquiry-material-exigency-a/

A turn of events so persistent must have a cause, a force of reason to explain the dynamics of its recurring moment in the history of ideas. The nub of it's not born on the sleeve of its first and last stages, where the initial explosion and the final collapse march along their stubborn course in lockstep fashion, but is embodied more naturally in the middle of the above narrative.

Experience exposes and explodes expectations. How can experiences impact expectations unless the two types of entities are both reflected in one medium, for instance and perhaps without loss of generality, in the form of representation constituting the domain of signs?

However complex its world may be, internal or external to itself or on the boundaries of its being, a finite creature's description of it rests in a finite number of finite terms or a finite sketch of finite lines. Finite terms and lines are signs. What they indicate need not be finite but what they are, must be.

Fragments —

The common sensorium.

The common sense and the senses of “common”.

This is the point where the empirical and the rational meet.

I describe as “empirical” any method which exposes theoretical descriptions of an object to further experience with that object.

Overview
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

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

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Semiotics #SignRelations #Semiositis #ObstaclesToInquiry
#Logic #Abduction #Deduction #Induction #ScientificMethod
#Experience #Expectation #EffectiveDescription #FiniteMeans
#Abstraction #Analogy #Form #Matter #Empiricism #Rationalism

In the Way of Inquiry • Material Exigency 1
• https://inquiryintoinquiry.com/2023/01/20/in-the-way-of-inquiry-material-exigency-a/

Our survey of obstacles to inquiry has dealt at length with blocks arising from its formal aspects. On the other hand, I have cast this project as an empirical inquiry, proposing to represent experimental hypotheses in the form of computer programs. At the heart of that empirical attitude is a feeling all formal theories should arise from and bear on experience.

Every season of growth in empirical knowledge begins with a rush to the sources of experience. Every fresh‑thinking reed of intellect is raised to pipe up and chime in with the still‑viable canons of inquiry in one glorious paean to the personal encounter with natural experience.

But real progress in the community of inquiry depends on observers being able to orient themselves to objects of common experience — the uncontrolled exaltation of individual phenomenologies leads as a rule to the disappointment and disillusionment which befalls the lot of unshared enthusiasms and fragmented impressions.

Look again at the end of the season and see it faltering to a close, with every novice scribe rapped on the knuckles for departing from that uninspired identification with impersonal authority which expresses itself in third‑person passive accounts of one's own experience.

Overview
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

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

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Semiotics #SignRelations #Semiositis #ObstaclesToInquiry
#Logic #Abduction #Deduction #Induction #ScientificMethod
#Abstraction #Analogy #Form #Matter #Empiricism #Rationalism

In the Way of Inquiry • Formal Apology 4
• https://inquiryintoinquiry.com/2023/01/12/in-the-way-of-inquiry-formal-apology-a/

Interpretive Frameworks —

Iterations of the recombinatorial process generate alternative hierarchies of categories for controlling the explosion of parts in the domain under inquiry. If by some piece of luck an alternative framework is uniquely suited to the natural ontology of the domain in question, it becomes advisable to reorganize the inquiry along the lines of the new topic headings.

But a complex domain seldom falls out that neatly. The new interpretive framework will not preserve all the information in the object domain but typically capture only another aspect of it. To take the maximal advantage of all the different frameworks that might be devised it is best to quit depending on any one of them exclusively. Thus, a rigid reliance on a single hierarchy to define the ontology of a given domain passes over into a flexible application of interpretive frameworks to make contact with particular aspects of one's object domain.

Overview
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

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

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Semiotics #SignRelations #Semiositis #ObstaclesToInquiry
#Logic #Abduction #Deduction #Induction #ScientificMethod
#Abstraction #Analogy #Form #Matter #Paradigms #Pragmatics
#Aristotle #Categories #Complexity #InterpretiveFrameworks

In the Way of Inquiry • Formal Apology 3
• https://inquiryintoinquiry.com/2023/01/12/in-the-way-of-inquiry-formal-apology-a/

Explosional Recombinations —

Another obstacle to inquiry is posed by the combinatorial explosion of questions arising in complex cases. The embarrassment of riches found here is deceptively deadly to the ends of inquiry in the very measure it appears so productive at first. An eye to form provides a way to manage the wealth of material diversity by identifying formal similarities among materially distinct domains. It allows the same formal answer to unify a host of concrete questions under a single roof, overall reducing the number of distinct topics that need to be covered.

Overview
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

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

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Semiotics #SignRelations #Semiositis #ObstaclesToInquiry
#Logic #Abduction #Deduction #Induction #ScientificMethod
#Abstraction #Form #Isomorphism #Combinatorics #Complexity

In the Way of Inquiry • Formal Apology 2
• https://inquiryintoinquiry.com/2023/01/12/in-the-way-of-inquiry-formal-apology-a/

Conceptual Extensions —

The second use of the formal apology is to permit the tentative extension of concepts to novel areas, giving them experimental trial beyond the cases and domains where their use is already established in the precedents of accustomed habit and successful application.

This works to dispel the “in principle” objection that any category distinction puts a prior constraint on the recognition of similar structure between materially dissimilar domains. It leaves the issue a matter to be settled by after the fact judgment, a matter of what fits best “in practice”.

Overview
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

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

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Semiotics #SignRelations #Semiositis #ObstaclesToInquiry
#Logic #Abduction #Deduction #Induction #ScientificMethod
#Abstraction #Analogy #Form #Matter #Paradigms #Pragmatics

In the Way of Inquiry • Formal Apology 1
• https://inquiryintoinquiry.com/2023/01/12/in-the-way-of-inquiry-formal-apology-a/

Using “form” in the sense of abstract structure, the focus of my interest in this investigation is limited to the formal properties of the inquiry process. Among its chief constituents are numbered all the thinking and unthinking processes supporting the ability to learn and to reason. This “formal apology”, the apologetics of declaring a decidedly formal intent, will be used on numerous occasions to beg off a host of material difficulties and thus avoid the perceived necessity of meeting a multitude of conventional controversies.

Category Double‑Takes —

The first use of the formal apology is to rehabilitate certain classes of associations between concepts otherwise marked as category mistakes. The conversion is achieved by flipping from one side of the concept’s dual aspect to the other as the context demands. Thus it is possible in selected cases to reform the characters of category mistakes in the manner of categorical “retakes” or “double‑takes”.

Overview
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

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

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Semiotics #SignRelations #Semiositis #ObstaclesToInquiry
#Logic #Abduction #Deduction #Induction #ScientificMethod
#Abstraction #Analogy #Form #Matter #Aristotle #Categories

In the Way of Inquiry • Justification Trap
• https://inquiryintoinquiry.com/2023/01/10/in-the-way-of-inquiry-justification-trap-a/

There is a particular type of “justification trap” a person can fall into, of trying to prove the scientific method by deductive means alone, that is, of trying to show the scientific method is a good method by starting from the simplest possible axioms, principles everyone would accept, about what is good.

Often this happens, despite the fact one really knows better, simply in the process of arranging one's thoughts in a rational order, say, from the most elementary and independent to the most complex and derivative, as if for the sake of a logical and summary exposition. But when does that rearrangement cease to be a rational reconstruction and start to become a destructive rationalization, a distortion of the genuine article, and a falsification of the authentic inquiry it attempts to recount?

Sometimes people express their recognition of this trap and their appreciation of the factor it takes to escape it by saying there is really no such thing as the scientific method, that the very term “scientific method” is a misnomer and does not refer to any uniform method at all. As they see it, the development of knowledge cannot be reduced to any fixed method because it involves in an essential way such a large component of non‑methodical activity. If one's idea of what counts as method is fixed on the ideal of a deductive procedure then it's no surprise one draws that conclusion.

Overview
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

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

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Semiotics #SignRelations #Semiositis #ObstaclesToInquiry
#Logic #Abduction #Deduction #Induction #ScientificMethod