Tag Archives: Recursion

Higher Order Sign Relations • 1

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

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

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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Signs Of Signs • 2

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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Signs Of Signs • 1

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

Riffs and Rotes • Happy New Year 2025

No information is lost by dropping the terminal 1s.  Thus we may write the following form. The article linked below tells how forms of that sort correspond to a family of digraphs called riffs and a family of graphs called … Continue reading

Posted in Algebra, Arithmetic, Combinatorics, Computation, Graph Theory, Group Theory, Logic, Mathematics, Number Theory, Recursion, Representation, Riffs and Rotes, Semiotics, Visualization | Tagged , , , , , , , , , , , , , | Leave a comment

Inquiry Driven Systems • Comment 6

Re: Peter Cameron • Publication : An Author’s View Dear Peter, It’s funny you should mention Tennyson’s poem in the context of an author’s view of publication as I once laid out a detailed interpretation of the poem as a … Continue reading

Posted in Analogy, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Logic, Medium = Message, Metaphor, Peirce, Poetry, Quotation, Recursion, Reflection, Semiosis, Semiotics, Sign Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , | 8 Comments

Pragmatic Traction • 7

Re: Peirce List • John Sowa It’s good to remember that observation, perception itself, has an abductive character in Peirce’s analysis and induction for him is more a final testing than initial conception stage.  Yes, it’s wheels upon wheels but … Continue reading

Posted in Abduction, Action, C.S. Peirce, Control, Cybernetics, Deduction, Definition, Determination, Fixation of Belief, Induction, Inference, Information, Inquiry, Inquiry Driven Systems, Learning, Learning Theory, Logic, Logic of Science, Mathematics, Metaphysics, Normative Science, Observation, Peirce, Peirce's Categories, Perception, Phenomenology, Philosophy, Pragmatic Maxim, Pragmatism, Recursion, Scientific Method, Semiotics, Volition | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Signs Of Signs • 4

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

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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment