Combining Texts

All the ideas for 'On Being (frags)', 'Mathematical Thought from Ancient to Modern Times' and 'Symbolic Logic (with Langford)'

expand these ideas     |    start again     |     specify just one area for these texts

---

2 ideas

5. Theory of Logic / K. Features of Logics / 1. Axiomatisation

17606

Axioms reveal the underlying assumptions, and reveal relationships between different areas [Kline]

10. Modality / B. Possibility / 8. Conditionals / a. Conditionals

7803	Modal logic began with translation difficulties for 'If...then' [Lewis,CI, by Girle]