35 ideas
| 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. |
| 19108 | Truth is proper assertion, but that has varying standards [Misak] |
| Full Idea: The pragmatist will say that truth is proper assertion, but different discourses have different standards for proper assertion. | |
| From: Cheryl Misak (Pragmatism and Deflationism [2007], 4) | |
| A reaction: This remark shows that there is a pragmatic attitude towards truth behind most attempts to analyse the concept of assertion. When and why is assertion legitimate, and what motivates it? |
| 19094 | For pragmatists the loftiest idea of truth is just a feature of what remains forever assertible [Misak] |
| Full Idea: For pragmatists there is an unseverable connection between making an assertion and claiming that it is true. ...Were we to get to a belief that is forever assertible...then we would have a true belief. There is nothing higher or better we could ask of it. | |
| From: Cheryl Misak (Pragmatism and Deflationism [2007], 1) | |
| A reaction: She is particularly drawing on Peirce. She says his 'ideal end of enquiry' idea is a small aspect of his view of truth, which is mainly given here. I had taken the pragmatic view of truth to be silly, but I may rethink. |
| 19105 | Truth isn't a grand elusive property, if it is just the aim of our assertions and inquiries [Misak] |
| Full Idea: If truth is what satisfies our aims in first-order assertion and inquiry (as the pragmatist says), then there is no search for an elusive property, or a metaphysical property, or a property which we cannot grasp. | |
| From: Cheryl Misak (Pragmatism and Deflationism [2007], 3) | |
| A reaction: This pragmatic approach is much more persuasive than the usual caricature of pragmatic truth (Idea 19097), but I'm beginning to wonder how you distinguish an 'inquiry' (or 'assertion') from other modes of thought. Do I smell a circularity? |
| 19100 | Truth makes disagreements matter, or worth settling [Misak] |
| Full Idea: The role of truth is to make disagreements matter, or to make sense of wanting to resolve disagreements. | |
| From: Cheryl Misak (Pragmatism and Deflationism [2007], 2) | |
| A reaction: [She cites Huw Price 2003] This suggests that the most important use of 'truth' is forensic. It is hard to make any sense of a law court without a robust sense of truth. Trial by jury, rather than some great personage, shows this value. |
| 19099 | 'True' is used for emphasis, clarity, assertion, comparison, objectivity, meaning, negation, consequence... [Misak] |
| Full Idea: 'P is true' is used to emphasise p, and avoid logic problems. The pragmatists says there are plenty of other uses: the aim of assertion or deliberation, the improvement of our views, distinguishing objectivity, explaining meaning, negation, consequence... | |
| From: Cheryl Misak (Pragmatism and Deflationism [2007], 2) | |
| A reaction: Pragmatism seems to break 'true' down into its many uses, rather than having a specific theory of truth. This might be where ordinary language philosophy (how is the word 'true' used) meets pragmatism (how is the concept [true] used). |
| 19103 | 'That's true' doesn't just refer back to a sentence, but implies sustained evidence for it [Misak] |
| Full Idea: The pragmatist says 'That's so' or 'that's true' are not just 'pro-sentential', but carry with them the thought that evidence does currently speak in favour of the statement asserted, and the prediction that it will continue to speak in favour. | |
| From: Cheryl Misak (Pragmatism and Deflationism [2007], 3) | |
| A reaction: This is a very nice point made by a pragmatist against the flimsy view of truth held by various deflationary views. You ought to believe what is true, and stand by what you hold to be true. |
| 19101 | Disquotation is bivalent [Misak] |
| Full Idea: The disquotational schema entails bivalence. | |
| From: Cheryl Misak (Pragmatism and Deflationism [2007], 2 n10) | |
| A reaction: A simple but interesting observation. Critics of Tarski observe that he depends on a bivalent logic. |
| 19096 | Disquotationalism resembles a telephone directory [Misak] |
| Full Idea: Disquotationalism is more like a telephone directory than a theory. | |
| From: Cheryl Misak (Pragmatism and Deflationism [2007], 2 n7) | |
| A reaction: [She cites Wilfred Sellars 1962:33] The idea is that there is a schema - 'p' is true iff p - and that all the acceptable sentences of a language can be expressed in this way, making a vast but finite list. It seems to replace 'theories'. |
| 19106 | Disquotations says truth is assertion, and assertion proclaims truth - but what is 'assertion'? [Misak] |
| Full Idea: The point of the disquotational schema is that to say that a sentence is true is to assert it, and to assert a sentence is to say that it is true. We must then ask what it is to assert or endorse a proposition. | |
| From: Cheryl Misak (Pragmatism and Deflationism [2007], 4) | |
| A reaction: [She is referring to the views of Crispin Wright] Most people would say that we assert something because we think it is true, and truth is obviously prior. Clearly if it has been asserted, that was because someone thought it was true. |
| 19098 | Deflating the correspondence theory doesn't entail deflating all the other theories [Misak] |
| Full Idea: We must not move seamlessly from the thought that the correspondence theory must be deflated to the thought that any theory of truth must be deflated. | |
| From: Cheryl Misak (Pragmatism and Deflationism [2007], 2) | |
| A reaction: This rather good essay offers the idea that Peircean pragmatic approaches to truth can meet the deflationary desires of the opponents of correspondence, without jettisoning all the crucial naturalistic connections with reality. Interesting. |
| 19104 | Deflationism isn't a theory of truth, but an account of its role in natural language [Misak] |
| Full Idea: Deflationist theories are not theories of truth, or theories of what truth is. ...They are theories which try to explain the role that 'true' plays in natural languages. | |
| From: Cheryl Misak (Pragmatism and Deflationism [2007], 3) | |
| A reaction: [She cites Dorothy Grover 2001,2002] If so, then the modern axiomatic theory of truth sounds appealing, because it tries to give a fuller and more precise account than a mere list is disquotations could possibly give. |
| 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) |
| 18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
| Full Idea: Three periods can be distinguished in philosophical logic: the syntactic stage, from Russell's definite descriptions to the 1950s, the dominance of possible world semantics from the 50s to 80s, and a current widening of the subject. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 1) | |
| A reaction: [compressed] I've read elsewhere that the arrival of Tarski's account of truth in 1933, taking things beyond the syntactic, was also a landmark. |
| 18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
| Full Idea: Logical formalization forces the investigator to make the central philosophical concepts precise. It can also show how some philosophical concepts and objects can be defined in terms of others. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 2) | |
| A reaction: This is the main rationale of the highly formal and mathematical approach to such things. The downside is when you impose 'precision' on language that was never intended to be precise. |
| 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. |
| 18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
| Full Idea: A (logical) model is a set with functions and relations defined on it that specify the denotation of the non-logical vocabulary. A series of recursive clauses explicate how truth values of complex sentences are compositionally determined from the parts. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
| A reaction: See the ideas on 'Functions in logic' and 'Relations in logic' (in the alphabetical list) to expand this important idea. |
| 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. |
| 18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
| Full Idea: If there is indeed no property of existence that is expressed by the word 'exist', then it makes no sense to ask for its essence. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 2) | |
| A reaction: As far as I can tell, this was exactly Aristotle's conclusion, so he skirted round the question of 'being qua being', and focused on the nature of objects instead. Grand continental talk of 'Being' doesn't sound very interesting. |
| 19109 | The anti-realism debate concerns whether indefeasibility is a plausible aim of inquiry [Misak] |
| Full Idea: If indefeasibility turns out to be something we can't sensibly aim at in a kind of inquiry, then the judgements that arise from that kind of 'inquiry' are not truth-apt. It is here that the realism/anti-realism debate resides. | |
| From: Cheryl Misak (Pragmatism and Deflationism [2007], 4) | |
| A reaction: A very interesting way of presenting the issue, one that makes the debate sound (to me) considerably more interesting than hitherto. I may start using the word 'indefeasible' rather a lot, in my chats with the anti-realist philosophical multitude. |
| 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. |
| 18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
| Full Idea: A Tarskian model can in a sense be seen as a model of a possible state of affairs. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
| A reaction: I include this remark to show how possible worlds semantics built on the arrival of model theory. |
| 18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
| Full Idea: The notion of a possible worlds model was extended (resulting in the concept of a 'spheres model') in order to obtain a satisfactory logical treatment of counterfactual conditional sentences. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 4) | |
| A reaction: Thus we add 'centred' worlds, and an 'actual' world, to the loose original model. It is important to remember when we discuss 'close' worlds that we are then committed to these presuppositions. |
| 18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
| Full Idea: The idea of 'impossible worlds' was introduced into epistemic logic. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 4) | |
| A reaction: Nathan Salmon seems interested in their role in metaphysics (presumably in relation to Meinongian impossible objects, like circular squares, which must necessarily be circular). |
| 18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
| Full Idea: Each possible worlds model contains a set of possible worlds. For this reason, possible worlds semantics is often charged with smuggling in heavy metaphysical commitments. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
| A reaction: To a beginner it looks very odd that you should try to explain possibility by constructing a model of it in terms of 'possible' worlds. |
| 18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
| Full Idea: When the possible worlds semantics were further extended to model notions of knowledge and of moral obligation, the application was beginning to look distinctly forced and artificial. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 5) | |
| A reaction: They accept lots of successes in modelling necessity and time. |
| 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'. |