Combining Philosophers

Ideas for Luitzen E.J. Brouwer, Halbach,V/Leigh,G.E. and Richard L. Kirkham

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

---

6 ideas

3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth

19319

If one sequence satisfies a sentence, they all do [Kirkham]

19318

A 'sequence' of objects is an order set of them [Kirkham]

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

19320

If we define truth by listing the satisfactions, the supply of predicates must be finite [Kirkham]

19127

The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh]