Combining Texts

All the ideas for 'People and Their Bodies', 'Outline of a Theory of Truth' and 'English as a Formal Language'

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

7 ideas

3. Truth / F. Semantic Truth / 2. Semantic Truth
15327 Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten]
15343 Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
14966 The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta]
14967 Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta]
3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms
16328 Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
18779 'The' is a quantifier, like 'every' and 'a', and does not result in denotation [Montague]
9. Objects / E. Objects over Time / 5. Temporal Parts
16209 How can point-duration slices of people have beliefs or desires? [Thomson]