12 ideas
| 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. |
| 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. |
| 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 |
| 12394 | If the result is bad, we change the rule; if we like the rule, we reject the result [Goodman] |
| Full Idea: A rule is amended if it yields an inference we are unwilling to accept; an inference is rejected if it violates a rule we are unwilling to amend. | |
| From: Nelson Goodman (Fact, Fiction and Forecast (4th ed) [1954], p.64) | |
| A reaction: This is clearly in tune with Quine's assertion that logic is potentially revisable, and the idea is pragmatist in spirit. It is hard to deny that intuitions about what makes a good argument control our logic. I say the world controls our intuitions. |
| 14292 | Dispositions seem more ethereal than behaviour; a non-occult account of them would be nice [Goodman] |
| Full Idea: Dispositions of a thing are as important to us as overt behaviour, but they strike us by comparison as rather ethereal. So we are moved to enquire whether we can bring them down to earth, and explain disposition terms without reference to occult powers. | |
| From: Nelson Goodman (Fact, Fiction and Forecast (4th ed) [1954], II.3) | |
| A reaction: Mumford quotes this at the start of his book on dispositions, as his agenda. I suspect that the 'occult' aspect crept in because dispositions were based on powers, and the dominant view was that these were the immediate work of God. |
| 18749 | Goodman argued that the confirmation relation can never be formalised [Goodman, by Horsten/Pettigrew] |
| Full Idea: Goodman constructed arguments that purported to show that a satisfactory syntactic analysis of the confirmation relation can never be found. In response, philosophers of science tried to model it in probabilistic terms. | |
| From: report of Nelson Goodman (Fact, Fiction and Forecast (4th ed) [1954]) by Horsten,L/Pettigrew,R - Mathematical Methods in Philosophy 4 | |
| A reaction: I take this idea to say that Bayesianism was developed in response to the grue problem. This is an interesting light on 'grue', which never bothered me much. The point is it scuppered formal attempts to model induction. |
| 17646 | Goodman showed that every sound inductive argument has an unsound one of the same form [Goodman, by Putnam] |
| Full Idea: Goodman has shown that no purely formal criterion can distinguish arguments that are intuitively sound inductive arguments for unsound ones: for every sound one there is an unsound one of the same form. The predicates in the argument make the difference. | |
| From: report of Nelson Goodman (Fact, Fiction and Forecast (4th ed) [1954]) by Hilary Putnam - Why there isn't a ready-made world 'Causation' | |
| A reaction: This is to swallow grue whole. I think a bit more chewing is called for. By this date Putnam strikes me as a crazy relativist who has lost his grip on the world. Note the word 'formal' - but Putnam seems to think the argument is important. |
| 4794 | We don't use laws to make predictions, we call things laws if we make predictions with them [Goodman] |
| Full Idea: Rather than a sentence being used for prediction because it is a law, it is called a law because it is used for prediction. | |
| From: Nelson Goodman (Fact, Fiction and Forecast (4th ed) [1954], p.21), quoted by Stathis Psillos - Causation and Explanation §5.4 | |
| A reaction: This smacks of dodgy pragmatism, and sounds deeply wrong. The perception of a law has to be prior to making the prediction. Why do we make the prediction, if we haven't spotted a law. Goodman is mesmerised by language instead of reality. |
| 16713 | Philosophers are the forefathers of heretics [Tertullian] |
| Full Idea: Philosophers are the forefathers of heretics. | |
| From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2 |
| 6610 | I believe because it is absurd [Tertullian] |
| Full Idea: I believe because it is absurd ('Credo quia absurdum est'). | |
| From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2 | |
| A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though. |