Combining Texts

All the ideas for 'Parmenides', 'Killing in War' and 'Propositions'

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


76 ideas

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.
2. Reason / E. Argument / 1. Argument
Arguers often turn the opponent's modus ponens into their own modus tollens [Merricks]
     Full Idea: There is a seasoned method of turning your opponent's modus ponens into your own modus tollens.
     From: Trenton Merricks (Propositions [2015], 5.VII)
     A reaction: That is, they say 'if he's coming he'll be hear by now, and he's definitely coming', to which you say 'I'm afraid he's not here, so he obviously isn't coming after all'. They say if-A-then-B, and A, so B. You say not-B, so you're wrong about A.
3. Truth / F. Semantic Truth / 2. Semantic Truth
'Snow is white' only contingently expresses the proposition that snow is white [Merricks]
     Full Idea: It is contingently true that 'snow is white' expresses the proposition that snow is white.
     From: Trenton Merricks (Propositions [2015], 1.V n14)
     A reaction: Tarski stuck to sentences, but Merricks rightly argues that truth concerns propositions, not sentences. Sentences are subservient entities - mere tools used to express what matters, which is our thoughts (say I).
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Simple Quantified Modal Logc doesn't work, because the Converse Barcan is a theorem [Merricks]
     Full Idea: Logical consequence guarantees preservation of truth. The Converse Barcan, a theorem of Simple Quantified Modal Logic, says that an obvious truth implies an obvious falsehood. So SQML gets logical consequence wrong. So SQML is mistaken.
     From: Trenton Merricks (Propositions [2015], 2.V)
     A reaction: I admire this. The Converse Barcan certainly strikes me as wrong (Idea 19208). Merricks grasps this nettle. Williamson grasps the other nettle. Most people duck the issue, I suspect. Merricks says later that domains are the problem.
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
The Converse Barcan implies 'everything exists necessarily' is a consequence of 'necessarily, everything exists' [Merricks]
     Full Idea: The Converse Barcan Formula has a startling result. Simple Quantified Modal Logic (SQML) has the following as a theorem: □∀xFx → ∀x□Fx. So 'everything exists necessarily' is a consequence of 'necessarily, everything exists'.
     From: Trenton Merricks (Propositions [2015], 2.V)
     A reaction: He says this is blatantly wrong. Williamson is famous for defending it. I think I'm with Merricks on this one.
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Sentence logic maps truth values; predicate logic maps objects and sets [Merricks]
     Full Idea: The models for sentential logic map sentences to truth-values. The models for predicate logic map parts of sentences to objects and sets.
     From: Trenton Merricks (Propositions [2015], 2.II)
     A reaction: Logic books rarely tell you important things like this. That is why this database is so incredibly important! You will never understand the subject if you don't collect together the illuminating asides of discussion. They say it all so much more simply.
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 / 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 / D. Universals / 2. Need for Universals
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)
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)
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
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)
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)
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 / E. Objects over Time / 12. Origin as Essential
In twinning, one person has the same origin as another person [Merricks]
     Full Idea: Origin essentialists claim that parental union results in a person, and that person could not have resulted from any other union. However, if the fertilised egg undergoes twinning, at least one of the resultant persons is not the original person.
     From: Trenton Merricks (Propositions [2015], 5.V)
     A reaction: Merricks says that therefore that origin could have just produced the second twin, rather than the original person. This is interesting, but doesn't seem to threaten the necessity of origin thesis. Once I'm here, I have that origin, despite my twin.
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.
19. Language / A. Nature of Meaning / 1. Meaning
I don't accept that if a proposition is directly about an entity, it has a relation to the entity [Merricks]
     Full Idea: The Aboutness Assumption says that necessarily, if a proposition is directly about an entity, then that proposition stands in a relation to the entity. I shall argue that the Assumption is false.
     From: Trenton Merricks (Propositions [2015], 5.VII)
     A reaction: This feels sort of right, though the nature of aboutness remains elusive. He cites denials of existence. I take speech to be fairly internal, even though its main role is communication. Maybe its a Cambridge relation, as far as the entity is concerned.
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
A sentence's truth conditions depend on context [Merricks]
     Full Idea: A sentence has truth conditions only in a context of use. And the truth conditions of many sentences can differ from one context of use to another (as in 'I am a philosopher').
     From: Trenton Merricks (Propositions [2015], 1.II)
     A reaction: He is building a defence of propositions, because they are eternal, and have their truth conditions essentially. I too am a fan of propositions.
19. Language / D. Propositions / 1. Propositions
Propositions are standardly treated as possible worlds, or as structured [Merricks]
     Full Idea: The thesis that propositions are sets of possible worlds is one of the two leading accounts of the nature of propositions. The other leading account endorses structured propositions.
     From: Trenton Merricks (Propositions [2015], Intro)
     A reaction: Merricks sets out to reject both main views. I take the idea that propositions actually are sets of possible worlds to be ridiculous (though they may offer a way of modelling them). The idea that they have no structure at all strikes me as odd.
'Cicero is an orator' represents the same situation as 'Tully is an orator', so they are one proposition [Merricks]
     Full Idea: The proposition expressed by 'Cicero is an orator' represents things as being exactly the same way as does the proposition expressed by 'Tully is an orator'. Hence two sentences express the same proposition. Fregeans about names deny this.
     From: Trenton Merricks (Propositions [2015], 2.II)
     A reaction: Merricks makes the situation in the world fix the contents of the proposition. I don't agree. I would expand the first proposition as 'The person I know as 'Cicero' was an orator', but I might never have heard of 'Tully'.
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
Propositions are necessary existents which essentially (but inexplicably) represent things [Merricks]
     Full Idea: My account says that each proposition is a necessary existent that essentially represents things as being a certain way, ...and there is no explanation of how propositions do that.
     From: Trenton Merricks (Propositions [2015], Intro)
     A reaction: Since I take propositions to be brain events, I don't expect much of an explanation either. The idea that propositions necessarily exist strikes me as false. If there were no minds, there would have been no propositions.
True propositions existed prior to their being thought, and might never be thought [Merricks]
     Full Idea: 1,000 years ago, no sentence had ever expressed, and no one had believed, the true proposition 'a water molecule has two hydrogen and one oxygen atoms'. There are surely true propositions that have never been, and never will be, expressed or believed.
     From: Trenton Merricks (Propositions [2015], 1.V)
     A reaction: 'Surely'? Surely not! How many propositions exist? Where do they exist? What are they made of? If they already exist when we think them, how do we tune into them? When did his example come into existence? Before water did? No! No!
The standard view of propositions says they never change their truth-value [Merricks]
     Full Idea: The standard view among philosophers nowadays seems to be that propositions do not and even cannot change in truth-value. But my own view is that some propositions can, and do, change in truth value.
     From: Trenton Merricks (Propositions [2015], 3.VII)
     A reaction: He gives 'that A sits' as an example of one which can change, though 'that A sits at time t' cannot change. I take Merricks to be obviously right, and cannot get my head round the 'standard' view. What on earth do they think a proposition is?
19. Language / D. Propositions / 3. Concrete Propositions
Propositions can be 'about' an entity, but that doesn't make the entity a constituent of it [Merricks]
     Full Idea: If a singular proposition is 'directly about' an entity, I argue that a singular proposition does not have the entity that it is directly about as a constituent.
     From: Trenton Merricks (Propositions [2015], Intro)
     A reaction: This opposes the view of the early Russell, that propositions actually contain the entities they are about, thus making propositions real features of the external world. I take that view of Russell's to be absurd.
Early Russell says a proposition is identical with its truthmaking state of affairs [Merricks]
     Full Idea: I describe Russell's 1903 account of propositions as the view that each proposition is identical with the state of affairs that makes that proposition true. That is, a proposition is identical with its 'truthmaking' state of affairs.
     From: Trenton Merricks (Propositions [2015], 4.II)
     A reaction: Russell soon gave this view up (false propositions proving tricky), and I'm amazed anyone takes it seriously. I take it as axiomatic that if there were no minds there would be no propositions. Was the Big Bang a set of propositions?
19. Language / D. Propositions / 5. Unity of Propositions
Unity of the proposition questions: what unites them? can the same constituents make different ones? [Merricks]
     Full Idea: What binds the constituents of a structured proposition together into a single unity, a proposition? Can the very same constituents constitute two distinct propositions? These are questions about 'the unity of the proposition'.
     From: Trenton Merricks (Propositions [2015], 4.II)
     A reaction: Merricks solves it by saying propositions have no structure. The problem is connected to the nature of predication (instantiation, partaking). You can't just list objects and their properties. Objects are united, and thus propositions are too.
We want to explain not just what unites the constituents, but what unites them into a proposition [Merricks]
     Full Idea: A successful account of the unity of the proposition tells us what unites the relevant constituents not merely into some entity or other, but into a proposition.
     From: Trenton Merricks (Propositions [2015], 4.X)
     A reaction: Merrickes takes propositions to be unanalysable unities, but their central activity is representation, so if they needed uniting, that would be the place to look. Some people say that we unite our propositions. Others say the world does. I dunno.
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)