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
- David Ellerman
- Devlin's Angle
- Diana Senechal
- Diane Ravitch
- Error Statistics Philosophy
- Evolution Games
- Fred Klonsky
- Gödel's Lost Letter
- Gil Kalai
- Hidden Assumptions
- Hieroglyph Blog
- Humanities & Sciences
- Improbable Science
- In Theory
- Inquire Within
- Joel David Hamkins
- John Pappas
- Judea Pearl • Causality
- Len Troncale • LifeWork
- Logic Matters
- Lou Kauffman
- Luciano Floridi
- Lumber Room
- Marcus Jenal
- Markability
- Mathematics w\o Apologies
- Mercedes Schneider
- Michael O. Church
- Michigan Populist
- Nora Bateson
- Not Even Wrong
- Peirce Blog
- Peirce Reader
- Persiflage
- Philosophasters
- Poetry ∩ Math
- Poor Richard
- Pragmata
- Preposterous Universe
- Progressive Populist
- Punk Rock OR
- Quantum of Explanation
- Quomodocumque
- Renaissance Mathematicus
- Robert Marty
- Scott Aaronson
- Shtetl-Optimized
- Social Fixer
- Tambo University
- The Becoming Radical
- The Chalk Face
- The Cutting Edge
- The Progressive
- Theodora Goss
- Theorem Du Jour
- Thorbjørn Mann
- Tim Gowers
- Understanding Uncertainty
- Useful Stuff
- Wikispaces Blog
Recent Comments
-
Recent Posts
- Sign Relations, Triadic Relations, Relation Theory • Discussion 2
- Sign Relations, Triadic Relations, Relation Theory • Discussion 1
- Sign Relations, Triadic Relations, Relation Theory • 1
- Theme One • A Program Of Inquiry 19
- Animated Logical Graphs • 44
- Animated Logical Graphs • 43
- Animated Logical Graphs • 42
- Pragmatic Semiotic Information • Discussion 20
- Animated Logical Graphs • 41
- Animated Logical Graphs • 40
- Precursors Of Category Theory • Discussion 3
- Precursors Of Category Theory • Discussion 2
- Survey of Precursors Of Category Theory • 2
- Precursors Of Category Theory • Discussion 1
- Animated Logical Graphs • 39
- Survey of Definition and Determination • 1
- Theme One • A Program Of Inquiry 18
- Survey of Theme One Program • 3
- Animated Logical Graphs • 38
- Survey of Animated Logical Graphs • 3
- Animated Logical Graphs • 37
- Animated Logical Graphs • 36
- Animated Logical Graphs • 35
- Mathematical Method • Discussion 7
- Mathematical Method • Discussion 6
- Animated Logical Graphs • 34
- Mathematical Method • Discussion 5
- Mathematical Method • Discussion 4
- Mathematical Method • Discussion 3
- Mathematical Method • Discussion 2
- Mathematical Method • Discussion 1
- Differential Analytic Turing Automata • Discussion 2
- Riffs and Rotes • 5
- Differential Logic, Dynamic Systems, Tangent Functors • Discussion 9
- Differential Logic, Dynamic Systems, Tangent Functors • Comment 1
- Category Theory • Comment 1
- Sign Relations • Discussion 10
- Sign Relations • Discussion 9
- Sign Relations • Semiotic Equivalence Relations 2
- Sign Relations • Discussion 8
- Sign Relations • Semiotic Equivalence Relations 1
- Sign Relations • Ennotation
- Sign Relations • Discussion 7
- Survey of Inquiry Driven Systems • 2
- Peirce’s Categories • 21
- Sign Relations • Connotation
- Sign Relations • Denotation
- Sign Relations • Discussion 6
- Sign Relations • Dyadic Aspects
- Animated Logical Graphs • 33
Archives
- October 2020 (7)
- September 2020 (10)
- August 2020 (14)
- July 2020 (10)
- June 2020 (20)
- May 2020 (15)
- April 2020 (11)
- March 2020 (16)
- February 2020 (7)
- January 2020 (6)
- December 2019 (12)
- November 2019 (18)
- October 2019 (21)
- September 2019 (10)
- 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
- 414,373 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
- Automatic Theorem Proving
- Automation
- Beauty
- Belief
- Belief Fixation
- Belief Systems
- Bertrand Russell
- Biological Systems
- Boole
- Boolean Algebra
- Boolean Functions
- C.S. Peirce
- Cactus Graphs
- Cardinality
- Carnap
- Cartesian Coordinate System
- Cartesian Philosophy
- Cartesian Product
- Catalan Numbers
- 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
- 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
- Dimensionality
- 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
- Gödel Numbers
- General Problem Solver
- Generality
- Generative Grammar
- Genericity
- Geometry
- Gettysburg Address
- Governance
- Grabitational Singularity
- Gradient Descent
- Grammar
- Graph Theory
- Group Theory
- Guest Post
- H.W. Gould
- Haecceity
- Harmonic Analysis
- Heap Problem
- Heraclitus
- Higher Order Propositions
- Higher Order Sign Relations
- 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 Idea
- Innate Ideas
- Inquiry
- 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
- Irving Anellis
- 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
- Locke
- Logic
- Logic of Relatives
- Logic of Science
- Logical Atoms
- Logical Graphs
- Logical Influence
- Logical Matrices
- Logical Reflexion
- Lotfi Zadeh
- Lou Kauffman
- Machine Learning
- Madeleine
- Maieusis
- Manifolds
- Mantra
- Martin Gardner
- Mathematical Demonstration
- Mathematical Intuition
- Mathematical Models
- Mathematical Reasoning
- Mathematical Traps
- Mathematics
- Matrix Theory
- Max Weber
- Maxim
- Maze
- Meaning
- Measurement
- Mechanization
- Meditation
- Medium = Message
- 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
- Neil Sloane
- 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
- Planted Plane Trees
- 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
- Pythagoras
- Quanta
- Quantifiers
- Quantum Computing
- Quantum Mechanics
- Question
- Quotation
- Realism
- Reality
- Reasoning
- Reciprocity
- Recollection
- Recursion
- Redirect
- Reductionism
- References
- Reflection
- Reflective Interpretive Frameworks
- Regulation
- 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
- Semeiotic
- 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
- Survival
- Susan Awbrey
- Sustainability
- Syllogism
- Symbolism
- Symmetry
- Synechism
- Syntax
- Systems
- Systems Theory
- Tabula Rasa
- Teaching
- Teaching
- Tenacity
- Teridentity
- Tertium Quid
- Testing
- The Big Picture
- Theatre
- Theodore Parker
- Theorem Proving
- Theory
- Thirdness
- Thomas Kuhn
- Thony Christie
- Timaeus
- Time
- Tolkien
- Topology
- Translation
- Triadic Relations
- Triadicity
- Truth
- Truth Theory
- Turing Machines
- Turing Test
- Type Theory
- Uncategorized
- Uncertainty
- Unity
- Universal Harmony
- Universals
- Use
- Utility
- Valor
- Valour
- Variety
- Venn Diagrams
- Verse
- Video
- Virtue
- Visualization
- Volition
- Voluntary Project
- W. Ross Ashby
- Warren S. McCulloch
- Wilhelm von Humboldt
- William James
- Year In Review
- Zeno
- Zeroth Law Of Semiotics
- Zeroth Order Logic
- Abduction Boolean Functions C.S. Peirce Cactus Graphs Cybernetics Deduction Differential Logic Graph Theory Induction Information Inquiry Inquiry Driven Systems Laws of Form Logic Logical Graphs Logic of Relatives Logic of Science Mathematics Minimal Negation Operators Painted Cacti Peirce Philosophy Pragmatism Propositional Calculus Relation Theory Semiotics Sign Relations Spencer Brown Triadic Relations Visualization
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
Theme One • A Program Of Inquiry 19
Re: Richard J. Lipton • Knowledge Is Good It’s the usual thing to say scientific inquiry involves a combination of deductive and inductive reasoning. A slightly different, 3-phase model, going back to Aristotle and revived by Charles S. Peirce, analyzes … Continue reading
Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization
Tagged Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization
Leave a comment
Animated Logical Graphs • 44
Re: FB | Ecology Of Systems Thinking • Richard Saunders RS: DNA and proteins might be good places to look for logical graphs in nature since our tech for mapping those structures has become fairly proficient lately. Do you think … 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
Leave a comment
Animated Logical Graphs • 43
Re: FB | Ecology Of Systems Thinking • Richard Saunders RS: I wonder if we might find such graphs in the physical microstructures of brains, cells, proteins, etc. Dear Richard, You are reading my mind. See the following post 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
1 Comment
Animated Logical Graphs • 42
Re: Richard J. Lipton • Logical Complexity Of Proofs Re: Animated Logical Graphs • (35) (36) (37) (38) (39) (40) (41) Now that our propositional formula is cast in the form of a graph its evaluation proceeds as a sequence … 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 • 41
Re: Richard J. Lipton • Logical Complexity Of Proofs Re: Animated Logical Graphs • (35) (36) (37) (38) (39) (40) Last time we looked at a formula of propositional logic Leibniz called a Praeclarum Theorema (PT). We don’t concur it’s … 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
3 Comments
Animated Logical Graphs • 40
Re: Richard J. Lipton • Logical Complexity Of Proofs Re: Animated Logical Graphs • (35) (36) (37) (38) (39) One way to see the difference between insight proofs and routine proofs is to pick a single example of a theorem … 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
4 Comments
Animated Logical Graphs • 39
Re: Richard J. Lipton • Logical Complexity Of Proofs Happy Peirce’s Birthday, Everyone ❢ We’ve been discussing aspects of proof style arising in connection with the complexity of proofs. In previous posts we took up (1) the aspect of formal … 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
5 Comments
Theme One • A Program Of Inquiry 18
Re: Michael Harris • The Inevitable Questions About Automated Theorem Proving MH: Even if computers understand, they don’t understand in a human way. I like the simple-mindedness of that. (A simple mind is one with no proper normal submind.) Fifty-plus … Continue reading
Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization
Tagged Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization
1 Comment
Survey of Theme One Program • 3
This is a Survey of blog and wiki posts relating to the Theme One Program I worked on all through the 1980s. The aim was to develop fundamental algorithms and data structures for integrating empirical learning with logical reasoning. I … Continue reading
Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization
Tagged Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization
2 Comments
Animated Logical Graphs • 38
Re: Richard J. Lipton • Logical Complexity Of Proofs Three examples of propositional proofs in logical graphs using equational inference rules can be found at the following location. Propositional Equation Reasoning Systems • Exemplary Proofs Animated proofs of the three … 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
6 Comments
