25 ideas
| 12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
| Full Idea: The fallacy of 'ad obscurum per obscurius' is to explain the obscure by appeal to what is more obscure. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §3) | |
| A reaction: Not strictly a fallacy, so much as an example of inadequate explanation, along with circularity and infinite regresses. |
| 18996 | A statement S is 'partly true' if it has some wholly true parts [Yablo] |
| Full Idea: A statement S is 'partly true' insofar as it has wholly true parts: wholly true implications whose subject matter is included in that of S. | |
| From: Stephen Yablo (Aboutness [2014], 01.6) | |
| A reaction: He suggests that if we have rival theories, we agree that it is one or the other. And 'we may have pork for dinner, or human flesh' is partly true. |
| 19006 | An 'enthymeme' is an argument with an indispensable unstated assumption [Yablo] |
| Full Idea: An 'enthymeme' is a deductive argument with an unstated assumption that must be true for the premises to lead to the conclusion. | |
| From: Stephen Yablo (Aboutness [2014], 11.1) |
| 18999 | y is only a proper part of x if there is a z which 'makes up the difference' between them [Yablo] |
| Full Idea: The principle of Supplementation says that y is properly part of x, only if a z exists that 'makes up the difference' between them. [note: that is, z is disjoint from y and sums with y to form x] | |
| From: Stephen Yablo (Aboutness [2014], 03.2) |
| 12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
| Full Idea: Anyone should agree that a justification for regarding a singular term as having objectual reference is provided just as soon as one has justification for regarding as true certain atomic statements in which it functions as a singular term. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: The meat of this idea is hidden in the word 'certain'. See Idea 10314 for Hale's explanation. Without that, the proposal strikes me as absurd. |
| 19001 | 'Pegasus doesn't exist' is false without Pegasus, yet the absence of Pegasus is its truthmaker [Yablo] |
| Full Idea: 'Pegasus does not exist' has a paradoxical, self-undermining flavour. On the one hand, the empty name makes it untrue. But now, why is the name empty? Because Pegasus does not exist. 'Pegasus does not exist' is untrue because Pegasus does not exist. | |
| From: Stephen Yablo (Aboutness [2014], 05.7 n20) | |
| A reaction: Beautiful! This is Yablo's reward for continuing to ask 'why?' after everyone else has stopped in bewilderment at the tricky phenomenon. |
| 19002 | A nominalist can assert statements about mathematical objects, as being partly true [Yablo] |
| Full Idea: If I am a nominalist non-Platonist, I think it is false that 'there are primes over 10', but I want to be able to say it like everyone else. I argue that this because the statement has a part that I do believe, a part that remains interestingly true. | |
| From: Stephen Yablo (Aboutness [2014], 05.8) | |
| A reaction: This is obviously a key motivation for Yablo's book, as it reinforces his fictional view of abstract objects, but aims to capture the phenomena, by investigating what such sentences are 'about'. Admirable. |
| 12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
| Full Idea: A third way has been offered to 'make sense' of neo-Fregeanism: we should reject Quine's well-known criterion of ontological commitment in favour of one based on 'truth-maker theory'. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4 n19) | |
| A reaction: [The cite Ross Cameron for this] They reject this proposal, on the grounds that truth-maker theory is not sufficient to fix the grounding truth-conditions of statements. |
| 12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
| Full Idea: It is claimed that neo-Fregeans are committed to 'maximalism' - that whatever can exist does. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4) | |
| A reaction: [The cite Eklund] They observe that maximalism denies contingent non-existence (of the £20 note I haven't got). There seems to be the related problem of 'hyperinflation', that if abstract objects are generated logically, the process is unstoppable. |
| 12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
| Full Idea: Identity is sometimes read so that 'Pegasus is Pegasus' expresses a truth, the non-existence of any winged horse notwithstanding. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: This would give you ontological commitment to truth, without commitment to existence. It undercuts the use of identity statements as the basis of existence claims, which was Frege's strategy. |
| 12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
| Full Idea: There is a compatibilist view which says that it is for the abundant properties to play the role of 'bedeutungen' in semantic theory, and the sparse ones to address certain metaphysical concerns. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Only a philosopher could live with the word 'property' having utterly different extensions in different areas of discourse. They similarly bifurcate words like 'object' and 'exist'. Call properties 'quasi-properties' and I might join in. |
| 18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
| Full Idea: The good standing of a predicate is already trivially sufficient to ensure the existence of an associated property, a (perhaps complex) way of being which the predicate serves to express. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: 'Way of being' is interesting. Is 'being near Trafalgar Sq' a way of being? I take properties to be 'features', which seems to give a clearer way of demarcating them. They say they are talking about 'abundant' (rather than 'sparse') properties. |
| 18998 | Parthood lacks the restriction of kind which most relations have [Yablo] |
| Full Idea: Most relations obtain only between certain kinds of thing. To learn that x is a part of y, however, tells you nothing about x and y taken individually. | |
| From: Stephen Yablo (Aboutness [2014], 03.2) | |
| A reaction: Too sweeping. To be a part of crowd you have to be a person. To be part of the sea you have to be wet. It might depend on whether composition is unrestricted. |
| 19004 | Gettier says you don't know if you are confused about how it is true [Yablo] |
| Full Idea: We know from Gettier that if you are right to regard Q as true, but you are sufficiently confused about HOW it is true - about how things stand with respect to its subject matter - then you don't know that Q. | |
| From: Stephen Yablo (Aboutness [2014], 07.4) | |
| A reaction: I'm inclined to approach Gettier by focusing on the propositions being expressed, where his cases tend to focus on the literal wording of the sentences. What did the utterer mean by the sentences - not what did they appear to say. |
| 19007 | A theory need not be true to be good; it should just be true about its physical aspects [Yablo] |
| Full Idea: A physical theory need not be true to be good, Field has argued, and I agree. All we ask of it truth-wise is that its physical implications should be true, or, in my version, that it should be true about the physical. | |
| From: Stephen Yablo (Aboutness [2014], 12.5) | |
| A reaction: Yablo is, of course, writing a book here about the concept of 'about'. This seems persuasive. The internal terminology of the theory isn't committed to anything - it is only at its physical periphery (Quine) that the ontology matters. |
| 18993 | If sentences point to different evidence, they must have different subject-matter [Yablo] |
| Full Idea: 'All crows are black' cannot say quite the same as 'All non-black things are non-crows', for the two are confirmed by different evidence. Subject matter looks to be the distinguishing feature. One is about crows, the other not. | |
| From: Stephen Yablo (Aboutness [2014], Intro) | |
| A reaction: You might reply that they are confirmed by the same evidence (but only in its unobtainable totality). The point, I think, is that the sentences invite you to start your search in different places. |
| 19003 | Most people say nonblack nonravens do confirm 'all ravens are black', but only a tiny bit [Yablo] |
| Full Idea: The standard response to the raven paradox is to say that a nonblack nonraven does confirm that all ravens are black. But it confirms it just the teeniest little bit - not as much as a black raven does. | |
| From: Stephen Yablo (Aboutness [2014], 06.5) | |
| A reaction: It depends on the proportion between the relevant items. How do you confirm 'all the large animals in this zoo are mammals'? Check for size every animal which is obviously not a mammal? |
| 16861 | A false theory could hardly rival the explanatory power of natural selection [Darwin] |
| Full Idea: It can hardly be supposed that a false theory would explain, in so satisfactory a manner as does the theory of natural selection, the several large classes of facts above specified. | |
| From: Charles Darwin (The Origin of the Species [1859], p.476), quoted by Peter Lipton - Inference to the Best Explanation (2nd) 11 'The scientific' | |
| A reaction: More needs to be said, since the whims of God could explain absolutely everything (in a manner that would be somehow less that fully satisfying to the enquiring intellect). |
| 12227 | Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright] |
| Full Idea: Abstractionism needs a face-value, existentially committed reading of the terms occurring on the left-hand sides together with sameness of truth-conditions across the biconditional. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: They employ 'abstractionism' to mean their logical Fregean strategy for defining abstractions, not to mean the older psychological account. Thus the truth-conditions for being 'parallel' and for having the 'same direction' must be consistent. |
| 12228 | Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright] |
| Full Idea: Abstraction principles purport to introduce fundamental means of reference to a range of objects, to which there is accordingly no presumption that we have any prior or independent means of reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §8) | |
| A reaction: There's the rub! They make it sound like a virtue, that we open up yet another heaven of abstract toys to play with. As fictions, they are indeed exciting new fun. As platonic discoveries they strike me as Cloud-Cuckoo Land. |
| 18992 | Sentence-meaning is the truth-conditions - plus factors responsible for them [Yablo] |
| Full Idea: A sentence's meaning is to do with its truth-value in various possible scenarios, AND the factors responsible for that truth-value. | |
| From: Stephen Yablo (Aboutness [2014], Intro) | |
| A reaction: The thesis of his book, which I welcome. I'm increasingly struck by the way in which much modern philosophy settles for a theory being complete, when actually further explanation is possible. Exhibit A is functional explanations. Why that function? |
| 12231 | Reference needs truth as well as sense [Hale/Wright] |
| Full Idea: It takes, over and above the possession of sense, the truth of relevant contexts to ensure reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Reference purely through sense was discredited by Kripke. The present idea challenges Kripke's baptismal realist approach. How do you 'baptise' an abstract object? But isn't reference needed prior to the establishment of truth? |
| 18994 | The content of an assertion can be quite different from compositional content [Yablo] |
| Full Idea: Assertive content - what a sentence is heard as saying - can be at quite a distance from compositional content. | |
| From: Stephen Yablo (Aboutness [2014], Intro) | |
| A reaction: This is the obvious reason why semantics cannot be entirely compositional, since there is nearly always a contextual component which then has to be added. In the case of irony, the compositional content is entirely reversed. |
| 18997 | Truth-conditions as subject-matter has problems of relevance, short cut, and reversal [Yablo] |
| Full Idea: If the subject-matter of S is how it is true, we get three unfortunate results: S has truth-value in worlds where its subject-matter draws a blank; learning what S is about tells you its truth-value; negating S changes what it's about. | |
| From: Stephen Yablo (Aboutness [2014], 02.8) | |
| A reaction: Together these make fairly devastating objections to the truth-conditions (in possible worlds) theory of meaning. The first-objection concerns when S is false |
| 19005 | Not-A is too strong to just erase an improper assertion, because it actually reverses A [Yablo] |
| Full Idea: The idea that negation is, or can be, a cancellation device raises an interesting question. What does one do to wipe the slate clean after an improper assertion? Not-A is too strong; it reverses our stand on A rather than nullifying it. | |
| From: Stephen Yablo (Aboutness [2014], 09.8) | |
| A reaction: [He is discussing a remark of Strawson 1952] It seems that 'not' has two meanings or uses: a weak use of 'nullifying' an assertion, and a strong use of 'reversing' an assertion. One could do both: 'that's not right; in fact, it's just the opposite'. |