Elsewhere
Blogroll
- A-Philosopher's Chair
- Autopoiesis
- Azimuth Blog
- Azimuth Forum
- Badass Teachers
- Big Education Ape
- Bob Walters
- Cameron Counts
- Cathy O'Neil
- Chorasimilarity
- Christopher Chase
- Coevolving Innovations
- Com(Putational Plexity)
- Computational Culture
- Crazy Crawfish
- Curmudgucation
- Democracy Tree
- Devlin's Angle
- Diana Senechal
- Diane Ravitch
- Error Statistics Philosophy
- Evolution Games
- Fred Klonsky
- Gödel's Lost Letter
- Gil Kalai
- Hieroglyph Blog
- Humanities & Sciences
- Improbable Science
- In Theory
- Inquire Within
- John Pappas
- Judea Pearl • Causality
- Len Troncale • LifeWork
- Logic Matters
- Lou Kauffman
- Luciano Floridi
- Lumber Room
- Markability
- Mathematics w\o Apologies
- Mercedes Schneider
- Michael O. Church
- Michigan Populist
- Nora Bateson
- Not Even Wrong
- Peirce Blog
- Peirce Reader
- Persiflage
- Philip Greenspun
- Philosophasters
- Poetry ∩ Math
- Poor Richard
- Pragmata
- Preposterous Universe
- Progressive Populist
- Punk Rock OR
- Quantum of Explanation
- Quomodocumque
- Renaissance Mathematicus
- Scott Aaronson
- Shtetl-Optimized
- Social Fixer
- Tambo University
- The Becoming Radical
- The Chalk Face
- The Cutting Edge
- The Progressive
- Theodora Goss
- Theorem Du Jour
- Tim Gowers
- Understanding Uncertainty
- Useful Stuff
- Wikispaces Blog
Recent Comments
-
Recent Posts
- The Difference That Makes A Difference That Peirce Makes : 20
- Riffs and Rotes : 4
- Differential Logic and Dynamic Systems • Overview
- Animated Logical Graphs • 31
- Animated Logical Graphs • 30
- Abduction, Deduction, Induction, Analogy, Inquiry : 27
- Animated Logical Graphs • 29
- Abduction, Deduction, Induction, Analogy, Inquiry : 26
- Animated Logical Graphs • 28
- Animated Logical Graphs • 27
- Animated Logical Graphs • 26
- Animated Logical Graphs • 25
- Animated Logical Graphs • 24
- Animated Logical Graphs • 23
- Animated Logical Graphs • 22
- Animated Logical Graphs • 21
- Animated Logical Graphs • 20
- Animated Logical Graphs • 19
- Animated Logical Graphs • 18
- Animated Logical Graphs • 17
- Animated Logical Graphs • 16
- Animated Logical Graphs • 15
- Animated Logical Graphs • 14
- Animated Logical Graphs • 13
- Survey of Animated Logical Graphs • 2
- Conceptual Barriers • 3
- Conceptual Barriers • 2
- Conceptual Barriers • 1
- Semiotics, Semiosis, Sign Relations • 4
- Abductive Inference, Concept Formation, Hypothesis Formation • 1
- Signspiel • 1
- Individuality, Identity, Teridentity • 1
- { Information = Comprehension × Extension } • Discussion 17
- { Information = Comprehension × Extension } • Discussion 16
- { Information = Comprehension × Extension } • Discussion 15
- { Information = Comprehension × Extension } • Discussion 14
- { Information = Comprehension × Extension } • Discussion 13
- { Information = Comprehension × Extension } Revisited • Comment 5
- { Information = Comprehension × Extension } Revisited • Comment 4
- { Information = Comprehension × Extension } Revisited • Comment 3
- { Information = Comprehension × Extension } Revisited • Comment 2
- { Information = Comprehension × Extension } Revisited • Comment 1
- { Information = Comprehension × Extension } • Discussion 12
- { Information = Comprehension × Extension } Revisited • Selection 6
- { Information = Comprehension × Extension } Revisited • Selection 5
- { Information = Comprehension × Extension } • Discussion 11
- { Information = Comprehension × Extension } Revisited • Selection 4
- { Information = Comprehension × Extension } • Discussion 10
- { Information = Comprehension × Extension } Revisited • Selection 3
- { Information = Comprehension × Extension } Revisited • Selection 2
Archives
- September 2019 (4)
- August 2019 (5)
- July 2019 (12)
- June 2019 (1)
- May 2019 (6)
- April 2019 (3)
- March 2019 (3)
- February 2019 (14)
- January 2019 (13)
- December 2018 (12)
- November 2018 (1)
- October 2018 (6)
- September 2018 (9)
- August 2018 (8)
- July 2018 (3)
- June 2018 (14)
- May 2018 (8)
- April 2018 (6)
- March 2018 (6)
- February 2018 (9)
- January 2018 (11)
- December 2017 (4)
- November 2017 (12)
- October 2017 (4)
- September 2017 (6)
- August 2017 (10)
- July 2017 (9)
- June 2017 (14)
- May 2017 (8)
- April 2017 (18)
- March 2017 (14)
- February 2017 (3)
- January 2017 (1)
- December 2016 (2)
- November 2016 (11)
- October 2016 (1)
- September 2016 (2)
- August 2016 (2)
- July 2016 (1)
- June 2016 (2)
- May 2016 (15)
- April 2016 (14)
- March 2016 (22)
- February 2016 (12)
- January 2016 (3)
- December 2015 (7)
- November 2015 (2)
- October 2015 (9)
- September 2015 (24)
- August 2015 (9)
- July 2015 (9)
- June 2015 (6)
- May 2015 (15)
- April 2015 (5)
- March 2015 (7)
- February 2015 (14)
- January 2015 (7)
- December 2014 (2)
- November 2014 (6)
- October 2014 (12)
- September 2014 (8)
- August 2014 (7)
- July 2014 (3)
- June 2014 (12)
- May 2014 (16)
- April 2014 (12)
- March 2014 (8)
- February 2014 (17)
- January 2014 (12)
- December 2013 (10)
- November 2013 (12)
- October 2013 (5)
- September 2013 (2)
- August 2013 (5)
- July 2013 (1)
- June 2013 (5)
- May 2013 (9)
- April 2013 (9)
- March 2013 (7)
- February 2013 (8)
- January 2013 (10)
- December 2012 (14)
- November 2012 (5)
- October 2012 (14)
- September 2012 (5)
- August 2012 (8)
- July 2012 (3)
- June 2012 (14)
- May 2012 (9)
- April 2012 (4)
- March 2012 (4)
- February 2012 (4)
- January 2012 (1)
- December 2011 (2)
- October 2008 (2)
- September 2008 (1)
- August 2008 (2)
- July 2008 (4)
- December 2005 (1)
Blog Stats
- 178,888 hits
Categories
- Abduction
- Abraham Lincoln
- Abstraction
- Absurdity
- Ackermann
- Action
- Adaptability
- Adaptive Systems
- Aesthetics
- Albert Camus
- Algebra
- Algebra of Logic
- Algorithms
- Amphecks
- Analogy
- Analytic Geometry
- Anamnesis
- Animata
- Annual Report
- Anthem
- Anthematics
- Arete
- Argument
- Aristotle
- Arithmetic
- Artem Kaznatcheev
- Article
- Artificial Intelligence
- Artistic Differences
- Ashby
- Assertion
- Assessment
- Authority
- Automata
- Automated Research Tools
- Automation
- Beauty
- Belief
- Belief Fixation
- Bertrand Russell
- Biological Systems
- Boole
- Boolean Algebra
- Boolean Functions
- C.S. Peirce
- Cactus Graphs
- Cardinality
- Carnap
- Cartesian Coordinate System
- Cartesian Linguistics
- Cartesian Philosophy
- Cartesian Product
- Category Theory
- Cathy O'Neil
- Change
- Character
- Chemistry
- Chomsky
- Classification
- Cognition
- Cognitive Science
- Coherence
- Coherentism
- Combinator Calculus
- Combinatorics
- Combinatory Logic
- Comments Elsewhere
- Commerce
- Communication
- Community
- Community of Inquiry
- Community of Interpretation
- Complementarity
- Comprehension
- Computability
- Computation
- Computational Complexity
- Computer Programming
- Computer Science
- Computing
- Concept Formation
- Conceptual Barriers
- Conceptual Graphs
- Conceptual Integration
- Concordance
- Congruence
- Conjecture
- Connotation
- Consciousness
- Consensus
- Constraint
- Constraint Satisfaction Problems
- Construct Validity
- Continua
- Continuity
- Control
- Control Systems
- Control Theory
- Convergence
- Cook's Theorem
- Correspondence
- Cosmogony
- Critical Thinking
- Curry–Howard Isomorphism
- Cybernetics
- Data Structures
- Deborah G. Mayo
- Deduction
- Definition
- Deja Vu
- Democracy
- Denotation
- Descartes
- Descriptive Science
- Determination
- Determinism
- Dewey
- Diagrammatic Reasoning
- Diagrams
- Dialogue
- Differential Analytic Turing Automata
- Differential Calculus
- Differential Logic
- Discovery
- Discrete Dynamical Systems
- Discrete Dynamics
- Discrete Mathematics
- Discreteness
- Discretion
- Dispersion
- Diversity
- Doctrine of Individuals
- Doubt
- Drama
- Dualism
- Duality
- Dyadic Relations
- Dyadicism
- Dynamical Systems
- Dynamics
- Economics
- Education
- Educational Systems Design
- Educational Technology
- Effective Description
- Ego
- Eleatic Stranger
- Enthymeme
- Entropy
- Epimenides
- Epistemology
- Equational Inference
- Error
- Error-Controlled Regulation
- Essentialism
- Eternal Return
- Eternity
- Ethics
- Euclid
- Euler
- Evolution
- Existence
- Existential Choice
- Existentialism
- Expectation
- Extension
- Fallibility
- Falsity
- Feedback
- Finite Means
- Finitude
- Fitness Landscapes
- Fixation of Belief
- Forest Primeval
- Form
- Formal Language Theory
- Formal Languages
- Formal Systems
- Foundations of Mathematics
- Fourier Transforms
- Frankl Conjecture
- Frederik Stjernfelt
- Freedom
- Freud
- Functional Logic
- Fuzzy Logic
- Fuzzy Sets
- Gödel
- General Problem Solver
- Generality
- Generative Grammar
- Genericity
- Geometry
- Gettysburg Address
- Governance
- Grabitational Singularity
- Gradient Descent
- Grammar
- Graph Theory
- Group Theory
- Guest Post
- Haecceity
- Harmonic Analysis
- Heap Problem
- Heraclitus
- Higher Order Propositions
- Hilbert
- Hill Climbing
- History of Mathematics
- History of Science
- Hologrammautomaton
- Homunculi
- Homunculomorphisms
- Humor
- Hypostatic Abstraction
- Hypothesis
- Hypothesis Formation
- Icon Index Symbol
- Iconicity
- Identity
- Ignorance
- Illusion
- Imagination
- In Memoriam
- Incommensurability
- Indication
- Indicator Functions
- Individuality
- Individuals
- Induction
- Inference
- Infinite Use
- Infinitesimals
- Infinity
- Information
- Information = Comprehension × Extension
- Information Resistance
- Information Theory
- Inhibition
- Innate Ideas
- Inquiry
- Inquiry Driven Education
- Inquiry Driven Systems
- Inquiry Into Inquiry
- Inscription
- Instruction
- Integer Sequences
- Intelligent Systems
- Intelligent Systems Engineering
- Intension
- Intention
- Intentional Contexts
- Intentional Objects
- Intentionality
- Intentions
- Internal Models
- Interpretation
- Interpretive Frameworks
- Intuition
- Invention
- Isomorphism
- John Dewey
- John Venn
- Kaina Stoicheia
- Kant
- Knowledge
- Knowledge Bases
- Knowledge Representation
- Lambda Calculus
- Language
- Law of Nature
- Laws of Form
- Learning
- Learning
- Learning Organizations
- Learning Society
- Learning Theory
- Leibniz
- Lewis Carroll
- Liar Paradox
- Likelihood
- Likely Story
- Likeness
- Limitation
- Linguistics
- Logic
- Logic of Relatives
- Logic of Science
- Logical Atoms
- Logical Graphs
- Logical Influence
- Logical Reflexion
- Lotfi Zadeh
- Lou Kauffman
- Machine Learning
- Madeleine
- Maieusis
- Manifolds
- Mantra
- Mathematical Demonstration
- Mathematical Intuition
- Mathematical Models
- Mathematical Reasoning
- Mathematical Traps
- Mathematics
- Matrix Theory
- Max Weber
- Maxim
- Maze
- Meaning
- Measurement
- Mechanization
- Meditation
- Memo
- Memoir
- Memorandum
- Memorial Day
- Memory
- Meno
- Mental Models
- Metabasis
- Metaphysics
- Method
- Michael Harris
- Minimal Negation Operators
- Model Theory
- Modus Ponens
- Molière
- Monadology
- Moneytheism
- Morality
- Morpheus
- Morphism
- Mortality
- Motion
- Music
- Myth
- Mythematics
- Natural Intelligence
- Natural Law
- Networks
- Nietzsche
- Nominalism
- Normative Science
- Nostalgebra
- Nostalgia
- Number Theory
- Objective Frameworks
- Objectivism
- Objects Objectives Objectivity
- Observation
- Ockham
- Ockham's Razor
- Oedipus
- Ontology
- Open Access Research
- Operations Research
- Optimal Control
- Optimization
- Oracles
- Painted Cacti
- Paradigmata
- Paradigms
- Paradox
- Parmenides
- Passion
- Pattern Recognition
- Péter Frankl
- Pedagogy
- Peirce
- Peirce List
- Peirce's Categories
- Peirce's Law
- Perception
- Peter Woit
- Phenomenology
- Philosophy
- Philosophy of Mathematics
- Philosophy of Mind
- Philosophy of Science
- Photo
- Phrenology
- Physics
- Pigeonhole Principle
- Pivotal Variables
- Planck
- Plato
- Plausibility
- Poetry
- Politics
- Praeclarum Theorema
- Pragmata
- Pragmatic Cosmos
- Pragmatic Information
- Pragmatic Maxim
- Pragmatic Semiotic Information
- Pragmatics
- Pragmatism
- Predicate Calculus
- Prigogine
- Probability
- Probable Reasoning
- Problem Solving
- Process
- Process Thinking
- Programming
- Programming Languages
- Proof Theory
- Propositional Calculus
- Propositional Equation Reasoning Systems
- Propositions
- Propositions As Types Analogy
- Proust
- Psychology
- Purpose
- Quanta
- Quantifiers
- Quantum Computing
- Quantum Mechanics
- Question
- Reality
- Reasoning
- Recollection
- Recursion
- Redirect
- Reductionism
- References
- Reflection
- Reification
- Relation Theory
- Relational Algebra
- Relational Programming
- Relative Computability
- Relative Membership
- Relativity
- Relevance
- Repetition
- Representation
- Reproducibility
- Research Technology
- Resistance
- Retroduction
- Reverie
- Revolt
- Rhetoric
- Rhythm
- Richard Kilvington
- Riemann
- Riffs and Rotes
- Rousseau
- Routinization
- Saunders Mac Lane
- Scholarship of Integration
- Science
- Scientific Attitude
- Scientific Inquiry
- Scientific Method
- Second Intentions
- Selfhood
- Semantics
- Semeiosis
- Semiosis
- Semiositis
- Semiotic Information
- Semiotics
- Set Theory
- Shakespeare
- Sign Relational Manifolds
- Sign Relations
- Singularity
- Sisyphus
- Skiourosemiosis
- Social Compact
- Social Media
- Social Networks
- Society
- Socrates
- Sophismata
- Sophist
- Sorites
- Sources
- Spencer Brown
- Statistical Inference
- Statistics
- Structure
- Surveys
- Susan Awbrey
- Sustainability
- Syllogism
- Symbolism
- Synechism
- Syntax
- Systems
- Systems Theory
- Tabula Rasa
- Teaching
- Teaching
- Tenacity
- Teridentity
- Tertium Quid
- Testing
- The Big Picture
- Theatre
- Theorem Proving
- Thirdness
- Thomas Kuhn
- Timaeus
- Time
- Tolkien
- Topology
- Translation
- Triadic Relations
- Triadicity
- Truth
- Truth Theory
- Turing Test
- Type Theory
- Uncategorized
- Uncertainty
- Unity
- Universal Harmony
- Universals
- Use
- Utility
- Valor
- Valour
- Venn Diagrams
- Verse
- Video
- Virtue
- Visualization
- Volition
- Voluntary Project
- Warren S. McCulloch
- Wilhelm von Humboldt
- William James
- Year In Review
- Zeno
- Zeroth Law Of Semiotics
- Zeroth Order Logic
- Abduction Artificial Intelligence Boolean Functions C.S. Peirce Cactus Graphs Cybernetics Deduction Differential Logic Graph Theory Induction Information Inquiry Inquiry Driven Systems Intelligent Systems Laws of Form Logic Logical Graphs Logic of Relatives Logic of Science Mathematics Peirce Philosophy Pragmatism Propositional Calculus Relation Theory Scientific Method Semiotics Sign Relations Spencer Brown Triadic Relations
Logic, Mathematics, Philosophy
Inquiry Driven Systems
Cybernetics
Differential Logic
Logical Graphs
Minimal Negation Operators
Peirce Matters
Relation Theory
Riffs & Rotes
Semeiotics
Theme One
Current Events
Fawkes News
Meta
Category Archives: Spencer Brown
Animated Logical Graphs • 31
Re: Systems Science • Aleksandar Malečić Re: Animated Logical Graphs • 21 AM: Each step on its own, as far as I can follow them, makes sense. You are, if I understand it correctly, trying to figure out something fundamental, … 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 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
1 Comment
Animated Logical Graphs • 30
The duality between Entitative and Existential interpretations of logical graphs is one example of a mathematical symmetry, in this case a symmetry of order 2. Symmetries of this and higher orders give us conceptual handles on excess complexities in the … 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 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
1 Comment
Animated Logical Graphs • 29
Re: Ontolog Forum • Joseph Simpson Re: Animated Logical Graphs • 21 I invoked the general concepts of equivalence and distinction at this point in order to keep the wider backdrop of ideas in mind but since we’ve been focusing … 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 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
1 Comment
Animated Logical Graphs • 28
Re: Ontolog Forum • JS • JA I will have to focus on other business for a couple of weeks — so just by way of reminding myself what we were talking about at this juncture where logical graphs and … Continue reading
Quote
August 3, 2019
Tagged 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
1 Comment
Animated Logical Graphs • 27
The rules given in the previous post for evaluating cactus graphs were given in purely formal terms, that is, by referring to the mathematical forms of cacti without mentioning their potential for logical meaning. As it turns out, two ways … 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 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
1 Comment
Animated Logical Graphs • 26
This post and the next wrap up the Themes and Variations section of my speculation on Futures Of Logical Graphs. I made an effort to “show my work”, reviewing the steps I took to arrive at the present perspective on … 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 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
2 Comments
Animated Logical Graphs • 25
Let’s examine the formal operation table for the third in our series of reflective forms to see if we can elicit the general pattern: Or, thinking in terms of the corresponding cactus graphs, writing for a blank node and for … 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 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
1 Comment
