Combining Texts

All the ideas for 'The Social Contract (tr Cress)', 'The Meaning of the Word' and 'Philosophy of Mathematics'

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


152 ideas

2. Reason / A. Nature of Reason / 6. Coherence
Coherence is a primitive, intuitive notion, not reduced to something formal [Shapiro]
     Full Idea: I take 'coherence' to be a primitive, intuitive notion, not reduced to something formal, and so I do not venture a rigorous definition of it.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.8)
     A reaction: I agree strongly with this. Best to talk of 'the space of reasons', or some such. Rationality extends far beyond what can be formally defined. Coherence is the last court of appeal in rational thought.
2. Reason / B. Laws of Thought / 2. Sufficient Reason
Both nature and reason require that everything has a cause [Rousseau]
     Full Idea: Under the law of reason nothing takes place without a cause, any more than under the law of nature.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.04)
     A reaction: Is this the influence of Leibniz? Note that the principle is identified in two different areas, so in nature we may say 'everything has a cause', and in rationality we may say 'there is a reason for everything'. But are these the same?
2. Reason / D. Definition / 7. Contextual Definition
An 'implicit definition' gives a direct description of the relations of an entity [Shapiro]
     Full Idea: An 'implicit definition' characterizes a structure or class of structures by giving a direct description of the relations that hold among the places of the structure.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], Intro)
     A reaction: This might also be thought of as a 'functional definition', since it seems to say what the structure or entity does, rather than give the intrinsic characteristics that make its relations and actions possible.
3. Truth / A. Truth Problems / 2. Defining Truth
You can only define a statement that something is 'true' by referring to its functional possibilities [James]
     Full Idea: Pragmatism insists that statements and beliefs are inertly and statically true only by courtesy: they practically pass for true; but you cannot define what you mean by calling them true without referring to their functional possibilities.
     From: William James (The Meaning of the Word "Truth" [1907], p.2)
     A reaction: I think this clarifies an objection to pragmatism, because all functional definitions (e.g. of the mind, or of moral behaviour) are preceded by the question of WHY this thing is able to function in this way. What special quality makes this possible?
3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth
If the hypothesis of God is widely successful, it is true [James]
     Full Idea: On pragmatistic principles, if the hypothesis of God works satisfactorily in the widest sense of the word, it is true.
     From: William James (The Meaning of the Word "Truth" [1907], p.299), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 35 'Prag'
     A reaction: How you get from 'widely satisfactory' to 'true' is beyond my comprehension. This is dangerous nonsense. This view of truth seems to be a commonplace in American culture. Peirce hurray! James boo! James accepted verification, where possible.
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Modal operators are usually treated as quantifiers [Shapiro]
     Full Idea: It is common now, and throughout the history of philosophy, to interpret modal operators as quantifiers. This is an analysis of modality in terms of ontology.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], Intro)
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
Axiom of Choice: some function has a value for every set in a given set [Shapiro]
     Full Idea: One version of the Axiom of Choice says that for every set A of nonempty sets, there is a function whose domain is A and whose value, for every a ∈ A, is a member of a.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 1)
The Axiom of Choice seems to license an infinite amount of choosing [Shapiro]
     Full Idea: If the Axiom of Choice says we can choose one member from each of a set of non-empty sets and put the chosen elements together in a set, this licenses the constructor to do an infinite amount of choosing.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 6.3)
     A reaction: This is one reason why the Axiom was originally controversial, and still is for many philosophers.
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Anti-realists reject set theory [Shapiro]
     Full Idea: Anti-realists reject set theory.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], Intro)
     A reaction: That is, anti-realists about mathematical objects. I would have thought that one could accept an account of sets as (say) fictions, which provided interesting models of mathematics etc.
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
The two standard explanations of consequence are semantic (in models) and deductive [Shapiro]
     Full Idea: The two best historical explanations of consequence are the semantic (model-theoretic), and the deductive versions.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 7.2)
     A reaction: Shapiro points out the fictionalists are in trouble here, because the first involves commitment to sets, and the second to the existence of deductions.
5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens
Intuitionism only sanctions modus ponens if all three components are proved [Shapiro]
     Full Idea: In some intuitionist semantics modus ponens is not sanctioned. At any given time there is likely to be a conditional such that it and its antecedent have been proved, but nobody has bothered to prove the consequent.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 6.7)
     A reaction: [He cites Heyting] This is a bit baffling. In what sense can 'it' (i.e. the conditional implication) have been 'proved' if the consequent doesn't immediately follow? Proving both propositions seems to make the conditional redundant.
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
Either logic determines objects, or objects determine logic, or they are separate [Shapiro]
     Full Idea: Ontology does not depend on language and logic if either one has the objects determining the logic, or the objects are independent of the logic.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 6.4)
     A reaction: I favour the first option. I think we should seek an account of how logic grows from our understanding of the physical world. If this cannot be established, I shall invent a new Mad Logic, and use it for all my future reasoning, with (I trust) impunity.
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
The law of excluded middle might be seen as a principle of omniscience [Shapiro]
     Full Idea: The law of excluded middle might be seen as a principle of omniscience.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 6.3)
     A reaction: [E.Bishop 1967 is cited] Put that way, you can see why a lot of people (such as intuitionists in mathematics) might begin to doubt it.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Classical connectives differ from their ordinary language counterparts; '∧' is timeless, unlike 'and' [Shapiro]
     Full Idea: To some extent, every truth-functional connective differs from its counterpart in ordinary language. Classical conjunction, for example, is timeless, whereas the word 'and' often is not. 'Socrates runs and Socrates stops' cannot be reversed.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 3)
     A reaction: Shapiro suggests two interpretations: either the classical connectives are revealing the deeper structure of ordinary language, or else they are a simplification of it.
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
A function is just an arbitrary correspondence between collections [Shapiro]
     Full Idea: The modern extensional notion of function is just an arbitrary correspondence between collections.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 1)
     A reaction: Shapiro links this with the idea that a set is just an arbitrary collection. These minimalist concepts seem like a reaction to a general failure to come up with a more useful and common sense definition.
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Maybe plural quantifiers should be understood in terms of classes or sets [Shapiro]
     Full Idea: Maybe plural quantifiers should themselves be understood in terms of classes (or sets).
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 7.4)
     A reaction: [Shapiro credits Resnik for this criticism]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
A sentence is 'satisfiable' if it has a model [Shapiro]
     Full Idea: Normally, to say that a sentence Φ is 'satisfiable' is to say that there exists a model of Φ.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.8)
     A reaction: Nothing is said about whether the model is impressive, or founded on good axioms. Tarski builds his account of truth from this initial notion of satisfaction.
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Model theory deals with relations, reference and extensions [Shapiro]
     Full Idea: Model theory determines only the relations between truth conditions, the reference of singular terms, the extensions of predicates, and the extensions of the logical terminology.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.9)
The central notion of model theory is the relation of 'satisfaction' [Shapiro]
     Full Idea: The central notion of model theory is the relation of 'satisfaction', sometimes called 'truth in a model'.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.9)
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
Theory ontology is never complete, but is only determined 'up to isomorphism' [Shapiro]
     Full Idea: No object-language theory determines its ontology by itself. The best possible is that all models are isomorphic, in which case the ontology is determined 'up to isomorphism', but only if the domain is finite, or it is stronger than first-order.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 2.5)
     A reaction: This seems highly significant when ontological claims are being made, and is good support for Shapiro's claim that the structures matter, not the objects. There is a parallel in Tarksi's notion of truth-in-all-models. [The Skolem Paradox is the problem]
The set-theoretical hierarchy contains as many isomorphism types as possible [Shapiro]
     Full Idea: Set theorists often point out that the set-theoretical hierarchy contains as many isomorphism types as possible; that is the point of the theory.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.8)
     A reaction: Hence there are a huge number of models for any theory, which are then reduced to the one we want at the level of isomorphism.
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
Any theory with an infinite model has a model of every infinite cardinality [Shapiro]
     Full Idea: The Löwenheim-Skolem theorems (which apply to first-order formal theories) show that any theory with an infinite model has a model of every infinite cardinality.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.8)
     A reaction: This aspect of the theorems is the Skolem Paradox. Shapiro argues that in first-order this infinity of models for arithmetic must be accepted, but he defends second-order model theory, where 'standard' models can be selected.
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Virtually all of mathematics can be modeled in set theory [Shapiro]
     Full Idea: It is well known that virtually every field of mathematics can be reduced to, or modelled in, set theory.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], Intro)
     A reaction: The word 'virtually' is tantalising. The fact that something can be 'modeled' in set theory doesn't mean it IS set theory. Most weather can be modeled in a computer.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
Real numbers are thought of as either Cauchy sequences or Dedekind cuts [Shapiro]
     Full Idea: Real numbers are either Cauchy sequences of rational numbers (interpreted as pairs of integers), or else real numbers can be thought of as Dedekind cuts, certain sets of rational numbers. So π is a Dedekind cut, or an equivalence class of sequences.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 2.5)
     A reaction: This question is parallel to the question of whether natural numbers are Zermelo sets or Von Neumann sets. The famous problem is that there seems no way of deciding. Hence, for Shapiro, we are looking at models, not actual objects.
Understanding the real-number structure is knowing usage of the axiomatic language of analysis [Shapiro]
     Full Idea: There is no more to understanding the real-number structure than knowing how to use the language of analysis. .. One learns the axioms of the implicit definition. ...These determine the realtionships between real numbers.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.9)
     A reaction: This, of course, is the structuralist view of such things, which isn't really interested in the intrinsic nature of anything, but only in its relations. The slogan that 'meaning is use' seems to be in the background.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / i. Reals from cuts
Cuts are made by the smallest upper or largest lower number, some of them not rational [Shapiro]
     Full Idea: A Dedekind Cut is a division of rationals into two set (A1,A2) where every member of A1 is less than every member of A2. If n is the largest A1 or the smallest A2, the cut is produced by n. Some cuts aren't produced by rationals.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 5.4)
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
There is no grounding for mathematics that is more secure than mathematics [Shapiro]
     Full Idea: We cannot ground mathematics in any domain or theory that is more secure than mathematics itself.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.8)
     A reaction: This pronouncement comes after a hundred years of hard work, notably by Gödel, so we'd better believe it. It might explain why Putnam rejects the idea that mathematics needs 'foundations'. Personally I'm prepare to found it in countable objects.
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
For intuitionists, proof is inherently informal [Shapiro]
     Full Idea: For intuitionists, proof is inherently informal.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 6.7)
     A reaction: This thought is quite appealing, so I may have to take intuitionism more seriously. It connects with my view of coherence, which I take to be a notion far too complex for precise definition. However, we don't want 'proof' to just mean 'persuasive'.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
Natural numbers just need an initial object, successors, and an induction principle [Shapiro]
     Full Idea: The natural-number structure is a pattern common to any system of objects that has a distinguished initial object and a successor relation that satisfies the induction principle
     From: Stewart Shapiro (Philosophy of Mathematics [1997], Intro)
     A reaction: If you started your number system with 5, and successors were only odd numbers, something would have gone wrong, so a bit more seems to be needed. How do we decided whether the initial object is 0, 1 or 2?
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
Mathematics originally concerned the continuous (geometry) and the discrete (arithmetic) [Shapiro]
     Full Idea: Originally, the focus of geometry was space - matter and extension - and the subject matter of arithmetic was quantity. Geometry concerned the continuous, whereas arithmetic concerned the discrete. Mathematics left these roots in the nineteenth century.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], Intro)
     A reaction: Mathematicians can do what they like, but I don't think philosophers of mathematics should lose sight of these two roots. It would be odd if the true nature of mathematics had nothing whatever to do with its origin.
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
Mathematical foundations may not be sets; categories are a popular rival [Shapiro]
     Full Idea: Foundationalists (e.g. Quine and Lewis) have shown that mathematics can be rendered in theories other than the iterative hierarchy of sets. A dedicated contingent hold that the category of categories is the proper foundation (e.g. Lawvere).
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 3.3)
     A reaction: I like the sound of that. The categories are presumably concepts that generate sets. Tricky territory, with Frege's disaster as a horrible warning to be careful.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Baseball positions and chess pieces depend entirely on context [Shapiro]
     Full Idea: We cannot imagine a shortstop independent of a baseball infield, or a piece that plays the role of black's queen bishop independent of a chess game.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 3.1)
     A reaction: This is the basic thought that leads to the structuralist view of things. I must be careful because I like structuralism, but I have attacked the functionalist view in many areas, because it neglects the essences of the functioning entities.
The even numbers have the natural-number structure, with 6 playing the role of 3 [Shapiro]
     Full Idea: The even numbers and the natural numbers greater than 4 both exemplify the natural-number structure. In the former, 6 plays the 3 role, and in the latter 8 plays the 3 role.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 3.5)
     A reaction: This begins to sound a bit odd. If you count the even numbers, 6 is the third one. I could count pebbles using only evens, but then presumably '6' would just mean '3'; it wouldn't be the actual number 6 acting in a different role, like Laurence Olivier.
Could infinite structures be apprehended by pattern recognition? [Shapiro]
     Full Idea: It is contentious, to say the least, to claim that infinite structures are apprehended by pattern recognition.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.1)
     A reaction: It only seems contentious for completed infinities. The idea that the pattern continues in same way seems (pace Wittgenstein) fairly self-evident, just like an arithmetical series.
The 4-pattern is the structure common to all collections of four objects [Shapiro]
     Full Idea: The 4-pattern is the structure common to all collections of four objects.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.2)
     A reaction: This seems open to Frege's objection, that you can have four disparate abstract concepts, or four spatially scattered items of unknown pattern. It certainly isn't a visual pattern, but then if the only detectable pattern is the fourness, it is circular.
The main mathematical structures are algebraic, ordered, and topological [Shapiro]
     Full Idea: According to Bourbaki, there are three main types of structure: algebraic structures, such as group, ring, field; order structures, such as partial order, linear order, well-order; topological structures, involving limit, neighbour, continuity, and space.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 5.5)
     A reaction: Bourbaki is mentioned as the main champion of structuralism within mathematics.
Some structures are exemplified by both abstract and concrete [Shapiro]
     Full Idea: Some structures are exemplified by both systems of abstracta and systems of concreta.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 8.2)
     A reaction: It at least seems plausible that one might try to build a physical structure that modelled arithmetic (an abacus might be an instance), so the parallel is feasible. Then to say that the abstract arose from modelling the physical seems equally plausible.
Mathematical structures are defined by axioms, or in set theory [Shapiro]
     Full Idea: Mathematical structures are characterised axiomatically (as implicit definitions), or they are defined in set theory.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 8.3)
     A reaction: Presumably earlier mathematicians had neither axiomatised their theories, nor expressed them in set theory, but they still had a good working knowledge of the relationships.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / b. Varieties of structuralism
The main versions of structuralism are all definitionally equivalent [Shapiro]
     Full Idea: Ante rem structuralism, eliminative structuralism formulated over a sufficiently large domain of abstract objects, and modal eliminative structuralism are all definitionally equivalent. Neither is to be ontologically preferred, but the first is clearer.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 7.5)
     A reaction: Since Shapiro's ontology is platonist, I would have thought there were pretty obvious grounds for making a choice between that and eliminativm, even if the grounds are intuitive rather than formal.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
Is there is no more to structures than the systems that exemplify them? [Shapiro]
     Full Idea: The 'in re' view of structures is that there is no more to structures than the systems that exemplify them.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 3.3)
     A reaction: I say there is more than just the systems, because we can abstract from them to a common structure, but that doesn't commit us to the existence of such a common structure.
Number statements are generalizations about number sequences, and are bound variables [Shapiro]
     Full Idea: According to 'in re' structuralism, a statement that appears to be about numbers is a disguised generalization about all natural-number sequences; the numbers are bound variables, not singular terms.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 5.3.4)
     A reaction: Any theory of anything which comes out with the thought that 'really it is a variable, not a ...' has my immediate attention and sympathy.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
Because one structure exemplifies several systems, a structure is a one-over-many [Shapiro]
     Full Idea: Because the same structure can be exemplified by more than one system, a structure is a one-over-many.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 3.3)
     A reaction: The phrase 'one-over-many' is a classic Greek hallmark of a universal. Cf. Idea 10217, where Shapiro talks of arriving at structures by abstraction, through focusing and ignoring. This sounds more like a creation than a platonic universal.
