Tag Archives: Deduction

Animated Logical Graphs • 15

Posted on June 30, 2019 by Jon Awbrey

In George Spencer Brown’s Laws of Form the relation between the primary arithmetic and the primary algebra is founded on the idea that a variable name appearing as an operand in an algebraic expression indicates the contemplated absence or presence … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 13 Comments

Animated Logical Graphs • 14

Posted on May 28, 2019 by Jon Awbrey

Re: Systems Science • Joseph Simpson One thing I added to the current Survey of Animated Logical Graphs is an earlier report titled “Futures Of Logical Graphs” (FOLG), which takes up a number of difficult issues in more detail than … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 13 Comments

Animated Logical Graphs • 13

Posted on May 24, 2019 by Jon Awbrey

Cf: Survey of Animated Logical Graphs The blog post linked above updates my Survey of Resources for Animated Logical Graphs.  It contains links to basic expositions and extended discussions of the graphs themselves, deriving from the Alpha Graphs C.S. Peirce used … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

{ Information = Comprehension × Extension } • Discussion 17

Posted on March 15, 2019 by Jon Awbrey

Re: Ontolog Forum • Joseph Simpson We are in the middle of trying to work out what Peirce has in mind with his concept of information.  He appears to have developed it from purely logical considerations — if logic can … Continue reading →

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

{ Information = Comprehension × Extension } • Discussion 16

Posted on March 8, 2019 by Jon Awbrey

Re: Ontolog Forum • Joseph Simpson To understand the purpose of Peirce’s lecture hall illustrations I think we need to consider how these sorts of expository examples come into being.  Having crafted a few myself the technique is much like … Continue reading →

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

{ Information = Comprehension × Extension } • Discussion 15

Posted on February 28, 2019 by Jon Awbrey

I am roughly at the halfway point of my comments on Peirce’s information formula, having just finished up the link between abductive inference and iconic reference.  The discussion of induction and indexicals will follow pretty much the same pattern, though … Continue reading →

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

{ Information = Comprehension × Extension } • Discussion 14

Posted on February 21, 2019 by Jon Awbrey

Re: Ontolog Forum • Bruce Schuman Information and optimization go hand in hand — discovering the laws or constraints naturally governing the systems in which we live is a big part of moving toward our hearts’ desires within them.  I’m … Continue reading →

Posted in Abduction, Analogy, C.S. Peirce, Comprehension, Cybernetics, Deduction, Extension, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Information Theory, Inquiry, Intension, Logic, Logic of Science, Optimal Control, Optimization, Pragmatic Semiotic Information, Representation, Scientific Method, Semiotics, Sign Relations, Triadicity | Tagged , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

{ Information = Comprehension × Extension } • Discussion 13

Posted on February 19, 2019 by Jon Awbrey

Re: Deborah G. Mayo • R.A. Fisher: “Statistical Methods and Scientific Induction” As much as I incline toward Fisher’s views over those of Neyman and Pearson, I always find these controversies driving me back to Peirce.  It’s my personal sense … Continue reading →

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

{ Information = Comprehension × Extension } Revisited • Comment 5

Posted on February 15, 2019 by Jon Awbrey

Let’s stay with Peirce’s example of abductive inference a little longer and try to clear up the more troublesome confusions that tend to arise. Figure 1 shows the implication ordering of logical terms in the form of a lattice diagram. … Continue reading →

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

{ Information = Comprehension × Extension } Revisited • Comment 4

Posted on February 14, 2019 by Jon Awbrey

Many things still puzzle me about Peirce’s account at this point.  I indicated a few of them by means of question marks at several places in the last two Figures.  There is nothing for it but returning to the text … Continue reading →

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