Combining Philosophers
Ideas for Eubulides, Pascal Engel and Saul A. Kripke
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
13 ideas
3. Truth / A. Truth Problems / 5. Truth Bearers
4737
|
Are truth-bearers propositions, or ideas/beliefs, or sentences/utterances? [Engel]
|
3. Truth / C. Correspondence Truth / 2. Correspondence to Facts
4750
|
The redundancy theory gets rid of facts, for 'it is a fact that p' just means 'p' [Engel]
|
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
4744
|
We can't explain the corresponding structure of the world except by referring to our thoughts [Engel]
|
3. Truth / D. Coherence Truth / 1. Coherence Truth
4738
|
The coherence theory says truth is an internal relationship between groups of truth-bearers [Engel]
|
3. Truth / D. Coherence Truth / 2. Coherence Truth Critique
4745
|
Any coherent set of beliefs can be made more coherent by adding some false beliefs [Engel]
|
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]
|
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
4753
|
Deflationism seems to block philosophers' main occupation, asking metatheoretical questions [Engel]
|
4755
|
Deflationism cannot explain why we hold beliefs for reasons [Engel]
|
3. Truth / H. Deflationary Truth / 3. Minimalist Truth
4751
|
Maybe there is no more to be said about 'true' than there is about the function of 'and' in logic [Engel]
|