Category Archives: Category Theory

Peirce’s Categories • 4

Posted on May 11, 2016 by Jon Awbrey

Re: Peirce List Discussions • (1) • (2) • (3) • (4) • (5) Let me state a few principles that have guided me in my efforts to read and understand Peirce for the past fifty years. There is a … Continue reading →

Posted in Abstraction, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce List, Peirce's Categories, Phenomenology, Philosophy, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , , | 8 Comments

Homunculomorphisms • 1

Posted on February 11, 2016 by Jon Awbrey

Re: John Baez • The Internal Model Principle Ashby’s book was my own first introduction to cybernetics and I recently returned to his discussion of regulation games in connection with some issues in Peirce’s theory of inquiry. In that context … Continue reading →

Posted in Ashby, Automata, Category Theory, Control, Control Systems, Control Theory, Cybernetics, Homunculi, Homunculomorphisms, Information, Information Theory, Inquiry, Inquiry Driven Systems, Intentionality, Internal Models, Logic of Science, Mathematics, Mental Models, Optimal Control, Peirce, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Survey of Relation Theory • 2

Posted on November 30, 2015 by Jon Awbrey

In this Survey of blog and wiki posts on Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set-theoretic constructions, many of … Continue reading →

Posted in Algebra, Algebra of Logic, C.S. Peirce, Category Theory, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Graph Theory, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Surveys, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Peirce’s Categories • 3

Posted on November 4, 2015 by Jon Awbrey

Re: Peirce List Recent travels and other travails (dental work) have scattered my thoughts to the four winds, so let me just document a few bits from my current state of mind in case I can get back to it … Continue reading →

Posted in Abstraction, Analogy, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce's Categories, Phenomenology, Philosophy, Pragmatism, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 11 Comments

Peirce’s Categories • 2

Posted on October 31, 2015 by Jon Awbrey

Re: Peirce List • Jeffrey Brian Downard • Gary Richmond • John Collier According to Peirce, it is logic that draws on both mathematics and phenomenology. At any rate, Peirce takes the distinctive position that normative science, which includes logic, … Continue reading →

Posted in Abstraction, C.S. Peirce, Category Theory, Dimensionality, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , | 12 Comments

Peirce’s Categories • 1

Posted on October 30, 2015 by Jon Awbrey

Re: Peirce List • Jeffrey Brian Downard Just from my experience, the best first approach to questions of firstness, secondness, thirdness, and so on is to regard k-ness as the property that all k-adic relations possess in common.  There is … Continue reading →

Posted in Abstraction, C.S. Peirce, Category Theory, Dimensionality, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , | 10 Comments

Relations & Their Relatives • Discussion 12

Posted on July 7, 2015 by Jon Awbrey

Re: Peirce List • Helmut Raulien Definitions and examples for relation composition and the two most commonly arising types of relation reduction can be found in the following articles. Relation Composition Relation Reduction A previous post on this thread gives … Continue reading →

Posted in C.S. Peirce, Category Theory, Control, Cybernetics, Dyadic Relations, Information, Inquiry, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiosis, Semiotics, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , | 12 Comments

Relations & Their Relatives • Discussion 11

Posted on July 6, 2015 by Jon Awbrey

Re: Peirce List • Helmut Raulien Cf: Relation Reduction • Examples of Projectively Reducible Relations I constructed the “Ann and Bob” examples of sign relations back at the beginning of my Systems Engineering program when I had to explain how … Continue reading →

Posted in C.S. Peirce, Category Theory, Control, Cybernetics, Dyadic Relations, Information, Inquiry, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiosis, Semiotics, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , | 12 Comments

Signs Of Signs • 4

Posted on May 31, 2015 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 May 27, 2015 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment