56 ideas
15053 | If metaphysics can't be settled, it hardly matters whether it makes sense [Fine,K] |
Full Idea: If there is no way of settling metaphysical questions, then who cares whether or not they make sense? | |
From: Kit Fine (The Question of Realism [2001], 4 n20) | |
A reaction: This footnote is aimed at logical positivists, who seemed to worry about whether metaphysics made sense, and also dismissed its prospects even if it did make sense. |
15054 | 'Quietist' says abandon metaphysics because answers are unattainable (as in Kant's noumenon) [Fine,K] |
Full Idea: The 'quietist' view of metaphysics says that realist metaphysics should be abandoned, not because its questions cannot be framed, but because their answers cannot be found. The real world of metaphysics is akin to Kant's noumenal world. | |
From: Kit Fine (The Question of Realism [2001], 4) | |
A reaction: [He cites Blackburn, Dworkin, A.Fine, and Putnam-1987 as quietists] Fine aims to clarify the concepts of factuality and of ground, in order to show that metaphysics is possible. |
224 | When questions are doubtful we should concentrate not on objects but on ideas of the intellect [Plato] |
Full Idea: Doubtful questions should not be discussed in terms of visible objects or in relation to them, but only with reference to ideas conceived by the intellect. | |
From: Plato (Parmenides [c.364 BCE], 135e) |
232 | Opposites are as unlike as possible [Plato] |
Full Idea: Opposites are as unlike as possible. | |
From: Plato (Parmenides [c.364 BCE], 159a) |
8937 | Plato's 'Parmenides' is the greatest artistic achievement of the ancient dialectic [Hegel on Plato] |
Full Idea: Plato's 'Parmenides' is the greatest artistic achievement of the ancient dialectic. | |
From: comment on Plato (Parmenides [c.364 BCE]) by Georg W.F.Hegel - Phenomenology of Spirit Pref 71 | |
A reaction: It is a long way from the analytic tradition of philosophy to be singling out a classic text for its 'artistic' achievement. Eventually we may even look back on, say, Kripke's 'Naming and Necessity' and see it in that light. |
10845 | To be true a sentence must express a proposition, and not be ambiguous or vague or just expressive [Lewis] |
Full Idea: Sentences or assertions can be derivately called true, if they succeed in expressing determinate propositions. A sentence can be ambiguous or vague or paradoxical or ungrounded or not declarative or a mere expression of feeling. | |
From: David Lewis (Forget the 'correspondence theory of truth' [2001], p.276) | |
A reaction: Lewis has, of course, a peculiar notion of what a proposition is - it's a set of possible worlds. I, with my more psychological approach, take a proposition to be a particular sort of brain event. |
10847 | Truthmakers are about existential grounding, not about truth [Lewis] |
Full Idea: Instances of the truthmaker principle are equivalent to biconditionals not about truth but about the existential grounding of all manner of other things; the flying pigs, or what-have-you. | |
From: David Lewis (Forget the 'correspondence theory of truth' [2001]) | |
A reaction: The question then is what the difference is between 'existential grounding' and 'truth'. There wouldn't seem to be any difference at all if the proposition in question was a simple existential claim. |
10846 | Truthmaker is correspondence, but without the requirement to be one-to-one [Lewis] |
Full Idea: The truthmaker principle seems to be a version of the correspondence theory of truth, but differs mostly in denying that the correspondence of truths to facts must be one-to-one. | |
From: David Lewis (Forget the 'correspondence theory of truth' [2001], p.277) | |
A reaction: In other words, several different sentences might have exactly the same truthmaker. |
13986 | Plato found antinomies in ideas, Kant in space and time, and Bradley in relations [Plato, by Ryle] |
Full Idea: Plato (in 'Parmenides') shows that the theory that 'Eide' are substances, and Kant that space and time are substances, and Bradley that relations are substances, all lead to aninomies. | |
From: report of Plato (Parmenides [c.364 BCE]) by Gilbert Ryle - Are there propositions? 'Objections' |
14150 | Plato's 'Parmenides' is perhaps the best collection of antinomies ever made [Russell on Plato] |
Full Idea: Plato's 'Parmenides' is perhaps the best collection of antinomies ever made. | |
From: comment on Plato (Parmenides [c.364 BCE]) by Bertrand Russell - The Principles of Mathematics §337 |
16150 | One is, so numbers exist, so endless numbers exist, and each one must partake of being [Plato] |
Full Idea: If one is, there must also necessarily be number - Necessarily - But if there is number, there would be many, and an unlimited multitude of beings. ..So if all partakes of being, each part of number would also partake of it. | |
From: Plato (Parmenides [c.364 BCE], 144a) | |
A reaction: This seems to commit to numbers having being, then to too many numbers, and hence to too much being - but without backing down and wondering whether numbers had being after all. Aristotle disagreed. |
229 | The one was and is and will be and was becoming and is becoming and will become [Plato] |
Full Idea: The one was and is and will be and was becoming and is becoming and will become. | |
From: Plato (Parmenides [c.364 BCE], 155d) | |
A reaction: This seems to be rhetorical, rather a precise theory, given that the One is said to be eternal and unchanging. The One is not just what we call 'reality'. |
21821 | Plato's Parmenides has a three-part theory, of Primal One, a One-Many, and a One-and-Many [Plato, by Plotinus] |
Full Idea: The Platonic Parmenides is more exact [than Parmenides himself]; the distinction is made between the Primal One, a strictly pure Unity, and a secondary One which is a One-Many, and a third which is a One-and-Many. | |
From: report of Plato (Parmenides [c.364 BCE]) by Plotinus - The Enneads 5.1.08 | |
A reaction: Plotinus approves of this three-part theory. Parmenides has the problem that the highest Being contains no movement. By placing the One outside Being you can give it powers which an existent thing cannot have. Cf the concept of God. |
15007 | If you make 'grounding' fundamental, you have to mention some non-fundamental notions [Sider on Fine,K] |
Full Idea: My main objection to Fine's notion of grounding as fundamental is that it violates 'purity' - that fundamental truths should involve only fundamental notions. | |
From: comment on Kit Fine (The Question of Realism [2001]) by Theodore Sider - Writing the Book of the World 08.2 | |
A reaction: [p.106 of Sider for 'purity'] The point here is that to define a grounding relation you have to mention the 'higher' levels of the relationship (as in a 'city' being grounded in physical stuff), which doesn't seem fundamental enough. |
15006 | Something is grounded when it holds, and is explained, and necessitated by something else [Fine,K, by Sider] |
Full Idea: When p 'grounds' q then q holds in virtue of p's holding; q's holding is nothing beyond p's holding; the truth of p explains the truth of q in a particularly tight sense (explanation of q by p in this sense requires that p necessitates q). | |
From: report of Kit Fine (The Question of Realism [2001], 15-16) by Theodore Sider - Writing the Book of the World 08.1 | |
A reaction: This proposal has become a hot topic in current metaphysics, as attempts are made to employ 'grounding' in various logical, epistemological and ontological contexts. I'm a fan - it is at the heart of metaphysics as structure of reality. |
15055 | Grounding relations are best expressed as relations between sentences [Fine,K] |
Full Idea: I recommend that a statement of ground be cast in the following 'canonical' form: Its being the case that S consists in nothing more than its being the case that T, U... (where S, T, U... are particular sentences). | |
From: Kit Fine (The Question of Realism [2001], 5) | |
A reaction: The point here is that grounding is to be undestood in terms of sentences (and 'its being the case that...'), rather than in terms of objects, properties or relations. Fine thus makes grounding a human activity, rather than a natural activity. |
15050 | Reduction might be producing a sentence which gets closer to the logical form [Fine,K] |
Full Idea: One line of reduction is logical analysis. To say one sentence reduces to another is to say that they express the same proposition (or fact), but the grammatical form of the second is closer to the logical form than the grammatical form of the first. | |
From: Kit Fine (The Question of Realism [2001], 3) | |
A reaction: Fine objects that S-and-T reduces to S and T, which is two propositions. He also objects that this approach misses the de re ingredient in reduction (that it is about the things themselves, not the sentences). It also overemphasises logical form. |
15051 | Reduction might be semantic, where a reduced sentence is understood through its reduction [Fine,K] |
Full Idea: A second line of reduction is semantic, and holds in virtue of the meaning of the sentences. It should then be possible to acquire an understanding of the reduced sentence on the basis of understanding the sentences to which it reduces. | |
From: Kit Fine (The Question of Realism [2001], 3) | |
A reaction: Fine says this avoids the first objection to the grammatical approach (see Reaction to Idea 15050), but still can't handle the de re aspect of reduction. Fine also doubts whether this understanding qualifies as 'reduction'. |
15052 | Reduction is modal, if the reductions necessarily entail the truth of the target sentence [Fine,K] |
Full Idea: The third, more recent, approach to reduction is a modal matter. A class of propositions will reduce to - or supervene upon - another if, necessarily, any truth from the one is entailed by truths from the other. | |
From: Kit Fine (The Question of Realism [2001], 3) | |
A reaction: [He cites Armstrong, Chalmers and Jackson for this approach] Fine notes that some people reject supervenience as a sort of reduction. He objects that this reduction doesn't necessarily lead to something more basic. |
15056 | The notion of reduction (unlike that of 'ground') implies the unreality of what is reduced [Fine,K] |
Full Idea: The notion of ground should be distinguished from the strict notion of reduction. A statement of reduction implies the unreality of what is reduced, but a statement of ground does not. | |
From: Kit Fine (The Question of Realism [2001], 5) | |
A reaction: That seems like a bit of a caricature of reduction. If you see a grey cloud and it reduces to a swarm of mosquitoes, you do not say that the cloud was 'unreal'. Fine is setting up a stall for 'ground' in the metaphysical market. We all seek structure. |
15047 | What is real can only be settled in terms of 'ground' [Fine,K] |
Full Idea: Questions of what is real are to be settled upon the basis of considerations of ground. | |
From: Kit Fine (The Question of Realism [2001], Intro) | |
A reaction: This looks like being one of Fine's most important ideas, which is shifting the whole basis of contemporary metaphysics. Only Parmenides and Heidegger thought Being was the target. Aristotle aims at identity. What grounds what is a third alternative. |
15048 | In metaphysics, reality is regarded as either 'factual', or as 'fundamental' [Fine,K] |
Full Idea: The first main approach says metaphysical reality is to be identified with what is 'objective' or 'factual'. ...According to the second conception, metaphysical reality is to be identified with what is 'irreducible' or 'fundamental'. | |
From: Kit Fine (The Question of Realism [2001], 1) | |
A reaction: Fine is defending the 'fundamental' approach, via the 'grounding' relation. The whole structure, though, seems to be reality. In particular, a complete story must include the relations which facilitate more than mere fundamentals. |
15060 | Why should what is explanatorily basic be therefore more real? [Fine,K] |
Full Idea: We may grant that some things are explanatorily more basic than others, but why should that make them more real? | |
From: Kit Fine (The Question of Realism [2001], 8) | |
A reaction: This is the question asked by the 'quietist'. Fine's answer is that our whole conception of Reality, with its intrinsic structure, is what lies at the basis, and this is primitive. |
221 | Absolute ideas, such as the Good and the Beautiful, cannot be known by us [Plato] |
Full Idea: The absolute good and the beautiful and all which we conceive to be absolute ideas are unknown to us. | |
From: Plato (Parmenides [c.364 BCE], 134c) | |
A reaction: These seems to thoroughly pre-empt Plato's Theory of Forms a century before he created it. Which shows (as Simone Weil says) that Plato was just part of a long tradition. |
15046 | Reality is a primitive metaphysical concept, which cannot be understood in other terms [Fine,K] |
Full Idea: I conclude that there is a primitive metaphysical concept of reality, one that cannot be understood in fundamentally different terms. | |
From: Kit Fine (The Question of Realism [2001], Intro) | |
A reaction: Fine offers arguments to support his claim, but it seems hard to disagree with. The only alternative I can see is to understand reality in terms of our experiences, and this is the road to metaphysical hell. |
227 | You must always mean the same thing when you utter the same name [Plato] |
Full Idea: You must always mean the same thing when you utter the same name. | |
From: Plato (Parmenides [c.364 BCE], 147d) |
223 | If you deny that each thing always stays the same, you destroy the possibility of discussion [Plato] |
Full Idea: If a person denies that the idea of each thing is always the same, he will utterly destroy the power of carrying on discussion. | |
From: Plato (Parmenides [c.364 BCE], 135c) |
210 | It would be absurd to think there were abstract Forms for vile things like hair, mud and dirt [Plato] |
Full Idea: Are there abstract ideas for such things as hair, mud and dirt, which are particularly vile and worthless? That would be quite absurd. | |
From: Plato (Parmenides [c.364 BCE], 130d) |
219 | If absolute ideas existed in us, they would cease to be absolute [Plato] |
Full Idea: None of the absolute ideas exists in us, because then it would no longer be absolute. | |
From: Plato (Parmenides [c.364 BCE], 133c) |
228 | Greatness and smallness must exist, to be opposed to one another, and come into being in things [Plato] |
Full Idea: These two ideas, greatness and smallness, exist, do they not? For if they did not exist, they could not be opposites of one another, and could not come into being in things. | |
From: Plato (Parmenides [c.364 BCE], 149e) |
211 | If admirable things have Forms, maybe everything else does as well [Plato] |
Full Idea: It is troubling that if admirable things have abstract ideas, then perhaps everything else must have ideas as well. | |
From: Plato (Parmenides [c.364 BCE], 130d) |
220 | The concept of a master includes the concept of a slave [Plato] |
Full Idea: Mastership in the abstract is mastership of slavery in the abstract. | |
From: Plato (Parmenides [c.364 BCE], 133e) |
16151 | Plato moves from Forms to a theory of genera and principles in his later work [Plato, by Frede,M] |
Full Idea: It seems to me that Plato in the later dialogues, beginning with the second half of 'Parmenides', wants to substitute a theory of genera and theory of principles that constitute these genera for the earlier theory of forms. | |
From: report of Plato (Parmenides [c.364 BCE]) by Michael Frede - Title, Unity, Authenticity of the 'Categories' V | |
A reaction: My theory is that the later Plato came under the influence of the brilliant young Aristotle, and this idea is a symptom of it. The theory of 'principles' sounds like hylomorphism to me. |
215 | If things partake of ideas, this implies either that everything thinks, or that everything actually is thought [Plato] |
Full Idea: If all things partake of ideas, must either everything be made of thoughts and everything thinks, or everything is thought, and so can't think? | |
From: Plato (Parmenides [c.364 BCE], 132c) |
212 | The whole idea of each Form must be found in each thing which participates in it [Plato] |
Full Idea: The whole idea of each form (of beauty, justice etc) must be found in each thing which participates in it. | |
From: Plato (Parmenides [c.364 BCE], 131a) |
213 | Each idea is in all its participants at once, just as daytime is a unity but in many separate places at once [Plato] |
Full Idea: Just as day is in many places at once, but not separated from itself, so each idea might be in all its participants at once. | |
From: Plato (Parmenides [c.364 BCE], 131b) |
216 | If things are made alike by participating in something, that thing will be the absolute idea [Plato] |
Full Idea: That by participation in which like things are made like, will be the absolute idea, will it not? | |
From: Plato (Parmenides [c.364 BCE], 132e) |
218 | Participation is not by means of similarity, so we are looking for some other method of participation [Plato] |
Full Idea: Participation is not by means of likeness, so we must seek some other method of participation. | |
From: Plato (Parmenides [c.364 BCE], 133a) |
217 | Nothing can be like an absolute idea, because a third idea intervenes to make them alike (leading to a regress) [Plato] |
Full Idea: It is impossible for anything to be like an absolute idea, because a third idea will appear to make them alike, and if that is like anything, it will lead to another idea, and so on. | |
From: Plato (Parmenides [c.364 BCE], 133a) |
214 | If absolute greatness and great things are seen as the same, another thing appears which makes them seem great [Plato] |
Full Idea: If you regard the absolute great and the many great things in the same way, will not another appear beyond, by which all these must appear to be great? | |
From: Plato (Parmenides [c.364 BCE], 132a) |
15851 | Parts must belong to a created thing with a distinct form [Plato] |
Full Idea: The part would not be the part of many things or all, but of some one character ['ideas'] and of some one thing, which we call a 'whole', since it has come to be one complete [perfected] thing composed [created] of all. | |
From: Plato (Parmenides [c.364 BCE], 157d) | |
A reaction: A serious shot by Plato at what identity is. Harte quotes it (125) and shows that 'character' is Gk 'idea', and 'composed' will translate as 'created'. 'Form' links this Platonic passage to Aristotle's hylomorphism. |
15846 | In Parmenides, if composition is identity, a whole is nothing more than its parts [Plato, by Harte,V] |
Full Idea: At the heart of the 'Parmenides' puzzles about composition is the thesis that composition is identity. Considered thus, a whole adds nothing to an ontology that already includes its parts | |
From: report of Plato (Parmenides [c.364 BCE]) by Verity Harte - Plato on Parts and Wholes 2.5 | |
A reaction: There has to be more to a unified identity that mere proximity of the parts. When do parts come together, and when do they actually 'compose' something? |
15849 | Plato says only a one has parts, and a many does not [Plato, by Harte,V] |
Full Idea: In 'Parmenides' it is argued that a part cannot be part of a many, but must be part of something one. | |
From: report of Plato (Parmenides [c.364 BCE], 157c) by Verity Harte - Plato on Parts and Wholes 3.2 | |
A reaction: This looks like the right way to go with the term 'part'. We presuppose a unity before we even talk of its parts, so we can't get into contradictions and paradoxes about their relationships. |
15850 | Anything which has parts must be one thing, and parts are of a one, not of a many [Plato] |
Full Idea: The whole of which the parts are parts must be one thing composed of many; for each of the parts must be part, not of a many, but of a whole. | |
From: Plato (Parmenides [c.364 BCE], 157c) | |
A reaction: This is a key move of metaphysics, and we should hang on to it. The other way madness lies. |
13259 | It seems that the One must be composed of parts, which contradicts its being one [Plato] |
Full Idea: The One must be composed of parts, both being a whole and having parts. So on both grounds the One would thus be many and not one. But it must be not many, but one. So if the One will be one, it will neither be a whole, nor have parts. | |
From: Plato (Parmenides [c.364 BCE], 137c09), quoted by Kathrin Koslicki - The Structure of Objects 5.2 | |
A reaction: This is the starting point for Plato's metaphysical discussion of objects. It seems to begin a line of thought which is completed by Aristotle, surmising that only an essential structure can bestow identity on a bunch of parts. |
15847 | Two things relate either as same or different, or part of a whole, or the whole of the part [Plato] |
Full Idea: Everything is surely related to everything as follows: either it is the same or different; or, if it is not the same or different, it would be related as part to whole or as whole to part. | |
From: Plato (Parmenides [c.364 BCE], 146b) | |
A reaction: This strikes me as a really helpful first step in trying to analyse the nature of identity. Two things are either two or (actually) one, or related mereologically. |
15061 | Although colour depends on us, we can describe the world that way if it picks out fundamentals [Fine,K] |
Full Idea: As long as colour terms pick out fundamental physical properties, I would be willing to countenance their use in the description of Reality in itself, ..even if they are based on a peculiar form of sensory awareness. | |
From: Kit Fine (The Question of Realism [2001], 8) | |
A reaction: This seems to explain why metaphysicians are so fond of using colour as their example of a property, when it seems rather subjective. There seem to be good reasons for rejecting Fine's view. |
15059 | Grounding is an explanation of truth, and needs all the virtues of good explanations [Fine,K] |
Full Idea: The main sources of evidence for judgments of ground are intuitive and explanatory. The relationship of ground is a form of explanation, ..explaining what makes a proposition true, which needs simplicity, breadth, coherence, non-circularity and strength. | |
From: Kit Fine (The Question of Realism [2001], 7) | |
A reaction: My thought is that not only must grounding explain, and therefore be a good explanation, but that the needs of explanation drive our decisions about what are the grounds. It is a bit indeterminate which is tail and which is dog. |
15057 | Ultimate explanations are in 'grounds', which account for other truths, which hold in virtue of the grounding [Fine,K] |
Full Idea: We take ground to be an explanatory relation: if the truth that P is grounded in other truths, then they account for its truth; P's being the case holds in virtue of the other truths' being the case. ...It is the ultimate form of explanation. | |
From: Kit Fine (The Question of Realism [2001], 5) | |
A reaction: To be 'ultimate' that which grounds would have to be something which thwarted all further explanation. Popper, for example, got quite angry at the suggestion that we should put a block on further investigation in this way. |
15058 | A proposition ingredient is 'essential' if changing it would change the truth-value [Fine,K] |
Full Idea: A proposition essentially contains a given constituent if its replacement by some other constituent induces a shift in truth value. Thus Socrates is essential to the proposition that Socrates is a philosopher, but not to Socrates is self-identical. | |
From: Kit Fine (The Question of Realism [2001], 6) | |
A reaction: In this view the replacement of 'is' by 'isn't' would make 'is' (or affirmation) part of the essence of most propositions. This is about linguistic essence, rather than real essence. It has the potential to be trivial. Replace 'slightly' by 'fairly'? |
222 | Only a great person can understand the essence of things, and an even greater person can teach it [Plato] |
Full Idea: Only a man of very great natural gifts will be able to understand that everything has a class and absolute essence, and an even more wonderful man can teach this. | |
From: Plato (Parmenides [c.364 BCE], 135a) |
225 | The unlimited has no shape and is endless [Plato] |
Full Idea: The unlimited partakes neither of the round nor of the straight, because it has no ends nor edges. | |
From: Plato (Parmenides [c.364 BCE], 137e) |
2062 | The only movement possible for the One is in space or in alteration [Plato] |
Full Idea: If the One moves it either moves spatially or it is altered, since these are the only motions. | |
From: Plato (Parmenides [c.364 BCE], 138b) |
231 | Everything partakes of the One in some way [Plato] |
Full Idea: The others are not altogether deprived of the one, for they partake of it in some way. | |
From: Plato (Parmenides [c.364 BCE], 157c) | |
A reaction: Compare Idea 233. |
233 | Some things do not partake of the One [Plato] |
Full Idea: The others cannot partake of the one in any way; they can neither partake of it nor of the whole. | |
From: Plato (Parmenides [c.364 BCE], 159d) | |
A reaction: Compare Idea 231 |
234 | We couldn't discuss the non-existence of the One without knowledge of it [Plato] |
Full Idea: There must be knowledge of the one, or else not even the meaning of the words 'if the one does not exist' would be known. | |
From: Plato (Parmenides [c.364 BCE], 160d) |