Category Archives: Logic

Icon, Likeness, Likely Story, Likelihood, Probability • 2

Posted on May 19, 2026 by Jon Awbrey

Re: Peirce List • Phyllis Chiasson I’m still a bit fuzzy on how Aristotle’s account relates to Peirce’s usage, though I’m pretty sure Peirce must have taken Aristotle’s usage into account, but it does seem that Aristotle drew some sort … Continue reading →

Posted in Analogy, Aristotle, C.S. Peirce, Icon Index Symbol, Induction, Inquiry, Likelihood, Likely Story, Likeness, Logic, Mathematics, Probability, Probable Reasoning, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , | Leave a comment

Icon, Likeness, Likely Story, Likelihood, Probability • 1

Posted on May 17, 2026 by Jon Awbrey

Re: Peirce List • Benjamin Udell • Michael Shapiro Here’s a likely locus classicus for “icon” in its logical sense — A probability (εικος) is not the same as a sign (σηµειον).  The former is a generally accepted premiss;  for … Continue reading →

Posted in Analogy, Aristotle, C.S. Peirce, Icon Index Symbol, Induction, Inquiry, Likelihood, Likely Story, Likeness, Logic, Mathematics, Probability, Probable Reasoning, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , | Leave a comment

Reflection On Recursion • Discussion 1

Posted on April 21, 2026 by Jon Awbrey

Re: Reflection On Recursion • 1 Re: Laws of Form • John Mingers JM: This is a very important and interesting topic.  I think you should consider the relationship to self‑reference, indeed are they really the same thing? Also the … 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 • 4

Posted on April 18, 2026 by Jon Awbrey

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 all the while its precedent is being retrieved and processed — thus … 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 • 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 , , , , , , , , , , , , , , , , | 2 Comments

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 , , , , , , , , , , , , , , , , | 4 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

Differential Logic • Discussion 17

Posted on March 18, 2026 by Jon Awbrey

Re: Differential Logic • The Logic of Change and Difference Re: Systems Science Working Group • Paola Di Maio PDM: Subject: Differential Logic — A point of contact with AI Knowledge Representation Dear Jon, Thank you for keeping the bell … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Change, Cybernetics, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Differential Logic • The Logic of Change and Difference

Posted on March 14, 2026 by Jon Awbrey

Differential logic is the logic of variation — the logic of change and difference. Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, and diversity — in universes … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Change, Cybernetics, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , | 4 Comments