Combining Texts

Ideas for 'No Understanding without Explanation', 'Some Puzzles of Ground' and 'Maths as a Science of Patterns'

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

display all the ideas for this combination of texts

---

2 ideas

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL

6299	Axioms are often affirmed simply because they produce results which have been accepted [Resnik]

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic

14263

Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K]