Combining Texts

All the ideas for 'Truth (frags)', 'Reply to Professor Marcus' and 'Mathematical Thought from Ancient to Modern Times'

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

---

2 ideas

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification

10801

Either reference really matters, or we don't need to replace it with substitutions [Quine]

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

17606

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