Tag Archives: Logical Graphs

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

Two things impacting my studies of Peirce and Spencer Brown over the years were my parallel studies in mathematics and computer science.  In the overlap between those areas came courses in logic, mathematical linguistics, and the theory of formal languages, … 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 • 3

Re: Laws of Form There are a number of “difficulties at the beginning” that arise here.  I’ve been trying to get to the point where I can respond to James Bowery’s initial comments and also to questions about the relation … 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

The Difference That Makes A Difference That Peirce Makes • 18

Re: Peter Smith • Which Is The Quantifier? From a functional logic point of view logicians slipped a step backward when they passed from Peirce’s and to the current convention of using and for logical quantifiers.  There’s a rough indication … Continue reading

Posted in C.S. Peirce, Category Theory, Complementarity, Duality, Formal Languages, Higher Order Propositions, Indicator Functions, Inquiry, Logic, Logic of Relatives, Logical Graphs, Mathematics, Peirce, Pragmatism, Predicate Calculus, Propositional Calculus, Propositions, Quantifiers, Relation Theory, Semiotics, Type Theory, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , | Leave a comment

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

Re: Laws of Form I’m making an effort to present this material in a more gradual and logical order than I’ve ever managed to do before.  There are issues about the relationship between episodic and semantic memory that are giving … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

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

It’s almost 50 years now since I first encountered the volumes of Peirce’s Collected Papers in the math library at Michigan State, and shortly afterwards a friend called my attention to the entry for Spencer Brown’s Laws of Form in … 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

James Bowery left a comment on my blog and opened a thread in the Yahoo! group devoted to discussing the mathematics of George Spencer Brown’s Laws of Form.  I’ve been meaning to join that discussion as soon as I could work … 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

The Difference That Makes A Difference That Peirce Makes • 17

Re: Peirce List • JA • GF • JFS • JLRC • JA • JFS • GF A rather amusing, if slightly ominous illustration of the point I am trying to make here has just popped up in the daily … Continue reading

Posted in Automata, C.S. Peirce, Category Theory, Chomsky, Complementarity, Dewey, Formal Languages, Inquiry, Laws of Form, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Peirce, Philosophy, Physics, Pragmatism, Quantum Mechanics, Relation Theory, Relativity, Science, Scientific Method, Semiotics, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

The Difference That Makes A Difference That Peirce Makes • 16

Re: Peirce List • JA • JFS JFS: For those of us who are trying to convince modern students to study Peirce, we need to become bilingual.  We need to show how his terminology and notations map to and from … Continue reading

Posted in Automata, C.S. Peirce, Category Theory, Chomsky, Complementarity, Dewey, Formal Languages, Inquiry, Laws of Form, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Peirce, Philosophy, Physics, Pragmatism, Quantum Mechanics, Relation Theory, Relativity, Science, Scientific Method, Semiotics, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

The Difference That Makes A Difference That Peirce Makes • 15

Re: Peirce List • JA • GF One could hardly dispute the importance of logical implication relations like   Their set-theoretic analogues are subset relations like which are almost the canonical way of expressing constraint, determination, information, and so on.  … Continue reading

Posted in Animata, Automata, C.S. Peirce, Category Theory, Chomsky, Dewey, Formal Languages, Inquiry, Laws of Form, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Philosophy, Physics, Pragmatism, Quantum Mechanics, Relation Theory, Relativity, Science, Scientific Method, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

The Difference That Makes A Difference That Peirce Makes • 14

Re: Peirce List • JA • JFS We find ourselves at the thresh‑old of yet another recurring discussion, this time concerning Peirce’s use of the adjectives formal and quasi‑necessary with normative connotations, all of which I think is clear from … Continue reading

Posted in Automata, C.S. Peirce, Category Theory, Chomsky, Complementarity, Dewey, Formal Languages, Inquiry, Laws of Form, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Peirce, Philosophy, Physics, Pragmatism, Quantum Mechanics, Relation Theory, Relativity, Science, Scientific Method, Semiotics, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment