43 ideas
| 18344 | Truth and falsehood must track what does or doesn't exist [Bigelow] |
| Full Idea: If something is true, then it would not be possible for it to be false unless either certain things were to exist which don't, or else certain things had not existed which do. | |
| From: John Bigelow (The Reality of Numbers [1988], 19) | |
| A reaction: This is described by Rami as Bigelow's 'famous' formulation of the idea that 'truth supervenes on being' in a general way. An immediate question would be about fictions. Is Malvolio a stupid man, given that he doesn't exist? We must stretch 'exist'. |
| 9550 | We only know relational facts about the empty set, but nothing intrinsic [Chihara] |
| Full Idea: Everything we know about the empty set is relational; we know that nothing is the membership relation to it. But what do we know about its 'intrinsic properties'? | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 01.5) | |
| A reaction: Set theory seems to depend on the concept of the empty set. Modern theorists seem over-influenced by the Quine-Putnam view, that if science needs it, we must commit ourselves to its existence. |
| 9562 | In simple type theory there is a hierarchy of null sets [Chihara] |
| Full Idea: In simple type theory, there is a null set of type 1, a null set of type 2, a null set of type 3..... (Quine has expressed his distaste for this). | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 07.4) | |
| A reaction: It is bad enough trying to individuate the unique null set, without whole gangs of them drifting indistinguishably through the logical fog. All rational beings should share Quine's distaste, even if Quine is wrong. |
| 9572 | Realists about sets say there exists a null set in the real world, with no members [Chihara] |
| Full Idea: In the Gödelian realistic view of set theory the statement that there is a null set as the assertion of the existence in the real world of a set that has no members. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 11.6) | |
| A reaction: It seems to me obvious that such a claim is nonsense on stilts. 'In the beginning there was the null set'? |
| 9573 | The null set is a structural position which has no other position in membership relation [Chihara] |
| Full Idea: In the structuralist view of sets, in structures of a certain sort the null set is taken to be a position (or point) that will be such that no other position (or point) will be in the membership relation to it. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 11.6) | |
| A reaction: It would be hard to conceive of something having a place in a structure if nothing had a relation to it, so is the null set related to singeton sets but not there members. It will be hard to avoid Platonism here. Set theory needs the null set. |
| 9551 | What is special about Bill Clinton's unit set, in comparison with all the others? [Chihara] |
| Full Idea: What is it about the intrinsic properties of just that one unit set in virtue of which Bill Clinton is related to just it and not to any other unit sets in the set-theoretical universe? | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 01.5) | |
| A reaction: If we all kept pet woodlice, we had better not hold a wood louse rally, or we might go home with the wrong one. My singleton seems seems remarkably like yours. Could we, perhaps, swap, just for a change? |
| 9549 | The set theorist cannot tell us what 'membership' is [Chihara] |
| Full Idea: The set theorist cannot tell us anything about the true relationship of membership. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 01.5) | |
| A reaction: If three unrelated objects suddenly became members of a set, it is hard to see how the world would have changed, except in the minds of those thinking about it. |
| 9571 | ZFU refers to the physical world, when it talks of 'urelements' [Chihara] |
| Full Idea: ZFU set theory talks about physical objects (the urelements), and hence is in some way about the physical world. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 11.5) | |
| A reaction: This sounds a bit surprising, given that the whole theory would appear to be quite unaffected if God announced that idealism is true and there are no physical objects. |
| 9563 | A pack of wolves doesn't cease when one member dies [Chihara] |
| Full Idea: A pack of wolves is not thought to go out of existence just because some member of the pack is killed. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 07.5) | |
| A reaction: The point is that the formal extensional notion of a set doesn't correspond to our common sense notion of a group or class. Even a highly scientific theory about wolves needs a loose notion of a wolf pack. |
| 9561 | The mathematics of relations is entirely covered by ordered pairs [Chihara] |
| Full Idea: Everything one needs to do with relations in mathematics can be done by taking a relation to be a set of ordered pairs. (Ordered triples etc. can be defined as order pairs, so that <x,y,z> is <x,<y,z>>). | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 07.2) | |
| A reaction: How do we distinguish 'I own my cat' from 'I love my cat'? Or 'I quite like my cat' from 'I adore my cat'? Nevertheless, this is an interesting starting point for a discussion of relations. |
| 9552 | Sentences are consistent if they can all be true; for Frege it is that no contradiction can be deduced [Chihara] |
| Full Idea: In first-order logic a set of sentences is 'consistent' iff there is an interpretation (or structure) in which the set of sentences is true. ..For Frege, though, a set of sentences is consistent if it is not possible to deduce a contradiction from it. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 02.1) | |
| A reaction: The first approach seems positive, the second negative. Frege seems to have a higher standard, which is appealing, but the first one seems intuitively right. There is a possible world where this could work. |
| 9553 | Analytic geometry gave space a mathematical structure, which could then have axioms [Chihara] |
| Full Idea: With the invention of analytic geometry (by Fermat and then Descartes) physical space could be represented as having a mathematical structure, which could eventually lead to its axiomatization (by Hilbert). | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 02.3) | |
| A reaction: The idea that space might have axioms seems to be pythagoreanism run riot. I wonder if there is some flaw at the heart of Einstein's General Theory because of this? |
| 10192 | We can replace existence of sets with possibility of constructing token sentences [Chihara, by MacBride] |
| Full Idea: Chihara's 'constructability theory' is nominalist - mathematics is reducible to a simple theory of types. Instead of talk of sets {x:x is F}, we talk of open sentences Fx defining them. Existence claims become constructability of sentence tokens. | |
| From: report of Charles Chihara (A Structural Account of Mathematics [2004]) by Fraser MacBride - Review of Chihara's 'Structural Acc of Maths' p.81 | |
| A reaction: This seems to be approaching the problem in a Fregean way, by giving an account of the semantics. Chihara is trying to evade the Quinean idea that assertion is ontological commitment. But has Chihara retreated too far? How does he assert existence? |
| 9559 | If a successful theory confirms mathematics, presumably a failed theory disconfirms it? [Chihara] |
| Full Idea: If mathematics shares whatever confirmation accrues to the theories using it, would it not be reasonable to suppose that mathematics shares whatever disconfirmation accrues to the theories using it? | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 05.8) | |
| A reaction: Presumably Quine would bite the bullet here, although maths is much closer to the centre of his web of belief, and so far less likely to require adjustment. In practice, though, mathematics is not challenged whenever an experiment fails. |
| 9566 | No scientific explanation would collapse if mathematical objects were shown not to exist [Chihara] |
| Full Idea: Evidently, no scientific explanations of specific phenomena would collapse as a result of any hypothetical discovery that no mathematical objects exist. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 09.1) | |
| A reaction: It is inconceivable that anyone would challenge this claim. A good model seems to be drama; a play needs commitment from actors and audience, even when we know it is fiction. The point is that mathematics doesn't collapse either. |
| 9568 | I prefer the open sentences of a Constructibility Theory, to Platonist ideas of 'equivalence classes' [Chihara] |
| Full Idea: What I refer to as an 'equivalence class' (of line segments of a particular length) is an open sentence in my Constructibility Theory. I just use this terminology of the Platonist for didactic purposes. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 09.10) | |
| A reaction: This is because 'equivalence classes' is committed to the existence of classes, which is Quinean Platonism. I am with Chihara in wanting a story that avoids such things. Kit Fine is investigating similar notions of rules of construction. |
| 9547 | Mathematical entities are causally inert, so the causal theory of reference won't work for them [Chihara] |
| Full Idea: Causal theories of reference seem doomed to failure for the case of reference to mathematical entities, since such entities are evidently causally inert. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], 01.3) | |
| A reaction: Presumably you could baptise a fictional entity such as 'Polonius', and initiate a social causal chain, with a tradition of reference. You could baptise a baby in absentia. |
| 23590 | Criminal responsibility can be fully assigned to each member of a group [Walzer] |
| Full Idea: It is a feature of criminal responsibility that it can be distributed without being divided. We can, that is, blame more than one person for a particular act without splitting up the blame we assign. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 19) | |
| A reaction: How far can this extend? To a large violent mob? To an entire nation? In court the responsibility is usually adjusted in the sentencing, rather than in the initial verdict. |
| 23578 | Double Effect needs a double intention - to achieve the good, and minimise the evil [Walzer] |
| Full Idea: Double effect is defensible, I want to argue, only when the two outcomes are the product of a double intention - that 'good' be achieved, and that the foreseeable evil be reduced as far as possible. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 09) | |
| A reaction: A good proposal, I think. We have to accept evil side effects sometimes, but it is immoral to pursue some good 'whatever the cost'. |
| 23564 | Deep ethical theory is very controversial, but we have to live with higher ethical practice [Walzer] |
| Full Idea: The substructure of the ethical world is a matter of deep and unending controversy, Meanwhile, however, we are living in the superstructure. | |
| From: Michael Walzer (Just and Unjust Wars [1977], Pref) | |
| A reaction: This may be the best approach to ethics. Nearly all applied ethics takes the common sense consensus on values for granted. Personally I think that is because the substructure is the obvious success and failure of human functioning. |
| 23568 | If whole states possess rights, there can be social relations between states [Walzer] |
| Full Idea: If states possess rights more or less as individuals do, then it is possible to imagine a society among them more or less like the individuals. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 04) | |
| A reaction: The state's rights must derive from the people. Plots of land don't have rights. In some states the people are in conflict. It can't just be the government which represents the rights of the state. |
| 23572 | Just wars are self-defence, or a rightful intercession in another's troubles [Walzer] |
| Full Idea: Just wars may not be self-defence, if they are to help an independence struggle, or it is to save another country being invaded, or to prevent enslavement or massacre. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 06) | |
| A reaction: [summary] Modern wars support some examples of these, but also suggest that without a long-term plan, or an understanding of the country they are entering, such intercessions may worsen the situation. |
| 23587 | Nuclear bombs are not for normal war; they undermine the 'just war', with a new morality [Walzer] |
| Full Idea: Nuclear weapons are not designed for war at all. …They explode the idea of a just war. They are the first technological innovations that are simply not encompassable within the familiar moral world. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 17) | |
| A reaction: A nuclear war can hardly lead to normal victory, if it destroys the thing you are trying to conquer. It is like bringing a machine gun to a boxing match. |
| 23581 | The aim of reprisals is to enforce the rules of war [Walzer] |
| Full Idea: The purpose of reprisals is not to win the war or prevent defeat, but simply to enforce the rules [of war]. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 13) | |
| A reaction: That may be wishful thinking, since reprisals are often vastly more ruthless than the original offence, and there is often injustice in the nature of the reprisals, since they cannot be precise. |
| 23567 | Even non-violent intrusive acts between states count as aggression, if they justify resistance [Walzer] |
| Full Idea: Every violation of an independent state is called aggression, which fails to differentiate between a seizure or imposition, and an actual conquest. …But what they have in common is that all aggressive acts justify forceful resistance. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 04) | |
| A reaction: [compressed] Walzer concedes that this makes 'aggression' rather imprecise, and small acts can be used as an excuse for desired violent resistance. Each entrant in August 1914 seems to have had a slightly different motive. |
| 23570 | The only good reason for fighting is in defence of rights [Walzer] |
| Full Idea: The defence of rights is a reason for fighting. I want now to stress again, and finally, that it is the only reason. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 04) | |
| A reaction: Walzer states at the beginning, without discussion, that his moral assumptions are based on the notion of rights. This is tricky because rights are assigned by some people to other people, and claims of rights can be challenged. |
| 23571 | States can rightly pre-empt real and serious threats [Walzer] |
| Full Idea: States can use force in the face of threats of war, if there is a serious risk to territory or independence. They are then forced to fight, and are the victims of aggression. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 05) | |
| A reaction: [compressed] He uses this to justify Israeli pre-emptive strikes against Palestinians. I don't think his confident assertion of this principle is justified. It is open to massive abuse. There are, though, clearly situations where he is right. |
| 23582 | Reprisal is defensible, as an alternative to war [Walzer] |
| Full Idea: Reprisal is the first resort of force. It is an alternative to war, and that description is an important argument in its favour. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 13) | |
| A reaction: Enduring wrongs with dignity might be another alternative. Successful reprisals may be acceptable, but how do you assess their prospects? |
| 23580 | States need not endure attacks passively, and successful reprisals are legitimate [Walzer] |
| Full Idea: Whenever there is some substantial chance of success, reprisals are the legitimate resort of a victim state; for no state can be required passively to endure attacks upon its citizens. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 13) | |
| A reaction: My concern is whether the reprisals have any direct connection to the attacks. They killed some of ours, so we will kill some of theirs is immoral. E.g. bombing Tripoli as reprisal for crashing the Lockerbie plane. |
| 23588 | With nuclear weapons we have a permanent supreme emergency (which is unstable) [Walzer] |
| Full Idea: With nuclear weapons, supreme emergency has become a permanent condition. …[283] But supreme emergency is never a stable position. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 17) | |
| A reaction: The obvious instability of balanced mutual threat is a nuclear state which finds itself losing a war. |
| 23593 | Jus ad bellum and Jus in bello are independent; unjust wars can be fought in a just way [Walzer] |
| Full Idea: Justice of war [ad bellum] and justice in war [in bello] are logically independent. It is perfectly possible for a just war to be fought unjustly, and for an unjust war to be fought in strict accordance with the rules. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 02) | |
| A reaction: The perfect decorum of an unjust firing squad might even make the crime worse. There is something chilling about an evil army conducting itself perfectly within the ethics of warfare. Better than the other thing, though. McMahan disagrees. |
| 23573 | For moral reasons, a just war must be a limited war [Walzer] |
| Full Idea: Just wars are limited wars; there are moral reasons for the statesmen and soldiers who fight them to be prudent and realistic. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 07) | |
| A reaction: This is rather profound, I think. Watch closely the behaviour of the good guys when they are winning the war. In general, to know someone's moral principles, the best indicator is how they behave when they have power. |
| 23577 | Napoleon said 'I don't care about the deaths of a million men' [Walzer] |
| Full Idea: Napoleon said 'Soldiers are made to be killed. …I do not care a fig for the lives of a million men'. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 08) | |
| A reaction: [Two separate remarks attributed to Napoleon] He apparently often said things like this this later in his career. It strikes me as despicable, and anyone who still tries to present Napoleon as admirable should be ashamed. |
| 23589 | Kidnapped sailors and volunteers have different obligations to the passengers [Walzer] |
| Full Idea: Soldiers may stand to civilians like the crew of a liner to its passengers, for whom they must risk their lives. …But would they be so bound if the sailors had been kidnapped? | |
| From: Michael Walzer (Just and Unjust Wars [1977], 19) | |
| A reaction: The point, I assume, is that a conscripted army does not have the same obligations as volunteers. I can't imagine that principle being accepted in an army which is a mixture of the two. |
| 23614 | Even aggressor soldiers are not criminals, so they have equal rights with their opponents [Walzer] |
| Full Idea: Soldiers fighting for an aggressor state are not themselves criminals: hence their war rights are the same as those of their opponents. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 08) | |
| A reaction: Walzer's main support for this is that opposing armies never regard one another as intrinsically criminal. It seems inevitable, though, that even the invaders themselves see that they are a bit more criminal than the defenders. |
| 23574 | The duties and moral status of loyal and obedient soldiers is the same in defence and aggression [Walzer] |
| Full Idea: The duties of individual soldiers …are precisely the same in wars of aggression and wars of defence. …The moral status of soldiers on both sides is very much the same; they are led to fight by their loyalty and their lawful obedience. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 08) | |
| A reaction: He excludes war crimes. This is the thesis which Jeff McMahan objects to. It would be very odd to think that mafiosi and the legitimate police were morally equal, because the former are loyal. We should all try hard to avoid supporting unjust causes. |
| 23575 | We can't blame soldiers for anything they do which clearly promotes victory [Walzer] |
| Full Idea: It would be difficult to condemn soldiers for anything they did in the course of a battle or a war that they honestly believed, and had good reason to believe, was necessary, or important, or simply useful in determining the outcome. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 08) | |
| A reaction: We can't blame unjust aggressors if their own lives are at stake, but what about in a surprise attack on the first day of the war (such as Pearl Harbour)? Or if they massacre the enemy with safe and overwhelming superiority? |
| 23584 | Rejecting Combatant Equality allows just soldiers to be harsher, even to the extreme [Walzer] |
| Full Idea: Objections to combatant equality appeal to a sliding scale of 'the more justice, the more right'. …It allows the justice of one's cause to make a difference in the way one fights. …The extreme says soldiers fightly justly can do anything that is useful. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 14) | |
| A reaction: This slippery slope fear seems to be Walzer's main argument in favour of the moral equality of combatants. See Jeff McMahan for the opposing view. |
| 23579 | Soldiers will only protect civilians if they feel safe from them [Walzer] |
| Full Idea: Soldiers must feel safe among civilians if civilians are ever to be safe from soldiers. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 11) | |
| A reaction: This is the great dilemma of any resistance movement. It is very easy for the soldiers to abuse their power, even if they do feel safe. Then what? |
| 23586 | What matters in war is unacceptable targets, not unacceptable weapons [Walzer] |
| Full Idea: The crucial distinction in the theory and practice of war is not between prohibited and acceptable weapons but between prohibited and acceptable targets. | |
| From: Michael Walzer (Just and Unjust Wars [1977], 17) | |
| A reaction: Walzer presents this idea as arising out of discussions about nuclear deterrence. Gas attacks were accepted in WW1 trenches, but modern gas attacks on civilians are a crime. Are nuclear attacks on strictly military targets OK? E.g a fleet. |
| 23591 | If the oppressor is cruel, nonviolence is either surrender, or a mere gesture [Walzer] |
| Full Idea: When one cannot count on the moral code of the oppressor, nonviolence is either a disguised form of surrender or a minimalist way of upholding communal values after a military defeat. | |
| From: Michael Walzer (Just and Unjust Wars [1977], Afterword) | |
| A reaction: The point is that ruthless conquerors may just kill the nonviolent, so it would achieve nothing. Nonviolence is only a plausible strategy in a fairly civilised world. Hard to disagree. |
| 23592 | We can only lead war towards peace if we firmly enforce the rules of war [Walzer] |
| Full Idea: We must begin by insisting upon the rules of war and by holding soldiers rigidly to the norms they set. The restraint of war is the beginning of peace. | |
| From: Michael Walzer (Just and Unjust Wars [1977], Afterword) | |
| A reaction: Last sentence of his book. Some cultures have a much greater tradition of ruthless cruelty than others, it seems. Most war ethics seems to concern how the good guys should respond to the bad guys (since the latter hardly care). |
| 9574 | 'Gunk' is an individual possessing no parts that are atoms [Chihara] |
| Full Idea: An 'atomless gunk' is defined to be an individual possessing no parts that are atoms. | |
| From: Charles Chihara (A Structural Account of Mathematics [2004], App A) | |
| A reaction: [Lewis coined it] If you ask what are a-toms made of and what are ideas made of, the only answer we can offer is that the a-toms are made of gunk, and the ideas aren't made of anything, which is still bad news for the existence of ideas. |