Charles Sanders Peirce, George Spencer Brown, and Me • 7

A statement $P$ that implies both $Q$ and $\lnot Q$ is called a false statement, and anyone can prove anything at all from a false statement, as we all too frequently observe on the political front these days.

There is however a reasonable way of handling boundaries, for instance, as illustrated by the circumference of a region in a venn diagram, and that is by means of differential logic.  I’ve been tortoising my way toward the goal line of explaining all that, and it’s going a bit slow, but there is a gentle introduction at the other end of the link below, if you wish to achilles ahead.

There’s also a Facebook page devoted to the subject, for anyone who uses that medium:

This site uses Akismet to reduce spam. Learn how your comment data is processed.