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 |
| 13197 | The notion of substance is one of the keys to true philosophy [Leibniz] |
| Full Idea: I consider the notion of substance to be one of the keys to the true philosophy. ....I imagine that philosophers will one day know the notion of substance a bit better than they do now. | |
| From: Gottfried Leibniz (Letters to Thomas Burnett [1703], 1699.01.20/30) | |
| A reaction: This is a controversial remark at this historical moment, when the apparent Aristotelian commitment to substances was becoming discredited. Personally I would eliminate substance, but not just because physicists don't refer to it. |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 13198 | Gravity is within matter because of its structure, and it can be explained. [Leibniz] |
| Full Idea: I believe that both gravity and elasticity are in matter only because of the structure of the system and can be explained mechanically or through impulsion. | |
| From: Gottfried Leibniz (Letters to Thomas Burnett [1703], 1699 draft) | |
| A reaction: The significance of this remark is that gravity is held (in full knowledge of Newton's work) to be within matter, and not imposed from the outside. I believe we now postulate a particle as part of the explanation. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |