Combining Texts

All the ideas for 'Thinking About Mathematics', 'Mere Possibilities' and 'Liberalism: the basics'

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


69 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
I don't think Lewis's cost-benefit reflective equilibrium approach offers enough guidance [Stalnaker]
     Full Idea: Lewis articulated and made fashionable the cost-benefit reflective equilibrium methodology, but I have my reservations as it does not offer much guidance.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 1.1)
     A reaction: Stalnaker suggests that this approach has 'run amok' in Lewis's case, giving reality to possible worlds. He spends much effort on showing the 'benefits' of a profoundly implausible view. The same can be said of 4D Perdurantism.
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / a. Systems of modal logic
Non-S5 can talk of contingent or necessary necessities [Stalnaker]
     Full Idea: One can make sense of necessary versus contingent necessities in a non-S5 modal semantics.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 4.3 n17)
     A reaction: In S5 □φ → □□φ, so all necessities are necessary. Does it make any sense to say 'I suppose this might have been necessarily true'?
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I
In modal set theory, sets only exist in a possible world if that world contains all of its members [Stalnaker]
     Full Idea: One principle of modal set theory should be uncontroversial: a set exists in a given possible world if and only if all of its members exist at that world.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 2.4)
     A reaction: Does this mean there can be no set containing all of my ancestors and future descendants? In no world can we coexist.
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro]
     Full Idea: Intuitionists in mathematics deny excluded middle, because it is symptomatic of faith in the transcendent existence of mathematical objects and/or the truth of mathematical statements.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 1.2)
     A reaction: There are other problems with excluded middle, such as vagueness, but on the whole I, as a card-carrying 'realist', am committed to the law of excluded middle.
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
We regiment to get semantic structure, for evaluating arguments, and understanding complexities [Stalnaker]
     Full Idea: The point of regimentation is to give a perspicuous representation of the semantic structure of an expression, making it easier to evaluate the validity of arguments and to interpret complex statements.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 4.2)
     A reaction: This is an authoritative summary from an expert of why all philosophers must take an interest in logical form.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / e. or
In 'S was F or some other than S was F', the disjuncts need S, but the whole disjunction doesn't [Stalnaker]
     Full Idea: In 'either Socrates was a philosopher or someone other than Socrates was a philosopher', both propositions expressed by the disjuncts depend for their existence on the existence of Socrates, but the whole disjunction does not.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 4.2)
     A reaction: Nice example, just the sort of thing we pay philosophers to come up with. He is claiming that propositions can exist in possible worlds in which the individuals mentioned do not exist.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro]
     Full Idea: It is surely wise to identify the positions in the natural numbers structure with their counterparts in the integer, rational, real and complex number structures.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.2)
     A reaction: The point is that this might be denied, since 3, 3/1, 3.00.., and -3*i^2 are all arrived at by different methods of construction. Natural 3 has a predecessor, but real 3 doesn't. I agree, intuitively, with Shapiro. Russell (1919) disagreed.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy
Cauchy gave a formal definition of a converging sequence. [Shapiro]
     Full Idea: A sequence a1,a2,... of rational numbers is 'Cauchy' if for each rational number ε>0 there is a natural number N such that for all natural numbers m, n, if m>N and n>N then -ε < am - an < ε.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 7.2 n4)
     A reaction: The sequence is 'Cauchy' if N exists.
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
Categories are the best foundation for mathematics [Shapiro]
     Full Idea: There is a dedicated contingent who hold that the category of 'categories' is the proper foundation for mathematics.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.3 n7)
     A reaction: He cites Lawvere (1966) and McLarty (1993), the latter presenting the view as a form of structuralism. I would say that the concept of a category will need further explication, and probably reduce to either sets or relations or properties.
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / f. Zermelo numbers
Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro]
     Full Idea: Zermelo said that for each number n, its successor is the singleton of n, so 3 is {{{null}}}, and 1 is not a member of 3. Von Neumann said each number n is the set of numbers less than n, so 3 is {null,{null},{null,{null}}}, and 1 is a member of 3.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.2)
     A reaction: See Idea 645 - Zermelo could save Plato from the criticisms of Aristotle! These two accounts are cited by opponents of the set-theoretical account of numbers, because it seems impossible to arbitrate between them.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro]
     Full Idea: The structuralist vigorously rejects any sort of ontological independence among the natural numbers; the essence of a natural number is its relations to other natural numbers.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.1)
     A reaction: This seems to place the emphasis on ordinals (what order?) rather than on cardinality (how many?). I am strongly inclined to think that this is the correct view, though you can't really have relations if there is nothing to relate.
A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro]
     Full Idea: A 'system' is a collection of objects with certain relations among them; a 'pattern' or 'structure' is the abstract form of a system, highlighting the interrelationships and ignoring any features they do not affect how they relate to other objects.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.1)
     A reaction: Note that 'ignoring' features is a psychological account of abstraction, which (thanks to Frege and Geach) is supposed to be taboo - but which I suspect is actually indispensable in any proper account of thought and concepts.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro]
     Full Idea: The thesis that principles of arithmetic are derivable from the laws of logic runs against a now common view that logic itself has no ontology. There are no particular logical objects. From this perspective logicism is a non-starter.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 5.1)
     A reaction: This criticism strikes me as utterly devastating. There are two routes to go: prove that logic does have an ontology of objects (what would they be?), or - better - deny that arithmetic contains any 'objects'. Or give up logicism.
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro]
     Full Idea: Term Formalism is the view that mathematics is just about characters or symbols - the systems of numerals and other linguistic forms. ...This will cover integers and rational numbers, but what are real numbers supposed to be, if they lack names?
     From: Stewart Shapiro (Thinking About Mathematics [2000], 6.1.1)
     A reaction: Real numbers (such as pi and root-2) have infinite decimal expansions, so we can start naming those. We could also start giving names like 'Harry' to other reals, though it might take a while. OK, I give up.
Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro]
     Full Idea: Game Formalism likens mathematics to chess, where the 'content' of mathematics is exhausted by the rules of operating with its language. ...This, however, leaves the problem of why the mathematical games are so useful to the sciences.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 6.1.2)
     A reaction: This thought pushes us towards structuralism. It could still be a game, but one we learned from observing nature, which plays its own games. Chess is, after all, modelled on warfare.
Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro]
     Full Idea: The Deductivist version of formalism (sometimes called 'if-thenism') says that the practice of mathematics consists of determining logical consequences of otherwise uninterpreted axioms.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 6.2)
     A reaction: [Hilbert is the source] More plausible than Term or Game Formalism (qv). It still leaves the question of why it seems applicable to nature, and why those particular axioms might be chosen. In some sense, though, it is obviously right.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro]
     Full Idea: Critics commonly complain that the intuitionist restrictions cripple the mathematician. On the other hand, intuitionist mathematics allows for many potentially important distinctions not available in classical mathematics, and is often more subtle.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 7.1)
     A reaction: The main way in which it cripples is its restriction on talk of infinity ('Cantor's heaven'), which was resented by Hilbert. Since high-level infinities are interesting, it would be odd if we were not allowed to discuss them.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / c. Conceptualism
Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro]
     Full Idea: I classify conceptualists according to what they say about properties or concepts. If someone classified properties as existing independent of language I would classify her as a realist in ontology of mathematics. Or they may be idealists or nominalists.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 2.2.1)
     A reaction: In other words, Shapiro wants to eliminate 'conceptualist' as a useful label in philosophy of mathematics. He's probably right. All thought involves concepts, but that doesn't produce a conceptualist theory of, say, football.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
'Impredicative' definitions refer to the thing being described [Shapiro]
     Full Idea: A definition of a mathematical entity is 'impredicative' if it refers to a collection that contains the defined entity. The definition of 'least upper bound' is impredicative as it refers to upper bounds and characterizes a member of this set.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 1.2)
     A reaction: The big question is whether mathematics can live with impredicative definitions, or whether they threaten to be viciously circular, and undermine the whole enterprise.
7. Existence / A. Nature of Existence / 1. Nature of Existence
Some say what exists must do so, and nothing else could possible exist [Stalnaker]
     Full Idea: Some philosophers deny there could have been anything other than what in fact exists, or that anything that exists could have failed to exist. This is developed in very different ways by Wittgenstein (in 'Tractatus'), Lewis and Williamson.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 1)
     A reaction: This could come in various strengths. A weak version would say that, empirically, that all talk of what doesn't exist is vacuous. A strong necessity (Williamson?) that totally rules out other possible existence is a very odd view.
A nominalist view says existence is having spatio-temporal location [Stalnaker]
     Full Idea: A nominalist definition of existence is 'having spatio-temporal location'.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 1.1)
     A reaction: This would evidently be physicalist as well as nominalist. Presumably it fits the 'mosaic' of reality Lewis refers to. I find this view sympathetic. A process of abstraction is required to get the rest of the stuff we talk about.
8. Modes of Existence / B. Properties / 1. Nature of Properties
Properties are modal, involving possible situations where they are exemplified [Stalnaker]
     Full Idea: I take properties and relations to be modal notions. Properties are to be understood in terms of what it would be for them to be exemplified, which means understanding them in terms of a range of possible situations.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 1.2)
     A reaction: I can't make head or tail of a property as anything other than a feature of some entity. Treating properties as a 'range of situations' is just as baffling to me as treating them as sets of objects.
8. Modes of Existence / B. Properties / 10. Properties as Predicates
I accept a hierarchy of properties of properties of properties [Stalnaker]
     Full Idea: I myself am prepared to accept higher-order properties and relations. There is the property of being Socrates, …and the property of being the property of being Socrates, ..and so on.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 4.4)
     A reaction: Elsewhere I have quoted such a hierarchy of vacuous properties as an absurdity that arises if all predicates are treated as properties. Logicians can live with such stuff, given their set hierarchy and so on, but in science and life this is a nonsense.
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
Dispositions have modal properties, of which properties things would have counterfactually [Stalnaker]
     Full Idea: Dispositional properties deserve special mention since they seem to be properties that have modal consequences - consequences for what properties the individuals that instantiate them would have in counterfactual circumstances.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 3.4)
     A reaction: I take this to be the key idea in trying to understand modality, but Stalnaker makes this point and then moves swiftly on, because it is so far away from his possible worlds models, in which he has invested a lifetime.
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
'Socrates is essentially human' seems to say nothing could be Socrates if it was not human [Stalnaker]
     Full Idea: It seems natural to paraphrase the claim that Socrates is essentially human as the claim that nothing could be Socrates if it was not human.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 4.3)
     A reaction: In ordinary speech it would be emphasising how very human Socrates was (in comparison with Frege, for example). By this token Socrates essentially breathes oxygen, but that is hardly part of his essence.
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
The bundle theory makes the identity of indiscernibles a necessity, since the thing is the properties [Stalnaker]
     Full Idea: On the bundle theory, the identity of indiscernibles (for 'individuals') is a necessary truth, since an individual is just the co-instantiation of all the properties represented by a point in the space of properties.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 3.6)
     A reaction: So much the worse for the bundle theory, I presume. Leibniz did not, I think, hold a bundle theory, but his belief in the identity of indiscernibles seems to have had a theologicial underpinning.
10. Modality / A. Necessity / 3. Types of Necessity
Strong necessity is always true; weak necessity is cannot be false [Stalnaker]
     Full Idea: Prior had a strong and a weak reading of necessity, where strong necessity is truth in all possible worlds, while weak necessity is falsity in no possible world.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 4.3)
     A reaction: [K.Fine 2005:Ch.9 is also cited] The point of the weak one is that in some worlds there might not exist the proposition which is the candidate for truth or falsehood.
10. Modality / C. Sources of Modality / 2. Necessity as Primitive
Necessity and possibility are fundamental, and there can be no reductive analysis of them [Stalnaker]
     Full Idea: My view is that if there were a nonmodal analysis of the modal concepts, that would be a sure sign that we were on the wrong track. Necessity and possibility are fundamental concepts, like truth and existence.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 1.1)
     A reaction: The mystery of modality is tied up with the mystery of time (which is a very big mystery indeed). You get a nice clear grip on the here and now, but time and motion whisk you away to something else. Modality concerns the something else.
10. Modality / C. Sources of Modality / 5. Modality from Actuality
Modal concepts are central to the actual world, and shouldn't need extravagant metaphysics [Stalnaker]
     Full Idea: Modal concepts are central to our understanding of the world - the actual world - and understanding them should not require extravagant metaphysical commitments.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 1)
     A reaction: I agree. Personally I think powers and dispositions do the job nicely. You just have to embrace Leibniz's emphasis on the active nature of reality, and the implausible metaphysics starts to recede.
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
Given actualism, how can there be possible individuals, other than the actual ones? [Stalnaker]
     Full Idea: My main focus is on how, on an actualist interpretation of possible worlds as ways a world might be, one is to account for the possibility that there be individuals other than those that actually exist.
     From: Robert C. Stalnaker (Mere Possibilities [2012], Pref)
     A reaction: The obvious thought would be that they are constructions from components of actual individuals, such as the chimaera, or fictional characters. We need some psychology here, which is not Stalnaker's style.
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Possible worlds are properties [Stalnaker]
     Full Idea: Possible worlds are (to a first approximation) properties. [p.12] They are properties of the total universe.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 1)
Possible worlds don't reduce modality, they regiment it to reveal its structure [Stalnaker]
     Full Idea: It is not reduction (of modality) but regimentation that the possible-worlds framework provides - a procedure for representing modal discourse, using primitive modal notions, in a way that helps reveal its structure.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 1.2)
     A reaction: I think this is exactly my view. All discussion of the ontology of possible worlds is irrelevant. They no more exist than variables in logic exist. They're good when they clarify, but dubious when they over-simplify.
I think of worlds as cells (rather than points) in logical space [Stalnaker]
     Full Idea: I prefer to think of the possible worlds not as points in logical space but as cells of a relatively fine-grained partition of logical space - a partition that makes all the distinctions we need.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 1.2)
     A reaction: Since he regards possible worlds as simply a means of regimenting our understanding of modality, he can think of possible worlds in any way that suits him. I find it hard work tuning in to his vision.
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Modal properties depend on the choice of a counterpart, which is unconstrained by metaphysics [Stalnaker]
     Full Idea: Things have modal properties only relative to the choice of a counterpart relation, and the choice between alternative counterpart relations is not constrained by the metaphysics.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 3.6)
     A reaction: Stalnaker is sympathetic to counterparts, but this strikes me as a powerful objection to the theory. I take the modal properties of something to be fixed by its actuality.
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
Anti-haecceitism says there is no more to an individual than meeting some qualitative conditions [Stalnaker]
     Full Idea: The anti-haecceitist strategy holds that a purely qualitative characterisation of a possible world would be a complete characterisation; there is, on this view, nothing to being a particular individual other than meeting certain qualitative conditions.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 3)
     A reaction: Not quite the same as the bundle theory of objects, which says the objects are the qualities. This is about individuation, not about ontology (I think). I don't like anti-haecceitism, but I also don't like haecceitism. Hmm.
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro]
     Full Idea: Rationalism is a long-standing school that can be characterized as an attempt to extend the perceived methodology of mathematics to all of knowledge.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 1.1)
     A reaction: Sometimes called 'Descartes's Dream', or the 'Enlightenment Project', the dream of proving everything. Within maths, Hilbert's Programme aimed for the same certainty. Idea 22 is the motto for the opposition to this approach.
18. Thought / C. Content / 6. Broad Content
How can we know what we are thinking, if content depends on something we don't know? [Stalnaker]
     Full Idea: How can we know what we ourselves are thinking if the very existence of the content of our thought may depend on facts of which we are ignorant?
     From: Robert C. Stalnaker (Mere Possibilities [2012], 5)
     A reaction: This has always been my main doubt about externalism. I may defer to experts about what I intend by an 'elm' (Putnam's example), but what I mean by elm is thereby a fuzzy tall tree with indeterminate leaves. I don't know the meaning of 'elm'!
19. Language / C. Assigning Meanings / 2. Semantics
We still lack an agreed semantics for quantifiers in natural language [Stalnaker]
     Full Idea: We still do not know how to give a direct semantics for the quantifiers of a natural language; that is something that we still do not know how to do (or at least how it is done remains controversial).
     From: Robert C. Stalnaker (Mere Possibilities [2012], 4)
     A reaction: I am struck by how rapidly the domain of quantification changes, even in mid-sentence, in the course of an ordinary conversation. This is decided almost entirely by context, not by pure ('direct'?) semantics.
19. Language / C. Assigning Meanings / 8. Possible Worlds Semantics
Possible world semantics may not reduce modality, but it can explain it [Stalnaker]
     Full Idea: Most theorists agree that possible worlds semantics cannot provide an analysis of modal concepts which is an eliminative reduction, but it can still provide an explanation of the meanings of modal expressions.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 2.2)
     A reaction: Stalnaker cites Kit Fine for the view that there is no reduction of modality, which Fine takes to be primitive. Stalnaker defends the semantics, while denying the reduction which Lewis thought possible.
19. Language / D. Propositions / 1. Propositions
I take propositions to be truth conditions [Stalnaker]
     Full Idea: I will defend the view that propositions are truth conditions.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 1.2)
     A reaction: This sounds close to the Russellian view, which I take to equate propositions (roughly) with facts or states of affairs. But are 'truth conditions' in the world or in the head?
A theory of propositions at least needs primitive properties of consistency and of truth [Stalnaker]
     Full Idea: A minimal theory of propositions can make do with just two primitive properties: a property of consistency applied to sets of propositions, and a property of truth applied to propositions.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 2)
     A reaction: I would have thought a minimal theory would need some account of what a proposition is supposed to be (since there seems to be very little agreement about that). Stalnaker goes on to sketch a theory.
19. Language / D. Propositions / 3. Concrete Propositions
Propositions presumably don't exist if the things they refer to don't exist [Stalnaker]
     Full Idea: It seems plausible that singular propositions are object-dependent in the sense that the proposition would not exist if the individual did not. It is also plausible that some objects exist contingently, and there are singular propositions about them.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 2)
     A reaction: This replies to the view that possible worlds are maximal sets of propositions, and so must exist for the worlds to exist; e.g. Lowe 1999:248. That is yet another commonplace of contemporary philosophy which I find utterly bewildering.
24. Political Theory / A. Basis of a State / 4. Original Position / a. Original position
Rawls's theory cannot justify liberalism, since it presupposes free and equal participants [Charvet]
     Full Idea: Rawls's theory presupposes that the contractors are conceived, and conceive themselves, to be free and equal persons. Consequently, the theory cannot be presented as a justificatory theory of liberalism.
     From: John Charvet (Liberalism: the basics [2019], 14)
     A reaction: Nice. If you imagine diverse groups with many strong beliefs coming together to form a society, Rawls is asking them all to become liberals before they all decide how to live together.
24. Political Theory / A. Basis of a State / 4. Original Position / b. Veil of ignorance
People with strong prior beliefs would have nothing to do with a veil of ignorance [Charvet]
     Full Idea: Why would a group of people with strong beliefs (e.g. religious beliefs) agree to debate the problem of what norms should govern their association from behind a veil of ignorance? …They would not accept the veil of ignorance as fair.
     From: John Charvet (Liberalism: the basics [2019], 14)
     A reaction: Nice. Rawls's experiment assumes liberal people with very few beliefs. No racial supremacist is going to enter a society in which they may be of a different race. Charvet says the entrants would all need to be pluralists about the good.
24. Political Theory / D. Ideologies / 3. Conservatism
Societies need shared values, so conservatism is right if rational discussion of values is impossible [Charvet]
     Full Idea: Were it true that rational discussion of values is impossible, then a conservative attitude would seem to be the only viable position. Some set of common values is necessary to maintain the unity of a political society.
     From: John Charvet (Liberalism: the basics [2019], 07)
     A reaction: Better to say that the less values can be both discussed and changed the stronger is the case for a degree of conservatism. Conservatives tend to favour values asserted by authority, rather than by popular (undiscussed) consensus.
24. Political Theory / D. Ideologies / 4. Social Utilitarianism
The universalism of utilitarianism implies a world state [Charvet]
     Full Idea: Utilitarianism is a universalist ethic, so the political realisation of this ethic would seem to be a world state seeking to maximise happiness for the world's population.
     From: John Charvet (Liberalism: the basics [2019], 12)
     A reaction: It certainly doesn't seem to favour the citizens of the state where it is implemented, since miserable people just across the border would have priority, and all miserable migrants must be welcomed. There is no loyalty to citizens.
24. Political Theory / D. Ideologies / 6. Liberalism / a. Liberalism basics
Liberals value freedom and equality, but the society itself must decide on its values [Charvet]
     Full Idea: While freedom and equality are liberal values …they are fundamental regulative ideas of an independent society that is self-regulating …and decides what its own social and political arrangements should be.
     From: John Charvet (Liberalism: the basics [2019], 06)
     A reaction: So the central political activity is persuasion, not enforcement. Illiberal societies all contain liberal individuals.
24. Political Theory / D. Ideologies / 6. Liberalism / b. Liberal individualism
Modern libertarian societies still provide education and some housing [Charvet]
     Full Idea: No society today is libertarian in the extreme sense. Even the freest economically, such as Singapore have their governments provide education services and public housing.
     From: John Charvet (Liberalism: the basics [2019], 05)
     A reaction: There is a good argument that many other services should be provided by a libertarian state, on the grounds that it is more efficient, and the services must otherwise paid for by much higher salaries.
Liberalism needs people to either have equal autonomy, or everyone to have enough autonomy [Charvet]
     Full Idea: To get a liberal society one would have to claim that either everyone possesses autonomy to an equal degree or that everyone possesses a threshold level of the capacity that entitles them to enjoy the full liberal rights.
     From: John Charvet (Liberalism: the basics [2019], 07)
     A reaction: This leaves out the more right-wing attitude that people can increase their capacity for autonomy if they are forced to stand on their own feet. A liberal society must decide how to treat persons incapable of proper autonomy.
Kant places a higher value on the universal rational will than on the people asserting it [Charvet]
     Full Idea: For Kant what is of absolute worth is the universal rational will which become an individual's actual will. Insofar as the individual fails to will the universal, they have no absolute worth, so whether or not they exist is unimportant.
     From: John Charvet (Liberalism: the basics [2019], 14)
     A reaction: A lovely demolition of the claims of Kant to be the patriarch of liberalism! Liberalism must place supreme value on each individual, not on some abstracted realm of pure reason and moral good. Liberals are motivated by love, not reason.
24. Political Theory / D. Ideologies / 6. Liberalism / c. Liberal equality
Liberalism asserts maximum freedom, but that must be equal for all participants [Charvet]
     Full Idea: Liberalism attaches fundamental value to leaving individuals as free as possible … - but there is another fundamental value implicit in this idea - the equal status of the participants in the practice. By this I mean that they all have the same rights.
     From: John Charvet (Liberalism: the basics [2019], Intro)
     A reaction: Libertarian liberalism (e.g. Nozick) only asserts the fundament principle of freedom, but such a society swiftly deprives most of its members of those very freedoms. Egalitarian Liberalism should be our default political ideology.
Egalitarian liberals prefer equality (either of input or outcome) to liberty [Charvet]
     Full Idea: Rather than libertarianism, egalitarian liberals promote equality, either of outcomes (of happiness or of well-being), or of inputs (such as opportunities, capacities or resources), which they favour ahead of freedom.
     From: John Charvet (Liberalism: the basics [2019], 06)
     A reaction: This is my team, I think. I think I'm a liberal who thinks liberty is a bit overrated. Equal outcome according to capacity (promoted by Nussbaum) seems attractive.
24. Political Theory / D. Ideologies / 6. Liberalism / e. Liberal community
Liberals promote community and well-being - because all good societies need them [Charvet]
     Full Idea: Community and well-being are not specifically liberal values. They are values any independent political society must pursue whether it is a liberal society or not.
     From: John Charvet (Liberalism: the basics [2019], Intro)
     A reaction: This seems, at a stroke, to undermine the familiar debate between liberals and communitarians. I've switched to the former from the latter, because communitarians is potentially too paternalistic and conservative. Persuade individuals to be communal!
