28 ideas
21959 | Metaphysics is the most general attempt to make sense of things [Moore,AW] |
Full Idea: Metaphysics is the most general attempt to make sense of things. | |
From: A.W. Moore (The Evolution of Modern Metaphysics [2012], Intro) | |
A reaction: This is the first sentence of Moore's book, and a touchstone idea all the way through. It stands up well, because it says enough without committing to too much. I have to agree with it. It implies explanation as the key. I like generality too. |
18365 | If truths are just identical with facts, then truths will make themselves true [David] |
Full Idea: According to the identity theory of truth, a proposition is true if and only if it is identical with a fact. ...This leads to the unacceptable claim that every true proposition makes itself true (because it is identical to its fact). | |
From: Marian David (Truth-making and Correspondence [2009], n 14) |
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. |
18362 | Examples show that truth-making is just non-symmetric, not asymmetric [David] |
Full Idea: That 'there is at least one proposition' ...is a case where something makes itself true, which generates a counterexample to the natural assumption that truth-making is asymmetric; truth-making, it seems, is merely non-symmetric. | |
From: Marian David (Truth-making and Correspondence [2009], 4) |
18360 | It is assumed that a proposition is necessarily true if its truth-maker exists [David] |
Full Idea: Friends of the truth-maker principle usually hold that the following states a crucial necessary condition on truth-making: if x makes y true, then, necessarily, if x exists then y is true. | |
From: Marian David (Truth-making and Correspondence [2009], 2) | |
A reaction: My objection is that the proposition y is taken to pre-exist, primly awaiting the facts that will award it 'truth'. An ontology that contains an infinity of propositions, most of which so far lack a truth-value, is incoherent. You can have x, but no y! |
18358 | Two different propositions can have the same fact as truth-maker [David] |
Full Idea: Two different propositions can have the same fact as truth-maker. For example, 'L is happy or L is hungry', and 'L is happy or L is thirsty', which are both made true by the fact that L is happy. | |
From: Marian David (Truth-making and Correspondence [2009], 1) |
18355 | What matters is truth-making (not truth-makers) [David] |
Full Idea: The term 'truthmaker' just labels whatever stands in the truth-making relation to a truth. The truth-making relation is crucial. It would have been just as well to refer to the truth-'maker' principle as the truth-'making' principle. | |
From: Marian David (Truth-making and Correspondence [2009], 1) | |
A reaction: This is well said. The commitment of this theory is to something which makes each proposition true. There is no initial commitment to any theories about what sorts of things do the job. |
18363 | Correspondence theorists see facts as the only truth-makers [David] |
Full Idea: Correspondence theorists are committed to the view that, since truth is correspondence with a fact, only facts can make true propositions true. | |
From: Marian David (Truth-making and Correspondence [2009], 4) |
18356 | Correspondence is an over-ambitious attempt to explain truth-making [David] |
Full Idea: Truth-maker theory says that the attempt by correspondence to fill in the generic truth-maker principle with something more informative fails. It is too ambitious, offering a whole zoo of funny facts that are not needed. | |
From: Marian David (Truth-making and Correspondence [2009], 1) | |
A reaction: A typical funny fact is a disjunctive fact, which makes 'he is hungry or thirsty' true (when it can just be made true by the simple fact that he is thirsty). |
18354 | Correspondence is symmetric, while truth-making is taken to be asymmetric [David] |
Full Idea: Correspondence appears to be a symmetric relation while truth-making appears to be, or is supposed to be, an asymmetric relation. | |
From: Marian David (Truth-making and Correspondence [2009], Intro) |
18364 | Correspondence theory likes ideal languages, that reveal the structure of propositions [David] |
Full Idea: Correspondence theorists tend to promote ideal languages, ...which is intended to mirror perfectly the structure of the propositions it expresses. | |
From: Marian David (Truth-making and Correspondence [2009], n 03) |
18359 | One proposition can be made true by many different facts [David] |
Full Idea: One proposition can be made true by many different facts (such as 'there are some happy dogs'). | |
From: Marian David (Truth-making and Correspondence [2009], 1) |
18357 | What makes a disjunction true is simpler than the disjunctive fact it names [David] |
Full Idea: The proposition that 'L is happy or hungry' can be made true by the fact that L is happy. This does not have the same complexity or constituent structure as the proposition it makes true. | |
From: Marian David (Truth-making and Correspondence [2009], 1) |
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) |
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. |
18361 | A reflexive relation entails that the relation can't be asymmetric [David] |
Full Idea: An asymmetric relation must be irreflexive: any case of aRa will yield a reductio of the assumption that R is asymmetric. | |
From: Marian David (Truth-making and Correspondence [2009], 4) |
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. |
21958 | Appearances are nothing beyond representations, which is transcendental ideality [Moore,AW] |
Full Idea: Appearances in general are nothing outside our representations, which is just what we mean by transcendental ideality. | |
From: A.W. Moore (The Evolution of Modern Metaphysics [2012], B535/A507) |
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? |
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? |
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'. |