Combining Texts

All the ideas for 'Parmenides', 'Killing in War' and 'Mere Possibilities'

unexpand these ideas     |    start again     |     specify just one area for these texts


86 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
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.
2. Reason / A. Nature of Reason / 1. On Reason
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)
2. Reason / B. Laws of Thought / 5. Opposites
Opposites are as unlike as possible [Plato]
     Full Idea: Opposites are as unlike as possible.
     From: Plato (Parmenides [c.364 BCE], 159a)
2. Reason / C. Styles of Reason / 1. Dialectic
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.
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / a. Systems of modal logic
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'?
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I
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.
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
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.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / e. or
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.
5. Theory of Logic / L. Paradox / 3. Antinomies
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'
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
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
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.
7. Existence / A. Nature of Existence / 1. Nature of Existence
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.
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.
7. Existence / A. Nature of Existence / 3. Being / c. Becoming
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)
7. Existence / A. Nature of Existence / 3. Being / f. Primary being
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.
7. Existence / D. Theories of Reality / 3. Reality
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)
8. Modes of Existence / B. Properties / 1. Nature of Properties
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.
8. Modes of Existence / B. Properties / 10. Properties as Predicates
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.
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
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.
8. Modes of Existence / D. Universals / 2. Need for Universals
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)
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)
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
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)
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)
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)
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)
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)
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.
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
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)
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)
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)
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)
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)
8. Modes of Existence / D. Universals / 6. Platonic Forms / c. Self-predication
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)
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)
9. Objects / B. Unity of Objects / 1. Unifying an Object / b. Unifying aggregates
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.
9. Objects / C. Structure of Objects / 5. Composition of an Object
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?
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
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.
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.
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
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.
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
'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.
9. Objects / F. Identity among Objects / 6. Identity between Objects
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.
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
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.
10. Modality / A. Necessity / 3. Types of Necessity
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.
10. Modality / C. Sources of Modality / 2. Necessity as Primitive
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.
10. Modality / C. Sources of Modality / 5. Modality from Actuality
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.
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
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.
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
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)
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.
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.
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
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.
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
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.
18. Thought / C. Content / 6. Broad Content
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'!
19. Language / C. Assigning Meanings / 2. Semantics
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.
19. Language / C. Assigning Meanings / 8. Possible Worlds Semantics
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.
19. Language / D. Propositions / 1. Propositions
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?
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.
19. Language / D. Propositions / 3. Concrete Propositions
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.
20. Action / C. Motives for Action / 4. Responsibility for Actions
Legal excuses are duress, ignorance, and diminished responsibility [McMahan]
     Full Idea: The common legal practice is to distinguish three broad categories of excuse: duress, epistemic limitation, and diminished responsibility.
     From: Jeff McMahan (Killing in War [2009], 3.2.1)
     A reaction: McMahan cites these with reference to soldiers in wartime, but they have general application. The third one seems particularly open to very wide interpretation. Presumably I can't be excused by just being irresponsible.
25. Social Practice / C. Rights / 1. Basis of Rights
Liberty Rights are permissions, and Claim Rights are freedom from intervention [McMahan]
     Full Idea: There are two types of right. A Liberty right is merely a permission, meaning it is not wrong to do it. But a Claim right is a right against intervention, meaning no one has a liberty right to prevent it.
     From: Jeff McMahan (Killing in War [2009], 2.3)
     A reaction: There must also be a third type of right, which requires other people to perform actions on your behalf. If you pay for a book in a shop, you must then be given the book.
25. Social Practice / E. Policies / 1. War / a. Just wars
A person or state may be attacked if they are responsible for an unjustified threat [McMahan]
     Full Idea: It is a necessary condition of liability to defensive attack that one be morally responsible for posing an objectively unjustified threat.
     From: Jeff McMahan (Killing in War [2009], 4.1.1)
     A reaction: This implies that one may not actually be doing the threatening (but merely ordering it, or enabling it). McMahan aims to have the same criteria for wartime as for peacetime. He denies Anscombe's claim that merely posing the threat is enough.
You (e.g. a police officer) are not liable to attack just because you pose a threat [McMahan]
     Full Idea: It is false that by posing a threat to another, one necessarily makes oneself liable to defensive action. A police officer who shoots an active murderer does not thereby by make herself liable to defensive action.
     From: Jeff McMahan (Killing in War [2009], 1.2)
     A reaction: This is one of his arguments against the moral equality of combatants. It is not morally OK to shoot all the local soldiers when you unjustly invade a territory. Sounds right to me.
Wars can be unjust, despite a just cause, if they are unnecessary or excessive or of mixed cause [McMahan]
     Full Idea: Wars can be unjust despite having a just cause, because they are not actually needed, or they will cause excessive harm, or they also pursue some unjust causes.
     From: Jeff McMahan (Killing in War [2009], 1.1)
     A reaction: [compressed] The point is that older writers often think that a 'just cause' is sufficient. He is obviously right.
