Monthly Archives: May 2021

Logical Graphs, Truth Tables, Venn Diagrams • 4

All we are saying is give Peirce a chance Re: Laws of Form • John Mingers • Lyle Anderson Dear John, Lyle, I’ve seen too many ways of interpreting and implementing If‑Then‑Else clauses to know what any one person or … 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 , , , , , , , , , , , , , , | 1 Comment

Logical Graphs, Truth Tables, Venn Diagrams • 3

Re: Laws of Form • John Mingers • Lyle Anderson Dear John, Lyle, There is nothing simple about the interpretation of If-Then-Else constructions in ordinary language as they combine the equivocation between formal and material implication at the outset with … 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 , , , , , , , , , , , , , , | 2 Comments

Logical Graphs, Truth Tables, Venn Diagrams • 2

Re: Laws of Form • John Mingers JM: Most of the recent discussion is about two-variable logic forms where there is a logical relation between two logical variables.  I want to bring up the subject of three-variable logic which 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 , , , , , , , , , , , , , , | 2 Comments

Differential Logic and Dynamic Systems • Discussion 4

Re: Differential Propositional Calculus • Discussions • (1) • (2) • (3) Re: Laws of Form • Lyle Anderson (1) (2) Dear Lyle, I’ve been meaning to get back to your comments linked above — the connections you observed to … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

De In Esse Predication • Preliminaries

Questions have arisen in several places about classical logic and its vicissitudes, what used to be called “deviant logics” in some circles, all of which I recall being hot topics and much-mooted questions when I was a young wffer-snapper and Novice … Continue reading

Posted in C.S. Peirce, Comprehension, Connotation, Denotation, Extension, Indication, Information, Information = Comprehension × Extension, Intension, Intention, Intentionality, Logic, Peirce, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , , , , , , , , , | 1 Comment

Differential Logic and Dynamic Systems • Discussion 3

Re: FB | Differential Logic • Rajib Hossain Pavel RHP: How can Differential Logic find Optimal Condition in a Game setting for an Individual Player (Individual Choice) and Overall System (Social Welfare)? Dear Rajib, Differential logic is a general framework … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Differential Logic and Dynamic Systems • Discussion 2

Re: Michael Harris • Does Mathematics “Progress”? • Comment In several places I can’t find right now I described formalization as an arrow.  A related idea occurs in a paper by Susan Awbrey and myself where we discussed “a dimension … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Differential Logic and Dynamic Systems • Discussion 1

It is understandable that an engineer should be completely absorbed in his speciality, instead of pouring himself out into the freedom and vastness of the world of thought, even though his machines are being sent off to the ends 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Survey of Differential Logic • 3

This is a Survey of blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account. Note.  I am finding one effect of the pandemic has been been to blot out my … 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 • Comment 5

Re: Peirce List • John Sowa : “Modal Logic Is An Immense Swamp” Dear John, Best title I’ve read in a long time!  But the really immense swamp critter here is the Naturally Evolved Organon known as ornery natural language which … Continue reading

Posted in Adaptive Systems, Amphecks, Belief Systems, Boole, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Differential Logic, Discrete Dynamics, Fixation of Belief, Gradient Descent, Graph Theory, Hill Climbing, Hologrammautomaton, Inquiry, Inquiry Driven Systems, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Optimization, Painted Cacti, Peirce, Propositional Calculus, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Comments Off on Differential Logic • Comment 5