The Difference That Makes A Difference That Peirce Makes : 18

Re: Peter SmithWhich Is The Quantifier?

From a functional point of view it was a step backward when we passed from Peirce’s \sum and \prod to the current convention of \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:

WordPress.com Logo

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

Twitter picture

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

Facebook photo

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

Google+ photo

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

Connecting to %s