There is no 'structure of all structures', just as there is no set of all sets [Shapiro]
     Full Idea: There is no 'structure of all structures', just as there is no set of all sets.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 3.4)
     A reaction: If one cannot abstract from all the structures to a higher level, why should Shapiro have abstracted from the systems/models to get the over-arching structures?
Shapiro's structuralism says model theory (comparing structures) is the essence of mathematics [Shapiro, by Friend]
     Full Idea: Shapiro's structuralism champions model theory as the branch of mathematics that best describes mathematics. The essence of mathematical activity is seen as an exercise in comparing mathematical structures to each other.
     From: report of Stewart Shapiro (Philosophy of Mathematics [1997], 4.4) by Michèle Friend - Introducing the Philosophy of Mathematics
     A reaction: Note it 'best describes' it, rather than being foundational. Assessing whether propositional logic is complete is given as an example of model theory. That makes model theory a very high-level activity. Does it capture simple arithmetic?
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
Does someone using small numbers really need to know the infinite structure of arithmetic? [Shapiro]
     Full Idea: According to structuralism, someone who uses small natural numbers in everyday life presupposes an infinite structure. It seems absurd that a child who learns to count his toes applies an infinite structure to reality, and thus presupposes the structure.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 8.2)
     A reaction: Shapiro says we can meet this objection by thinking of smaller structures embedded in larger ones, with the child knowing the smaller ones.
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
We distinguish realism 'in ontology' (for objects), and 'in truth-value' (for being either true or false) [Shapiro]
     Full Idea: We must distinguish between 'realism in ontology' - that mathematical objects exist - and 'realism in truth-value', which is suggested by the model-theoretic framework - that each well-formed meaningful sentence is non-vacuously either true or false.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], Intro)
     A reaction: My inclination is fairly strongly towards realism of the second kind, but not of the first. A view about the notion of a 'truth-maker' might therefore be required. What do the truths refer to? Answer: not objects, but abstractions from objects.
If mathematical objects are accepted, then a number of standard principles will follow [Shapiro]
     Full Idea: One who believes in the independent existence of mathematical objects is likely to accept the law of excluded middle, impredicative definitions, the axiom of choice, extensionality, and arbitrary sets and functions.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 1)
     A reaction: The underlying thought is that since the objects pre-exist, all of the above simply describe the relations between them, rather than having to actually bring the objects into existence. Personally I would seek a middle ground.
Platonists claim we can state the essence of a number without reference to the others [Shapiro]
     Full Idea: The Platonist view may be that one can state the essence of each number, without referring to the other numbers.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 3.1)
     A reaction: Frege certainly talks this way (in his 'borehole' analogy). Fine, we are asked to spell out the essence of some number, without making reference either to any 'units' composing it, or to any other number adjacent to it or composing it. Reals?
Platonism must accept that the Peano Axioms could all be false [Shapiro]
     Full Idea: A traditional Platonist has to face the possibility that all of the Peano Axioms are false.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.7)
     A reaction: This would be because the objects exist independently, and so the Axioms are a mere human attempt at pinning them down. For the Formalist the axioms create the numbers, and so couldn't be false. This makes me, alas, warm to platonism!
6. Mathematics / C. Sources of Mathematics / 2. Intuition of Mathematics
Intuition is an outright hindrance to five-dimensional geometry [Shapiro]
     Full Idea: Even if spatial intuition provides a little help in the heuristics of four-dimensional geometry, intuition is an outright hindrance for five-dimensional geometry and beyond.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 5.2)
     A reaction: One might respond by saying 'so much the worse for five-dimensional geometry'. One could hardly abolish the subject, though, so the point must be taken.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
A stone is a position in some pattern, and can be viewed as an object, or as a location [Shapiro]
     Full Idea: For each stone, there is at least one pattern such that the stone is a position in that pattern. The stone can be treated in terms of places-are-objects, or places-are-offices, to be filled with objects drawn from another ontology.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 8.4)
     A reaction: I believe this is the story J.S. Mill had in mind. His view was that the structures move off into abstraction, but it is only at the empirical and physical level that we can possibly learn the structures.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
Can the ideal constructor also destroy objects? [Shapiro]
     Full Idea: Can we assume that the ideal constructor cannot destroy objects? Presumably the ideal constructor does not have an eraser, and the collection of objects is non-reducing over time.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 6.5)
     A reaction: A very nice question, which platonists should enjoy.
Presumably nothing can block a possible dynamic operation? [Shapiro]
     Full Idea: Presumably within a dynamic system, once the constructor has an operation available, then no activity can preclude the performance of the operation?
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 6.5)
     A reaction: There seems to be an interesting assumption in static accounts of mathematics, that all the possible outputs of (say) a function actually exist with a theory. In an actual dynamic account, the constructor may be smitten with lethargy.
7. Existence / A. Nature of Existence / 1. Nature of Existence
Can we discover whether a deck is fifty-two cards, or a person is time-slices or molecules? [Shapiro]
     Full Idea: Can we 'discover' whether a deck is really identical with its fifty-two cards, or whether a person is identical with her corresponding time-slices, molecules, or space-time points? This is like Benacerraf's problem about numbers.
     From: Stewart Shapiro (Philosophy of Mathematics [1997])
     A reaction: Shapiro is defending the structuralist view, that each of these is a model of an agreed reality, so we cannot choose a right model if they all satisfy the necessary criteria.
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
The abstract/concrete boundary now seems blurred, and would need a defence [Shapiro]
     Full Idea: The epistemic proposals of ontological realists in mathematics (such as Maddy and Resnik) has resulted in the blurring of the abstract/concrete boundary. ...Perhaps the burden is now on defenders of the boundary.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.1)
     A reaction: As Shapiro says, 'a vague boundary is still a boundary', so we need not be mesmerised by borderline cases. I would defend the boundary, with the concrete just being physical. A chair is physical, but our concept of a chair may already be abstract.
Mathematicians regard arithmetic as concrete, and group theory as abstract [Shapiro]
     Full Idea: Mathematicians use the 'abstract/concrete' label differently, with arithmetic being 'concrete' because it is a single structure (up to isomorphism), while group theory is considered more 'abstract'.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.1 n1)
     A reaction: I would say that it is the normal distinction, but they have moved the significant boundary up several levels in the hierarchy of abstraction.
7. Existence / D. Theories of Reality / 7. Fictionalism
Fictionalism eschews the abstract, but it still needs the possible (without model theory) [Shapiro]
     Full Idea: Fictionalism takes an epistemology of the concrete to be more promising than concrete-and-abstract, but fictionalism requires an epistemology of the actual and possible, secured without the benefits of model theory.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 7.2)
     A reaction: The idea that possibilities (logical, natural and metaphysical) should be understood as features of the concrete world has always struck me as appealing, so I have (unlike Shapiro) no intuitive problems with this proposal.
Structuralism blurs the distinction between mathematical and ordinary objects [Shapiro]
     Full Idea: One result of the structuralist perspective is a healthy blurring of the distinction between mathematical and ordinary objects. ..'According to the structuralist, physical configurations often instantiate mathematical patterns'.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 8.4)
     A reaction: [The quotation is from Penelope Maddy 1988 p.28] This is probably the main reason why I found structuralism interesting, and began to investigate it.
9. Objects / A. Existence of Objects / 1. Physical Objects
The notion of 'object' is at least partially structural and mathematical [Shapiro]
     Full Idea: The very notion of 'object' is at least partially structural and mathematical.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 8.1)
     A reaction: [In the context, Shapiro clearly has physical objects in mind] This view seems to fit with Russell's 'relational' view of the physical world, though Russell rejected structuralism in mathematics. I take abstraction to be part of perception.
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
A blurry border is still a border [Shapiro]
     Full Idea: A blurry border is still a border.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 8.3)
     A reaction: This remark deserves to be quoted in almost every area of philosophy, against those who attack a concept by focusing on its vague edges. Philosophers should focus on central cases, not borderline cases (though the latter may be of interest).
10. Modality / A. Necessity / 6. Logical Necessity
Logical modalities may be acceptable, because they are reducible to satisfaction in models [Shapiro]
     Full Idea: For many philosophers the logical notions of possibility and necessity are exceptions to a general scepticism, perhaps because they have been reduced to model theory, via set theory. Thus Φ is logically possible if there is a model that satisfies it.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 7.1)
     A reaction: Initially this looks a bit feeble, like an empiricist only believing what they actually see right now, but the modern analytical philosophy project seems to be the extension of logical accounts further and further into what we intuit about modality.
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
Why does the 'myth' of possible worlds produce correct modal logic? [Shapiro]
     Full Idea: The fact that the 'myth' of possible worlds happens to produce the correct modal logic is itself a phenomenon in need of explanation.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 7.4)
     A reaction: The claim that it produces 'the' correct modal logic seems to beg a lot of questions, given the profusion of modal systems. This is a problem with any sort of metaphysics which invokes fictionalism - what were those particular fictions responding to?
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
We apprehend small, finite mathematical structures by abstraction from patterns [Shapiro]
     Full Idea: The epistemological account of mathematical structures depends on the size and complexity of the structure, but small, finite structures are apprehended through abstraction via simple pattern recognition.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], Intro)
     A reaction: Yes! This I take to be the reason why John Stuart Mill was not a fool in his discussion of the pebbles. Successive abstractions (and fictions) will then get you to more complex structures.
18. Thought / E. Abstraction / 2. Abstracta by Selection
Simple types can be apprehended through their tokens, via abstraction [Shapiro]
     Full Idea: Some realists argue that simple types can be apprehended through their tokens, via abstraction.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.2)
     A reaction: One might rephrase that to say that types are created by abstraction from tokens (and then preserved in language).
18. Thought / E. Abstraction / 3. Abstracta by Ignoring
We can apprehend structures by focusing on or ignoring features of patterns [Shapiro]
     Full Idea: One way to apprehend a particular structure is through a process of pattern recognition, or abstraction. One observes systems in a structure, and focuses attention on the relations among the objects - ignoring features irrelevant to their relations.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 3.1)
     A reaction: A lovely statement of the classic Aristotelian abstractionist approach of focusing-and-ignoring. But this is made in 1997, long after Frege and Geach ridiculed it. It just won't go away - not if you want a full and unified account of what is going on.
We can focus on relations between objects (like baseballers), ignoring their other features [Shapiro]
     Full Idea: One can observe a system and focus attention on the relations among the objects - ignoring those features of the objects not relevant to the system. For example, we can understand a baseball defense system by going to several games.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], p.74), quoted by Charles Chihara - A Structural Account of Mathematics
     A reaction: This is Shapiro perpetrating precisely the wicked abstractionism which Frege and Geach claim is ridiculous. Frege objects that abstract concepts then become private, but baseball defences are discussed in national newspapers.
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Abstract objects might come by abstraction over an equivalence class of base entities [Shapiro]
     Full Idea: Perhaps we can introduce abstract objects by abstraction over an equivalence relation on a base class of entities, just as Frege suggested that 'direction' be obtained from parallel lines. ..Properties must be equinumerous, but need not be individuated.
     From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.5)
     A reaction: [He cites Hale and Wright as the originators of this} It is not entirely clear why this is 'abstraction', rather than just drawing attention to possible groupings of entities.
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / g. Moral responsibility
Without freedom of will actions lack moral significance [Rousseau]
     Full Idea: If you take away all freedom of the will, you strip a man's actions of all moral significance.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.4)
     A reaction: Rousseau is (in the context) guilty of the basic error of confusing freedom of action with freedom of the will. If the will has scope to act, it has freedom of action; if the will is not contrained in its decision by prior causes, it has freedom of will.
24. Political Theory / A. Basis of a State / 1. A People / b. The natural life
Natural mankind is too fragmented for states of peace, or of war and enmity [Rousseau]
     Full Idea: Men are not naturally enemies, for the simple reason that men living in their original state of independence do not have sufficiently constant relationships among themselves to bring about either a state of peace or a state of war.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.4)
     A reaction: He sees people in a state of nature as more or less solitary, and certainly in groups any more organised than a small family. One might then be in a state of permanent feud, rather than war, but without settlements people can move away.
24. Political Theory / A. Basis of a State / 1. A People / c. A unified people
Rousseau assumes that laws need a people united by custom and tradition [Rousseau, by Wolff,J]
     Full Idea: Rousseau assumes that there should already be bonds of custom and tradition uniting a people before it is fit to receive laws.
     From: report of Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762]) by Jonathan Wolff - An Introduction to Political Philosophy (Rev) 3 'Rousseau'
     A reaction: In unusual circumstances, such as the arrival of a large population at a new colony, it might be that the laws would create the missing customs and traditions.
The act of becoming 'a people' is the real foundation of society [Rousseau]
     Full Idea: The act by which people become 'a people' is the real foundation of society.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.5)
     A reaction: The difficulty with many older countries is that it is impossible to identify such an act. Mythologies are created to fictionalise such acts; in Britain we refer back to King Alfred, and to Magna Carta. I suspect 1660 is the key year.
To overcome obstacles, people must unite their forces into a single unified power [Rousseau]
     Full Idea: Men have no other means of maintaining themselves but to form by aggregation a sum of forces that could gain the upper hand over the resistance of obstacles, so that their forces are directed by means of a single moving power and made to act in concert.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.6)
     A reaction: I prefer the Aristotelian view, that men are naturally gregarious and social (like bees and ants), so this act of solidarity in superfluous. A human people is only broken up by violence or disaster, like kicking over an ants' nest.
Human nature changes among a people, into a moral and partial existence [Rousseau]
     Full Idea: The establisher of a people is in a position to change human nature, to transform each individual into a part of a larger whole from which the individual receives his life and being, to substitute a partial and moral existence for natural independence.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.07)
     A reaction: The 'partial' part is obvious, in the compromises of society, but he says we only become moral in a people, and even more so when that people constitute a state. In the state of nature, morality seems to be unneeded, rather than absent.
24. Political Theory / A. Basis of a State / 2. Population / b. State population
A state must be big enough to preserve itself, but small enough to be governable [Rousseau]
     Full Idea: Like a well-formed man, there are limits to the size a state can have, so as not to be too large to be capable of being well governed, nor too small to be capable of preserving itself on its own.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.09)
     A reaction: Geneva was his model, and it is close to the size of a Greek polis. Presumably even Scotland would be thought ungovernable, never mind the United States. Luxembourg might be his ideal nowadays. Thousands of them!
Too much land is a struggle, producing defensive war; too little makes dependence, and offensive war [Rousseau]
     Full Idea: Too much land makes its defence is onerous, its cultivation inadequate, and its yield surplus, which causes defensive wars. If there is not enough land, the state is at the discretion of its neighbours for what it needs as surplus, causing offensive wars.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.10)
     A reaction: This sounds much too simplistic, like the causes of squabbles in a kindergarten. Certainly inequalities between nations (such as the USA and Mexico) produces frictions. Advances in agriculture technology have transformed this problem.
If the state enlarges, the creators of the general will become less individually powerful [Rousseau]
     Full Idea: The ratio of the sovereign to the subject increases in proportion to the number of citizens. The larger the state becomes, the less liberty there is.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.01)
     A reaction: This is because we remain equally subjected to the state whatever its size, but have less power to influence if there are more citizens. In modern states we all feel pathetically powerless, because of the numbers.
If the population is larger, the government needs to be more powerful [Rousseau]
     Full Idea: In order to be good, the government must be relatively stronger in proportion as the populace is more numerous.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.01)
     A reaction: This could either imply a larger government, or more powerful laws for a fairly small government. Rousseau implies an almost mathematical law (of ratios) which determines the size of the government.
24. Political Theory / A. Basis of a State / 3. Natural Values / a. Natural freedom
Man is born free, and he is everywhere in chains [Rousseau]
     Full Idea: Man is born free, and he is everywhere in chains. Those who think themselves the masters of others are indeed greater slaves than they.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.1)
     A reaction: I've always liked the second sentence, though it may be wishful thinking. It is probably rather fun owning slaves. The idea that man is 'born free' strikes me as nonsense. Man is a highly social animal, which only flourishes if enmeshed in a culture.
No man has any natural authority over his fellows [Rousseau]
     Full Idea: No man has any natural authority over his fellows.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.4)
     A reaction: This is, of course, specifically denying that superior strength is the same as a natural right. 'Right' might be a better word than 'authority'. If strength doesn't bestow a natural right, then presumably neither does weakness.
