12 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 |
| 12580 | Experiences have no conceptual content [Evans, by Greco] |
| Full Idea: In Evans's work experiences are conceived of as not having a conceptual content at all. | |
| From: report of Gareth Evans (The Varieties of Reference [1980]) by John Greco - Justification is not Internal | |
| A reaction: I presume it is this view which provoked McDowell's contrary view in 'Mind and World'. I say this is a job for neuroscience, and I struggle to see what philosophical questions hang on the outcome. I think I side with Evans. |
| 7643 | We have far fewer colour concepts than we have discriminations of colour [Evans] |
| Full Idea: Do we really understand the proposal that we have as many colour concepts as there are shades colour that we can sensibly discriminate? | |
| From: Gareth Evans (The Varieties of Reference [1980], 7.5) | |
| A reaction: This is the argument (rejected by McDowell) that experience cannot be conceptual because experience is too rich. We should not confuse lack of concepts with lack of words. I may have a concept of a colour between two shades, but no word for it. |
| 23794 | Some representational states, like perception, may be nonconceptual [Evans, by Schulte] |
| Full Idea: Evans introduced the idea that there are some representational states, for example perceptual experiences, which have content that is nonconceptual. | |
| From: report of Gareth Evans (The Varieties of Reference [1980]) by Peter Schulte - Mental Content 3.4 | |
| A reaction: McDowell famously disagree, and whether all experience is inherently conceptualised is a main debate from that period. Hard to see how it could be settled, but I incline to McDowell, because minimal perception hardly counts as 'experience'. |
| 16366 | The Generality Constraint says if you can think a predicate you can apply it to anything [Evans] |
| Full Idea: If a subject can be credited with the thought that a is F, then he must have the conceptual resources for entertaining the thought that a is G, for every property of being G of which he has conception. This condition I call the 'Generality Constraint'. | |
| From: Gareth Evans (The Varieties of Reference [1980], p.104), quoted by François Recanati - Mental Files 5.3 | |
| A reaction: Recanati endorses the Constraint in his account of mental files. Apparently if I can entertain the thought of a circle being round, I can also entertain the thought of it being square, so I am not too sure about this one. |
| 12575 | Concepts have a 'Generality Constraint', that we must know how predicates apply to them [Evans, by Peacocke] |
| Full Idea: Evans's 'Generality Constraint' says that if a thinker is capable of attitudes to the content Fa and possesses the singular concept b, then he is capable of having attitudes to the content Fb. | |
| From: report of Gareth Evans (The Varieties of Reference [1980], 4.3) by Christopher Peacocke - A Study of Concepts 1.1 | |
| A reaction: So having an attitude becomes the test of whether one possesses a concept. I suppose if one says 'You know you've got a concept when you are capable of thinking about it', that is much the same thing. Sounds fine. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |