Monthly Archives: August 2019

Animated Logical Graphs • 30

The duality between Entitative and Existential interpretations of logical graphs is a good example of a mathematical symmetry, in this case a symmetry of order two.  Symmetries of this and higher orders give us conceptual handles on excess complexity in … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

Abduction, Deduction, Induction, Analogy, Inquiry • 27

Re: Gil Kalai • Avi Wigderson : Integrating Computational Modeling, Algorithms, and Complexity into Theories of Nature Marks a New Scientific Revolution! I took a look at Avi’s paper “On the Nature of the Theory of Computation” (OtNotToC).  There is … Continue reading

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mental Models, Peirce, Scientific Method, Semiotics, Systems | Tagged , , , , , , , , , , , , , , , | 2 Comments

Animated Logical Graphs • 29

Re: Animated Logical Graphs • 21 Re: Ontolog Forum • Joseph Simpson JS: I tend to view equivalence and distinction as relationships as opposed to operations.  I do not know if this makes any significant difference in this context. Dear Joe, … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Abduction, Deduction, Induction, Analogy, Inquiry • 26

Re: Gil Kalai • Avi Wigderson : Integrating Computational Modeling, Algorithms, and Complexity into Theories of Nature Marks a New Scientific Revolution! Projects giving a central place to computation in scientific inquiry go back to Hobbes and Leibniz, at least, … Continue reading

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mental Models, Peirce, Scientific Method, Semiotics, Systems | Tagged , , , , , , , , , , , , , , , | 6 Comments

Animated Logical Graphs • 28

Re: R.J. Lipton and K.W. Regan • Discrepancy Games and Sensitivity Re: Ontolog Forum • Joseph Simpson Re: Animated Logical Graphs • 24 I will have to focus on other business for a couple of weeks — so just by … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments