Category Archives: Venn Diagrams

Logical Graphs, Truth Tables, Venn Diagrams • 9

In November 1619, I had a dream involving the Seventh Ode of Ausonius, which begins Quod vitae sectabor iter [“What road in life shall I follow”]. René Descartes • Experimenta Re: Laws of Form • Lyle Anderson LA: As I … Continue reading

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 1 Comment

Logical Graphs, Truth Tables, Venn Diagrams • 8

Re: Laws of Form • John Mingers • Lyle Anderson Re: Logical Graphs, Truth Tables, Venn Diagrams • (2) • (3) Looking to the day we can make our ascent to logical graphs with increasing numbers of variables, I’d like to … Continue reading

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 1 Comment

Logical Graphs, Truth Tables, Venn Diagrams • 7

Re: Logical Graphs, Truth Tables, Venn Diagrams • 6 Re: Amphecks On the subject of Peirce’s ampheck operators, see the earlier discussion of their duality under entitative and existential interpretations. Animated Logical Graphs • 74 The ampheck operators are dual … Continue reading

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 1 Comment

Logical Graphs, Truth Tables, Venn Diagrams • 6

Re: Laws of Form • John Mingers • Lyle Anderson Dear John, Lyle, See:  Ampheck Peirce discovered this about 1880 but did not publish it, leaving it to be named after Sheffer at a much later date.  In one discussion … Continue reading

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 2 Comments

Logical Graphs, Truth Tables, Venn Diagrams • 5

Re: Laws of Form • Lyle Anderson Re: Anderson, Lyle A. III (1981), “Systematic Analysis of Algorithms”, Open Access Master’s Theses, Paper 1167, (1) (2). Thanks, Lyle, your Chapter 4, “Dealing With Conditional Statements”, provides a detailed treatment of algorithmic … Continue reading

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 1 Comment

Logical Graphs, Truth Tables, Venn Diagrams • 4

All we are saying is give Peirce a chance Re: Laws of Form • John Mingers • Lyle Anderson Dear John, Lyle, I’ve seen too many ways of interpreting and implementing If‑Then‑Else clauses to know what any one person or … Continue reading

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 1 Comment

Logical Graphs, Truth Tables, Venn Diagrams • 3

Re: Laws of Form • John Mingers • Lyle Anderson Dear John, Lyle, There is nothing simple about the interpretation of If-Then-Else constructions in ordinary language as they combine the equivocation between formal and material implication at the outset with … Continue reading

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 2 Comments

Logical Graphs, Truth Tables, Venn Diagrams • 2

Re: Laws of Form • John Mingers JM: Most of the recent discussion is about two-variable logic forms where there is a logical relation between two logical variables.  I want to bring up the subject of three-variable logic which I … Continue reading

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 2 Comments

Logical Graphs, Truth Tables, Venn Diagrams • 1

Re: Peirce List • Mauro Bertani • Helmut Raulien Dear Mauro, Helmut, I’ll be focusing on logical graphs, especially the duality between entitative and existential interpretations, for quite a while longer, so this doesn’t address your questions about modal logic, … Continue reading

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 1 Comment

Indicator Functions • Discussion 1

Peter Smith, on his Logic Matters blog, asks the question, “What Is A Predicate?”, and considers a number of answers. There are of course other possible answers, and one I learned quite early on, arising very naturally in applying mathematical … Continue reading

Posted in Boole, Boolean Functions, C.S. Peirce, Category Theory, Indication, Indicator Functions, Logic, Mathematics, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Set Theory, Venn Diagrams | Tagged , , , , , , , , , , , , | 1 Comment