10 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 |
19520 | Evidentialism is not axiomatic; the evidence itself inclines us towards evidentialism [Conee] |
Full Idea: Evidentialism does not support beginning epistemology by taking for granted that evidentialism is true. ...Rather, what potentially justifies belief in intial epistemic data and initial procedures of inquiry is the evidence itself. | |
From: Earl Conee (First Things First [2004], 'Getting') | |
A reaction: This sounds good. I much prefer talk of 'evidence' to talk of 'perceptions', because evidence has been licked into shape, and its significance has been clarified. That is the first step towards the coherence we seek. |
19521 | If pure guesses were reliable, reliabilists would have to endorse them [Conee] |
Full Idea: Reliabilism would count pure guesses as good reasons if guessing were properly reliable. | |
From: Earl Conee (First Things First [2004], 'Getting') | |
A reaction: See D.H. Lawrence's short story 'The Rocking Horse Winner'. This objection strikes me as being so devastating that it is almost conclusive. Except that pure guesses are never ever reliable, over a decent period of time. |
19522 | More than actual reliability is needed, since I may mistakenly doubt what is reliable [Conee] |
Full Idea: Sheer reliability does not justify belief. ...It may be, for instance, that we have strong though misleading reason to deny the method's reliability. | |
From: Earl Conee (First Things First [2004], 'Circles') | |
A reaction: That is, we accept a justification if we judge the method to be reliable, not if it IS reliable. I can disbelieve all the reliable information that arrives in my mind. People do that all the time! Hatred of experts! Support for internalism? |
19523 | Reliabilism is poor on reflective judgements about hypothetical cases [Conee] |
Full Idea: An unrefined reliability theory does a poor job at capturing reflective judgements about hypothetical cases | |
From: Earl Conee (First Things First [2004], 'Stroud's') | |
A reaction: Reliability can only be a test for tried and tested ways. No one can say whether imagining a range of possibilities is reliable or not. Is prediction a reliable route to knowledge? |
17722 | The concept 'red' is tied to what actually individuates red things [Peacocke] |
Full Idea: The possession conditions for the concept 'red' of the colour red are tied to those very conditions which individuate the colour red. | |
From: Christopher Peacocke (Explaining the A Priori [2000], p.267), quoted by Carrie Jenkins - Grounding Concepts 2.5 | |
A reaction: Jenkins reports that he therefore argues that we can learn something about the word 'red' from thinking about the concept 'red', which is his new theory of the a priori. I find 'possession conditions' and 'individuation' to be very woolly concepts. |