The Difference That Makes A Difference That Peirce Makes : 18

Re: Peter SmithWhich Is The Quantifier?

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.

Functional Logic • Higher Order Propositions

Just a reminder to get back to this later …

This entry was posted in C.S. Peirce, Category Theory, Complementarity, Duality, Formal Languages, Higher Order Propositions, Indicator Functions, Inquiry, Logic, Logic of Relatives, Logical Graphs, Mathematics, Peirce, Pragmatism, Predicate Calculus, Propositional Calculus, Propositions, Quantifiers, Relation Theory, Semiotics, Type Theory, Zeroth Order Logic and tagged , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

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