Just war theory says all and only persons posing a threat are liable to attack [McMahan]
     Full Idea: In mainstream just war theory (Anscombe, Nagel, Walzer) the criterion of liability to attack is simply posing a threat. Since all combatants pose a threat to each other, they are morally liable to attack; because noncombatants do not, they are not liable.
     From: Jeff McMahan (Killing in War [2009], 1.2)
     A reaction: McMahan says that the distinction between legitimate and illegitimate targets rests mostly on this basis. The problem is that a huge range of unarmed people can also pose various degrees of threat.
The worst unjustified wars have no aim at all [McMahan]
     Full Idea: The most serious reason why a war might be unjustified is that it lacks any justifying aim at all.
     From: Jeff McMahan (Killing in War [2009], 1.1)
     A reaction: It seems that Louis XIV invaded the Netherlands in around 1674 purely to enhance his own glory. That strikes me as worse. I supposed Ghenghis Khan invaded places simply because he enjoyed fighting.
A defensive war is unjust, if it is responding to a just war [McMahan]
     Full Idea: It is possible for a defensive war to be unjust, when the defensive war to which it is a response is a just war.
     From: Jeff McMahan (Killing in War [2009], 3.3.3)
     A reaction: An example might be a state resisting an intervention from outside, when the state is in the process of exterminating some unwanted minority. Or perhaps the invaders are crossing the state's territory to achieve some admirable end.
25. Social Practice / E. Policies / 1. War / b. Justice in war
Proportionality in fighting can't be judged independently of the justice of each side [McMahan]
     Full Idea: There is simply no satisfactory understanding of proportionality in war that can be applied independently of whether the acts that are evaluated support a just or an unjust cause.
     From: Jeff McMahan (Killing in War [2009], 1.3)
     A reaction: He rejects traditional just war theory, which sees both sides as morally equal in combat, and hence equally subject to the principles of proportional response. But the just can then be harsher, when their just principles should make them milder.
Can an army start an unjust war, and then fight justly to defend their own civilians? [McMahan]
     Full Idea: There is a paradox if the unjust are justified in fighting the just in order to protect their own civilians who have been endangered by the starting of an unjust war.
     From: Jeff McMahan (Killing in War [2009], 2.1)
     A reaction: [my summary of MacMahan pp.48-49] It suggests that in a war there may be local concepts of justice which are at odds with the general situation - which is the ad bellum/in bello distinction. But this is the justice of fighting, not how it is conducted.
Soldiers cannot freely fight in unjust wars, just because they behave well when fighting [McMahan]
     Full Idea: We must stop reassuring soldiers that they act permissibly when they fight in an unjust war, provided that they conduct themselve honorably on the battlefield by fighting in accordance with the rules of engagement.
     From: Jeff McMahan (Killing in War [2009], 2.8)
     A reaction: This culminates McMahan's arguments against the moral equality of combatants, and against the sharp division of justice of war from justice in war. How rare it is for philosophy to culminate in a policy recommendation!
The law of war differs from criminal law; attacking just combatants is immoral, but legal [McMahan]
     Full Idea: Unlike domestic criminal law, the law of war is designed not to protect moral rights but to prevent harm. …This means when unjust combatants attack just combatants they violate their moral rights, yet they act within their legal rights.
     From: Jeff McMahan (Killing in War [2009], 3.1.1)
     A reaction: He says we must bring the law of war much closer to the morality of war. If there is any hope of slowly eliminating war, it may lie in reforms such as these.
If the unjust combatants are morally excused they are innocent, so how can they be killed? [McMahan]
     Full Idea: If most unjust combatants are morally innocent because they are excused, and if it is wrong to intentionally kill morally innocent people, then a contingent form of pacificism may be inescapable.
     From: Jeff McMahan (Killing in War [2009], 3.3.1)
     A reaction: A very nice argument against the moral equality of combatants. If I think we are the good guys, and the opposing troops are no morally different from us, how can I possibly kill them?
25. Social Practice / E. Policies / 1. War / c. Combatants
You don't become a legitimate target, just because you violently resist an unjust attack [McMahan]
     Full Idea: It is hard to see how just combatants could become legitimate targets simply by offering violent resistance to unjust attacks by unjust coombatants.
     From: Jeff McMahan (Killing in War [2009], 1.3)
     A reaction: It is, however, hard to criticise a soldier who is dragged into fighting for an unjust cause, and then kills just defenders in the course of the fight. Once the bullets fly, normal morality seems to be suspended. Just survive.