24. Political Theory / B. Nature of a State / 1. Purpose of a State
A state's purpose is liberty and equality - liberty for strength, and equality for liberty [Rousseau]
     Full Idea: The greatest good and purpose of every legislative system boils down to liberty and equality. Liberty because dependence takes force from the body of the state, and equality because liberty cannot subsist without it.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.11)
     A reaction: The idea of 'taking force' seems to cover the modern welfare state. Rousseau likes robustly self-sufficient citizens. To ensure equality, however, it may be necessary to restrict liberty.
The greatest social good comes down to freedom and equality [Rousseau]
     Full Idea: The greatest good of all, which ought to be the goal of every system of law, comes down to two main objects, freedom and equality.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.11)
     A reaction: He goes on the specify the nature of the equality (Idea 7248). A rival pair of goods might be security and opportunity. On balance, I think I prefer my pair to Rousseau's.
The measure of a successful state is increase in its population [Rousseau]
     Full Idea: The government under which, without external means, without naturalisations, without colonies, the citizens become populous and multiply the most, is infallibly the best government.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.09)
     A reaction: I'm not sure if this was true in the eighteenth century. Birth control has entirely changed the picture, since affluent people seem less inclined to breed. Presumably poverty increased famine and infant mortality.
24. Political Theory / B. Nature of a State / 2. State Legitimacy / a. Sovereignty
The sovereignty does not appoint the leaders [Rousseau]
     Full Idea: The election of leaders is a function of government and not of the sovereignty.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], IV.3)
     A reaction: The point is that the general will only establishes the form of government, and not its content. In Britain we accept leaders who are appointed by their own party, and not by the electorate.
Rousseau insists that popular sovereignty needs a means of expressing consent [Rousseau, by Oksala]
     Full Idea: Rousseau's idea of popular sovereignty is a much more radical idea of self-government, because he insists that the consent of the people has to have a real means of expression.
     From: report of Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762]) by Johanna Oksala - Political Philosophy: all that matters Ch.5
     A reaction: Presumably Hobbes's 'contract' is forgotten in the mists of time, and ceases to be of any interest to a ruler (such as Charles I, who thought God must have appointed him). Perhaps Britain needs an annual ceremony reaffirming the monarch.
Sovereignty is the exercise of the general will, which can never be delegated [Rousseau]
     Full Idea: Since sovereignty is merely the exercise of the general will, it can never be alienated, and the sovereign which is only a collective being, cannot be represented by anything but itself. Power can perfectly well be transmitted, but not the will.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.01)
     A reaction: Part of the post-Hobbesian revolution, which sees sovereignty as residing in the will or consensus of the people, rather than in a divine right, or a right of power. In 2016 this isn't going very well. A people choosing to obey is thereby dissolved.
Just as people control their limbs, the general-will state has total control of its members [Rousseau]
     Full Idea: Just as nature gives each man an absolute power over all of his members, the social compact gives the body politic an absolute over all its members, which is the power directed by the general will, and bearing the name sovereignty.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.04)
     A reaction: A highly organic view of the state, and his favourite political metaphor. Does the metaphor include disease and madness? In the 1930s Germany went insane. The man may be happy, but are his limbs happy? If I burn my hand? Etc.
Political laws are fundamental, as they firmly organise the state - but they could still be changed [Rousseau]
     Full Idea: The laws regulating the relationship of the sovereign to the state are political laws, which are also fundamental. There is one way of organising a state, and people should stand by it. ...But a people is always in a position to change its laws.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.12)
     A reaction: Constitutions take on a sacred and inviolable quality, but Rousseau clearly thinks 'the Sabbath is made for man'. I think the USA is crazy not to change its constitution on the subject of bearing arms.
24. Political Theory / B. Nature of a State / 2. State Legitimacy / b. Natural authority
Force can only dominate if it is seen as a right, and obedience as a duty [Rousseau]
     Full Idea: The strongest is never strong enough to be master all the time, unless he transforms force into right and obedience into duty.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.3)
     A reaction: Presumably the people only accept force as a right and obedience as a duty if they appear to be in the people's interests - because the alternative looks worse. In other words, they are terrified.
24. Political Theory / B. Nature of a State / 2. State Legitimacy / c. Social contract
The social order is a sacred right, but based on covenants, not nature [Rousseau]
     Full Idea: The social order is a sacred right which serves as a basis for all other rights; and as it is not a natural right, it must be one founded on covenants.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.1)
     A reaction: I think Rousseau is offering a contradiction here, when he suggests we have a 'sacred' right, which is nevertheless only based on 'covenants'. You can't have it both ways. This is an abuse of the word 'sacred'.
The government is instituted by a law, not by a contract [Rousseau]
     Full Idea: The act that institutes the government is not a contract but a law.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.18)
     A reaction: This is a law which implements the general will. There is nothing for citizens to make a contract with, since the sovereign is an abstraction, whereas a social contract is made between actual people. I like Rousseau's big idea.
24. Political Theory / B. Nature of a State / 2. State Legitimacy / d. General will
The social pact is the total subjection of individuals to the general will [Rousseau]
     Full Idea: The essence of the social pact is that 'each one of us puts into the community his person and all his powers under the supreme direction of the general will; and as a body, we incorporate every member as an indivisible part of the whole'.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.6)
     A reaction: This is alarmingly like totally subjecting yourself to the 'Will of God', where the big problem is a bunch of priests (or worse) insisting that they know better than you do what that Will consists of. I have no idea what the current Will of Britain is.
We need a protective association which unites forces, but retains individual freedom [Rousseau]
     Full Idea: The problem is to find a form of association which protects with all common forces the person and goods of each associate, by means of which each one, while uniting with all, nevertheless obeys only himself and remains as free as before.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.6)
     A reaction: This is the clear purpose of Rousseau's famous concept of the General Will. The idea is that you submit to the general will because you helped formulate it, so you remain free. It is a lovely idea, but notoriously difficult to implement.
To foreign powers a state is seen as a simple individual [Rousseau]
     Full Idea: In relation to a foreign power, the body politic is a simple entity, an individual.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.7)
     A reaction: This is strikingly contrary to the spirit of liberalism, in which I may be appalled by the foreign policy of my own government, and protest strongly against it. Rousseau might be considered as freedom's greatest champion, and greatest enemy!
The act of association commits citizens to the state, and the state to its citizens [Rousseau]
     Full Idea: The act of association is a reciprocal commitment of public and private individuals, and each individual, contracting with himself, is under a twofold commitment, as a member of the sovereign to individuals, and as a member of the state to the sovereign.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.7)
     A reaction: This seems to be expressed in modern terms as a mutual entailment of rights and duties. Where the traditional social contract is just between individuals, this seems to be a contract with a unified abstraction, of state commitment to citizens.
Citizens must ultimately for forced to accept the general will (so freedom is compulsory!) [Rousseau]
     Full Idea: To avoid the general compact being an empty formula, it tacitly entails the commitment that whoever refuses to obey the general will will be forced to do so by the entire body. This means merely that he will be forced to be free.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.7)
     A reaction: Rousseau obviously enjoyed this paradox (which sounds like US foreign policy). Apart from anarchism, any political system will need a bit of force to back it up. Should democratic voting becoming compulsory, if the turnout declines too far?
Individual citizens still retain a private will, which may be contrary to the general will [Rousseau]
     Full Idea: Each individual can, as a man, have a private will contrary to or different from the general will that he has as a citizen. His private interest can speak to him in an entirely different manner than the common interest.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.7)
     A reaction: So why I accept the general will when these two clash (apart from threat of punishment - which may be capital if I am recalcitrant!)? Usually the general will is also for my good - but not always. Idealist love of the people?
The general will is common interest; the will of all is the sum of individual desires [Rousseau]
     Full Idea: The general will studies only common interest, while the will of all studies private interest, and is indeed no more than the sum of individual desires.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.03)
     A reaction: This invites the obvious liberal response (given later by utilitarians: Idea 3778) that there can be no more to any great 'will' than the sum of the individuals (which leads to Margaret Thatcher's famous 'there is no such thing as society').
The general will is always right, but the will of all can err, because it includes private interests [Rousseau]
     Full Idea: The general will is always right. ....There is often a great deal of difference between the will of all and the general will. The latter considers only the general interest, but the former considers private interest and is merely the sum of private wills.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.03)
     A reaction: Hence in order to get an expression of the general will, voters must exclusively focus on the general good. I do that in general elections, only to find that the people around me vote for their own interests. I wish we all did the same thing.
