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 precedent 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 • Ma^thstodon
cc: Research Gate • Structural Modeling • Systems Science • Syscoi

#arithmetization, #c-s-peirce, #godel-numbers, #higher-order-sign-relations, #inquiry-driven-systems, #inquiry-into-inquiry, #logic, #mathematics, #quotation, #recursion, #reflection, #reflective-interpretive-frameworks, #semiotics, #sign-relations, #triadic-relations, #use-and-mention, #visualization