A surname transferred from the given name.

(logic) The classically valid but intuitionistically non-valid formula ((P→Q)→P)→P of propositional calculus, which can be used as a substitute for the law of excluded middle in implicational propositional calculus.

Of or pertaining to Charles S. Peirce, 19th-20th century American logician, mathematician, scientist, and philosopher, founder of pragmatism.