Category Archives: Truth Tables

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 →

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 →

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 →

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 →

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 →

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 →

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 →

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 →

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 →