Category Archives: Deduction

Abduction, Deduction, Induction, Analogy, Inquiry • 1

Posted on August 16, 2012 by Jon Awbrey

Here are several excursions I made into the subjects of Abduction, Deduction, Induction, and Analogy, comparing Peirce’s first formulations with those in Aristotle and focusing on the ways those patterns of inference fit into the Cycle of Inquiry.  Much of … Continue reading →

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mental Models, Peirce, Scientific Method, Semiotics, Systems | Tagged , , , , , , , , , , , , , , , | 6 Comments

Praeclarum Theorema

Posted on October 5, 2008 by Jon Awbrey

The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus that was noted and named by G.W. Leibniz. Continue reading →

Posted in Abstraction, Animata, C.S. Peirce, Cactus Graphs, Deduction, Equational Inference, Form, Graph Theory, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Peirce, Praeclarum Theorema, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , | 17 Comments

Logical Graphs • Formal Development

Posted on September 19, 2008 by Jon Awbrey

Logical graphs are next presented as a formal system by going back to the initial elements and developing their consequences in a systematic manner. Continue reading →

Posted in Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Deduction, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , | 41 Comments

Logical Graphs • Introduction

Posted on July 29, 2008 by Jon Awbrey

A logical graph is a graph-theoretic structure in one of the styles of graphical syntax that Charles Sanders Peirce developed for logic. Continue reading →

Posted in Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Deduction, Diagrammatic Reasoning, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , | 43 Comments