Category Archives: Theorem Proving

Re: Operator Variables in Logical Graphs • 6 A funny thing just happened.  Let’s see if we can tell where.  We started with the algebraic expression where the operand suggests the contemplated absence or presence of an arbitrary arithmetic expression.  … Continue reading →

Another tactic I tried by way of porting operator variables into Peirce’s logical graphs and Spencer Brown’s logical forms was to hollow out a leg of the latter’s crosses, gnomons, or markers, whatever you wish to call them, as shown below. … Continue reading →

Re: Operator Variables in Logical Graphs • 4 We have encountered the question of how to extend our formal calculus to take account of operator variables. In the days when I scribbled my logical graphs on the backs of computer … Continue reading →

Re: Operator Variables in Logical Graphs • 3 Last time we contemplated the penultimately simple algebraic expression as a name for a set of arithmetic expressions, specifically, taking the equal sign in the appropriate sense. Then we asked the corresponding … Continue reading →

And if he is told that something is the way it is, then he thinks:  Well, it could probably just as easily be some other way.  So the sense of possibility might be defined outright as the capacity to think … Continue reading →

Re: Operator Variables in Logical Graphs • 1 Re: Cybernetics List • Lou Kauffman LK: I am writing to comment that there are some quite interesting situations that generalize the De Morgan Duality. One well-known one is this.  Let denote the … Continue reading →

Re: Operator Variables in Logical Graphs • 1 Re: Academia.edu • Stephen Duplantier SD: The best way for me to read Peirce is as if he was writing poetry.  So if his algebra is poetry — I imagine him approving … Continue reading →

Operand Variables 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 … Continue reading →

In lieu of a field study requirement for my bachelor’s degree I spent two years in various state and university libraries reading everything I could find by and about Peirce, poring most memorably through reels of microfilmed Peirce manuscripts Michigan … Continue reading →