Category Archives: Logic

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

Cactus Language • Overview 4

Posted on March 12, 2025 by Jon Awbrey

Depending on whether a formal language is called by the type of sign it enlists or the type of object its signs denote, a cactus language may be called a sentential calculus or a propositional calculus, respectively. When the syntactic … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 3 Comments

Cactus Language • Overview 3

Posted on March 7, 2025 by Jon Awbrey

In the development of Cactus Language to date the following two species of graphs have been instrumental. Painted And Rooted Cacti (PARCAI). Painted And Rooted Conifers (PARCOI). It suffices to begin with the first class of data structures, developing their … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 3 Comments

Cactus Language • Overview 2

Posted on March 6, 2025 by Jon Awbrey

In order to facilitate the use of propositions as indicator functions it helps to acquire a flexible notation for referring to propositions in that light, for interpreting sentences in a corresponding role, and for negotiating the requirements of mutual sense … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 4 Comments

Cactus Language • Overview 1

Posted on March 1, 2025 by Jon Awbrey

Thus, what looks to us like a sphere of scientific knowledge more accurately should be represented as the inside of a highly irregular and spiky object, like a pincushion or porcupine, with very sharp extensions in certain directions, and virtually … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 4 Comments

Theory and Therapy of Representations • 5

Posted on February 25, 2025 by Jon Awbrey

Re: R.J. Lipton and K.W. Regan • Legal Complexity I do not pretend to understand the moral universe; the arc is a long one, my eye reaches but little ways; I cannot calculate the curve and complete the figure by … Continue reading →

Posted in Accountability, Adaptive Systems, C.S. Peirce, Cybernetics, Democracy, Economics, Education, Expectation, Governance, Information, Inquiry, Intention, Justice, Law, Logic, Max Weber, Observation, Plato, Pragmata, Representation, Science, Semiotics, Society, Statistics, Systems Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Theory and Therapy of Representations • 4

Posted on February 24, 2025 by Jon Awbrey

Re: Theory and Therapy of Representations • 3 Re: Ontolog Forum • Paola Di Maio JA: What are the forces distorting our representations of what’s observed, what’s expected, and what’s intended? PDM: The short answer is — the force behind all … Continue reading →

Posted in Accountability, Adaptive Systems, C.S. Peirce, Cybernetics, Democracy, Economics, Education, Expectation, Governance, Information, Inquiry, Intention, Justice, Law, Logic, Max Weber, Observation, Plato, Pragmata, Representation, Science, Semiotics, Society, Statistics, Systems Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Theory and Therapy of Representations • 3

Posted on February 23, 2025 by Jon Awbrey

Representation is a concept we find at the intersection of cybernetics, epistemology, logic, mathematics, psychology, and sociology.  In my studies it led me from math to psych and back again, with sidelong glances at the history of democratic governance.  Its … Continue reading →

Posted in Accountability, Adaptive Systems, C.S. Peirce, Cybernetics, Democracy, Economics, Education, Expectation, Governance, Information, Inquiry, Intention, Justice, Law, Logic, Max Weber, Observation, Plato, Pragmata, Representation, Science, Semiotics, Society, Statistics, Systems Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments