Combining Texts

All the ideas for 'fragments/reports', 'Truth' and 'Mathematics and Philosophy: grand and little'

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

12 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / e. Philosophy as reason
9808 Philosophy aims to reveal the grandeur of mathematics [Badiou]
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 / A. Nature of Mathematics / 1. Mathematics
9812 In mathematics, if a problem can be formulated, it will eventually be solved [Badiou]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
9813 Mathematics shows that thinking is not confined to the finite [Badiou]
7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
9809 Mathematics inscribes being as such [Badiou]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
9811 It is of the essence of being to appear [Badiou]
15. Nature of Minds / A. Nature of Mind / 1. Mind / d. Location of mind
5987 Alcmaeon was the first to say the brain is central to thinking [Alcmaeon, by Staden, von]
21. Aesthetics / B. Nature of Art / 8. The Arts / b. Literature
9814 All great poetry is engaged in rivalry with mathematics [Badiou]
29. Religion / D. Religious Issues / 2. Immortality / b. Soul
24043 Soul must be immortal, since it continually moves, like the heavens [Alcmaeon, by Aristotle]