If the state contains associations there are fewer opinions, undermining the general will [Rousseau]
     Full Idea: If there are partial association in the state ...there are no longer as many voters as there are men, but merely as many as there are associations. The differences become less numerous and yield a result that is less general.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.03)
     A reaction: This appears to entirely reject political parties, and similar groups, which he had seen forming in England. It goes with his interesting faith that the more separate views there are, the more the right choice will emerge.
If a large knowledgeable population votes in isolation, their many choices will have good results [Rousseau]
     Full Idea: If, when a sufficiently informed populace deliberates, the citizens were to have no communication among themselves, the general will would always result from a large number of small differences, and the deliberations would always be good.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.03)
     A reaction: An obvious weak point in the electorate being well informed, if someone controls the sources of information. All the optimism of the Enlightenment is in this idea - that rational beings converge of the truth. All pubs closed in the month of an election?
The general will changes its nature when it focuses on particulars [Rousseau]
     Full Idea: Just as a private will cannot represent the general will, the general will, for its part, alters its nature when it has a particular object.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.04)
     A reaction: Is the general will, then, in danger of being much too general, because as soon as it gets close to anything practical it becomes distorted. It can design the constitution, but can it give a view on capital punishment, or is that too personal?
The general will is always good, but sometimes misunderstood [Rousseau]
     Full Idea: By themselves the people always will what is good, but by themselves they do not always discern it.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.06)
     A reaction: This sounds like a can of worms. It invites someone to step in as interpreter - a spin doctor, perhaps, or a newspaper proprietor. The first proposition strikes me as absurdly optimistic. Think of the people of Europe in August 1914.
Laws are authentic acts of the general will [Rousseau]
     Full Idea: The laws are nothing other than the authentic acts of the general will.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.12)
     A reaction: I wonder how you tell whether an act of the general will is 'authentic'? Nevertheless, in a modern democracy there seems a lot of truth in it; when controversial legislation is in the offing, governments have to be very attentive to the people.
Assemblies must always confirm the form of government, and the current administration [Rousseau]
     Full Idea: The opening of assemblies, which solely aim to preserve the social treaty, should always start with two separate propositions: 1) does it please the sovereign to preserve the present form of government?, 2) ...and to preserve the present administration?
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.18)
     A reaction: I would love it if the British people were allowed to discuss our form of government, but it now seems completely ossified. Being a monarchy, with the consequent patronage, almost guarantees this stasis.
The more unanimous the assembly, the stronger the general will becomes [Rousseau]
     Full Idea: The more harmony reigns in the assemblies, that is to say, the closer opinions come to unanimity, the more dominant too is the general will.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], IV.2)
     A reaction: This seems important, because the general will comes in degrees. A decision from the assembly would come with an index number indicating its strength. His dream is obviously to get close to unanimity on all decisions. Maybe! Brexit 52%!
24. Political Theory / B. Nature of a State / 4. Citizenship
Citizens should be independent of each other, and very dependent on the state [Rousseau]
     Full Idea: Each citizen should be perfectly independent of all the others and excessively dependent on the city.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.12)
     A reaction: Unlike many other of his pronouncements, this sounds a bit like a welfare state, though I doubt if he means that. Rousseau's state, founded by the general will, seems to have a quasi-religious quality, like a devotee's love of God.
A citizen is a subject who is also sovereign [Rousseau]
     Full Idea: The words 'subject' and 'sovereign' are identical correlatives, whose meaning is combined in the single word 'citizen'.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.13)
     A reaction: 'Citizen' was the favourite post-revolutionary label, probably based on this remark. I've heard foreigners tease Britons for being 'subjects' of the monarch, where they are pure citizens. But we are all subject to the law, made by others.
24. Political Theory / B. Nature of a State / 5. Culture
The flourishing of arts and letters is too much admired [Rousseau]
     Full Idea: Times in which letters and arts are known to have flourished have been admired too much.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.09 n9)
     A reaction: I assume most marxists would agree with this thought. Eighteenth century France is a good candidate for this judgement. The arts always needed patronage.
24. Political Theory / C. Ruling a State / 2. Leaders / b. Monarchy
Ancient monarchs were kings of peoples; modern monarchs more cleverly rule a land [Rousseau]
     Full Idea: Ancient monarchs called themselves King of the Persians or Scythians, regarding themselve merely as the leaders of men. Today's monarchs more shrewdly call themselves King of France or England. By holding the land, they are sure of the inhabitants.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.9)
     A reaction: This matches the Germans being earlier defined by speaking the language, and now defined by a territory. It is more to do with the rise of the modern state than to do with the shrewdness of the monarchs.
The highest officers under a monarchy are normally useless; the public could choose much better [Rousseau]
     Full Idea: Those who attain the highest positions in monarchies are most often petty bunglers, swindlers and intriguers, whose talents serve only to display their incompetence to the public. The populace is much less often in error in its choice than the prince.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.06)
     A reaction: Many monarchs have had famously good advisers, such as Lord Burleigh. The worst thing about bad leaders, at any level, is the bad appointments they make.
Hereditary monarchy is easier, but can lead to dreadful monarchs [Rousseau]
     Full Idea: Some crowns are hereditary. So by substituting the disadvantage of regencies for elections, an apparent tranquillity has been preferred to a wise election, the risk of having children, monsters or imbeciles for leaders is preferred to choosing good kings.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.06)
     A reaction: Henry VI is the prime English example. The regents feuded, and then when he grew up it became obvious that he was hopeless. How many English monarchs would have been elected? But we would have missed Good Queen Bess.
Attempts to train future kings don't usually work, and the best have been unprepared [Rousseau]
     Full Idea: A great deal of effort is made to teach young princes the art of ruling. It does not appear that this education does them any good. It would be better to teach them the art of obeying. The most celebrated kings were not brought up to reign.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.06)
     A reaction: King Alfred is our prime example of a success, But if only we had had Charles I's late brother Henry, instead the untrained Charles.
24. Political Theory / C. Ruling a State / 2. Leaders / d. Elites
Natural aristocracy is primitive, and hereditary is dreadful, but elective aristocracy is best [Rousseau]
     Full Idea: There are three sorts of aristocracy: natural, elective, and hereditary. The first is suited only to simple people; the third is the worst of any government. The second is the best; it is aristocracy properly so-called.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.05)
     A reaction: This seems like the modern idea of 'meritocracy'. The Chinese civil service exams, introduced into Europe in the nineteenth century.
Natural aristocracy is primitive, hereditary is bad, and elective aristocracy is the best [Rousseau]
     Full Idea: There are three types of aristocracy, natural, elective and hereditary. The first is suited only to primitive peoples; the third is the worst of all governments; the second is the best, and this is aristocracy in the true sense of the word.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.05)
     A reaction: Presumably he means what we call 'meritocracy', and it seems a bit optimistic to hope that democracy will deliver that. I don't think Plato would expect a democracy to elect his Guardians.
Large states need a nobility to fill the gap between a single prince and the people [Rousseau]
     Full Idea: With a large state in the hands of one man there is too great a distance between the prince and the people, and the state lacks cohesiveness. This requires intermediate orders of nobility to fill them. A small state is ruined by all these social levels.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.06)
     A reaction: [compressed] This seems to be a justification for the French ancien regime. Presumably this bit was not quoted much in 1789. Why must the gap be filled by 'nobility'? What about an elected house of lords?
24. Political Theory / C. Ruling a State / 3. Government / a. Government
Law makers and law implementers should be separate [Rousseau]
     Full Idea: It is not good for the one who makes the laws to execute them.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.04)
     A reaction: He doesn't give his reasons here, but this piece of wisdom is widely supported. There is a problem when the executive find themselves trying to enforce bad, discredited laws. Maybe the police know best what the law should say? Or not!
The state has a legislature and an executive, just like the will and physical power in a person [Rousseau]
     Full Idea: Every free action has a moral cause, the will, and a physical cause, the power to act. ...The body politic has the same moving causes, namely the legislative power, and executive power. Nothing should be done without their concurrence.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.01)
     A reaction: [compressed] This terminology is now standard in political philosophy. An absolute monarch like Edward III presumably embodies both branches.
