11 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. |
| 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'. |
| 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] |
| 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 |
| 14759 | A thing is simply a long event, linked by qualities, and spatio-temporal unity [Broad] |
| Full Idea: A thing is simply a long event, throughout the course of which there is either qualitative similarity or continuous qualitative change, together with a characteristic spatio-temporal unity. | |
| From: C.D. Broad (Scientific Thought [1923], 10 'Duration') | |
| A reaction: At least he is trying to give some sort of principle that links the stages of the event together. |
| 11842 | If short-lived happenings like car crashes are 'events', why not long-lived events like Dover Cliffs? [Broad] |
| Full Idea: We call a lightning flash or a motor accident an event, but refuse to apply this to the cliffs of Dover. ...But quantitative differences (of time) give no good grounds for calling one bit of history an event, and refusing the name to another bit. | |
| From: C.D. Broad (Scientific Thought [1923], p.54), quoted by David Wiggins - Sameness and Substance Renewed 2.3 n13 | |
| A reaction: Wiggins calls this proposal a 'terrible absurdity', but it seems to me to demand attention. There is a case to be made for a 'process' to be the fundamental category of our ontology, with stable physical objects seen in that light. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
| 8160 | The present and past exist, but the future does not [Broad, by Dummett] |
| Full Idea: Not only the present but also the past exist, but the future (so long as it is the future) does not. | |
| From: report of C.D. Broad (Scientific Thought [1923]) by Michael Dummett - Thought and Reality 1 | |
| A reaction: This is quite appealing, and seems right if you believe that every truth has a truthmaker, and that there are no truths about the future. And yet the whole misery of people dying is that they cease to exist. |
| 14609 | We could say present and past exist, but not future, so that each event adds to the total history [Broad] |
| Full Idea: One theory accepts the reality of the present and the past, but holds that the future is simply nothing at all. Nothing has happened to the present by becoming past except that fresh slices of existence have been added to the total history of the world. | |
| From: C.D. Broad (Scientific Thought [1923], II) | |
| A reaction: This is now known as Broad's 'Growing Block' view of time. It is tempting to say that neither past nor future exist, but it seems undeniable that statements about the past can be wholly true, unlike those about the future. |
| 22933 | We imagine the present as a spotlight, moving across events from past to future [Broad] |
| Full Idea: We imagine presentness moving, like the spot of light from a policeman's bulls eye traversing the fronts of houses in a street. What is illuminated is present, what was illuminated is past, and what is not yet illuminated is the future. | |
| From: C.D. Broad (Scientific Thought [1923], II) | |
| A reaction: This is the 'moving spotlight' compromise theory, which retains the B-series eternal sequence of ordered events, but adds the A-series privileged present moment. Le Poidevin says Broad represents time twice over. |