Combining Philosophers

All the ideas for Hermarchus, Dale Jacquette and Jeff McMahan

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


55 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / a. Systems of modal logic
Modal logic is multiple systems, shown in the variety of accessibility relations between worlds [Jacquette]
     Full Idea: Modal logic by its very nature is not monolithic, but fragmented into multiple systems of modal qualifications, reflected in the plurality of accessibility relations on modal model structures or logically possible worlds.
     From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §3)
     A reaction: He implies the multiplicity is basic, and is only 'reflected' in the relations, but maybe the multiplicity is caused by incompetent logicians who can't decide whether possible worlds really are reflexive or symmetrical or transitive in their relations.
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
The modal logic of C.I.Lewis was only interpreted by Kripke and Hintikka in the 1960s [Jacquette]
     Full Idea: The modal syntax and axiom systems of C.I.Lewis (1918) were formally interpreted by Kripke and Hintikka (c.1965) who, using Z-F set theory, worked out model set-theoretical semantics for modal logics and quantified modal logics.
     From: Dale Jacquette (Ontology [2002], Ch. 2)
     A reaction: A historical note. The big question is always 'who cares?' - to which the answer seems to be 'lots of people', if they are interested in precision in discourse, in artificial intelligence, and maybe even in metaphysics. Possible worlds started here.
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
The two main views in philosophy of logic are extensionalism and intensionalism [Jacquette]
     Full Idea: Philosophy of logic has (roughly) two camps: extensionalists and intensionalists, with the former view dominant. ...There is a close connection between this and eliminativist or reductivist versus folk psychological and intentionalist philosophy of mind.
     From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4)
     A reaction: Hm. I think I favour intensionalism in the logic, and reductivism about the mind, so I may have a bit of bother here. I'm convinced that this jigsaw can be completed, despite all appearances.
Logic describes inferences between sentences expressing possible properties of objects [Jacquette]
     Full Idea: It is fundamental that logic depends on logical possibilities, in which logically possible properties are predicated of logically possible objects. Logic describes inferential structures among sentences expressing the predication of properties to objects.
     From: Dale Jacquette (Ontology [2002], Ch. 2)
     A reaction: If our imagination is the only tool we have for assessing possibilities, this leaves the domain of logic as being a bit subjective. There is an underlying Platonism to the idea, since inferences would exist even if nothing else did.
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette]
     Full Idea: Classical logic (of Whitehead, Russell, Gödel, Church) is a two-valued system of propositional and predicate logic, in which all propositions are exclusively true or false, and quantification and predication are over existent objects only.
     From: Dale Jacquette (Intro to I: Classical Logic [2002], p.9)
     A reaction: All of these get challenged at some point, though the existence requirement is the one I find dubious.
5. Theory of Logic / C. Ontology of Logic / 2. Platonism in Logic
Logic is not just about signs, because it relates to states of affairs, objects, properties and truth-values [Jacquette]
     Full Idea: At one level logic can be regarded as a theory of signs and formal rules, but we cannot neglect the meaning of propositions as they relate to states of affairs, and hence to possible properties and objects... there must be the possibility of truth-values.
     From: Dale Jacquette (Ontology [2002], Ch. 2)
     A reaction: Thus if you define logical connectives by truth tables, you need the concept of T and F. You could, though, regard those too as purely formal (like 1 and 0 in electronics). But how do you decide which propositions are 1, and which are 0?
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
On Russell's analysis, the sentence "The winged horse has wings" comes out as false [Jacquette]
     Full Idea: It is infamous that on Russell's analysis the sentences "The winged horse has wings" and "The winged horse is a horse" are false, because in the extant domain of actual existent entities there contingently exist no winged horses
     From: Dale Jacquette (Ontology [2002], Ch. 6)
     A reaction: This is the best objection I have heard to Russell's account of definite descriptions. The connected question is whether 'quantifies over' is really a commitment to existence. See Idea 6067.
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional universal quantification retains truth for substitution of terms of the same type [Jacquette]
     Full Idea: The substitutional interpretation says the universal quantifier is true just in case it remains true for all substitutions of terms of the same type as that of the universally bound variable.
     From: Dale Jacquette (Intro to III: Quantifiers [2002], p.143)
     A reaction: This doesn't seem to tell us how it gets started with being true.
