29 ideas
| 17713 | After 1903, Husserl avoids metaphysical commitments [Mares] |
| Full Idea: In Husserl's philosophy after 1903, he is unwilling to commit himself to any specific metaphysical views. | |
| From: Edwin D. Mares (A Priori [2011], 08.2) |
| 17715 | The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares] |
| Full Idea: The epistemological burden of showing that the axioms are true is removed if we are only studying pure mathematics. If, however, we want to look at applied mathematics, then this burden returns. | |
| From: Edwin D. Mares (A Priori [2011], 11.4) | |
| A reaction: One of those really simple ideas that hits the spot. Nice. The most advanced applied mathematics must rest on counting and measuring. |
| 17716 | Mathematics is relations between properties we abstract from experience [Mares] |
| Full Idea: Aristotelians treat mathematical facts as relations between properties. These properties, moreover, are abstracted from our experience of things. ...This view finds a natural companion in structuralism. | |
| From: Edwin D. Mares (A Priori [2011], 11.7) | |
| A reaction: This is the view of mathematics that I personally favour. The view that we abstract 'five' from a group of five pebbles is too simplistic, but this is the right general approach. |
| 17000 | We might fix identities for small particulars, but it is utopian to hope for such things [Kripke] |
| Full Idea: Maybe strict identity only applies to the particulars (the molecules) in a case of vague identity. …It seems, however, utopian to suppose that we will ever reach a level of ultimate, basic particulars for which identity relations are never vague. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 18) | |
| A reaction: I agree with this. Ladyman and Ross laugh at the unscientific picture found in dreams of 'simples'. |
| 11868 | A different piece of wood could have been used for that table; constitution isn't identity [Wiggins on Kripke] |
| Full Idea: Could the artificer not, when he made the table, have taken other pieces? Surely he could. [n37: I venture to think that Kripke's argument in note 56 for the necessity of constitution depends on treating constitution as if it were identity]. | |
| From: comment on Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 56) by David Wiggins - Sameness and Substance Renewed 4.11 | |
| A reaction: Suppose the craftsman completed the table, then changed a piece of wood in it for some reason. Has he now made a second table and destroyed the first one? Wiggins seems to be right. |
| 17044 | A relation can clearly be reflexive, and identity is the smallest reflexive relation [Kripke] |
| Full Idea: Some philosophers have thought that a relation, being essentially two-termed, cannot hold between a thing and itself. This position is plainly absurd ('he is his own worst enemy'). Identity is nothing but the smallest reflexive relation. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 50) | |
| A reaction: I have no idea what 'smallest' means here. I can't be 'to the left of myself', so not all of my relations can be reflexive. I just don't understand what it means to say something is 'identical with itself'. You've got the thing - what have you added? |
| 16999 | A vague identity may seem intransitive, and we might want to talk of 'counterparts' [Kripke] |
| Full Idea: When the identity relation is vague, it may seem intransitive; a claim of apparent identity may yield an apparent non-identity. Some sort of 'counterpart' notion may have some utility here. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 18) | |
| A reaction: He firmly rejects the full Lewis apparatus of counterparts. The idea would be that a river at different times had counterpart relations, not strict identity. I like the word 'same' for this situation. Most worldly 'identity' is intransitive. |
| 17058 | What many people consider merely physically necessary I consider completely necessary [Kripke] |
| Full Idea: My third lecture suggests that a good deal of what contemporary philosophy regards as mere physical necessity is actually necessary tout court. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], Add (g)) | |
| A reaction: He avoids the term 'metaphysically necessary', which most people would not use for this point. |
| 4970 | What is often held to be mere physical necessity is actually metaphysical necessity [Kripke] |
| Full Idea: My third lecture suggests that a good deal of what contemporary philosophy regards as mere physical necessity is actually necessary 'tout court'. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], Add (g)) | |
| A reaction: This huge claim rides in on the back of Kripke's very useful clarifications. It is the 'new essentialism', and seems to me untenable in this form. There is no answer to Hume's request for evidence of necessity. Why can't essences (and laws) change? |
| 17059 | Unicorns are vague, so no actual or possible creature could count as a unicorn [Kripke] |
| Full Idea: If the unicorn myth is supposed to be a particular species, with insufficient internal structure to determine it uniquely, then there is no actual or possible species of which we can say that it would have been the species of unicorns. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], Add (a)) | |
| A reaction: Dummett and Rumfitt discuss this proposal elsewhere. |
| 17703 | Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares] |
| Full Idea: It seems natural to claim that light rays moving in straight lines is contingent but a priori. Scientists stipulate that they are the standard by which we measure straightness, but their appropriateness for this task is a contingent feature of the world. | |
| From: Edwin D. Mares (A Priori [2011], 02.9) | |
| A reaction: This resembles the metre rule in Paris. It is contingent that something is a certain way, so we make being that way a conventional truth, which can therefore be known via the convention, rather than via the contingent fact. |
| 4950 | Possible worlds are useful in set theory, but can be very misleading elsewhere [Kripke] |
| Full Idea: The apparatus of possible worlds has (I hope) been very useful as far as the set-theoretic model-theory of quantified modal logic is concerned, but has encouraged philosophical pseudo-problems and misleading pictures. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 15) | |
| A reaction: This is presumably a swipe at David Lewis, who claims possible worlds are real. The fact that the originator of possible worlds sees them as unproblematic doesn't mean they are. Fine if they are a game, but if they assert truth, they need a metaphysics. |
| 17003 | Kaplan's 'Dthat' is a useful operator for transforming a description into a rigid designation [Kripke] |
| Full Idea: It is useful to have an operator which transforms each description into a term which rigidly designates the object actually satisfying the description. David Kaplan has proposed such an operator and calls it 'Dthat'. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 22) |
| 9221 | The best known objection to counterparts is Kripke's, that Humphrey doesn't care if his counterpart wins [Kripke, by Sider] |
| Full Idea: The most famous objection to counterparts is Kripke's objection that Hubert Humphrey wouldn't care if he thought that his counterpart might have won the 1972 election. He wishes that he had won it. | |
| From: report of Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 12) by Theodore Sider - Reductive Theories of Modality 3.10 | |
| A reaction: Like Sider, I find this unconvincing. If there is a world in which I don't exist, but my very close counterpart does (say exactly me, but with a finger missing), I am likely to care more about such a person than about complete strangers. |
| 17714 | Aristotelians dislike the idea of a priori judgements from pure reason [Mares] |
| Full Idea: Aristotelians tend to eschew talk about a special faculty of pure reason that is responsible for all of our a priori judgements. | |
| From: Edwin D. Mares (A Priori [2011], 08.9) | |
| A reaction: He is invoking Carrie Jenkins's idea that the a priori is knowledge of relations between concepts which have been derived from experience. Nice idea. We thus have an empirical a priori, integrated into the natural world. Abstraction must be involved. |
| 17052 | The a priori analytic truths involving fixing of reference are contingent [Kripke] |
| Full Idea: If statements whose a priori truth is known via the fixing of a reference are counted as analytic, then some analytic truths are contingent. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 63) |
| 17705 | Empiricists say rationalists mistake imaginative powers for modal insights [Mares] |
| Full Idea: Empiricist critiques of rationalism often accuse rationalists of confusing the limits of their imaginations with real insight into what is necessarily true. | |
| From: Edwin D. Mares (A Priori [2011], 03.01) | |
| A reaction: See ideas on 'Conceivable as possible' for more on this. You shouldn't just claim to 'see' that something is true, but be willing to offer some sort of reason, truthmaker or grounding. Without that, you may be right, but you are on weak ground. |
| 17700 | The most popular view is that coherent beliefs explain one another [Mares] |
| Full Idea: In what is perhaps the most popular version of coherentism, a system of beliefs is a set of beliefs that explain one another. | |
| From: Edwin D. Mares (A Priori [2011], 01.5) | |
| A reaction: These seems too simple. My first response would be that explanations are what result from coherence sets of beliefs. I may have beliefs that explain nothing, but at least have the virtue of being coherent. |
| 17704 | Operationalism defines concepts by our ways of measuring them [Mares] |
| Full Idea: The central claim of Percy Bridgman's theory of operational definitions (1920s), is that definitions of certain scientific concepts are given by the ways that we have to measure them. For example, a straight line is 'the path of a light ray'. | |
| From: Edwin D. Mares (A Priori [2011], 02.9) | |
| A reaction: It is often observed that this captures the spirit of Special Relativity. |
| 2799 | Bayes' theorem explains why very surprising predictions have a higher value as evidence [Horwich] |
| Full Idea: Bayesianism can explain the fact that in science surprising predictions have greater evidential value, as the equation produces a higher degree of confirmation. | |
| From: Paul Horwich (Bayesianism [1992], p.42) |
| 2798 | Probability of H, given evidence E, is prob(H) x prob(E given H) / prob(E) [Horwich] |
| Full Idea: Bayesianism says ideally rational people should have degrees of belief (not all-or-nothing beliefs), corresponding with probability theory. Probability of H, given evidence E, is prob(H) X prob(E given H) / prob(E). | |
| From: Paul Horwich (Bayesianism [1992], p.41) |
| 4969 | I regard the mind-body problem as wide open, and extremely confusing [Kripke] |
| Full Idea: I regard the mind-body problem as wide open, and extremely confusing. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 77) | |
| A reaction: Kripke opposes reductive physicalism, but is NOT committed to dualism. He seems to be drawn to Davidson or Nagel (see his note 73). I think his discussion of contingent mind-brain identity is confused. |
| 17710 | Aristotelian justification uses concepts abstracted from experience [Mares] |
| Full Idea: Aristotelian justification is the process of reasoning using concepts that are abstracted from experience (rather than, say, concepts that are innate or those that we associate with the meanings of words). | |
| From: Edwin D. Mares (A Priori [2011], 08.1) | |
| A reaction: See Carrie Jenkins for a full theory along these lines (though she doesn't mention Aristotle). This is definitely my preferred view of concepts. |
| 17706 | The essence of a concept is either its definition or its conceptual relations? [Mares] |
| Full Idea: In the 'classical theory' a concept includes in it those concepts that define it. ...In the 'theory theory' view the content of a concept is determined by its relationship to other concepts. | |
| From: Edwin D. Mares (A Priori [2011], 03.10) | |
| A reaction: Neither of these seem to give an intrinsic account of a concept, or any account of how the whole business gets off the ground. |
| 4956 | A description may fix a reference even when it is not true of its object [Kripke] |
| Full Idea: In some cases an object may be identified, and the reference of a name fixed, using a description which may turn out to be false of its object. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 34) | |
| A reaction: This is clearly possible. Someone could be identified as 'the criminal' when they were actually innocent. Nevertheless, how do you remember which person was baptised 'Aristotle' if you don't hang on to a description, even a false one? |
| 17032 | Even if Gödel didn't produce his theorems, he's still called 'Gödel' [Kripke] |
| Full Idea: If a Gödelian fraud were exposed, Gödel would no longer be called 'the author of the incompleteness theorem', but he would still be called 'Gödel'. The description, therefore, does not abbreviate the name. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 37) | |
| A reaction: Clearly we can't make the description a necessary fact about Gödel, but that doesn't invalidate the idea that successful reference needs some description. E.g. Gödel is a person. |
| 17701 | Possible worlds semantics has a nice compositional account of modal statements [Mares] |
| Full Idea: Possible worlds semantics is appealing because it gives a compositional analysis of the truth conditions of statements about necessity and possibility. | |
| From: Edwin D. Mares (A Priori [2011], 02.2) | |
| A reaction: Not sure I get this. Is the meaning composed by the gradual addition of worlds? If not, how is meaning composed in the normal way, from component words and phrases? |
| 17702 | Unstructured propositions are sets of possible worlds; structured ones have components [Mares] |
| Full Idea: An unstructured proposition is a set of possible worlds. ....Structured propositions contain entities that correspond to various parts of the sentences or thoughts that express them. | |
| From: Edwin D. Mares (A Priori [2011], 02.3) | |
| A reaction: I am definitely in favour of structured propositions. It strikes me as so obvious as to be not worth discussion - so I am obviously missing something here. Mares says structured propositions are 'more convenient'. |
| 17708 | Maybe space has points, but processes always need regions with a size [Mares] |
| Full Idea: One theory is that space is made up of dimensionless points, but physical processes cannot take place in regions of less than a certain size. | |
| From: Edwin D. Mares (A Priori [2011], 06.7) | |
| A reaction: Thinkers in sympathy with verificationism presumably won't like this, and may prefer Feynman's view. |