Re: Peter Smith • Which Is The Quantifier?
From a functional logic point of view logicians dropped 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 …