Combining Texts
Ideas for
'fragments/reports', 'Letters' and 'Axiomatic Theories of Truth (2013 ver)'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
11 ideas
3. Truth / A. Truth Problems / 2. Defining Truth
19125
|
If we define truth, we can eliminate it [Halbach/Leigh]
|
3. Truth / B. Truthmakers / 10. Making Future Truths
21388
|
The causes of future true events must exist now, so they will happen because of destiny [Chrysippus, by Cicero]
|
3. Truth / C. Correspondence Truth / 2. Correspondence to Facts
20780
|
Graspable presentations are criteria of facts, and are molded according to their objects [Chrysippus, by Diog. Laertius]
|
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
20793
|
How could you ever know that the presentation is similar to the object? [Sext.Empiricus on Chrysippus]
|
3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth
19128
|
If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh]
|
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
19120
|
Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh]
|
3. Truth / F. Semantic Truth / 2. Semantic Truth
19127
|
The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh]
|
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
19124
|
A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh]
|
19126
|
If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh]
|
3. Truth / G. Axiomatic Truth / 2. FS Truth Axioms
19129
|
The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh]
|
3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms
19130
|
KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh]
|