65 ideas
| 2056 | Philosophers are always switching direction to something more interesting [Plato] |
| Full Idea: Philosophers are always ready to change direction, if a topic crops up which is more attractive than the one to hand. | |
| From: Plato (Theaetetus [c.364 BCE], 172d) | |
| A reaction: Which sounds trivial, but it may be what God does. |
| 16440 | I don't think Lewis's cost-benefit reflective equilibrium approach offers enough guidance [Stalnaker] |
| Full Idea: Lewis articulated and made fashionable the cost-benefit reflective equilibrium methodology, but I have my reservations as it does not offer much guidance. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 1.1) | |
| A reaction: Stalnaker suggests that this approach has 'run amok' in Lewis's case, giving reality to possible worlds. He spends much effort on showing the 'benefits' of a profoundly implausible view. The same can be said of 4D Perdurantism. |
| 2083 | Either a syllable is its letters (making parts as knowable as whole) or it isn't (meaning it has no parts) [Plato] |
| Full Idea: Either a syllable is not the same as its letters, in which case it cannot have the letters as parts of itself, or it is the same as its letters, in which case these basic elements are just as knowable as it is. | |
| From: Plato (Theaetetus [c.364 BCE], 205b) |
| 2086 | Understanding mainly involves knowing the elements, not their combinations [Plato] |
| Full Idea: A perfect grasp of any subject depends far more on knowing elements than on knowing complexes. | |
| From: Plato (Theaetetus [c.364 BCE], 206b) |
| 2082 | A rational account is essentially a weaving together of things with names [Plato] |
| Full Idea: Just as primary elements are woven together, so their names may be woven together to produce a spoken account, because an account is essentially a weaving together of names. | |
| From: Plato (Theaetetus [c.364 BCE], 202b) | |
| A reaction: If justification requires 'logos', and logos is a 'weaving together of names', then Plato might be taken as endorsing the coherence account of justification. Or do the two 'weavings' correspond? |
| 2052 | Eristic discussion is aggressive, but dialectic aims to help one's companions in discussion [Plato] |
| Full Idea: Eristic discussions involve as many tricks and traps as possible, but dialectical discussions involve being serious and correcting the interlocutor's mistakes only when they are his own fault or the result of past conditioning. | |
| From: Plato (Theaetetus [c.364 BCE], 167e) |
| 15854 | A primary element has only a name, and no logos, but complexes have an account, by weaving the names [Plato] |
| Full Idea: A primary element cannot be expressed in an account; it can only be named, for a name is all that it has. But with the things composed of these ...just as the elements are woven together, so the names can woven to become an account. | |
| From: Plato (Theaetetus [c.364 BCE], 202b01-3) | |
| A reaction: This is the beginning of what I see as Aristotle's metaphysics, as derived from his epistemology, that is, ontology is what explains, and what we can give an account [logos] of. Aristotle treats this under 'definitions'. |
| 16468 | Non-S5 can talk of contingent or necessary necessities [Stalnaker] |
| Full Idea: One can make sense of necessary versus contingent necessities in a non-S5 modal semantics. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 4.3 n17) | |
| A reaction: In S5 □φ → □□φ, so all necessities are necessary. Does it make any sense to say 'I suppose this might have been necessarily true'? |
| 16449 | In modal set theory, sets only exist in a possible world if that world contains all of its members [Stalnaker] |
| Full Idea: One principle of modal set theory should be uncontroversial: a set exists in a given possible world if and only if all of its members exist at that world. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 2.4) | |
| A reaction: Does this mean there can be no set containing all of my ancestors and future descendants? In no world can we coexist. |
| 16464 | We regiment to get semantic structure, for evaluating arguments, and understanding complexities [Stalnaker] |
| Full Idea: The point of regimentation is to give a perspicuous representation of the semantic structure of an expression, making it easier to evaluate the validity of arguments and to interpret complex statements. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 4.2) | |
| A reaction: This is an authoritative summary from an expert of why all philosophers must take an interest in logical form. |
| 16465 | In 'S was F or some other than S was F', the disjuncts need S, but the whole disjunction doesn't [Stalnaker] |
| Full Idea: In 'either Socrates was a philosopher or someone other than Socrates was a philosopher', both propositions expressed by the disjuncts depend for their existence on the existence of Socrates, but the whole disjunction does not. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 4.2) | |
| A reaction: Nice example, just the sort of thing we pay philosophers to come up with. He is claiming that propositions can exist in possible worlds in which the individuals mentioned do not exist. |
| 14212 | A consistent theory just needs one model; isomorphic versions will do too, and large domains provide those [Lewis] |
| Full Idea: A consistent theory is, by definition, one satisfied by some model; an isomorphic image of a model satisfies the same theories as the original model; to provide the making of an isomorphic image of any given model, a domain need only be large enough. | |
| From: David Lewis (Putnam's Paradox [1984], 'Why Model') | |
| A reaction: This is laying out the ground for Putnam's model theory argument in favour of anti-realism. If you are chasing the one true model of reality, then formal model theory doesn't seem to offer much encouragement. |
| 10216 | We master arithmetic by knowing all the numbers in our soul [Plato] |
| Full Idea: It must surely be true that a man who has completely mastered arithmetic knows all numbers? Because there are pieces of knowledge covering all numbers in his soul. | |
| From: Plato (Theaetetus [c.364 BCE], 198b) | |
| A reaction: This clearly views numbers as objects. Expectation of knowing them all is a bit startling! They also appear to be innate in us, and hence they appear to be Forms. See Aristotle's comment in Idea 645. |
| 16439 | A nominalist view says existence is having spatio-temporal location [Stalnaker] |
| Full Idea: A nominalist definition of existence is 'having spatio-temporal location'. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 1.1) | |
| A reaction: This would evidently be physicalist as well as nominalist. Presumably it fits the 'mosaic' of reality Lewis refers to. I find this view sympathetic. A process of abstraction is required to get the rest of the stuff we talk about. |
| 16434 | Some say what exists must do so, and nothing else could possible exist [Stalnaker] |
| Full Idea: Some philosophers deny there could have been anything other than what in fact exists, or that anything that exists could have failed to exist. This is developed in very different ways by Wittgenstein (in 'Tractatus'), Lewis and Williamson. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 1) | |
| A reaction: This could come in various strengths. A weak version would say that, empirically, that all talk of what doesn't exist is vacuous. A strong necessity (Williamson?) that totally rules out other possible existence is a very odd view. |
| 2060 | There seem to be two sorts of change: alteration and motion [Plato] |
| Full Idea: There are two kinds of change, I think: alteration and motion. | |
| From: Plato (Theaetetus [c.364 BCE], 181d) | |
| A reaction: Idea 1700 is better than this. |
| 14213 | Anti-realists see the world as imaginary, or lacking joints, or beyond reference, or beyond truth [Lewis] |
| Full Idea: Anti-realists say the only world is imaginary, or only has the parts or classes or relations we divide it into, or doubt that reference to the world is possible, or doubt that our interpretations can achieve truth. | |
| From: David Lewis (Putnam's Paradox [1984], 'Why Anti-R') | |
| A reaction: [compression of a paragraph on anti-realism] Lewis is a thoroughgoing realist. A nice example of the rhetorical device of ridiculing an opponent by suggesting that they don't even know what they themselves believe. |
| 16443 | Properties are modal, involving possible situations where they are exemplified [Stalnaker] |
| Full Idea: I take properties and relations to be modal notions. Properties are to be understood in terms of what it would be for them to be exemplified, which means understanding them in terms of a range of possible situations. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 1.2) | |
| A reaction: I can't make head or tail of a property as anything other than a feature of some entity. Treating properties as a 'range of situations' is just as baffling to me as treating them as sets of objects. |
| 16471 | I accept a hierarchy of properties of properties of properties [Stalnaker] |
| Full Idea: I myself am prepared to accept higher-order properties and relations. There is the property of being Socrates, …and the property of being the property of being Socrates, ..and so on. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 4.4) | |
| A reaction: Elsewhere I have quoted such a hierarchy of vacuous properties as an absurdity that arises if all predicates are treated as properties. Logicians can live with such stuff, given their set hierarchy and so on, but in science and life this is a nonsense. |
| 16452 | Dispositions have modal properties, of which properties things would have counterfactually [Stalnaker] |
| Full Idea: Dispositional properties deserve special mention since they seem to be properties that have modal consequences - consequences for what properties the individuals that instantiate them would have in counterfactual circumstances. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 3.4) | |
| A reaction: I take this to be the key idea in trying to understand modality, but Stalnaker makes this point and then moves swiftly on, because it is so far away from his possible worlds models, in which he has invested a lifetime. |
| 2084 | If a word has no parts and has a single identity, it turns out to be the same kind of thing as a letter [Plato] |
| Full Idea: If a complex or a syllable has no parts and is a single identity, hasn't it turned out to be the same kind of thing as an element or letter? | |
| From: Plato (Theaetetus [c.364 BCE], 205d) |
| 14210 | A gerrymandered mereological sum can be a mess, but still have natural joints [Lewis] |
| Full Idea: The mereological sum of the coffee in my cup, the ink in this sentence, a nearby sparrow, and my left shoe is a miscellaneous mess of an object, yet its boundaries are by no means unrelated to the joints of nature. | |
| From: David Lewis (Putnam's Paradox [1984], 'What Might') | |
| A reaction: In that case they do, but if there are no atoms at the root of physics then presumably their could also be thoroughly jointless assemblages, involving probability distributions etc. Even random scattered atoms seem rather short of joints. |
| 15843 | The whole can't be the parts, because it would be all of the parts, which is the whole [Plato] |
| Full Idea: The whole does not consist of parts; for it did, it would be all the parts and so would be the sum. | |
| From: Plato (Theaetetus [c.364 BCE], 204e) | |
| A reaction: That is, 'the whole is the sum of its parts' is a tautology! The claim that 'the whole is more than the sum of its parts' gets into similar trouble. See Verity Harte on this. |
| 15844 | A sum is that from which nothing is lacking, which is a whole [Plato] |
| Full Idea: But this sum now - isn't it just when there is nothing lacking that it is a sum? Yes, necessarily. And won't this very same thing - that from which nothing is lacking - be a whole? | |
| From: Plato (Theaetetus [c.364 BCE], 205a) | |
| A reaction: This seems to be right, be rather too vague and potentially circular to be of much use. What is the criterion for deciding that nothing is lacking? |
| 16467 | 'Socrates is essentially human' seems to say nothing could be Socrates if it was not human [Stalnaker] |
| Full Idea: It seems natural to paraphrase the claim that Socrates is essentially human as the claim that nothing could be Socrates if it was not human. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 4.3) | |
| A reaction: In ordinary speech it would be emphasising how very human Socrates was (in comparison with Frege, for example). By this token Socrates essentially breathes oxygen, but that is hardly part of his essence. |
| 16453 | The bundle theory makes the identity of indiscernibles a necessity, since the thing is the properties [Stalnaker] |
| Full Idea: On the bundle theory, the identity of indiscernibles (for 'individuals') is a necessary truth, since an individual is just the co-instantiation of all the properties represented by a point in the space of properties. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 3.6) | |
| A reaction: So much the worse for the bundle theory, I presume. Leibniz did not, I think, hold a bundle theory, but his belief in the identity of indiscernibles seems to have had a theologicial underpinning. |
| 16466 | Strong necessity is always true; weak necessity is cannot be false [Stalnaker] |
| Full Idea: Prior had a strong and a weak reading of necessity, where strong necessity is truth in all possible worlds, while weak necessity is falsity in no possible world. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 4.3) | |
| A reaction: [K.Fine 2005:Ch.9 is also cited] The point of the weak one is that in some worlds there might not exist the proposition which is the candidate for truth or falsehood. |
| 16438 | Necessity and possibility are fundamental, and there can be no reductive analysis of them [Stalnaker] |
| Full Idea: My view is that if there were a nonmodal analysis of the modal concepts, that would be a sure sign that we were on the wrong track. Necessity and possibility are fundamental concepts, like truth and existence. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 1.1) | |
| A reaction: The mystery of modality is tied up with the mystery of time (which is a very big mystery indeed). You get a nice clear grip on the here and now, but time and motion whisk you away to something else. Modality concerns the something else. |
| 16436 | Modal concepts are central to the actual world, and shouldn't need extravagant metaphysics [Stalnaker] |
| Full Idea: Modal concepts are central to our understanding of the world - the actual world - and understanding them should not require extravagant metaphysical commitments. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 1) | |
| A reaction: I agree. Personally I think powers and dispositions do the job nicely. You just have to embrace Leibniz's emphasis on the active nature of reality, and the implausible metaphysics starts to recede. |
| 16433 | Given actualism, how can there be possible individuals, other than the actual ones? [Stalnaker] |
| Full Idea: My main focus is on how, on an actualist interpretation of possible worlds as ways a world might be, one is to account for the possibility that there be individuals other than those that actually exist. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], Pref) | |
| A reaction: The obvious thought would be that they are constructions from components of actual individuals, such as the chimaera, or fictional characters. We need some psychology here, which is not Stalnaker's style. |
| 16444 | Possible worlds don't reduce modality, they regiment it to reveal its structure [Stalnaker] |
| Full Idea: It is not reduction (of modality) but regimentation that the possible-worlds framework provides - a procedure for representing modal discourse, using primitive modal notions, in a way that helps reveal its structure. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 1.2) | |
| A reaction: I think this is exactly my view. All discussion of the ontology of possible worlds is irrelevant. They no more exist than variables in logic exist. They're good when they clarify, but dubious when they over-simplify. |
| 16445 | I think of worlds as cells (rather than points) in logical space [Stalnaker] |
| Full Idea: I prefer to think of the possible worlds not as points in logical space but as cells of a relatively fine-grained partition of logical space - a partition that makes all the distinctions we need. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 1.2) | |
| A reaction: Since he regards possible worlds as simply a means of regimenting our understanding of modality, he can think of possible worlds in any way that suits him. I find it hard work tuning in to his vision. |
| 16437 | Possible worlds are properties [Stalnaker] |
| Full Idea: Possible worlds are (to a first approximation) properties. [p.12] They are properties of the total universe. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 1) |
| 16454 | Modal properties depend on the choice of a counterpart, which is unconstrained by metaphysics [Stalnaker] |
| Full Idea: Things have modal properties only relative to the choice of a counterpart relation, and the choice between alternative counterpart relations is not constrained by the metaphysics. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 3.6) | |
| A reaction: Stalnaker is sympathetic to counterparts, but this strikes me as a powerful objection to the theory. I take the modal properties of something to be fixed by its actuality. |
| 16450 | Anti-haecceitism says there is no more to an individual than meeting some qualitative conditions [Stalnaker] |
| Full Idea: The anti-haecceitist strategy holds that a purely qualitative characterisation of a possible world would be a complete characterisation; there is, on this view, nothing to being a particular individual other than meeting certain qualitative conditions. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 3) | |
| A reaction: Not quite the same as the bundle theory of objects, which says the objects are the qualities. This is about individuation, not about ontology (I think). I don't like anti-haecceitism, but I also don't like haecceitism. Hmm. |
| 2080 | Things are only knowable if a rational account (logos) is possible [Plato] |
| Full Idea: Things which are susceptible to a rational account are knowable. | |
| From: Plato (Theaetetus [c.364 BCE], 201d) |
| 16126 | Expertise is knowledge of the whole by means of the parts [Plato] |
| Full Idea: A man has passed from mere judgment to expert knowledge of the being of a wagon when he has done so in virtue of having gone over the whole by means of the elements. | |
| From: Plato (Theaetetus [c.364 BCE], 207c) | |
| A reaction: Plato is emphasising that the expert must know the hundred parts of a wagon, and not just the half dozen main components, but here the point is to go over the whole via the parts, and not just list the parts. |
| 2050 | It is impossible to believe something which is held to be false [Plato] |
| Full Idea: It is impossible to believe something which is not the case. | |
| From: Plato (Theaetetus [c.364 BCE], 167a) |
| 2076 | How can a belief exist if its object doesn't exist? [Plato] |
| Full Idea: If the object of a belief is what is not, the object of this belief is nothing; but if there is no object to a belief, then that is not belief at all. | |
| From: Plato (Theaetetus [c.364 BCE], 189a) |
| 2045 | Perception is infallible, suggesting that it is knowledge [Plato] |
| Full Idea: Perception is always of something that is, and it is infallible, which suggests that it is knowledge. | |
| From: Plato (Theaetetus [c.364 BCE], 152c) |
| 2067 | Our senses could have been separate, but they converge on one mind [Plato] |
| Full Idea: It would be peculiar if each of us were like a Trojan horse, with a whole bunch of senses sitting inside us, rather than that all these perceptions converge onto a single identity (mind, or whatever one ought to call it). | |
| From: Plato (Theaetetus [c.364 BCE], 184d) |
| 2069 | Thought must grasp being itself before truth becomes possible [Plato] |
| Full Idea: If you can't apprehend being you can't apprehend truth, and so a thing could not be known. Therefore knowledge is not located in immediate experience but in thinking about it, since the latter makes it possible to grasp being and truth. | |
| From: Plato (Theaetetus [c.364 BCE], 186c) |
| 2068 | With what physical faculty do we perceive pairs of opposed abstract qualities? [Plato] |
| Full Idea: With what physical faculty do we perceive being and not-being, similarity and dissimilarity, identity and difference, oneness and many, odd and even and other maths, ….fineness and goodness? | |
| From: Plato (Theaetetus [c.364 BCE], 185d) |
| 2078 | You might mistake eleven for twelve in your senses, but not in your mind [Plato] |
| Full Idea: Sight or touch might make someone take eleven for twelve, but he could never form this mistaken belief about the contents of his mind. | |
| From: Plato (Theaetetus [c.364 BCE], 195e) |
| 2089 | An inadequate rational account would still not justify knowledge [Plato] |
| Full Idea: If you don't know which letters belong together in the right syllables…it is possible for true belief to be accompanied by a rational account and still not be entitled to the name of knowledge. | |
| From: Plato (Theaetetus [c.364 BCE], 208b) | |
| A reaction: In each case of justification there is a 'clinching' stage, for which there is never going to be a strict rule. It might be foundational, but equally it might be massive coherence, or no alternative. |
| 2085 | Parts and wholes are either equally knowable or equally unknowable [Plato] |
| Full Idea: Either a syllable and its letters are equally knowable and expressible in a rational account, or they are both equally unknowable and inexpressible. | |
| From: Plato (Theaetetus [c.364 BCE], 205e) | |
| A reaction: Presumably you could explain the syllable by the letters, but not vice versa, but he must mean that the explanation is worthless without the letters being explained too. So all explanation is worthless? |
| 2091 | Without distinguishing marks, how do I know what my beliefs are about? [Plato] |
| Full Idea: If I only have beliefs about Theaetetus when I don't know his distinguishing mark, how on earth were my beliefs about you rather than anyone else? | |
| From: Plato (Theaetetus [c.364 BCE], 209b) | |
| A reaction: This is a rather intellectualist approach to mental activity. Presumably Theaetetus has lots of distinguishing marks, but they are not conscious. Must Socrates know everything? |
| 2087 | A rational account might be seeing an image of one's belief, like a reflection in a mirror [Plato] |
| Full Idea: A rational account might be forming an image of one's belief, as in a mirror or a pond. | |
| From: Plato (Theaetetus [c.364 BCE], 206d) | |
| A reaction: Not promising, since the image is not going to be clearer than the original, or contain any new information. Maybe it would be clarified by being 'framed', instead of drifting in muddle. |
| 2090 | A rational account involves giving an image, or analysis, or giving a differentiating mark [Plato] |
| Full Idea: A third sort of rational account (after giving an image, or analysing elements) is being able to mention some mark which differentiates the object in question ('the sun is the brightest heavenly body'). | |
| From: Plato (Theaetetus [c.364 BCE], 208c) | |
| A reaction: This is Plato's clearest statement of what would be involved in adding the necessary logos to your true belief. An image of it, or an analysis, or an individuation. How about a cause? |
| 2081 | Maybe primary elements can be named, but not receive a rational account [Plato] |
| Full Idea: Maybe the primary elements of which things are composed are not susceptible to rational accounts. Each of them taken by itself can only be named, but nothing further can be said about it. | |
| From: Plato (Theaetetus [c.364 BCE], 201e) | |
| A reaction: This still seems to be more or less the central issue in philosophy - which things should be treated as 'primitive', and which other things are analysed and explained using the primitive tools? |
| 2088 | A rational account of a wagon would mean knowledge of its hundred parts [Plato] |
| Full Idea: In the case of a wagon, we may only have correct belief, but someone who is able to explain what it is by going through its hundred parts has got hold of a rational account. | |
| From: Plato (Theaetetus [c.364 BCE], 207b) | |
| A reaction: A wonderful example. In science, you know smoking correlates with cancer, but you only know it when you know the mechanism, the causal structure. This may be a general truth. |
| 2047 | What evidence can be brought to show whether we are dreaming or not? [Plato] |
| Full Idea: What evidence could be brought if we were asked at this very moment whether we are asleep and are dreaming all our thoughts? | |
| From: Plato (Theaetetus [c.364 BCE], 158b) |
| 2053 | If you claim that all beliefs are true, that includes beliefs opposed to your own [Plato] |
| Full Idea: To say that everyone believes what is the case, is to concede the truth of the oppositions' beliefs; in other words, the person has to concede that he himself is wrong. | |
| From: Plato (Theaetetus [c.364 BCE], 171a) |
| 2054 | Clearly some people are superior to others when it comes to medicine [Plato] |
| Full Idea: In medicine, at least, most people are not self-sufficient at prescribing and effecting cures for themselves, and here some people are superior to others. | |
| From: Plato (Theaetetus [c.364 BCE], 171e) |
| 2059 | How can a relativist form opinions about what will happen in the future? [Plato] |
| Full Idea: Does a relativist have any authority to decide about things which will happen in the future? | |
| From: Plato (Theaetetus [c.364 BCE], 178c) | |
| A reaction: Nice question! It seems commonsense that such speculations are possible, but without a concept of truth they are ridiculous. |
| 16474 | How can we know what we are thinking, if content depends on something we don't know? [Stalnaker] |
| Full Idea: How can we know what we ourselves are thinking if the very existence of the content of our thought may depend on facts of which we are ignorant? | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 5) | |
| A reaction: This has always been my main doubt about externalism. I may defer to experts about what I intend by an 'elm' (Putnam's example), but what I mean by elm is thereby a fuzzy tall tree with indeterminate leaves. I don't know the meaning of 'elm'! |
| 14215 | Causal theories of reference make errors in reference easy [Lewis] |
| Full Idea: Whatever happens in special cases, causal theories usually make it easy to be wrong about the thing we refer to. | |
| From: David Lewis (Putnam's Paradox [1984], 'What Is') | |
| A reaction: I suppose the point of this is that there are no checks and balances to keep reference in focus, but just a requirement to keep connected to an increasingly attenuated causal chain. |
| 14209 | Descriptive theories remain part of the theory of reference (with seven mild modifications) [Lewis] |
| Full Idea: Description theories of reference are supposed to have been well and truly refuted. I think not: ..it is still tenable with my seven points, and part of the truth of reference [7: rigidity, egocentric, tokens, causal, imperfect, indeterminate, families]. | |
| From: David Lewis (Putnam's Paradox [1984], 'Glob Desc') | |
| A reaction: (The bit at the end refers to his seven points, on p.59). He calls his basic proposal 'causal descriptivism', incorporating his seven slight modifications of traditional descriptivism about reference. |
| 16461 | We still lack an agreed semantics for quantifiers in natural language [Stalnaker] |
| Full Idea: We still do not know how to give a direct semantics for the quantifiers of a natural language; that is something that we still do not know how to do (or at least how it is done remains controversial). | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 4) | |
| A reaction: I am struck by how rapidly the domain of quantification changes, even in mid-sentence, in the course of an ordinary conversation. This is decided almost entirely by context, not by pure ('direct'?) semantics. |
| 16448 | Possible world semantics may not reduce modality, but it can explain it [Stalnaker] |
| Full Idea: Most theorists agree that possible worlds semantics cannot provide an analysis of modal concepts which is an eliminative reduction, but it can still provide an explanation of the meanings of modal expressions. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 2.2) | |
| A reaction: Stalnaker cites Kit Fine for the view that there is no reduction of modality, which Fine takes to be primitive. Stalnaker defends the semantics, while denying the reduction which Lewis thought possible. |
| 16442 | I take propositions to be truth conditions [Stalnaker] |
| Full Idea: I will defend the view that propositions are truth conditions. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 1.2) | |
| A reaction: This sounds close to the Russellian view, which I take to equate propositions (roughly) with facts or states of affairs. But are 'truth conditions' in the world or in the head? |
| 16447 | A theory of propositions at least needs primitive properties of consistency and of truth [Stalnaker] |
| Full Idea: A minimal theory of propositions can make do with just two primitive properties: a property of consistency applied to sets of propositions, and a property of truth applied to propositions. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 2) | |
| A reaction: I would have thought a minimal theory would need some account of what a proposition is supposed to be (since there seems to be very little agreement about that). Stalnaker goes on to sketch a theory. |
| 16446 | Propositions presumably don't exist if the things they refer to don't exist [Stalnaker] |
| Full Idea: It seems plausible that singular propositions are object-dependent in the sense that the proposition would not exist if the individual did not. It is also plausible that some objects exist contingently, and there are singular propositions about them. | |
| From: Robert C. Stalnaker (Mere Possibilities [2012], 2) | |
| A reaction: This replies to the view that possible worlds are maximal sets of propositions, and so must exist for the worlds to exist; e.g. Lowe 1999:248. That is yet another commonplace of contemporary philosophy which I find utterly bewildering. |
| 2058 | God must be the epitome of goodness, and we can only approach a divine state by being as good as possible [Plato] |
| Full Idea: It is impossible for God to be immoral and not to be the acme of morality; and the only way any of us can approximate to God is to become as moral as possible. | |
| From: Plato (Theaetetus [c.364 BCE], 176c) |
| 2057 | There must always be some force of evil ranged against good [Plato] |
| Full Idea: The elimination of evil is impossible, Theodorus; there must always be some force ranged against good. | |
| From: Plato (Theaetetus [c.364 BCE], 176a) |