display all the ideas for this combination of philosophers
1 idea
9542 | The best known axiomatization of PL is Whitehead/Russell, with four axioms and two rules [Russell/Whitehead, by Hughes/Cresswell] |
Full Idea: The best known axiomatization of PL is Whitehead/Russell. There are four axioms: (p∨p)→p, q→(p∨q), (p→q)→(q∨p), and (q→r)→((p∨q)→(p∨r)), plus Substitution and Modus Ponens rules. | |
From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by GE Hughes/M Cresswell - An Introduction to Modal Logic Ch.1 |