32 ideas
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. |
19400 | Possibles demand existence, so as many of them as possible must actually exist [Leibniz] |
Full Idea: From the conflict of all the possibles demanding existence, this at once follows, that there exists that series of things by which as many of them as possible exist. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.91) | |
A reaction: I'm in tune with a lot of Leibniz, but my head swims with this one. He seems to be a Lewisian about possible worlds - that they are concrete existing entities (with appetites!). Could Lewis include Leibniz's idea in his system? |
19401 | God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz] |
Full Idea: The sufficient reason for God's choice can be found only in the fitness (convenance) or in the degree of perfection that the several worlds possess. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92) | |
A reaction: The 'fitness' of a world and its 'perfection' seem very different things. A piece of a jigsaw can have wonderful fitness, without perfection. Occasionally you get that sinking feeling with metaphysicians that they just make it up. |
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. |
15435 | If you think universals are immanent, you must believe them to be sparse, and not every related predicate [Lewis] |
Full Idea: Any theorist of universals as immanent had better hold a sparse theory; it is preposterous on its face that a thing has as many nonspatiotemporal parts as there are different predicates that it falls under, or different classes that it belongs to. | |
From: David Lewis (Against Structural Universals [1986], 'Why believe') | |
A reaction: I am firmly committed to sparse universal, and view the idea that properties are just predicates as the sort of nonsense that results from approaching philosophy too linguistically. |
15451 | I assume there could be natural properties that are not instantiated in our world [Lewis] |
Full Idea: It is possible, I take it, that there might be simple natural properties different from any that instantiated within our world. | |
From: David Lewis (Against Structural Universals [1986], 'Uninstantiated') | |
A reaction: Interesting. Fine for Lewis, of course, for whom possibilities seem (to me) to be just logical possibilities. Even a scientific essentialist, though, must allow that different stuff might exist, which might have different intrinsic properties. |
15433 | Tropes are particular properties, which cannot recur, but can be exact duplicates [Lewis] |
Full Idea: Tropes are supposed to be particularized properties: nonspatiotemporal parts of their instances which cannot occur repeatedly, but can be exact duplicates. | |
From: David Lewis (Against Structural Universals [1986], 'Intro') | |
A reaction: Russell's objection is that 'duplication' appears to be a non-trope universal. The account seems wrong for very close resemblance, which is accepted by everyone as being the same (e.g. in colour, for football shirts). |
15436 | Universals are meant to give an account of resemblance [Lewis] |
Full Idea: Perhaps the main job of a theory of universals is to give an account of resemblance. | |
From: David Lewis (Against Structural Universals [1986], 'Why believe') | |
A reaction: This invites the quick reply, popular with some nominalists, of taking resemblance as primitive, and hence beyond explanation. |
15438 | We can add a primitive natural/unnatural distinction to class nominalism [Lewis] |
Full Idea: To class nominalism we can add a primitive distinction between natural and unnatural classes. | |
From: David Lewis (Against Structural Universals [1986], 'Why believe') | |
A reaction: Lewis explores this elsewhere, but this looks like a very complex concept to play the role of a 'primitive'. Human conventions seem to be parts of nature. |
15448 | The 'magical' view of structural universals says they are atoms, even though they have parts [Lewis] |
Full Idea: The 'magical' conception of structural universals says 'simple' must be distinguished from 'atomic'. A structural universal is never simple; it involves other, simpler, universals, but it is mereologically atomic. The other universals are not its parts. | |
From: David Lewis (Against Structural Universals [1986], 'The magical') | |
A reaction: Hence the 'magic' is for it to be an indissoluble unity, while acknowledging that it has parts. Personally I don't see much problem with this view, since universals already perform the magical feat of being 'instantiated', whatever that means. |
15449 | If 'methane' is an atomic structural universal, it has nothing to connect it to its carbon universals [Lewis] |
Full Idea: What is it about the universal carbon that gets it involved in necessary connections with methane? Why not rubidium instead? The universal 'carbon' has nothing more in common with the universal methane than the universal rubidium has! | |
From: David Lewis (Against Structural Universals [1986], 'The magical') | |
A reaction: This is his objection to the 'magical' unity of structural universals. The point is that if methane is an atomic unity, as claimed, it can't have anything 'in common' with its components. |
15439 | The 'pictorial' view of structural universals says they are wholes made of universals as parts [Lewis] |
Full Idea: On the 'pictorial' conception, a structural universal is isomorphic to its instances. ...It is an individual, a mereological composite, not a set. ...It is composed of simpler universals which are literally parts of it. | |
From: David Lewis (Against Structural Universals [1986], 'The pictorial') | |
A reaction: I'm not clear why Lewis labels this the 'pictorial' view. His other two views of structural universals are 'linguistic' and 'magical'. The linguistic is obviously wrong, and the magical doesn't sound promising. Must I vote for pictorial? |
15441 | The structural universal 'methane' needs the universal 'hydrogen' four times over [Lewis] |
Full Idea: What is wrong with the pictorial conception is that if the structural universal 'methane' is to be an isomorph of the molecules that are its instances, it must have the universal 'hydrogen' as a part not just once, but four times over. | |
From: David Lewis (Against Structural Universals [1986], 'The pictorial') | |
A reaction: The point is that if hydrogen is a universal it must be unique, so there can't be four of them. To me this smacks of the hopeless mess theologians get into, because of bad premisses. Drop universals, and avoid this kind of stuff. |
15445 | Butane and Isobutane have the same atoms, but different structures [Lewis] |
Full Idea: The stuctural universal 'isobutane' consists of the universal carbon four times over, hydrogen ten times over, and the universal 'bonded' thirteen times over - just like the universal 'butane'. | |
From: David Lewis (Against Structural Universals [1986], 'Variants') | |
A reaction: The point is that isobutane and butane have the same components in different structures. At least this is Lewis facing up to the problem of the 'flatness' of mereological wholes. |
15434 | Structural universals have a necessary connection to the universals forming its parts [Lewis] |
Full Idea: There is a necessary connection between the instantiating of a structural universal by the whole and the instantiating of other universals by its parts. We can call the relation 'involvement', a nondescript word. | |
From: David Lewis (Against Structural Universals [1986], 'What are') | |
A reaction: In the case of a shape, I suppose the composing 'universals' [dunno what they are] will all be essential to the shape - that is, part of the very nature of the thing, loss of which would destroy the identity. |
15437 | We can't get rid of structural universals if there are no simple universals [Lewis] |
Full Idea: We can't dispense with structural universals if we cannot be sure that there are any simples which can be involved in them. | |
From: David Lewis (Against Structural Universals [1986], 'Why believe') | |
A reaction: Lewis cites this as Armstrong's strongest reason for accepting structural universals (and he takes their requirement for an account of laws of nature as the weakest). I can't comprehend a world that lacks underlying simplicity. |
15446 | Composition is not just making new things from old; there are too many counterexamples [Lewis] |
Full Idea: Not just any operation that makes new things from old is a form of composition! There is no sense in which my parents are part of me, and no sense in which two numbers are parts of their greatest common factor. | |
From: David Lewis (Against Structural Universals [1986], 'Variants') | |
A reaction: One of those rare moments when David Lewis seems to have approached a really sensible metaphysics. Further on he rejects all forms of composition apart from mereology. |
15440 | A whole is distinct from its parts, but is not a further addition in ontology [Lewis] |
Full Idea: A whole is an extra item in our ontology only in the minimal sense that it is not identical to any of its proper parts; but it is not distinct from them either, so when we believe in the parts it is no extra burden to believe in the whole. | |
From: David Lewis (Against Structural Universals [1986], 'The pictorial') | |
A reaction: A little confusing, to be 'not identical' and yet 'not different'. As Lewis says elsewhere, the whole is one, and the parts are not. A crux. Essentialism implies a sort of holism, that parts with a structure constitute a new thing. |
15444 | Different things (a toy house and toy car) can be made of the same parts at different times [Lewis] |
Full Idea: Different things can be made of the same parts at different times, as when the tinkertoy house is taken apart and put back together as a tinkertoy car. | |
From: David Lewis (Against Structural Universals [1986], 'Variants') | |
A reaction: More important than it looks! This is Lewis's evasion of the question of the structure of the parts. Times will individuate different structures, but if I take type-identical parts and make a house and a car simultaneously, are they type-identical? |
19402 | The actual universe is the richest composite of what is possible [Leibniz] |
Full Idea: The actual universe is the collection of the possibles which forms the richest composite. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92) | |
A reaction: 'Richest' for Leibniz means a maximum combination of existence, order and variety. It's rather like picking the best starting team from a squad of footballers. |
15450 | Maybe abstraction is just mereological subtraction [Lewis] |
Full Idea: We could say that abstraction is just mereological subtraction of universals. | |
From: David Lewis (Against Structural Universals [1986], 'Uninstantiated') | |
A reaction: This only works, of course, for the theories that complex universals have simpler universals as 'parts'. This is just a passing surmise. I take it that abstraction only works for a thing whose unity survives the abstraction. |
15443 | Mathematicians abstract by equivalence classes, but that doesn't turn a many into one [Lewis] |
Full Idea: When mathematicians abstract one thing from others, they take an equivalence class. ....But it is only superficially a one; underneath, a class are still many. | |
From: David Lewis (Against Structural Universals [1986], 'The pictorial') | |
A reaction: This is Frege's approach to abstraction, and it is helpful to have it spelled out that this is a mathematical technique, even when applied by Frege to obtaining 'direction' from classes of parallels. Too much philosophy borrows inappropriate techniques. |