Tag Archives: Boolean Algebra

Survey of Theme One Program • 2

This is a Survey of previous blog and wiki posts on the Theme One Program that I developed all through the 1980s.  The aim of the project was to develop fundamental algorithms and data structures to support an integrated learning … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognitive Science, Computation, Computational Complexity, Computer Science, Computing, Constraint Satisfaction Problems, Cybernetics, Data Structures, Diagrammatic Reasoning, Diagrams, Differential Analytic Turing Automata, Education, Educational Systems Design, Educational Technology, Equational Inference, Functional Logic, Graph Theory, Indicator Functions, Inquiry, Inquiry Driven Education, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Knowledge, Learning, Learning Theory, Logic, Logical Graphs, Machine Learning, Mathematics, Mental Models, Minimal Negation Operators, Painted Cacti, Peirce, Programming, Programming Languages, Propositional Calculus, Propositional Equation Reasoning Systems, Propositions, Research Technology, Semeiosis, Semiosis, Semiotics, Sign Relations, Surveys, Teaching, Theorem Proving, Triadic Relations, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Animated Logical Graphs : 12

Re: Facebook Discussion • MBM I’ve always been fond of picture proofs — it was one of the things that drew me to graph theory, topology, and the logical graphs of C.S. Peirce and Spencer Brown in the first place.  Sue was … 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, Deduction, Diagrammatic Reasoning, Duality, Graph Theory, Iconicity, 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Animated Logical Graphs : 11

Re: Richard Coyne • Inside Out Logic Venn diagrams make for very iconic representations of their universes of discourse.  That is one of the main sources of their intuitive utility and also the main source of their logical limitations — … 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, Deduction, Diagrammatic Reasoning, Duality, Graph Theory, Iconicity, 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

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

Re: Laws Of Form Discussion With any formal system it is easy to spend a long time roughing out primitives and reviewing first principles before getting on to practical applications, and logical graphs are no different in that respect.  But … 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, Peirce's Law, 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 • 9

Re: Laws Of Form Discussion • Boundary Logic • RS A wider field of investigation opens up at this point, having to do with the diversity of interactions among the languages we use, and systems of signs in general, 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, Peirce's Law, 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 • 8

Re: Laws Of Form Discussion • Boundary Logic • JW For me, the heart of the matter is what is the purpose of logic and what is the purpose of math and what is their relationship? There are semiotic situations … 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, Peirce's Law, Pragmatic Maxim, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Spencer Brown, Symbolism, Systems Theory, Theorem Proving, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

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

Re: Laws Of Form Discussion • Boundary Logic • CB A statement that implies both and is called a false statement, and anyone can prove anything at all from a false statement, as we all too frequently observe on 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, Peirce's Law, 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