24. Political Theory / D. Ideologies / 6. Liberalism / f. Multiculturalism
Identity multiculturalism emerges from communitarianism, preferring community to humanity [Charvet]
     Full Idea: Identity-based multiculturalism developed from communitarianism. …People come to consciousness of themselves as members of some community before they identify themselves as members of the human race.
     From: John Charvet (Liberalism: the basics [2019], 08)
     A reaction: This is 'identity politics', which Carvet sees as a problem from liberalism. Is it more important to be a woman or a Muslim or a Scot than to be a human being? It seems to create institutional antagonisms.
24. Political Theory / D. Ideologies / 7. Communitarianism / b. Against communitarianism
For communitarians it seems that you must accept the culture you are born into [Charvet]
     Full Idea: Communitarians have difficulty avoiding the relativist trap. It seems they must claim that if one is born into a liberal society one cannot but be a liberal, and if one is born into a communist society one cannot but be a communist.
     From: John Charvet (Liberalism: the basics [2019], 08)
     A reaction: Anyone who accepts the Hegelian view of history and culture seems doomed to such relativism, and Hegel is a communitarian precursor. This is a good reason for me to reject communitarianism, after a long flirtation. We can criticise our own culture.
24. Political Theory / D. Ideologies / 9. Communism
Give by ability and receive by need, rather than a free labour market [Charvet]
     Full Idea: Only the most extreme collective socialism denies the freedom to sell one's labour power and buy that of others, under the communist slogan 'from each according to his ability, and to each according to his needs'.
     From: John Charvet (Liberalism: the basics [2019], 05)
     A reaction: [He cites Marx 'Critique of the Gotha Programme'] I would guess that this practice is not abnormal in old traditional villages, though a community would be tempted to reward highly a very successful member.
25. Social Practice / A. Freedoms / 3. Free speech
Allowing defamatory speech is against society's interests, by blurring which people are trustworthy [Charvet]
     Full Idea: The argument for restricting defamatory speech is that unrestricted speech makes it impossible, or too difficult, to distinguish between those who deserve a trustworthy reputation and those who don't - a distinction in society's best interests.
     From: John Charvet (Liberalism: the basics [2019], 03)
     A reaction: A nice example of appeal to the common good, in opposition to the normal freedoms of liberalism. An example of the Prisoner's Dilemma. Should assertion of the common good of a group be a prime value of liberalism?
25. Social Practice / A. Freedoms / 5. Freedom of lifestyle
'Freedom from' is an empty idea, if the freedom is not from impediments to my desires [Charvet]
     Full Idea: Berlin's distinction of 'freedom from' and 'freedom to' is worthless …because to say that I want to be free from something for absolutely no reason makes no sense. Unfreedom is being blocked from what I want to do, which ceases if I no longer want it.
     From: John Charvet (Liberalism: the basics [2019], 07)
     A reaction: [compressed] The government could guarantee us against attacks by albatrosses, but we would hardly have a national holiday to celebrate the freedom. Still, there is freedom from incoming troubles, and freedom to output things.
Positive freedom can lead to coercion, if you are forced to do what you chose to do [Charvet]
     Full Idea: Berlin saw positive freedom as a justification for illiberal coercion. If I am positively free only in doing X, then if I am forced to do X, I will still be free.
     From: John Charvet (Liberalism: the basics [2019], 07)
     A reaction: I suppose Berlin is thinking of Russian farmers, who wanted to farm, but then found they were forced to do what they were going to do anyway. It's better than being forced to do what you didn't want to do. Forcing clearly isn't freedom.
First level autonomy is application of personal values; second level is criticising them [Charvet]
     Full Idea: First level autonomy is being able to apply one's scheme of values to one's actions and life; second level autonomy is being able to subject those values to critical evaluation.
     From: John Charvet (Liberalism: the basics [2019], 10)
     A reaction: Charvet sees this as a key issue for liberalism. How do you treat citizens who cannot advance beyond the first level? He mentions the elitism of Plato's Republic that results.
25. Social Practice / B. Equalities / 1. Grounds of equality
Mere equality, as in two trees being the same height, has no value at all [Charvet]
     Full Idea: That the relation of equality might be considered a value in itself is an absurdity. Would the equality of blinding the only sighted person in a blind society be good? Is it inherently good that two trees are the same height? This is nonsense.
     From: John Charvet (Liberalism: the basics [2019], 08)
     A reaction: He cites Temkin 1993 as defending the blinding example! Obviously equality is only possible in certain respects (though electrons might be equal in all respects). So the point is to identify the important respects. The rest is rhetoric.
