9 ideas
| 15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
| Full Idea: Kripke has a semantic theory of truth which has inspired promising axiomatic theories of truth. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 01.2 | |
| A reaction: Feferman produced an axiomatic version of Kripke's semantic theory. |
| 15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
| Full Idea: One of the most popular semantic theories of truth is Kripke's theory. It describes a class of models which themselves involve a truth predicate (unlike Tarski's semantic theory). | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 02.3 | |
| A reaction: The modern versions explored by Horsten are syntactic versions of this, derived from Feferman's axiomatisation of the Kripke theory. |
| 14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
| Full Idea: Kripke established that, contrary to the prevalent Tarskian dogma, attributions of truth do not always force a move to a metalanguage. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975], 5.1) by Anil Gupta - Truth | |
| A reaction: [Gupta also cites Martin and Woodruff 1975] |
| 14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
| Full Idea: Kripke showed via a fixed-point argument that certain three-valued languages can contain their own truth predicates. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Anil Gupta - Truth | |
| A reaction: [Gupta also cites Martin and Woodruff 1975] It is an odd paradox that truth can only be included if one adds a truth-value of 'neither true nor false'. The proposed three-valued system is 'strong Kleene logic'. |
| 16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
| Full Idea: Kripke's main contribution was …his classification of the different consistent fixed points and the discussion of their use for discriminating between ungrounded sentences, paradoxical sentences, and so on. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Volker Halbach - Axiomatic Theories of Truth 15.1 |
| 16007 | I assume existence, rather than reasoning towards it [Kierkegaard] |
| Full Idea: I always reason from existence, not towards existence. | |
| From: Søren Kierkegaard (Philosophical Fragments [1844], p.40) | |
| A reaction: Kierkegaard's important premise to help show that theistic proofs for God's existence don't actually prove existence, but develop the content of a conception. [SY] |
| 16013 | Nothing necessary can come into existence, since it already 'is' [Kierkegaard] |
| Full Idea: Can the necessary come into existence? That is a change, and everything that comes into existence demonstrates that it is not necessary. The necessary already 'is'. | |
| From: Søren Kierkegaard (Philosophical Fragments [1844], p.74) | |
| A reaction: [SY] |
| 7388 | McGinn invites surrender, by saying it is hopeless trying to imagine conscious machines [Dennett on McGinn] |
| Full Idea: McGinn invites his readers to join him in surrender: It's just impossible to imagine how software could make a conscious robot. Don't even try, he says. Other philosophical experiments (involving China) "work" by dissuading readers from imagining. | |
| From: comment on Colin McGinn (The Problem of Consciousness [1991]) by Daniel C. Dennett - Consciousness Explained 14.1 | |
| A reaction: I agree with Dennett. If you don't try to imagine how robots might do it, you are also denied the right to try to imagine how brains might manage it. Admittedly this is hard, but good imagination needs study, effort, discussion, time, information... |
| 3185 | Multiple realisability rules out hidden essences and experts as the source of water- and gold-concepts [McGinn] |
| Full Idea: The multiple realisability emphasised by functionalists rules out the hidden essences (and the 'deferential' move in semantics) that one finds in the cases, for example, of "water" and "gold" emphasised by Kripke and Putnam. | |
| From: Colin McGinn (The Problem of Consciousness [1991], p.132) | |
| A reaction: Presumably if they are 'hidden', then the people to whom we 'defer' for our concepts can't actually know about the essences we are supposed to be discussing. You can mean essences without knowing them. Cf. Loch Ness Monster. |