Tag Archives: Spencer Brown

All Liar, No Paradox • Discussion 2

Re: Laws of Form • James Bowery • John Mingers Dear James, John, et al. The questions arising in the present discussion take us back to the question of what we are using logical values like and for, which takes … Continue reading

Posted in Bertrand Russell, C.S. Peirce, Epimenides, Laws of Form, Liar Paradox, Logic, Logical Graphs, Mathematics, Paradox, Pragmatics, Rhetoric, Semantics, Semiositis, Semiotics, Sign Relations, Spencer Brown, Syntax, Visualization | Tagged , , , , , , , , , , , , , , , , , | Leave a comment

All Liar, No Paradox • Discussion 1

Re: Laws of Form • John Mingers JM: Several people have referred recently to the idea that Laws of Form, and particularly Chapter 11 with imaginary logical values, provides an answer to the problems Russell found in Principia Mathematica leading to … Continue reading

Posted in Bertrand Russell, C.S. Peirce, Epimenides, Laws of Form, Liar Paradox, Logic, Logical Graphs, Mathematics, Paradox, Pragmatics, Rhetoric, Semantics, Semiositis, Semiotics, Sign Relations, Spencer Brown, Syntax, Visualization | Tagged , , , , , , , , , , , , , , , , , | Leave a comment

Logical Graphs, Iconicity, Interpretation • Discussion 2

Re: Logical Graphs, Iconicity, Interpretation • 2 Re: Laws of Form • John Mingers JM: The quote you have given does not match the standard Peircean trichotomy of icon, index, symbol.  See this quote from [CP 4.447 …] Dear John, I … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Logical Graphs, Iconicity, Interpretation • Discussion 1

Re: Logical Graphs, Iconicity, Interpretation • 1 Re: Laws of Form • John Mingers JM: I’m impressed that you have read Ricoeur — my impression is that Americans don’t have much time for Continental philosophy (a huge generalisation of course). … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Logical Graphs, Iconicity, Interpretation • 2

In the first place there are likenesses or copies — such as statues, pictures, emblems, hieroglyphics, and the like.  Such representations stand for their objects only so far as they have an actual resemblance to them — that is agree … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Logical Graphs, Iconicity, Interpretation • 1

If exegesis raised a hermeneutic problem, that is, a problem of interpretation, it is because every reading of a text always takes place within a community, a tradition, or a living current of thought, all of which display presuppositions and … 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

Differential Logic • Comment 7

Re: John Baez • Cyclic Identity for Partial Derivatives • Maxwell’s Relations (1) (2) (3) Much fun can be had by trying to do differentials and partial differentials over the boolean domain instead of the reals I took a first whack … Continue reading

Posted in Adaptive Systems, Amphecks, Belief Systems, Boole, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Differential Logic, Discrete Dynamics, Fixation of Belief, Gradient Descent, Graph Theory, Hill Climbing, Hologrammautomaton, Inquiry, Inquiry Driven Systems, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Optimization, Painted Cacti, Peirce, Propositional Calculus, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Comments Off on Differential Logic • Comment 7

Animated Logical Graphs • 81

Re: R.J. Lipton and K.W. Regan • A Negative Comment On Negations Minsky and Papert’s Perceptrons was the work that nudged me over the line from gestalt psychology, psychophysics, relational biology, etc. and made me believe AI could fly.  I later … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Descriptive and Normative • Discussion 1

Re: Logical Graphs • Discussion 3 Re: Laws of Form • John Mingers JM: I hesitate to enter into this debate but I would want to draw different distinctions to normative/descriptive. I would distinguish (following philosopher Roy Bhaskar) between 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 , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Logical Graphs • Discussion 4

Re: Category Theory • Henry Story HS: Evan Patterson’s “Knowledge Representation in Bicategories of Relations” is also drawn up in terms of string diagrams, as a way of explaining the W3C RDF and OWL standards.  So it looks like we … 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