Combining Texts

All the ideas for 'fragments/reports', 'Logic as Semiotic: Theory of Signs' and 'A Note on the entscheidungsproblem'

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

---

3 ideas

5. Theory of Logic / K. Features of Logics / 7. Decidability

18758

Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee]

19. Language / B. Reference / 1. Reference theories

7634	Icons resemble their subject, an index is a natural sign, and symbols are conventional [Peirce, by Maund]

21. Aesthetics / C. Artistic Issues / 7. Art and Morality

468	Musical performance can reveal a range of virtues [Damon of Ath.]