Author Archives: Jon Awbrey

C.S. Peirce and Category Theory • 3

Posted on June 27, 2021 by Jon Awbrey

Re: Category Theory • Kyle Rivelli KR: I really enjoyed the Diagrammatic Immanence book. Gangle has another book that goes into more depth with Peirce: Gianluca Caterina and Rocco Gangle (2016), Iconicity and Abduction. Thanks, Kyle, I’ve been looking at … Continue reading →

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 4 Comments

C.S. Peirce and Category Theory • 2

Posted on June 24, 2021 by Jon Awbrey

Re: Category Theory • Henry Story HS: This book Diagrammatic Immanence [preview] has a whole chapter on Peirce and Category Theory. There’s a two‑culture tension in the reception of Peirce these days.  Maybe it’s always been that way but it … Continue reading →

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 4 Comments

C.S. Peirce and Category Theory • 1

Posted on June 23, 2021 by Jon Awbrey

Cf: Category Theory • Jon Awbrey I will use this space to post what comes to mind by way of Peirce and Category Theory. Just to get the ball rolling (in good Sisyphean style) here’s my blog of mostly Peirce-related … Continue reading →

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 3 Comments

Differential Logic • Discussion 7

Posted on June 20, 2021 by Jon Awbrey

Re: Differential Logic • 1 Re: FB | Pattern Languages for Systemic Transformation • Steve Kramer SK: Can differential logic be described using category theory?  To what other logical or mathematical modalities does differential logic relate?  Give an example.  Partial … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Differential Logic • Discussion 6

Posted on June 19, 2021 by Jon Awbrey

Re: Differential Logic • 5 Re: Laws of Form • Lyle Anderson JA: The differential proposition may be read as saying “change or change or both”.  And this can be recognized as just what you need to do if you … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Differential Logic • Discussion 5

Posted on June 17, 2021 by Jon Awbrey

Re: Differential Logic • Discussion 4 Re: Laws of Form • Lyle Anderson JA: The differential proposition is one we use to describe a change of state (or a state of change) from to or the reverse. LA: Does this … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Differential Logic • Discussion 4

Posted on June 16, 2021 by Jon Awbrey

Re: Differential Logic • 2 Re: Peirce List • Mauro Bertani MB: About Lobe Connective and Node Connective and their consequences, I have a question: You say that genus and species are evaluated by the proposition The following proposition would … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Differential Logic and Dynamic Systems • Discussion 6

Posted on June 14, 2021 by Jon Awbrey

Re: Differential Logic and Dynamic Systems • Discussions • (4) • (5) Re: Laws of Form • Lyle Anderson LA: Have you ever done any statistical analysis of data, or any of the statistical sciences such as the Theory of … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Differential Logic and Dynamic Systems • Discussion 5

Posted on June 13, 2021 by Jon Awbrey

Re: Differential Logic and Dynamic Systems • Discussion 4 Re: Laws of Form • Lyle Anderson (1) (2) Last time I mentioned a few old writings I thought might serve to smooth the transition from “Differential Propositional Calculus” to the … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

Logical Graphs, Truth Tables, Venn Diagrams • 9

Posted on June 12, 2021 by Jon Awbrey

In November 1619, I had a dream involving the Seventh Ode of Ausonius, which begins Quod vitae sectabor iter [“What road in life shall I follow”]. René Descartes • Experimenta Re: Laws of Form • Lyle Anderson LA: As I … Continue reading →

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 6 Comments