Monthly Archives: July 2017

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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

The Difference That Makes A Difference That Peirce Makes • 18

Posted on July 24, 2017 by Jon Awbrey

Re: Peter Smith • Which Is The Quantifier? From a functional logic point of view logicians dropped 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

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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 5 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 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

¿Shifting Paradigms? • 5

Posted on July 16, 2017 by Jon Awbrey

Re: Peter Cameron • Infinity and Foundation We always encounter a multitude of problems whenever we try to rationalize mathematics by reducing it to logic, where logic itself is reduced to a purely deductive style.  A number of thinkers have … 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 , , , , , , , , , , , , , , , | 3 Comments

{ Information = Comprehension × Extension } • Discussion 6

Posted on July 2, 2017 by Jon Awbrey

Re: Peirce List • JA • JFS • JA What interests me about Peirce’s first articulation of the “laws of information” in his early lectures on the “Logic of Science” is how the primal twins of Inquiry and Semiotics nestle … Continue reading →

Posted in Abduction, Belief Fixation, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Logic, Logic of Science, Peirce, Peirce's Categories, Pragmatism, Scientific Method, Semiotic Information, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

{ Information = Comprehension × Extension } • Discussion 5

Posted on July 2, 2017 by Jon Awbrey

Re: Peirce List • John Sowa What you say goes to the heart of a problem I saw in Natural Propositions, whether it was Peirce’s account or Stjernfelt’s analysis I did not have time to decide as the schedule of … Continue reading →

Posted in Abduction, Belief Fixation, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Logic, Logic of Science, Peirce, Peirce's Categories, Pragmatism, Scientific Method, Semiotic Information, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

{ Information = Comprehension × Extension } • Discussion 4

Posted on July 1, 2017 by Jon Awbrey

Re: Peirce List • Jeffrey Brian Downard JBD quoting CSP: I restricted myself to terms, because at the time this chapter was first written (1867), I had not remarked that the whole doctrine of breadth and depth was equally applicable … Continue reading →

Posted in Abduction, Belief Fixation, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Logic, Logic of Science, Peirce, Peirce's Categories, Pragmatism, Scientific Method, Semiotic Information, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 6 Comments