16 ideas
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro) |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1) |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
Full Idea: Some of the standard large cardinals (in order of increasing (logical) strength) are: inaccessible, Mahlo, weakly compact, indescribable, Erdös, measurable, strong, Wodin, supercompact, huge etc. (...and ineffable). | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) | |
A reaction: [I don't understand how cardinals can have 'logical strength', but I pass it on anyway] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem]. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1) | |
A reaction: Each expansion brings a limitation, but then you can expand again. |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) |
16065 | Constitution is identity (being in the same place), or it isn't (having different possibilities) [Wasserman] |
Full Idea: Some insist that constitution is identity, on the grounds that distinct material objects cannot occupy the same place at the same time. Others argue that constitution is not identity, since the statue and its material differ in important respects. | |
From: Ryan Wasserman (Material Constitution [2009], Intro) | |
A reaction: The 'important respects' seem to concern possibilities rather than actualities, which is suspicious. It is misleading to think we are dealing with two things and their relation here. Objects must have constitutions; constitutions make objects. |
16067 | Constitution is not identity, because it is an asymmetric dependence relation [Wasserman] |
Full Idea: For those for whom 'constitution is not identity' (the 'constitution view'), constitution is said to be an asymmetric relation, and also a dependence relation (unlike identity). | |
From: Ryan Wasserman (Material Constitution [2009], 2) | |
A reaction: It seems obvious that constitution is not identity, because there is more to a thing's identity than its mere constitution. But this idea makes it sound as if constitution has nothing to do with identity (chalk and cheese), and that can't be right. |
16069 | There are three main objections to seeing constitution as different from identity [Wasserman] |
Full Idea: The three most common objections to the constitution view are the Impenetrability Objection (two things in one place?), the Extensionality Objection (mereology says wholes are just their parts), and the Grounding Objection (their ground is the same). | |
From: Ryan Wasserman (Material Constitution [2009], 2) | |
A reaction: [summary] He adds a fourth, that if two things can be in one place, why stop at two? [Among defenders of the Constitution View he lists Baker, Fine, Forbes, Koslicki, Kripke, Lowe, Oderberg, N.Salmon, Shoemaker, Simons and Yablo.] |
16068 | The weight of a wall is not the weight of its parts, since that would involve double-counting [Wasserman] |
Full Idea: We do not calculate the weight of something by summing the weights of all its parts - weigh bricks and the molecules of a wall and you will get the wrong result, since you have weighed some parts more than once. | |
From: Ryan Wasserman (Material Constitution [2009], 2) | |
A reaction: In fact the complete inventory of the parts of a thing is irrelevant to almost anything we would like to know about the thing. The parts must be counted at some 'level' of division into parts. An element can belong to many different sets. |
16074 | Relative identity may reject transitivity, but that suggests that it isn't about 'identity' [Wasserman] |
Full Idea: If the relative identity theorist denies transitivity (to deal with the Ship of Theseus, for example), this would make us suspect that relativised identity relations are not identity relations, since transitivity seems central to identity. | |
From: Ryan Wasserman (Material Constitution [2009], 6) | |
A reaction: The problem here, I think, focuses on the meaning of the word 'same'. One change of plank leaves you with the same ship, but that is not transitive. If 'identical' is too pure to give the meaning of 'the same' it's not much use in discussing the world. |
22410 | Maybe the unthinkable is a moral category, and considering some options is dishonourable or absurd [Williams,B] |
Full Idea: One might have the idea that the unthinkable was itself a moral category. ...Regarding certain things even as alternatives is itself something to be regarded as dishonourable or morally absurd. | |
From: Bernard Williams (A Critique of Utilitarianism [1973], 2) | |
A reaction: He's very tentative about this, but I think it is a powerful moral idea. See Kekes. He is particularly aiming at utilitarians, who happily assess vile possibilities. |
22408 | Consequentialism assumes that situations can be compared [Williams,B] |
Full Idea: The emphasis on the necessary comparability of situations is a peculiar feature of consequentialism in general. | |
From: Bernard Williams (A Critique of Utilitarianism [1973], 2) | |
A reaction: A nice point. Utilitarians might achieve comparison by totting up the happiness in each situation, but once you include the consequences of the consequences the problems are obvious. Was 1789 a good thing? Too early to say. |
22411 | For a consequentialist massacring 7 million must be better than massacring 7 million and one [Williams,B] |
Full Idea: Making the best of a bad job is a consequentialist maxim, and it will have something to say even pn the difference between massacring seven million and massacring seven million and one. | |
From: Bernard Williams (A Critique of Utilitarianism [1973], 2) | |
A reaction: If every life counts, the consequentialists have got something right here. Not caring exactly how many were massacred is a sort of callousness (even when the number can't be established). |
22409 | We don't have a duty to ensure that others do their duty [Williams,B] |
Full Idea: If the goodness of the world were to consist in people's fulfilling their obligations, it would by no means follow that one of my obligations was to bring it about that other people kept their obligations | |
From: Bernard Williams (A Critique of Utilitarianism [1973], 2) | |
A reaction: If the maxim of my action is 'ensure that everyone does their duty', presumably that can be universalised. Nelson thought so. It just sounds like a hideous world of self-righteous interference. |
22407 | Utilitarianism cannot make any serious sense of integrity [Williams,B] |
Full Idea: Utilitarianism cannot hope to make sense, at any serious level, of integrity. | |
From: Bernard Williams (A Critique of Utilitarianism [1973], 1) | |
A reaction: There will be obvious problems with this. 'My whole platoon got killed, but looking on the bright side, I preserved my integrity'. Once a theory commits entirely to one value, it then has no way to make sense of rival values. |