Nominalists like substitutional quantification to avoid the metaphysics of objects [Jacquette]
     Full Idea: Some substitutional quantificationists in logic hope to avoid philosophical entanglements about the metaphysics of objects, ..and nominalists can find aid and comfort there.
     From: Dale Jacquette (Intro to III: Quantifiers [2002], p.143)
     A reaction: This has an appeal for me, particularly if it avoids abstract objects, but I don't see much problem with material objects, so we might as well have a view that admits those.
5. Theory of Logic / I. Semantics of Logic / 5. Extensionalism
Extensionalists say that quantifiers presuppose the existence of their objects [Jacquette]
     Full Idea: Extensionalists hold that quantifiers in predicate logic presuppose the existence of whatever objects can be referred to by constants or bound variables, or enter into true predication of properties.
     From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4)
     A reaction: I have strong sales resistance to this view. Why should a procedure for correctly reasoning from one proposition to another have anything whatever to do with ontology? A false world picture can be interconnected by perfect logic.
5. Theory of Logic / I. Semantics of Logic / 6. Intensionalism
Intensionalists say meaning is determined by the possession of properties [Jacquette]
     Full Idea: According to intensionalist semantics the meaning of a proposition is determined by the properties an object possesses.
     From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4)
     A reaction: This sounds good to me. Extensionalist don't seem to care what sets they put things in, but if property possession comes first, then things will fall into their own sets without any help for us. We can add silly sets afterwards, if we fancy.
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / d. Russell's paradox
Can a Barber shave all and only those persons who do not shave themselves? [Jacquette]
     Full Idea: The Barber Paradox refers to the non-existent property of being a barber who shaves all and only those persons who do not shave themselves.
     From: Dale Jacquette (Ontology [2002], Ch. 9)
     A reaction: [Russell spotted this paradox, and it led to his Theory of Types]. This paradox may throw light on the logic of indexicals. What does "you" mean when I say to myself "you idiot!"? If I can behave as two persons, so can the barber.
7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
To grasp being, we must say why something exists, and why there is one world [Jacquette]
     Full Idea: We grasp the concept of being only when we have satisfactorily answered the question why there is something rather than nothing and why there is only one logically contingent actual world.
     From: Dale Jacquette (Ontology [2002], Conclusion)
     A reaction: See Ideas 7688 and 7692 for a glimpse of Jacquette's answer. Personally I don't yet have a full grasp of the concept of being, but I'm sure I'll get there if I only work a bit harder.
7. Existence / A. Nature of Existence / 5. Reason for Existence
Being is maximal consistency [Jacquette]
     Full Idea: Being is maximal consistency.
     From: Dale Jacquette (Ontology [2002], Ch. 2)
     A reaction: You'll have to read Ch.2 of Jacquette to see what this is all about, but as it stands it is a lovely slogan, and a wonderful googly/curve ball to propel at Parmenides or Heidegger.
Existence is completeness and consistency [Jacquette]
     Full Idea: A combinatorial ontology holds that existence is nothing more or less than completeness and consistency, or what is also called 'maximal consistency'.
     From: Dale Jacquette (Ontology [2002], Ch. 2)
     A reaction: You'll have to read Jacquette to understand this one! The claim is that existence is to be defined in terms of logic (and whatever is required for logic). I take this to be a bit Platonist (rather than conventionalist) about logic.
7. Existence / D. Theories of Reality / 1. Ontologies
Ontology is the same as the conceptual foundations of logic [Jacquette]
     Full Idea: The principles of pure philosophical ontology are indistinguishable ... from the conceptual foundations of logic.
     From: Dale Jacquette (Ontology [2002], Pref)
     A reaction: I would take Russell to be an originator of this view. If the young Wittgenstein showed that the foundations of logic are simply conventional (truth tables), this seems to make ontology conventional too, which sounds very odd indeed (to me).
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
Ontology must include the minimum requirements for our semantics [Jacquette]
     Full Idea: The entities included in a theoretical ontology are those minimally required for an adequate philosophical semantics. ...These are the objects that we say exist, to which we are ontologically committed.
     From: Dale Jacquette (Ontology [2002], Pref)
     A reaction: Worded with exquisite care! He does not say that ontology is reducible to semantics (which is a silly idea). We could still be committed, as in a ghost story, to existence of some 'nameless thing'. Things utterly beyond our ken might exist.