24. Political Theory / C. Ruling a State / 3. Government / c. Executive
I call the executive power the 'government', which is the 'prince' - a single person, or a group [Rousseau]
     Full Idea: I call 'government' or supreme administration the legitimate exercise of executive power; I call 'prince' or magistrate the man or body charged with that administration.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.01)
     A reaction: Whether the prince is one person or many is left up to the legislative body, which is the general will. Rousseau has no view on the matter.
24. Political Theory / C. Ruling a State / 3. Government / d. Size of government
Large populations needs stronger control, which means power should be concentrated [Rousseau]
     Full Idea: The government becomes slack as the magistrates are multiplied, and the more numerous the people the greater should be the increase of repressive force - ...so the number of leaders should decrease in proportion to the increase of the number of people.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.02)
     A reaction: This bit sounds Stalinist! A vast population seems to require a dictator. When his state is Geneva-sized Rousseau seems comfortable, but his plans for bigger states are a bit disturbing.
Democracy for small states, aristocracy for intermediate, monarchy for large [Rousseau]
     Full Idea: Democratic government is suited to small states, aristocratic government to states of intermediate size, and monarchical government to large ones.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.03)
     A reaction: Is he thinking of France for the large state? What would he have made of 1789? Does this progression go on to increase the power of the monarch as the state gets even larger, into dictatorship?
24. Political Theory / C. Ruling a State / 4. Changing the State / c. Revolution
If inhabitants are widely dispersed, organising a revolt is much more difficult [Rousseau]
     Full Idea: The greater the area occupied by the same number of inhabitants, the more difficult it becomes to revolt, since concerted action cannot be taken promptly and secretly.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.09)
     A reaction: Revolutions since then have all occurred in large cities, which have become huge. The dispersal of the rest of the population (as in Russia) doesn't matter.
The state is not bound to leave civil authority to its leaders [Rousseau]
     Full Idea: The state is no more bound to leave civil authority to its leaders than it is to leave military authority to its generals.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.18)
     A reaction: He assumes that a meeting of the citizens can articulate a new expression of the general will, but this idea also endorses revolution, if the prince or magistrates refuse to call this national AGM.
24. Political Theory / D. Ideologies / 5. Democracy / a. Nature of democracy
If the sovereign entrusts government to at least half the citizens, that is 'democracy' [Rousseau]
     Full Idea: The sovereign can entrust the government to the entire people or to the majority of them. This is given the name 'democracy'.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.03)
     A reaction: Note that democracy is here a form for the executive, not for the legislature. I take it that the general will must come close to unanimity, and a mere 51% support for fundamental legislation would never do. Increase the percentage with the importance?
24. Political Theory / D. Ideologies / 5. Democracy / b. Consultation
Democratic elections are dangerous intervals in government [Rousseau]
     Full Idea: Elections leave dangerous intervals and are stormy.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.06)
     A reaction: American presidential elections partially paralyse government for about nine months. In a settled democracy the process of election seems OK. The immediate aftermath can be worse. Losers may refuse to accept the result.
Silence of the people implies their consent [Rousseau]
     Full Idea: The silence of the people permits the assumption that the people consents.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.01)
     A reaction: This seems to me a crucial principle for a democracy, because it says that the democratic way of life is much more than elections. Each citizen has a duty to bravely speak out; the more citizens willing to do this, the less bravery is required.
24. Political Theory / D. Ideologies / 5. Democracy / d. Representative democracy
The English are actually slaves in between elections [Rousseau]
     Full Idea: The English people believes itself to be free; it is gravely mistaken; it is free only during the election of Members of Parliament; as soon as the Members are elected, the people is enslaved.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.15)
     A reaction: Rousseau seems to be hoping for some sort of direct democracy. We could probably set up a direct democracy, by implementing regular voting over the internet, but I doubt if Rousseau would like that either. I certainly wouldn't.
24. Political Theory / D. Ideologies / 5. Democracy / e. Democratic minorities
Minorities only accept majority-voting because of a prior unanimous agreement [Rousseau]
     Full Idea: If there were no earlier agreement, how could there be any obligation on the minority to accept the decision of the majority? The law of majority-voting rests on a covenant, implying at least one previous occasion of unanimity.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.5)
     A reaction: In Britain this points to the Reform Acts of 1832 onwards as crucial. However, whenever democracy is newly introduced into a country (Iraq being a current spectacular case) there is usually a minority opposed to it, who are forcibly overruled.
24. Political Theory / D. Ideologies / 5. Democracy / f. Against democracy
Democracy leads to internal strife, as people struggle to maintain or change ways of ruling [Rousseau]
     Full Idea: No government is so subject to civil wars and internal agitations as a democratic or popular one, since there is none that tends so forcefully and continuously to change its form, or that demands greater vigilance and courage to keep its form.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.05)
     A reaction: We would like to think that a robust democracy, with a free press, can cope with all this strife and still survive. He may be thinking of the English Civil War. Democracies seem to be more conservative about the structure of government.
When ministers change the state changes, because they always reverse policies [Rousseau]
     Full Idea: Each revolution in the ministry produces a revolution in the state, since the maxim common to all ministers and nearly all kings is to do the reverse of their predecessor in everything.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.06)
     A reaction: Most parents bring up their children by trying to correct mistakes their own parents made. British democracy is rife with this desperate need for a new government to make its mark, because they want to win the next election.
24. Political Theory / D. Ideologies / 10. Theocracy
In early theocracies the god was the king, and there were as many gods as nations [Rousseau]
     Full Idea: At first men had no other kings but gods, and no other government than a theocratic one. ....By the mere fact that a god was placed at the head of every political society, it followed that there were as many gods as there were peoples.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], IV.8)
     A reaction: He must be thinking of the Old Testament histories here. (see Spinoza on that!). He says that the modern idea that these were all really the same god is ridiculous.
25. Social Practice / A. Freedoms / 1. Slavery
Sometimes full liberty is only possible at the expense of some complete enslavement [Rousseau]
     Full Idea: There are some unfortunate circumstances where one's liberty can be preserved only at the expense of someone else's, and where the citizen can be perfectly free only if the slave is completely enslaved. Such was the situation in Sparta.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.15)
     A reaction: Rousseau wrote just before the moment when it was seen that slavery in European empires might be abolished, but he was not in the forefront of thought on this one. Greek philosophy would probably never have happened without slavery.
We can never assume that the son of a slave is a slave [Rousseau]
     Full Idea: To decide that the son of a slave is born a slave is to decide that he is not a man.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], IV.2)
     A reaction: Obviously this is because men are 'born free', though I am not clear how that maxim can be reached. I take it for granted that African slaves in the Americas found themselves born into slavery. No justification was required.
25. Social Practice / A. Freedoms / 5. Freedom of lifestyle
Appetite alone is slavery, and self-prescribed laws are freedom [Rousseau]
     Full Idea: To be governed by appetite alone is slavery, while obedience to a law one prescribes to oneself is freedom.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.8)
     A reaction: An interesting formulation, sitting somewhere between Aristotle and Kant. The problem is to find a metaethic which will justify the prescription and nature of the self-imposed law.
25. Social Practice / B. Equalities / 1. Grounds of equality
The social compact imposes conventional equality of rights on people who may start unequally [Rousseau]
     Full Idea: Instead of destroying natural equality, the fundamental compact substitutes a moral and legitimate equality to any natural physical inequality. ...so that men all become equal by convention and by right.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.9)
     A reaction: This does not pretend that equality is a natural right. The imposition of equality is virtually the main point of forming a state. Effectively, the state operates like an insurance company, treating all contributors as equal.
25. Social Practice / B. Equalities / 4. Economic equality
No citizen should be rich enough to buy another, and none so poor as forced to sell himself [Rousseau]
     Full Idea: Where wealth is concerned, no citizen should be rich enough to buy another, and none should be so poor as to be forced to sell himself.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.11)
     A reaction: Rousseau is thinking of slavery, but this also points to prostitution as a key indicator of social equality. In Victorian Britain it seems that extensive prostituion was unavoidable; nowadays it looks more like a voluntary choice (for indigenous Britons).
