In the following article:


it is mentioned that Peirce's introduced the use of the symbols $\Sigma$ and $\Pi$ to express logical sums and products, but also to denote the existential and universal quantifiers. Is the use of these symbols related to their use in, for example, intuitionistic type theory as dependent sum and dependent type?

  • $\begingroup$ No. Probably not. I'd argue that there is too much of a direct analogy between sums/products and there-exists/for-every, to think there is some historical context to their use (other than Euler, etc.) $\endgroup$ – Not Mike Dec 19 '17 at 8:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.