Tag Archives: Model Theory

Animated Logical Graphs • 14

Re: Systems Science • Joseph Simpson One of the things I added to the Survey this time around was an earlier piece of work titled “Futures Of Logical Graphs” (FOLG), which takes up a number of difficult issues in more … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs • 13

Cf: Survey of Animated Logical Graphs The blog post linked above updates my Survey of Resources for Animated Logical Graphs.  It contains links to basic expositions and extended discussions of the graphs themselves, deriving from the Alpha Graphs C.S. Peirce used … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs • 12

Re: Facebook Discussion • Meredith Bricken Mills 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.  … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 1 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 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

¿Shifting Paradigms? • 6

Re: Peter Cameron • Infinity and Foundation C.S. Peirce is one who recognized the constitutional independence of mathematical inquiry, finding at its core a mode of operation tantamount to observation and more primitive than logic itself.  Here is one place … Continue reading

Posted in Algorithms, Boole, C.S. Peirce, Combinatorics, Computation, Foundations of Mathematics, Inquiry, Laws of Form, Leibniz, Logic, Mathematics, Model Theory, Paradigms, Peirce, Proof Theory, Spencer Brown | 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