25. Social Practice / C. Rights / 3. Alienating rights
If we all give up all of our rights together to the community, we will always support one another [Rousseau]
     Full Idea: The social compact reduces to a single clause, namely the total alienation of each associate, together with all of his rights, to the entire community. Since this condition is equal for everyone, no one has an interest in making it burdensome for others.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.6)
     A reaction: He speaks elsewhere of basic natural rights which can never be alienated, such as self-defence. It is what small groups do all the time, if they start off as equals. Difficult to manage with large groups. Factions are the problem.
In society man loses natural liberty, but gains a right to civil liberty and property [Rousseau]
     Full Idea: What man loses by the social contract is his natural liberty and the absolute right to anything that tempts him; what he gains is civil liberty and the legal rights of propery in what he possesses.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.8)
     A reaction: It is an appealing idea that the purpose of society is to increase liberty, not to restrict it. That, on the whole, is my view. American libertarianism opens up the world to gun crime, vigilantes, pornographers and bounty-hunters.
We alienate to society only what society needs - but society judges that, not us [Rousseau]
     Full Idea: Each person alienates, by the social compact, only that portion of his power, his goods, and liberty whose use is of consequence to the community; but we must also grant that only the sovereign is the judge of what is of consequence.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.04)
     A reaction: The weakness here is how society sees its needs. He seems to assume that two societies will arrive at almost identical general wills, but Spartans, Prussians and Serbs may require the lives of your children for the state.
25. Social Practice / C. Rights / 4. Property rights
Private property must always be subordinate to ownership by the whole community [Rousseau]
     Full Idea: Each private individual's right to his very own store is always subordinate to the community's right to all, without which there could be neither solidity in the social fabric nor real force in the exercise of sovereignty.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.9)
     A reaction: This may sound a bit drastic, but every country practices this principle, seen in compulsory purchase orders (e.g. to build a railway line). In liberal democracies you expect good compensation. In communist Roumania you were just moved. Also taxation.
25. Social Practice / D. Justice / 2. The Law / a. Legal system
The state ensures liberty, so civil law separates citizens, and binds them to the state [Rousseau]
     Full Idea: The relationship of members to each other should be as small as possible, and as large as possible to the entire body. ...Only the force of the state brings about the liberty of its members. From this relationship civil laws arise.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.12)
     A reaction: I'm guessing that these laws could be said mainly to prescribe both our rights and our duties. His four types of law are political, civil, criminal, and customary.
25. Social Practice / D. Justice / 2. The Law / c. Natural law
Natural justice, without sanctions, benefits the wicked, who exploit it [Rousseau]
     Full Idea: The laws of natural justice, lacking any natural sanctions, are unavailing among men. In fact, such laws merely benefit the wicked and injure the just, since the just respect them while others do not do so in return.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.06)
     A reaction: This seems a very accurate observation, and points us towards either contracts, or a justification of the use of force by good people.
25. Social Practice / D. Justice / 3. Punishment / a. Right to punish
We accept the death penalty to prevent assassinations, so we must submit to it if necessary [Rousseau]
     Full Idea: Whoever wills the end also wills the means. ...The death penalty inflicted on criminals can be viewed from more or less this point of view. It is in order to avoid being the victim of an assassin that a person consents to die, were he to become one.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.05)
     A reaction: This seems to be roughly the spirit in which Socrates submitted to his death. I doubt whether many criminals agree with harsh punishments dished out to other criminals who get caught.
A trial proves that a criminal has broken the social treaty, and is no longer a member of the state [Rousseau]
     Full Idea: The legal proceeding and judgement are the proofs and the declaration that a criminal has broken the social treaty, and consequently that he is no longer a member of the state.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.05)
     A reaction: This seems to be a plausible rationalisation of capital punishment, but what about lesser crimes. Is the interior of a prison a sort of temporary exile from the state? Hence the significance of whether prisoners are allowed to vote. But 19811.
25. Social Practice / D. Justice / 3. Punishment / c. Deterrence of crime
Only people who are actually dangerous should be executed, even as an example [Rousseau]
     Full Idea: There is no wicked man who could not be made good for something. One has the right to put to death, even as an example, only someone who cannot be preserved without danger.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], II.05)
     A reaction: This formulation implies that we could execute a dangerous person as a deterrent, even though they were not guilty of this particular crime. I suspect that Rousseau was too nice to go through with that.
25. Social Practice / E. Policies / 1. War / b. Justice in war
War gives no right to inflict more destruction than is necessary for victory [Rousseau]
     Full Idea: War gives no right to inflict any more destruction than is necessary for victory.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], I.4)
     A reaction: This is the principle at stake in discussion of the bombing of Germany in 1942-5. We all seem to agree with this principle, and are shocked by breaches of it, but I am not sure why. Destruction must be a fundamentally bad thing - a basic value.
25. Social Practice / E. Policies / 1. War / c. Combatants
Wars are between States, not people, and the individuals are enemies by accident [Rousseau]
     Full Idea: War is something that occurs not between man and man, but between States. The individuals who become involved in it are enemies only by accident. A State can have as its enemies only other States, not men at all.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], p.249), quoted by Jeff McMahan - Killing in War 2.5
     A reaction: This is the classic statement of the collectivist view, which goes on to assert that the morality of warfare is quite different from ordinary morality. McMahan argues against this view, very persuasively.
25. Social Practice / E. Policies / 2. Religion in Society
By separating theological and political systems, Jesus caused divisions in the state [Rousseau]
     Full Idea: In separating the theological system from the political system, Jesus made the state to cease being united and caused internal divisions. Since this new idea of an otherwordly kingdom had never entered the heads of pagans, they saw Christians as rebels.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], IV.8)
     A reaction: This is the sort of stuff that made Rousseau a vast number of enemies, which embittered him. It is the sort of cool assessment which became commonplace in Germany sixty year later.
Civil religion needs one supreme god, an afterlife, justice, and the sanctity of the social contract [Rousseau]
     Full Idea: Dogmas of civil religion should be simple. The existence of a powerful, intelligent, beneficent divinity that foresees and provides; the life to come; the happiness of the just; the punishment of the wicked; the sanctity of the social contract and laws.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], IV.8)
     A reaction: Notice that he gratuitously makes the social contract sacred (even though it can be voluntarily abandoned, and the general will can be changed). Presumably the foundation of any society, such as the ballot box, has to be sacred.
All religions should be tolerated, if they tolerate each other, and support citizenship [Rousseau]
     Full Idea: Tolerance should be shown to all religions which tolerate other religions, so long as their dogmas contain nothing contrary to the duties of a citizen.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], IV.8)
     A reaction: Quite a good guideline for the attitude of western countries to middle eastern religious practices which arrive in their midst. Rousseau says the state has a minimal core religion (Idea 19852), which thus tolerates most other religions.
Every society has a religion as its base [Rousseau]
     Full Idea: No state has ever been founded without religion serving as its base.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], IV.8)
     A reaction: It is not clear to me that the ancient Greek cities had religion as a 'base', though they all had a religion, and expected conformity. Religion doesn't figure much in Thucydides. Communist Russia was the first explicitly atheist state, I think.
25. Social Practice / E. Policies / 4. Taxation
The amount of taxation doesn't matter, if it quickly circulates back to the citizens [Rousseau]
     Full Idea: It is not on the basis of the amount of taxation that the burden is measured, but on the basis of the path they have to travel in order to return to the hands from which they came. If circulation is prompt and regular, the amount one pays is unimportant.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], III.08)
     A reaction: So the problem is when the government wants to build up a surplus, or pay off debts (or is corrupt, or even if it is suspected of corruption).
29. Religion / B. Monotheistic Religion / 4. Christianity / a. Christianity
A tyrant exploits Christians because they don't value this life, and are made to be slaves [Rousseau]
     Full Idea: The Christian spirit is too favourable to tyranny for tyranny not to take advantage of it. True Christians are made to be slaves; they know it and hardly care; this short life has too little value in their eyes.
     From: Jean-Jacques Rousseau (The Social Contract (tr Cress) [1762], IV.8)
     A reaction: This is strikingly close to Nietzsche's verdict on Christianity, that it is the essence of slave morality. It has certainly been my experience that Christians tend to be much more reluctant than other people to stand up to authority.