Category Archives: Spencer Brown

Peirce’s 1903 Lowell Lectures • Comment 2

Posted on November 8, 2017 by Jon Awbrey

How Logic Got Its Blots Cf: Laws Of Form Discussion • JA Taking positive implication as a basic construct, as Peirce does in the lectures at hand, one has to find a way to rationalize the introduction of negative concepts, … Continue reading →

Posted in C.S. Peirce, Diagrammatic Reasoning, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce List, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , | Leave a comment

Peirce’s 1903 Lowell Lectures • Comment 1

Posted on November 6, 2017 by Jon Awbrey

Cf: Laws Of Form Discussion • JA A question arose concerning one of Peirce’s ways of explaining logical negation. Re: Peirce List Discussion • GF I commented as follows. One way of saying “not x” or “x is false” is … Continue reading →

Posted in C.S. Peirce, Diagrammatic Reasoning, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce List, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , | Leave a comment

Peirce’s 1903 Lowell Lectures • Preliminaries

Posted on November 1, 2017 by Jon Awbrey

Cf: Laws Of Form Discussion • JA Re: Peirce List Discussion • GF In September the Peirce List began a reading of Peirce’s 1903 Lowell Lectures (“Some Topics of Logic Bearing on Questions Now Vexed”).  I’ve had opportunities for only … Continue reading →

Posted in C.S. Peirce, Diagrammatic Reasoning, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce List, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , | Leave a comment

¿Shifting Paradigms? • 6

Posted on October 17, 2017 by Jon Awbrey

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

Posted on August 25, 2017 by Jon Awbrey

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 the promise of clearer and more … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Analytic Turing Automata, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 9

Posted on August 22, 2017 by Jon Awbrey

Re: Boundary Logic A wider field of investigation opens up at this point, spanning the diversity of interactions among languages we use, and systems of signs in general, to the thoughts ever streaming through our heads, to the universes we … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 8

Posted on August 22, 2017 by Jon Awbrey

Re: Boundary Logic For me, the heart of the matter is “what is the purpose of logic and what is the purpose of mathematics and what is their relationship?” There are semiotic situations which appear to violate the initial conditions … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 7

Posted on August 21, 2017 by Jon Awbrey

A statement that implies both and is called a false statement, and anyone can prove anything at all from a false statement, as we all too frequently observe on the political front these days. There is however a reasonable way … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 6

Posted on August 18, 2017 by Jon Awbrey

The formal system of logical graphs is defined by a foursome of formal equations, called initials when regarded purely formally, in abstraction from potential interpretations, and called axioms when interpreted as logical equivalences.  There are two arithmetic initials and two … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 5

Posted on August 12, 2017 by Jon Awbrey

Here are blog and wiki versions of an article I wrote on Peirce’s Law, an axiom or theorem (depending on your choice of logical basis) which distinguishes classical from intuitionistic propositional calculus.  Aside from its pivotal logical status it affords … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments