Re: Peter Smith • Which Is The Quantifier?

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

☞ Functional Logic • Higher Order Propositions

Just a reminder to get back to this later …