If all combatants are seen as morally equal, that facilitates starting unjust wars [McMahan]
     Full Idea: It would be naïve to doubt that the widespread acceptance of the moral equality of combatants has facilitated the ability of governments to fight unjust wars.
     From: Jeff McMahan (Killing in War [2009], 1.1)
     A reaction: The point is that their armies are both compliant and seeing their actions as guiltless, which makes them perfect tools for evil. McMahan's ideal is an army which asks sharp questions about the justification of the war, before they fight it.
Volunteer soldiers accept the risk of attack, but they don't agree to it, or to their deaths [McMahan]
     Full Idea: When soldiers go to war, they undoubtedly assume a certain risk. They voluntarily expose themselves to a significant risk of being attacked. But this is entirely different from consenting to being attacked.
     From: Jeff McMahan (Killing in War [2009], 2.2.1)
     A reaction: This is his response to Walzer's thought that soldiers resemble people who volunteer for a boxing match. The sailors at Pearl Harbour obviously didn't consent to the attack, or accept the Japanese right to kill them.
If being part of a big collective relieves soldiers of moral responsibility, why not the leaders too? [McMahan]
     Full Idea: If acting as an agent of a political collective justifies the combatants fighting an unjust war, that should also release the leaders from responsibility for their role in the fighting of that war. No one ever explains why this is not so.
     From: Jeff McMahan (Killing in War [2009], 2.5)
     A reaction: At the very least there seems to be a problem of the cut off point between innocent soldiers and culpable leaders. Which rank in the army or executive triggers the blame?
If soldiers can't refuse to fight in unjust wars, can they choose to fight in just wars? [McMahan]
     Full Idea: There is a certain symmetry here. The permissibility of disobeying a command to fight in an unjust war suggests the permissibility of disobeying a command not to fight in a just war.
     From: Jeff McMahan (Killing in War [2009], 2.7)
     A reaction: The argument considered here is that since we could never allow soldiers to choose to fight in their own wars, we similarly cannot let them opt out of the official wars. Implying obedience is absolute. Soldiers don't get to 'choose' anything!
Equality is both sides have permission, or both sides are justified, or one justified the other permitted [McMahan]
     Full Idea: Moral equality means either 1) because just combatants are permitted to fight in a just way, so are the unjust , or 2) because the just are justified, so are the unjust, or 3) because the just are justified, the unjust are therefore permitted.
     From: Jeff McMahan (Killing in War [2009], 3.1.2)
     A reaction: [summary] McMahan calls 1) the weak version, and 2) the strong. He suggests that although 3) is unusual, it is what most people believe - that if the good are justified, the bad are permitted to fight back. He rejects them all.
Fighting unjustly under duress does not justify it, or permit it, but it may excuse it [McMahan]
     Full Idea: It is said that combatants are compelled to fight; they have no choice. But duress is not a justification; nor does it ground a permission - not even a subjective permission. It is, instead, an excusing condition.
     From: Jeff McMahan (Killing in War [2009], 3.1.2)
     A reaction: The 'subjective' permission is believing you are just, even if you aren't. A nice, accurate and true distinction made by McMahan, I think. It is roughly our postwar attitude to the Nazi army.
Soldiers cannot know enough facts to evaluate the justice of their war [McMahan]
     Full Idea: When soldiers are commanded to fight, they cannot reasonably be expected to have the factual knowledge necessary to evaluate the war as just or unjust.
     From: Jeff McMahan (Killing in War [2009], 2.3)
     A reaction: This is part of the 'epistemic' justification for a soldier to fight in an unjust war. Sometimes soldiers do have enoough knowledge, especially if they join up late on in a war, when they have studied and observed its progress.
25. Social Practice / E. Policies / 1. War / d. Non-combatants
Innocence implies not being morally responsible, rather than merely being guiltless [McMahan]
     Full Idea: My alternative conception is that one is 'innocent' if one is neither morally responsible for nor guilty of a wrong. Classical theory focused on guilt, but I think we should focus on moral responsibility (which is something less).
     From: Jeff McMahan (Killing in War [2009], 1.4)
     A reaction: This seems to make the supporters of evil equally liable to attack with its perpetrators. But you can observe perpetration a lot more easily than you can observe support.
25. Social Practice / E. Policies / 1. War / e. Peace
Unconditional surrender can't be demanded, since evil losers still have legitimate conditions [McMahan]
     Full Idea: Achieving unconditional surrender can never be a justification for the continuation of war, since there are always conditions that a vanquished adversary, no matter how evil, can be justified in demanding.
     From: Jeff McMahan (Killing in War [2009], 3.3.1)
     A reaction: McMahan is particularly discussing Hiroshima, but this also applies to the European war in 1945. Presumably a civilised victor will grant the conditions which the losers would have demanded, and that probably happened in 1945. It's about power.
25. Social Practice / E. Policies / 5. Education / c. Teaching
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)
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / d. The unlimited
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)
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / e. The One
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
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)
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.
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
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)