Category Archives: Theorem Proving

Charles Sanders Peirce, George Spencer Brown, and Me • 2

Re: Laws Of Form Discussion • JA • JB • AM I’m making an effort to present this material in a more gradual and logical order than I’ve ever managed to do before.  There are issues about the relationship between … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Diagrammatic Reasoning, Differential Logic, Duality, Form, Graph Theory, Iconicity, Information Theory, Inquiry, Laws of Form, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Peirce, Pragmatic Maxim, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Spencer Brown, Symbolism, Systems Theory, Theorem Proving, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 1

Re: Laws Of Form Discussion • Jon Awbrey It’s almost 50 years now since I first encountered the volumes of Peirce’s Collected Papers in the math library at Michigan State, and shortly afterwards a friend called my attention to the … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Diagrammatic Reasoning, Differential Logic, Duality, Form, Graph Theory, Iconicity, Information Theory, Inquiry, Laws of Form, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Peirce, Pragmatic Maxim, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Spencer Brown, Symbolism, Systems Theory, Theorem Proving, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Charles Sanders Peirce, George Spencer Brown, and Me

Re: Laws Of Form Discussion • James Bowery James Bowery left a comment on my blog and opened a thread in the Yahoo! group devoted to discussing the mathematics of George Spencer Brown’s Laws of Form.  I’ve been meaning to … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Diagrammatic Reasoning, Differential Logic, Duality, Form, Graph Theory, Iconicity, Information Theory, Inquiry, Laws of Form, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Peirce, Pragmatic Maxim, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Spencer Brown, Symbolism, Systems Theory, Theorem Proving, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Animated Logical Graphs : 10

Re: Peirce List Discussion • Charles Pyle Let’s consider Peirce’s logical graphs at the alpha level, the abstract forms of which can be interpreted for propositional logic.  I say “can be interpreted” advisedly because the system of logical graphs itself … Continue reading

Posted in Abstraction, Amphecks, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Complementarity, Computational Complexity, Constraint Satisfaction Problems, Diagrammatic Reasoning, Duality, Graph Theory, Interpretation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown, Theorem Proving, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Pragmatic Cosmos • 1

Re: Michael Harris • Not About Fibonacci I have often reflected on the interminglings of the main three normative sciences.  In one of my earliest meditations I saw Beauty, Goodness, and Truth as the intersecting circles of a Venn diagram, with the … Continue reading

Posted in Aesthetics, Anthem, Arete, Beauty, Ethics, Knowledge, Logic, Mathematics, Michael Harris, Morality, Normative Science, Peirce, Philosophy, Pragmata, Pragmatic Cosmos, Pragmatism, Theorem Proving, Truth | Tagged , , , , , , , , , , , , , , , , , | Leave a comment

Prospects for Inquiry Driven Systems • 1

I finally finished retyping the bibliography to my systems engineering project prospectus that had gotten lost in a move between computers, so here is a link to the InterSciWiki copy: Prospects for Inquiry Driven Systems This may be of interest … Continue reading

Posted in Adaptive Systems, Artificial Intelligence, Automated Research Tools, Cactus Graphs, Constraint Satisfaction Problems, Cybernetics, Differential Logic, Dynamical Systems, Educational Systems Design, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems Engineering, Learning, Logic, Logic of Science, Logical Graphs, Machine Learning, Peirce, Reasoning, Scientific Method, Semiotics, Sign Relations, Theorem Proving | Tagged , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs : 9

Re: Ken Regan • The Shapes of Computations The insight that it takes to find a succinct axiom set for a theoretical domain falls under the heading of abductive or retroductive reasoning, a knack as yet refractory to computational attack, … Continue reading

Posted in Amphecks, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Diagrammatic Reasoning, Graph Theory, Inquiry Driven Education, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment