Category Archives: Zeroth Order Logic

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

Survey of Animated Logical Graphs • 1

This is one of several Survey posts I’ll be drafting from time to time, starting with minimal stubs and collecting links to the better variations on persistent themes I’ve worked on over the years.  After that I’ll look to organizing … Continue reading

Posted in Amphecks, Animata, Boole, Boolean Algebra, Boolean Functions, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Surveys, Theorem Proving, 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 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, Peirce List, Physics, Propositional Calculus, Scientific Inquiry, Scientific Method, Semiotics, Sisyphus, Spencer Brown, Systems Theory, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Alpha Now, Omega Later : 3

Re: Theorems From Physics? Bits of Synchronicity … What kind of information process is scientific inquiry? What kinds of information process are involved in the various types of inference — abductive, deductive, inductive — that go to make up scientific … Continue reading

Posted in Differential Logic, Equational Inference, Fixation of Belief, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Peirce, Peirce List, Physics, Propositional Calculus, Scientific Inquiry, Scientific Method, Semiotics, Spencer Brown, Systems Theory, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , | 1 Comment

Alpha Now, Omega Later : 2

It’s been a while since I threaded this thread — and then there were all the delightful distractions of the holiday convergence — so let me refresh my memory as to what drew me back to these environs. I’m still … Continue reading

Posted in Differential Logic, Equational Inference, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Peirce, Peirce List, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown, Systems Theory, Zeroth Order Logic | Tagged , , , , , , , , , , , , , | 1 Comment

Alpha Now, Omega Later : 1

I am still in the middle of trying to catch up on some long put-off work but recent discussions of logical graphs and physics and the like on the Peirce List have bestirred me from my grindstone long enough to … Continue reading

Posted in Differential Logic, Laws of Form, Logic, Logical Graphs, Peirce, Peirce List, Propositional Calculus, Semiotics, Spencer Brown, Systems Theory, Zeroth Order Logic | Tagged , , , , , , , , , , | 3 Comments

Praeclarum Theorema

The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus that was noted and named by G.W. Leibniz. Continue reading

Posted in Article, Deduction, Diagrammatic Reasoning, Graph Theory, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Painted Cacti, Peirce, Praeclarum Theorema, Pragmatism, Semiotics, Spencer Brown, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , | 3 Comments