## The Difference That Makes A Difference That Peirce Makes : 18

From a functional logic point of view logicians dropped a step backward when they passed from Peirce’s $\sum$ and $\prod$ to the current convention of using $\exists$ and $\forall$ for logical quantifiers.  There’s a rough indication of what I mean at the following location.

Just a reminder to get back to this later …

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