7. Existence / E. Categories / 3. Proposed Categories
Logic is based either on separate objects and properties, or objects as combinations of properties [Jacquette]
     Full Idea: Logic involves the possibilities of predicating properties of objects in a conceptual scheme wherein either objects and properties are included in altogether separate categories, or objects are reducible to combinations of properties.
     From: Dale Jacquette (Ontology [2002], Ch. 2)
     A reaction: In the first view, he says that objects are just 'logical pegs' for properties. Objects can't be individuated without properties. But combinations of properties would seem to need essences, or else they are too unstable to count as objects.
Reduce states-of-affairs to object-property combinations, and possible worlds to states-of-affairs [Jacquette]
     Full Idea: We can reduce references to states-of-affairs to object-property combinations, and we can reduce logically possible worlds to logically possible states-of-affairs combinations.
     From: Dale Jacquette (Ontology [2002], Ch. 2)
     A reaction: If we further reduce object-property combinations to mere combinations of properties (Idea 7683), then we have reduced our ontology to nothing but properties. Wow. We had better be very clear, then, about what a property is. I'm not.
8. Modes of Existence / B. Properties / 11. Properties as Sets
If classes can't be eliminated, and they are property combinations, then properties (universals) can't be either [Jacquette]
     Full Idea: If classes alone cannot be eliminated from ontology on Quine's terms, and if classes are defined as property combinations, then neither are all properties, universals in the tradition sense, entirely eliminable.
     From: Dale Jacquette (Ontology [2002], Ch. 9)
     A reaction: If classes were totally conventional (and there was no such things as a 'natural' class) then you might admit something to a class without knowing its properties (as 'the thing in the box').
9. Objects / A. Existence of Objects / 1. Physical Objects
An object is a predication subject, distinguished by a distinctive combination of properties [Jacquette]
     Full Idea: To be an object is to be a predication subject, and to be this as opposed to that particular object, whether existent or not, is to have a distinctive combination of properties.
     From: Dale Jacquette (Ontology [2002], Ch. 2)
     A reaction: The last part depends on Leibniz's Law. The difficulty is that two objects may only be distinguishable by being in different places, and location doesn't look like a property. Cf. Idea 5055.
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
Numbers, sets and propositions are abstract particulars; properties, qualities and relations are universals [Jacquette]
     Full Idea: Roughly, numbers, sets and propositions are assumed to be abstract particulars, while properties, including qualities and relations, are usually thought to be universals.
     From: Dale Jacquette (Ontology [2002], Ch. 9)
     A reaction: There is an interesting nominalist project of reducing all of these to particulars. Numbers to patterns, sets to their members, propositions to sentences, properties to causal powers, relations to, er, something else.
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
The actual world is a consistent combination of states, made of consistent property combinations [Jacquette]
     Full Idea: The actual world is a maximally consistent state-of-affairs combination involving all and only the existent objects, which in turn exist because they are maximally consistent property combinations.
     From: Dale Jacquette (Ontology [2002], Ch. 2)
     A reaction: [This extends Idea 7688]. This seems to invite the standard objections to the coherence theory of truth, such as Ideas 5422 and 4745. Is 'maximal consistency' merely a test for actuality, rather than an account of what actuality is?
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
The actual world is a maximally consistent combination of actual states of affairs [Jacquette]
     Full Idea: The actual world can be defined as a maximally consistent combination of actual states of affairs, or maximally consistent states-of-affairs combination.
     From: Dale Jacquette (Ontology [2002], Ch. 2)
     A reaction: A key part of Jacquette's program of deriving ontological results from the foundations of logic. Is the counterfactual situation of my pen being three centimetres to the left of its current position a "less consistent" situation than the actual one?
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / c. Worlds as propositions
Do proposition-structures not associated with the actual world deserve to be called worlds? [Jacquette]
     Full Idea: Many modal logicians in their philosophical moments have raised doubts about whether structures of propositions not associated with the actual world deserved to be called worlds at all.
     From: Dale Jacquette (Ontology [2002], Ch. 2)
     A reaction: A good question. Consistency is obviously required, but we also need a lot of propositions before we would consider it a 'world'. Very remote but consistent worlds quickly become unimaginable. Does that matter?
