Category Archives: Form

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

Posted on August 6, 2017 by Jon Awbrey

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

Posted on July 31, 2017 by Jon Awbrey

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

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

Posted on July 21, 2017 by Jon Awbrey

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

Posted on July 20, 2017 by Jon Awbrey

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

Posted on July 19, 2017 by Jon Awbrey

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

Definition and Determination • 14

Posted on May 5, 2016 by Jon Awbrey

Re: Peirce List (1) (2) I’ve been trying to sort through the explosion of topics and tangents that have arisen over the past month — disruptions in my actual and virtual office spaces have made it hard for me to … Continue reading →

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Extension, Form, Indication, Information = Comprehension × Extension, Inquiry, Intension, Logic, Logic of Science, Mathematics, Peirce, Semiotics, Structure | Tagged , , , , , , , , , , , , , , , , | 5 Comments

Readings On Determination • Discussion 3

Posted on April 23, 2016 by Jon Awbrey

Re: Readings On Determination • 1 I keep coming back to Peirce’s early lectures on the logic of science because we see there the first inklings of his prospective theory of information, one of those ideas whose time was ripe … Continue reading →

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Differential Logic, Extension, Form, Indication, Information = Comprehension × Extension, Inquiry, Inquiry Driven Systems, Intension, Leibniz, Logic, Logic of Relatives, Mathematics, Peirce, Prigogine, Relation Theory, Relational Programming, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Readings On Determination • 1

Posted on April 22, 2016 by Jon Awbrey

Re: Peirce List (1) (2) The concepts of definition and determination converge in their concern for setting bounds to the point where they coincide at a certain level of abstraction.  One avenue of approach to determination may then begin from a consideration … Continue reading →

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Differential Logic, Extension, Form, Indication, Information = Comprehension × Extension, Inquiry, Inquiry Driven Systems, Intension, Leibniz, Logic, Logic of Relatives, Mathematics, Peirce, Prigogine, Relation Theory, Relational Programming, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Readings On Determination • Discussion 2

Posted on April 21, 2016 by Jon Awbrey

Re: Peirce List (1) (2) Re: Jeffrey Downard (1) (2) (3) Having been through this same discussion on many previous occasions I’ll try to sum up the more persistent confusions never ceasing to bedevil the subject.  Most of these arise from … Continue reading →

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Differential Logic, Extension, Form, Indication, Information = Comprehension × Extension, Inquiry, Inquiry Driven Systems, Intension, Leibniz, Logic, Logic of Relatives, Mathematics, Peirce, Prigogine, Relation Theory, Relational Programming, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Readings On Determination • Discussion 1

Posted on April 21, 2016 by Jon Awbrey

Re: Peirce List (1) (2) What I’m really after here has to do with the way a certain concept of determination figures into Peirce’s better definitions of a sign relation — “better” meaning definitions strong enough to bear the load … Continue reading →

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Differential Logic, Extension, Form, Indication, Information = Comprehension × Extension, Inquiry, Inquiry Driven Systems, Intension, Leibniz, Logic, Logic of Relatives, Mathematics, Peirce, Prigogine, Relation Theory, Relational Programming, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 6 Comments