Category Archives: Reflection

Reflection On Recursion • 3

Posted on April 13, 2026 by Jon Awbrey

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 … Continue reading →

Posted in Arithmetization, C.S. Peirce, Gödel 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 | Tagged , , , , , , , , , , , , , , , , | Leave a comment

Reflection On Recursion • 2

Posted on April 9, 2026 by Jon Awbrey

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 … Continue reading →

Posted in Arithmetization, C.S. Peirce, Gödel 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 | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Reflection On Recursion • 1

Posted on April 6, 2026 by Jon Awbrey

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 … Continue reading →

Posted in Arithmetization, C.S. Peirce, Gödel 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 | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Reflective Interpretive Frameworks • Incident 1

Posted on March 26, 2026 by Jon Awbrey

Re: William Waites • The Agent That Doesn’t 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 … Continue reading →

Posted in Arithmetization, C.S. Peirce, Gödel 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 | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Higher Order Sign Relations • Discussion 1

Posted on March 27, 2025 by Jon Awbrey

Re: FB | Charles S. Peirce Society • John Corcoran Questions about the proper treatment of use and mention from the standpoint of Peirce’s theory of signs came up recently in discussions on Facebook.  In pragmatic semiotics the trade‑off between … Continue reading →

Posted in Arithmetization, C.S. Peirce, Gödel Numbers, Higher Order Sign Relations, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Logic, Mathematics, Quotation, Reflection, Reflective Interpretive Frameworks, Semiotics, Sign Relations, Triadic Relations, Use and Mention, Visualization | Tagged , , , , , , , , , , , , , , , , | 6 Comments

Higher Order Sign Relations • 1

Posted on March 22, 2025 by Jon Awbrey

Higher Order Sign Relations • Introduction When interpreters reflect on their use of signs they require an appropriate technical language in which to pursue their reflections.  They need signs referring to sign relations, signs referring to elements and components of … Continue reading →

Posted in C.S. Peirce, Higher Order Sign Relations, Inquiry, Inquiry Into Inquiry, Logic, Mathematics, Recursion, Reflection, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , | 6 Comments

Signs Of Signs • 4

Posted on March 20, 2025 by Jon Awbrey

Re: Michael Harris • Language About Language But then inevitably I find myself wondering whether a proof assistant, or even a formal system, can make the distinction between “technical” and “fundamental” questions.  There seems to be no logical distinction.  The … Continue reading →

Posted in Aesthetics, C.S. Peirce, Category Theory, Coherentism, Communication, Connotation, Form, Formal Languages, Foundations of Mathematics, Higher Order Propositions, Illusion, Inquiry, Inquiry Into Inquiry, Interpretation, Interpretive Frameworks, Logic, Mathematics, Objective Frameworks, Objectivism, Pragmatic Semiotic Information, Pragmatics, Pragmatism, Recursion, Reflection, Semantics, Semiotics, Sign Relations, Syntax, Translation, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Signs Of Signs • 3

Posted on March 19, 2025 by Jon Awbrey

Re: Michael Harris • Language About Language And if we don’t [keep our stories straight], who puts us away? One’s answer, or at least one’s initial response to that question will turn on how one feels about formal realities.  As … Continue reading →

Posted in Aesthetics, C.S. Peirce, Category Theory, Coherentism, Communication, Connotation, Form, Formal Languages, Foundations of Mathematics, Higher Order Propositions, Illusion, Inquiry, Inquiry Into Inquiry, Interpretation, Interpretive Frameworks, Logic, Mathematics, Objective Frameworks, Objectivism, Pragmatic Semiotic Information, Pragmatics, Pragmatism, Recursion, Reflection, Semantics, Semiotics, Sign Relations, Syntax, Translation, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Signs Of Signs • 2

Posted on March 18, 2025 by Jon Awbrey

Re: Michael Harris • Language About Language I compared mathematics to a “consensual hallucination”, like virtual reality, and I continue to believe that the aim is to get (consensually) to the point where that hallucination is a second nature. I … Continue reading →

Posted in Aesthetics, C.S. Peirce, Category Theory, Coherentism, Communication, Connotation, Form, Formal Languages, Foundations of Mathematics, Higher Order Propositions, Illusion, Inquiry, Inquiry Into Inquiry, Interpretation, Interpretive Frameworks, Logic, Mathematics, Objective Frameworks, Objectivism, Pragmatic Semiotic Information, Pragmatics, Pragmatism, Recursion, Reflection, Semantics, Semiotics, Sign Relations, Syntax, Translation, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Signs Of Signs • 1

Posted on March 16, 2025 by Jon Awbrey

Re: Michael Harris • Language About Language There is a language and a corresponding literature treating logic and mathematics as related species of communication and information gathering, namely, the pragmatic‑semiotic tradition transmitted through the lifelong efforts of C.S. Peirce.  It is … Continue reading →

Posted in Aesthetics, C.S. Peirce, Category Theory, Coherentism, Communication, Connotation, Form, Formal Languages, Foundations of Mathematics, Higher Order Propositions, Illusion, Inquiry, Inquiry Into Inquiry, Interpretation, Interpretive Frameworks, Logic, Mathematics, Objective Frameworks, Objectivism, Pragmatic Semiotic Information, Pragmatics, Pragmatism, Recursion, Reflection, Semantics, Semiotics, Sign Relations, Syntax, Translation, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments