Combining Texts

Ideas for 'A Problem about Substitutional Quantification?st1=Saul A. Kripke', 'Aristotle and Descartes on Matter' and 'Conditionals (Stanf)'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / c. Derivation rules of PL

14273

Conditional Proof is only valid if we accept the truth-functional reading of 'if' [Edgington]