Combining Texts

All the ideas for 'fragments/reports', 'Abstract Objects: a Case Study' and 'Truth'

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

9 ideas

3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
14965 Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true) [Gupta]
3. Truth / F. Semantic Truth / 2. Semantic Truth
14968 A weakened classical language can contain its own truth predicate [Gupta]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
14964 The Liar reappears, even if one insists on propositions instead of sentences [Gupta]
14969 Strengthened Liar: either this sentence is neither-true-nor-false, or it is not true [Gupta]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
10580 Mathematics is both necessary and a priori because it really consists of logical truths [Yablo]
6. Mathematics / C. Sources of Mathematics / 9. Fictional Mathematics
10579 Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
10577 Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo]
10578 We are thought to know concreta a posteriori, and many abstracta a priori [Yablo]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
468 Musical performance can reveal a range of virtues [Damon of Ath.]