Category Archives: Hill Climbing

Differential Logic, Dynamic Systems, Tangent Functors • 1

People interested in category theory as applied to systems may wish to check out the following article, reporting work I carried out while engaged in a systems engineering program at Oakland University. The problem addressed is a longstanding one, that … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Differential Logic • Comment 3

Re: Laws Of Form Discussion • BL In my previous comment on boundaries in object universes and venn diagrams, and always when I’m being careful about their mathematical senses, the definitions of “topology” and “boundary“ I have in mind can … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Diagrammatic Reasoning, Differential Analytic Turing Automata, Differential Logic, Discrete Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Differential Logic • Comment 2

Re: Laws Of Form Discussion • JB As always, we have to distinguish between the diagram itself, the representation or sign inscribed in some medium, and the formal object it represents under a given interpretation. A venn diagram is an … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Diagrammatic Reasoning, Differential Analytic Turing Automata, Differential Logic, Discrete Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Differential Logic • Comment 1

Re: Gil Kalai • Pivotal Variables Just a tangential association with respect to logical influence and pivotability.  I have been exploring questions related to pivotal variables (“Differences that Make a Difference” or “Difference In ⟹ Difference Out”) via logical analogues … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Differential Analytic Turing Automata, Differential Logic, Discrete Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Logic, Logical Graphs, Logical Influence, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Pivotal Variables, Propositional Calculus, Propositional Equation Reasoning Systems, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Differential Logic • 1

This is a Survey of previous blog and wiki posts on Differential Logic, material that I plan to develop toward a more compact and systematic account. Elements Differential Logic • Introduction Differential Propositional Calculus Architectonics Minimal Negation Operator Cactus Language … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Equational Inference, Frankl Conjecture, Functional Logic, Graph Theory, Hill Climbing, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Surveys, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Alpha Now, Omega Later : 4

Re: Cristopher Moore on Theorems From Physics? It is critically important to distinguish between the objective landscape, the boolean functions as mathematical objects, and the syntactic landscape, the particular formal language we are using as a propositional calculus to denote … Continue reading

Posted in C.S. Peirce, Computational Complexity, Differential Logic, Equational Inference, Fixation of Belief, General Problem Solver, Hill Climbing, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Peirce, Physics, Propositional Calculus, Scientific Inquiry, Scientific Method, Semiotics, Sisyphus, Spencer Brown, Systems Theory, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , | 2 Comments