Combining Texts
Ideas for
'The Evolution of Logic', 'fragments/reports' and 'Summa Theologicae'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
6 ideas
3. Truth / A. Truth Problems / 1. Truth
23176
|
Truth is universal, but knowledge of it is not [Aquinas]
|
20621
|
Types of lying: Speak lies, intend lies, intend deception, aim at deceptive goal? [Aquinas, by Tuckness/Wolf]
|
3. Truth / A. Truth Problems / 9. Rejecting Truth
21248
|
If the existence of truth is denied, the 'Truth does not exist' must be true! [Aquinas]
|
3. Truth / C. Correspondence Truth / 2. Correspondence to Facts
13469
|
Tarski showed how we could have a correspondence theory of truth, without using 'facts' [Hart,WD]
|
3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth
13504
|
Truth for sentences is satisfaction of formulae; for sentences, either all sequences satisfy it (true) or none do [Hart,WD]
|
3. Truth / F. Semantic Truth / 2. Semantic Truth
13503
|
A first-order language has an infinity of T-sentences, which cannot add up to a definition of truth [Hart,WD]
|