We must experience the 'actual' world, which is defined by maximally consistent propositions [Jacquette]
     Full Idea: Conventional modal semantics, in which all logically possible worlds are defined in terms of maximally consistent proposition sets, has no choice except to allow that the actual world is the world we experience in sensation, or that we inhabit.
     From: Dale Jacquette (Ontology [2002], Ch. 9)
     A reaction: Jacquette dislikes this because he is seeking an account of ontology that doesn't, as so often, merely reduce to epistemology (e.g. Berkeley). See Idea 7691 for his preferred account.
15. Nature of Minds / B. Features of Minds / 5. Qualia / c. Explaining qualia
If qualia supervene on intentional states, then intentional states are explanatorily fundamental [Jacquette]
     Full Idea: If qualia supervene on intentional states, then intentionality is also more explanatorily fundamental than qualia.
     From: Dale Jacquette (Ontology [2002], Ch.10)
     A reaction: See Idea 7272 for opposite view. Maybe intentional states are large mental objects of which we are introspectively aware, but which are actually composed of innumerable fine-grained qualia. Intentional states would only explain qualia if they caused them.
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
Reduction of intentionality involving nonexistent objects is impossible, as reduction must be to what is actual [Jacquette]
     Full Idea: If intentionality sometimes involves a relation to nonexistent objects, like my dreamed-of visit to a Greek island, then such thoughts cannot be explained physically or causally, because only actual physical entities and events can be mentioned.
     From: Dale Jacquette (Ontology [2002], Ch.10)
     A reaction: Unimpressive. Thoughts of a Greek island will obviously reduce to memories of islands and Greece and travel brochures. Memory clearly retains past events in the present, and hence past events can be part of the material used in reductive accounts.
19. Language / C. Assigning Meanings / 7. Extensional Semantics
Extensionalist semantics forbids reference to nonexistent objects [Jacquette]
     Full Idea: In extensionalist semantics only existent objects can be referred to, ...but in everyday thought and discourse we regularly and apparently without undue confusion speak about nonexistent objects.
     From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4)
     A reaction: This is the reason why Meinong, whose views are presented by Russell as absurd, are undergoing a revival. The full-blown view will even treat 'round squares' as objects about which we can reason - and why not? Don't open a shop which sells them.
Extensionalist semantics is circular, as we must know the extension before assessing 'Fa' [Jacquette]
     Full Idea: Extensional semantics is blatantly circular. For 'Fa' to be interpreted as true, we must know that object a belongs to the extension of the predicate F, so we must already know which objects belong to the extension.
     From: Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4)
     A reaction: I'm delighted to read this, because it was the first thought that occurred to me when I encountered the theory. Presumably this leads Quine to take predication as basic, because you can't break into the circle. Or, vote for intensionalism?
19. Language / D. Propositions / 1. Propositions
The extreme views on propositions are Frege's Platonism and Quine's extreme nominalism [Jacquette]
     Full Idea: The extreme ontological alternatives with respect to the metaphysics of propositions are a Fregean Platonism (his "gedanken", 'thoughts'), and a radical nominalism or inscriptionalism, as in Quine, where they are just marks related to stimuli.
     From: Dale Jacquette (Ontology [2002], Ch. 9)
     A reaction: Personally I would want something between the two - that propositions are brain events of a highly abstract kind. I say that introspection reveals pre-linguistic thoughts, which are propositions. A proposition is an intentional state.
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
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.
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.
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.
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.
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.
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
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.
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.
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.
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.
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.
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 / F. Life Issues / 6. Animal Rights
Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley]
     Full Idea: Hermarchus said that animal killing is justified by considerations of human safety and nourishment and by animals' inability to form contractual relations of justice with us.
     From: report of Hermarchus (fragments/reports [c.270 BCE]) by David A. Sedley - Hermarchus
     A reaction: Could the last argument be used to justify torturing animals? Or could we eat a human who was too brain-damaged to form contracts?