Combining Texts

All the ideas for 'fragments/reports', 'Outline of a Theory of Truth' and 'Building Blocks of Mathematical Logic'

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

7 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
23367 Even pointing a finger should only be done for a reason [Epictetus]
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 / E. Structures of Logic / 4. Variables in Logic
17699 Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]