Category Archives: Logic

Mathematical Method • Discussion 2

Posted on August 5, 2020 by Jon Awbrey

Re: Peirce List • Auke van Breemen AvB: It seems to come down to:  never consider the textual production of a scientist only in itself, but also look at the reality the text tries to explain. Dear Auke, Exactly! We … Continue reading →

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Mathematical Method • Discussion 1

Posted on August 4, 2020 by Jon Awbrey

Re: Peirce List • John Sowa Dear John, Thanks for the notice of Carolyn Eisele’s article — it’s always worth reading what she has to say.  We’ve had discussions of Peirce’s distinction between theorematic and corollarial reasoning before and I … Continue reading →

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | Leave a comment

Differential Analytic Turing Automata • Discussion 2

Posted on July 31, 2020 by Jon Awbrey

Re: Scott Aaronson • The Busy Beaver Frontier Dear Scott, This discussion inspired me to go back and look at some of the work I did in the late 80s when I was trying to understand Cook’s Theorem.  One of … Continue reading →

Posted in Algorithms, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Differential Analytic Turing Automata, Differential Logic, Logic, Logical Graphs, Peirce, Propositional Calculus, Turing Machines | Tagged , , , , , , , , , , , | Leave a comment

Riffs and Rotes • 5

Posted on July 23, 2020 by Jon Awbrey

Re: Scott Aaronson • The Busy Beaver Frontier All my favorite integer sequences, some very fast growing, spring from the “lambda point” where graph theory, logic, and number theory meet.  My fascination with them goes back to a time when … Continue reading →

Posted in Algebra, Combinatorics, Graph Theory, Group Theory, Logic, Mathematics, Number Theory, Riffs and Rotes | Tagged , , , , , , , | 2 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 9

Posted on July 19, 2020 by Jon Awbrey

Re: FB | Systems Sciences • Kenneth Lloyd Dear Kenneth, Mulling over recent discussions put me in a pensive frame of mind and my thoughts led me back to my first encounter with category theory.  I came across the term … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Comment 1

Posted on July 16, 2020 by Jon Awbrey

Re: Differential Logic, Dynamic Systems, Tangent Functors • 1 Seeing as how quasi-neural models and the recurring issues of symbolic vs. connectionist paradigms have come round again, I thought I might revisit work I began initially in that context, investigating … Continue reading →

Posted in Amphecks, Animata, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Information & Control, Inquiry Driven Systems, Intelligent Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Category Theory • Comment 1

Posted on July 14, 2020 by Jon Awbrey

I’m deep in the middle of upgrading my intro to sign relations and I am determined to stick to it this time but there will be a phase when it’s critical to bring category theory to bear on the development.  … Continue reading →

Posted in Abstraction, C.S. Peirce, Category Theory, Differential Logic, Graph Theory, Group Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Logic, Logical Graphs, Mathematics, Peirce, Peirce's Categories, Research Technology, Scientific Method, Semiotics, Set Theory, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , | Leave a comment

Sign Relations • Discussion 10

Posted on July 9, 2020 by Jon Awbrey

Anthesis • Definition • Signs and Inquiry • Examples Dyadic Aspects • Denotation • Connotation • Ennotation Semiotic Equivalence Relations • (1) • (2) Re: Cybernetics • Klaus Krippendorff • Bernard Scott Re: Ontolog • Mihai Nadin • John Sowa … Continue reading →

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 8 Comments

Sign Relations • Discussion 9

Posted on July 5, 2020 by Jon Awbrey

Re: Sign Relations • Ennotation Re: Peirce List • Helmut Raulien Dear Helmut, Thanks for your comments.  They prompt me to say a little more about the mathematical character of the sign relational models I’m using. Peirce without mathematics is … Continue reading →

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 7 Comments

Sign Relations • Semiotic Equivalence Relations 2

Posted on July 3, 2020 by Jon Awbrey

A few items of notation are useful in discussing equivalence relations in general and semiotic equivalence relations in particular. In general, if is an equivalence relation on a set then every element of belongs to a unique equivalence class under … Continue reading →

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Philosophy, Pragmatic Semiotic Information, Pragmatism, Relation Theory, Semiotics, Sign Relations, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 3 Comments