25. Social Practice / B. Equalities / 4. Economic equality
Inequalities are worse if they seem to be your fault, rather than social facts [Charvet]
     Full Idea: Inequality is worse in a meritocracy than in a stratified society, because everyone enjoys a formal equality of status and your position in the social order is due to your merit or lack of merit, so you have only yourself to blame for being at the bottom.
     From: John Charvet (Liberalism: the basics [2019], 10)
     A reaction: This is the simple point that it is worse to lack some good if you might have possessed it, rather than it being entirely out of reach. It also makes the false assumption that people are largely responsible for their merit or lack of it (ignoring luck).
Money allows unlimited inequalities, and we obviously all agree to money [Charvet]
     Full Idea: The introduction of money allows people to accumulate wealth without limit. Since money only works through everyone's agreement …everyone can be taken to have agreed to the consequences of money in the unequal distribution of wealth.
     From: John Charvet (Liberalism: the basics [2019], 11)
     A reaction: [Locke] Presumably large inequalities of possessions and territory were possible before money, but there was at least an upper limit. The current owner of Amazon may end up with more wealth than the whole of the rest of humanity combined.
25. Social Practice / D. Justice / 2. The Law / b. Rule of law
The rule of law is mainly to restrict governments [Charvet]
     Full Idea: The rule of law is directed at the restriction of the power of governments as much, if not more, then the power of private individuals.
     From: John Charvet (Liberalism: the basics [2019], 02)
     A reaction: The more powerful you are the more restricting is the rule of law. Every government is tempted to change the law to expand its powers. The UK government has just legislated to restrict public demonstrations. Law is the people's weapon against autocrats.
Justice superior to the rule of law is claimed on behalf of the workers, or the will of the nation [Charvet]
     Full Idea: Communist leaders justify themselves as the embodiment of the people's will as workers, and fascist leaders as expressing the will of the nation. Both believe their policies contain a superior justice on this basis.
     From: John Charvet (Liberalism: the basics [2019], 02)
     A reaction: [compressed] A neat summary of why the rule of law might be rejected (other than by simple tyrrany justified only by force). In modern democracies recent right-wing governments have pushed back the law and attacked justice on this basis.
The 1689 Bill of Rights denied the monarch new courts, or the right to sit as judge [Charvet]
     Full Idea: The 1689 Bill of Rights said the monarch could not create new courts of law, or act as a judge at law.
     From: John Charvet (Liberalism: the basics [2019], 02)
     A reaction: The background was the abolition of the court of Star Chamber in 1641, which had been secret, severe, and controlled by the monarch. Is it possible to create a new type of court, or are we stuck with the current ones?
From 1701 only parliament could remove judges, whose decisions could not be discussed [Charvet]
     Full Idea: In 1701 UK judges were given secure tenure, being removable only by parliament which at the same time undertook to follow a convention not to discuss particular judicial decisions.
     From: John Charvet (Liberalism: the basics [2019], 02)
     A reaction: In recent years the UK Daily Mail published the pictures of three judges, and labelled them 'traitors' because of their verdict about leaving the European Union.
The rule of law mainly benefits those with property and liberties [Charvet]
     Full Idea: A rule of law regime will primarily benefit those possessing property and liberty rights.
     From: John Charvet (Liberalism: the basics [2019], 02)
     A reaction: Important. It's no good fighting for the law if the law doesn't protect what you have got, or if you have got nothing to protect. Important steps must precede assertion of the rule of law.
25. Social Practice / E. Policies / 3. Welfare provision
Welfare is needed if citizens are to accept the obligations of a liberal state [Charvet]
     Full Idea: The welfare state provides the background conditions under which it is reasonable to expect one's fellow citizens to commit to liberal principles of interaction, even if those conditions can only be achieved through a degree of compulsion.
     From: John Charvet (Liberalism: the basics [2019], 05)
     A reaction: You cannot expect people to accept the role of 'free' citizen if that is likely to result in swift misery. A liberal state will only command loyalty if it has a safety net. Fully committed liberalism implies modest socialism.