Wouldn't it be better to spend your time learning a more widely used version of predicate calculus? — Banno
Chapter 3 feels like a set up for chapter 4, which is what I said about 1 and 2 so I may just be in that habit. But I felt like it was all a set up for the final paragraph to make sense -- we have the initials of number and order for the calculus of indications, and Chapter 4 begins to actually write out some proofs from what has been written thus far. — Moliere
We have now shown that the two values which the forms of the calculus are intended to indicate are not confused by any
step allowed in the calculus and that, therefore, the calculus does in fact carry out its intention.
Now this is sounding like an esoteric cult. — Banno
...which we can think of as two circuits in parallel on one circuit 'a' operates a switch, and on the other it is the circuit. So if 'a' is on, it turns the switch off and connects via the direct route, and if 'a' is off it connects via the switch. — unenlightened
Using my circuit analogy, on the left, p & r are parallel paths, and so are q & r. So if r = — unenlightened
then p & q are redundant, and 'light is on'. On the other hand if r is empty, it can disappear, leaving the expression on the right. So we have the parallel circuits on the right, of the p&q expression and a solitary r to cover both possibilities. — unenlightened
when we're done with this book, we can maybe look at
http://homepages.math.uic.edu/~kauffman/VarelaCSR.pdf
And perhaps it might start to convince @Banno that we are not a cult
I'm not following the analogy here for T8 very well. How would the analogy work for the worked example of T8: — Moliere
Regrettably, this is the kind of article that goes over my head. — FrancisRay
This is more than just an analogy, it is the application which he was working on when he developed the system. I think it's worth trying to get hold of, particularly when it comes to the really difficult section that introduces time. If you are at all familiar with such things, it is quite commonplace for an electrical switch to be electrically operated, for example by means of an electromagnet physically pulling a lever. — unenlightened
(that seems obviously fatal, but I'm not sure how else to do it) — Moliere
We repeat this demonstration, and give subsequent demonstrations, with only the key indices to the procedure.
That's half way through the proof. With me so far? — unenlightened
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.