49 ideas
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'? |
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. |
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. |
20589 | Maybe a person's true self is their second-order desires [Tuckness/Wolf] |
Full Idea: A second-order desire is a desire about what kind of desires you want to have. ....Some philosophers have argued that we should associate a person's second-order desires with her 'true self'. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 2 'What is') | |
A reaction: Presumably the buck stops at these second-order desires, though we might request an account of their origin. 'What sort of person do I want to be?' looks like a third-order question. I don't even want to be a saint. Self is nothing to do with desires? |
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. |
4375 | Evaluations are not disguised emotions; instead, emotion is a type of evaluation [Achtenberg] |
Full Idea: The emotivist gets things backwards: evaluations are not disguised emotions; instead, emotions are types of evaluation. | |
From: Deborah Achtenberg (Cognition of Value in Aristotle's Ethics [2002], 6.1) | |
A reaction: A nice comment, though a bit optimistic. It is certainly a valuable corrective to emotivist to pin down the cognitive and evaluative aspects of emotion, rather than regarding them as 'raw' feelings. |
20583 | If maximising pleasure needs measurement, so does fulfilling desires [Tuckness/Wolf] |
Full Idea: Just as hedonists need a way to compare pleasures, so desire fulfilment theorists need a way to compare the fulfilment of desires. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 1 'Is happiness') | |
A reaction: A nice point. We picture desire fulfilment as just ticking it off when it is achieved, but if your desire is for a really nice house, the achievement of that can be pretty vague. |
20584 | Desire satisfaction as the ideal is confused, because we desire what we judge to be good [Tuckness/Wolf] |
Full Idea: Critics of desire satisfaction theory argue that it gets things backward. We desire things because we already think they are good in some way. Desire theory puts it the other way round. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 1 'Is happiness') | |
A reaction: Not persuasive. It looks to me as if skiing is a spendid pastime, but I have no desire to do it. More exercise would even be a good for me, but I don't desire that either. Indeed, right now I desire more cake, which is very naughty. |
20598 | In a democracy, which 'people' are included in the decision process? [Tuckness/Wolf] |
Full Idea: In any democratic state, who are 'the people' who get to rule themselves? That is, who gets to participate in the public decision process, and who is excluded? | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 5 'What is') | |
A reaction: In the modern world this may be clear-cut when a democracy gets started, but people move around so much more that every democracy is faced with new types of residents. Then there is age, criminality, mental health... |
20614 | People often have greater attachment to ethnic or tribal groups than to the state [Tuckness/Wolf] |
Full Idea: Some states have a number of different ethnic or tribal groups. Often these attachments are much stronger than the attachment people feel towards the state. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 6 'Membership') | |
A reaction: In Britain I fine people torn between attachments to the UK and to England or Wales or Scotland or NI. Attachments to football clubs are much stronger than most patriotism. Or attachment to a particular locality. Does it matter? |
20596 | For global justice, adopt rules without knowing which country you will inhabit [Tuckness/Wolf] |
Full Idea: Imagine a new original position where we adopted rules for global justice without knowing which country we would inhabit. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 4 'Cosmopolitan') | |
A reaction: Nice question. North Korea!! Rawls says it is only within a nation, because there is a co-operative enterprise going on. That is, I presume, that the choosers involved are a 'people'. See Kant's 'Perpetual Peace' for an alternative. |
20593 | The veil of ignorance ensures both fairness and unanimity [Tuckness/Wolf] |
Full Idea: The veil of ignorance ensures that the original position is fair, but it also guarantees that agreement will be unanimous (which would be impossible if each person insisted that justice should match her own conception). | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 4 'Original') | |
A reaction: Not clear about this. If I choose very cautiously, but others choose very riskily, and they win, why I should I fall in with their unanimity? That can only be if we agree to be unanimous in backing the result. Like a democratic election? |
20608 | Unjust institutions may be seen as just; are they legitimate if just but seen as unjust? [Tuckness/Wolf] |
Full Idea: Legitimacy and perceived legitimacy do not always go together: people can believe that their institutions are just, but they may be wrong. Is the reverse also possible? Can institutions be legitimate if people believe they are not? | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 5 'What are') | |
A reaction: Nice thoughts. An institution cannot be just merely because it is seen that way (if someone gets away with rigging an election). If they are just but seen as unjust, I presume they are legitimate (which is objective), but disfunctional. |
20597 | If winning elections depends on wealth, we have plutocracy instead of democracy [Tuckness/Wolf] |
Full Idea: If we let people's influence on election outcomes depend on their wealth, then we don't have a democracy any more. We have a plutocracy, where the people who have all the wealth have all the political power too. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 5 'Intro') | |
A reaction: [see Michael Walzer on 'complex equality'] This is startling true in the United States, but still somewhat true elsewhere. Being wealthy enough to control the media is the key in modern democracies. |
20606 | Epistemic theories defend democracy as more likely to produce the right answer [Tuckness/Wolf] |
Full Idea: According to epistemic theories of democracy, democratic outcomes are justified because they are more likely to be true or right than the choice of the individual. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 5 'Do the people') | |
A reaction: Bear in mind Condorcet's proof that this claim is only correct if individuals have a better than 50% chance of being right, which may be so on obvious things, but is implausible for decisions like going to war. |
20600 | Which areas of public concern should be decided democratically, and which not? [Tuckness/Wolf] |
Full Idea: Are there areas which are excluded from democratic decision making? Or should all issues of public concern be decided through a democratic process? | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 5 'What is') | |
A reaction: Crucially, are we discussing direct democracy, or representative democracy? In Britain all major decisions are made by the cabinet. Our representatives appoint leaders, who then appoint the decision makers. Judiciary is non-democratic. |
20609 | If several losing groups would win if they combine, a runoff seems called for [Tuckness/Wolf] |
Full Idea: It is possible that the people who supported several losing candidates might have joined forces and had a majority. For that reason, many countries have a runoff election. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 5 'Does democracy') | |
A reaction: The problem is that there is no rationale as to who stands in an election. If their views are evenly spread, the first result seems OK. If there are five left-wingers and one right-winger, a runoff seems to be produce a more just result. |
20605 | Rights as interests (unlike rights as autonomy) supports mandatory voting [Tuckness/Wolf] |
Full Idea: If rights concern people's interests, that might support mandatory voting, but if rights rely on protecting autonomy that might oppose it. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 5 'Interest') | |
A reaction: I approach it from the other end, and am inclined to support mandatory voting, which suggests I am more concerned about interests than about autonomy. |
20599 | How should democratic votes be aggregated? Can some person's votes count for more? [Tuckness/Wolf] |
Full Idea: A major question for democracy is how are the contributions of different people aggregated into a collective decision? Must votes have equal weight and consideration, or is it permissible for different people's votes to count differently? | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 5 'What is') | |
A reaction: Mill hoped that wise and knowledgeable people would have a strong influence over the others, but we have recently moved into the post-truth era, where we are swamped by bogus facts. Does that strengthen the case for elite voting? |
20601 | Discussion before voting should be an essential part of democracy [Tuckness/Wolf] |
Full Idea: According to advocates of deliberative democracy, people should have an opportunity to talk and reason with one another before votes are cast. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 5 'Who gets') | |
A reaction: This is now done on Facebook and Twitter, but no one thinks that is sufficient. We will never again persuade most people to actually meet up and discuss issues. |
20613 | We have obligations to our family, even though we didn't choose its members [Tuckness/Wolf] |
Full Idea: Many of our most important obligations are things we did not consent to. If you think you have obligations to your family, did you choose to have them as family members? | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 6 'Gratitude') | |
A reaction: A question that gets close to the heart of the communitarian ideal, I think. We choose to have children, and we bring them up, but even then we don't choose who our children are. |
20586 | Free speech does not include the right to shout 'Fire!' in a crowded theatre [Tuckness/Wolf] |
Full Idea: Oliver Wendell Holmes (in 1919) noted that freedom of speech does not include the right to shout 'Fire!' in a crowded theatre. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 1 'Conflict') | |
A reaction: The point here is that such irresponsible free speech does not even require legislation, and there is probably already some law under which the perpetrator could be prosecuted. |
20587 | Most people want equality because they want a flourishing life [Tuckness/Wolf] |
Full Idea: If we want equality so much, we find that it is often because they think of equality as a prerequisite for a certain kind of flourishing life. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 1 'Happiness') | |
A reaction: Most writers seem to agree that we don't want equality for its own sake. In what respects do we want to be equal? Why not equal in hair colour? Hence it looks as if equality drops out. I would aim to derive it from the social virtue of respect. |
20591 | If there is no suffering, wealth inequalities don't matter much [Tuckness/Wolf] |
Full Idea: It is hard to get worked up over wealth inequalities if no one is suffering from them! | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 3 'Deprivation') | |
A reaction: The more the poorer group resent the inequality, the more they suffer. When is resenting huge inequalities in wealth justified? It depends how the big wealth was obtained. |
20602 | Some rights are 'claims' that other people should act in a certain way [Tuckness/Wolf] |
Full Idea: A 'claim right' is one in which the person asserting the right makes a claim on others to act or not act in a certain way. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 5 'Claim') | |
A reaction: There seems to be a crucial distinction between rights which entail obligations on some individual or institution, and those which don't. Contracts (including employment contracts) generate duties on the parties. |
20604 | Choice theory says protecting individual autonomy is basic (but needs to cover infants and animals) [Tuckness/Wolf] |
Full Idea: Choice theorists hold that rights protect our rights to make autonomous judgements, because our basic right to autonomy must be protected, The theory has a problem with people unable to exercise autonomy (such as infants and animals). | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 5 'Interest') | |
A reaction: The problem of infants and animals looks like a decisive objection to me. We obviously don't protect dangerous or hostile autonomous judgements, and it is not clear why protecting stupid autonomy should be basic. |
20603 | One theory (fairly utilitarian) says rights protect interests (but it needs to cover trivial interests) [Tuckness/Wolf] |
Full Idea: Interest theorists hold that rights serve to protect people's important interests. This is closely allied with utilitarian values. The theory has difficulty accounting for relatively trivial interests (like owning a lemonade you bought). | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 5 'Interest') | |
A reaction: This sounds more plausible than choice theory (Idea 20604). It is obvious that infants must have rights. The lemonade problem seems to demand some sort of rule utilitarianism. Sidgwick looks promising. Rights can also be moral claims. |
20607 | Having a right does not entail further rights needed to implement it [Tuckness/Wolf] |
Full Idea: Possession of a right (such as self-defence) does not always imply that one has additional rights to whatever they need (such as a handgun) in order to exercise the first right. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 5 'Is there') | |
A reaction: The right to life entails a right to food (but not to a banquet), so it is a stronger right than self-defence. I have no obligation to let you defend yourself against me, but I may have an obligation to feed you if you are starving. (Distinction here?) |
20612 | If being subject to the law resembles a promise, we are morally obliged to obey it [Tuckness/Wolf] |
Full Idea: One of the more common reasons people will give for having a moral obligation to obey the law is consent. ...It rests on the intuitively appealing idea of an analogy with a promise. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 6 'Consent') | |
A reaction: [They cite Locke and Jefferson] In Locke's case it has to be a 'tacit' promise, which is more realistic. In real life we have problems with people who 'said' they would do something. They are often accused of promising, when they didn't. |
20611 | If others must obey laws that we like, we must obey laws that they like? [Tuckness/Wolf] |
Full Idea: If we expect others to obey the laws we think just, do we have an obligation to obey the laws that other people think just? | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 6 'What should') | |
A reaction: Depends whether you have to be consistent about everything. I'm picky about which laws I obey, but I'm not going to tell you that, in case you get the same idea. Free riders. |
20610 | Instead of against natural law, we might assess unjust laws against the values of the culture [Tuckness/Wolf] |
Full Idea: Do we need natural law theory in order to make sense of the idea that laws can be unjust? Perhaps not: we might consider whether laws are consistent with the values of the culture or society where they apply. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 5 'Unjust') | |
A reaction: So were the wicked laws passed by the Nazis consistent with 1930s German culture? Impossible to say. |
20617 | How should the punishment fit the crime (for stealing chickens?) [Tuckness/Wolf] |
Full Idea: One criticism of the retributive theory of punishment is that it is hard to know how to fit the punishment to the crime. What punishment should correspond to stealing chickens? | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 7 'Rationales') | |
A reaction: The ancient world was more keen on restitution for such crimes, which makes much better sense. Buy them some chickens, plus twenty percent. |
20615 | Just wars: resist aggression, done on just cause, proportionate, last resort, not futile, legal [Tuckness/Wolf] |
Full Idea: Classical just war theory: resist aggression; just cause must be the real reason; must be proportionate; last resort; not futile; made by a nation's authority. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 9 'Ius ad') | |
A reaction: [My squashed summary of Tuckness and Wolf] A very helpful list, from Cicero, Augustine and Aquinas. So where is the sticking point for pacifists? Presumably it is never the last resort, and aggression should not answer aggression. |
20616 | During wars: proportional force, fair targets, fair weapons, safe prisoners, no reprisals [Tuckness/Wolf] |
Full Idea: Classical just war theory during a war: force must be proportional; only legitimate targets; avoid prohibited weapons; safety for prisoners of war; no reprisals. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 9 'In the conduct') | |
A reaction: What of massacre if a besieged city refuses to surrender? It was commonplace, and sometimes the only way to achieve victory. What if the enemy breaks all the rules? Nice rules though. At the heart of civilisation. |
20620 | If minority views are accepted in debate, then religious views must be accepted [Tuckness/Wolf] |
Full Idea: It is unfair to exclude religious arguments from the public square because they are not accepted by everyone, unless other views that are not accepted by everyone are also excluded. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 9 'fairly') | |
A reaction: Raises the obvious problems of a huge group in the grips of a fairly crazy view, and a tiny group (e.g. specialist scientists) in possession of a correct view. You can't just assess it on the size of the group. You can be wrong but reasonable. |
20619 | Is abortion the ending of a life, or a decision not to start one? [Tuckness/Wolf] |
Full Idea: One group may consider abortion as a decision to end a life, while another may regard it as the decision not to start one. | |
From: Tuckness,A/Wolf,C (This is Political Philosophy [2017], 8 'Hard I') | |
A reaction: An early foetus is 'life', but is it 'a life'? Is a blade of grass 'a life'? Is a cell in a body 'a life'? |
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. |