15 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) |
4988 | Folk psychology may not be reducible, but that doesn't make it false [Kirk,R on Churchland,PM] |
Full Idea: It may well be that completed neuroscience will not include a reduction of folk psychology, but why should that be a reason to regard it as false? It would only be a reason if irreducibility entailed that they could not possibly both be true. | |
From: comment on Paul M. Churchland (Eliminative Materialism and Prop. Attitudes [1981]) by Robert Kirk - Mind and Body §3.9 | |
A reaction: If all our behaviour had been explained by a future neuro-science, this might not falsify folk psychology, but it would totally marginalise it. It is still possible that dewdrops are placed on leaves by fairies, but this is no longer a hot theory. |
4987 | Eliminative materialism says folk psychology will be replaced, not reduced [Churchland,PM] |
Full Idea: Eliminative materialism says our common-sense conception of psychological phenomena is a radically false theory, so defective that both the principles and the ontology of that theory will eventually be displaced (rather than reduced). | |
From: Paul M. Churchland (Eliminative Materialism and Prop. Attitudes [1981], Intro) | |
A reaction: It is hard to see what you could replace the idea of a 'belief' with in ordinary conversation. We may reduce beliefs to neuronal phenomena, but we can't drop the vocabulary of the macro-phenomena. The physics of weather doesn't eliminate 'storms'. |
6479 | Noninterference requires justification as much as interference does [Nagel] |
Full Idea: Noninterference requires justification as much as interference does. | |
From: Thomas Nagel (Equality and Partiality [1991], Ch.10) | |
A reaction: I'm not convinced by this, as a simple rule. If I spend my whole life doing just the minimum for my own survival, I don't see why I should have to justify that, and I don't see a state is obliged to justify it either. |
6450 | Morality must be motivating, and not because of pre-moral motives [Nagel] |
Full Idea: My own view is that moral justification must be capable of motivating, but not in virtue of reliance on pre-moral motives. | |
From: Thomas Nagel (Equality and Partiality [1991], Ch.5) | |
A reaction: This may well be the core and essence of Kantian moral theory. I'm inclined to think of it as 'Kant's dream', which is of ultra-rational beings who are driven by pure rationality as a motivator. People who fit this bill tend to be academics. |
6447 | Game theory misses out the motivation arising from the impersonal standpoint [Nagel] |
Full Idea: I do not favour the route taken by Hobbes's modern descendants, using game theory, since I believe the impersonal standpoint makes an essential contribution to individual motivation which must be addressed by any ethically acceptable theory. | |
From: Thomas Nagel (Equality and Partiality [1991], Ch.4) | |
A reaction: The assumption of self-seeking at the core of game theory seems very bizarre, and leads to moral approval of free riders. Nagel offers the best response, which is the Kantian impersonal view. Nagel may be optimistic about motivation, though. |
6446 | In ethics we abstract from our identity, but not from our humanity [Nagel] |
Full Idea: In pursuit of the kind of objectivity needed in the physical sciences, we abstract even from our humanity; but nothing further than abstraction from our identity (that is, who we are) enters into ethical theory. | |
From: Thomas Nagel (Equality and Partiality [1991], Ch.2) | |
A reaction: The 'brief' summary of this boils down to a nice and interesting slogan. It epitomises the modern Kantian approach to ethics. But compare Idea 4122, from Bernard Williams. |
6477 | I can only universalise a maxim if everyone else could also universalise it [Nagel] |
Full Idea: It is implicit in the categorical imperative that I can will that everyone should adopt as a maxim only what everyone else can also will that everyone should adopt as a maxim. | |
From: Thomas Nagel (Equality and Partiality [1991], Ch.5) | |
A reaction: This is a nice move, because it shifts the theory away from a highly individualistic Cartesian view of morality towards the idea that morality is a community activity. |
6448 | A legitimate system is one accepted as both impartial and reasonably partial [Nagel] |
Full Idea: A legitimate system is one which reconciles the two universal principles of impartiality and reasonable partiality so that no one can object that his interests are not being accorded sufficient weight or that the demands on him are excessive. | |
From: Thomas Nagel (Equality and Partiality [1991], Ch.4) | |
A reaction: This seems an appealing principle, and a nice attempt at stating the core of Kantian liberalism. It is obviously influenced by Scanlon's contractualist view, in the idea that 'no one can object', because everyone sees the justification. |
6478 | Democracy is opposed to equality, if the poor are not a majority [Nagel] |
Full Idea: As things are, democracy is the enemy of comprehensive equality, once the poor cease to be a majority. | |
From: Thomas Nagel (Equality and Partiality [1991], Ch.9) | |
A reaction: This is obvious once you think about it, but it is well worth saying, because it is tempting to think that we live in an 'equal' society, merely because we are equal in things such as voting rights and equality before the law. |