Combining Texts

All the ideas for 'The Poetics', 'works' and 'Realism in Mathematics'

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


12 ideas

3. Truth / A. Truth Problems / 2. Defining Truth
In everyday language, truth seems indefinable, inconsistent, and illogical [Tarski]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
Tarski thought axiomatic truth was too contingent, and in danger of inconsistencies [Tarski, by Davidson]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
Maddy replaces pure sets with just objects and perceived sets of objects [Maddy, by Shapiro]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
There is no clear boundary between the logical and the non-logical [Tarski]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
Logical consequence is when in any model in which the premises are true, the conclusion is true [Tarski, by Beall/Restall]
Logical consequence: true premises give true conclusions under all interpretations [Tarski, by Hodges,W]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Tarski improved Hilbert's geometry axioms, and without set-theory [Tarski, by Feferman/Feferman]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
A natural number is a property of sets [Maddy, by Oliver]
6. Mathematics / C. Sources of Mathematics / 2. Intuition of Mathematics
Intuition doesn't support much mathematics, and we should question its reliability [Maddy, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
We know mind-independent mathematical truths through sets, which rest on experience [Maddy, by Jenkins]
10. Modality / B. Possibility / 1. Possibility
The actual must be possible, because it occurred [Aristotle]
21. Aesthetics / B. Nature of Art / 8. The Arts / b. Literature
Poetry is more philosophic than history, as it concerns universals, not particulars [Aristotle]