Daily Archives: October 6, 2008

Peirce’s Law

Peirce’s law is a logical proposition that states a non-obvious truth of classical logic and affords a novel way of defining classical propositional calculus. Continue reading

Posted in Article, C.S. Peirce, Computation, Computer Science, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce's Law, Programming, Proof Theory, Propositions As Types Analogy, Spencer Brown, Type Theory | Tagged , , , , , , , , , , , , , , | 4 Comments