Combining Texts

All the ideas for 'works', 'The Spirit of the Laws (rev. 1757)' and 'Axiomatic Theories of Truth'

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


133 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
For Plato true wisdom is supernatural [Plato, by Weil]
     Full Idea: It is evident that Plato regards true wisdom as something supernatural.
     From: report of Plato (works [c.375 BCE]) by Simone Weil - God in Plato p.61
     A reaction: Taken literally, I assume this is wrong, but we can empathise with the thought. Wisdom has the feeling of rising above the level of mere knowledge, to achieve the overview I associate with philosophy.
1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / b. Pre-Socratic philosophy
Plato never mentions Democritus, and wished to burn his books [Plato, by Diog. Laertius]
     Full Idea: Plato, who mentions nearly all the ancient philosophers, nowhere speaks of Democritus; he wished to burn all of his books, but was persuaded that it was futile.
     From: report of Plato (works [c.375 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.7.8
1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
Analysis rests on natural language, but its ideal is a framework which revises language [Halbach]
     Full Idea: For me, although the enterprise of philosophical analysis is driven by natural language, its goal is not a linguistic analysis of English but rather an expressively strong framework that may at best be seen as a revision of English.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 12)
     A reaction: I agree, but the problem is that there are different ideals for the revision, which may be in conflict. Logicians, mathematicians, metaphysicians, scientists, moralists and aestheticians are queueing up to improve in their own way.
2. Reason / C. Styles of Reason / 1. Dialectic
Two contradictories force us to find a relation which will correlate them [Plato, by Weil]
     Full Idea: Where contradictions appear there is a correlation of contraries, which is relation. If a contradiction is imposed on the intelligence, it is forced to think of a relation to transform the contradiction into a correlation, which draws the soul higher.
     From: report of Plato (works [c.375 BCE]) by Simone Weil - God in Plato p.70
     A reaction: A much better account of the dialectic than anything I have yet seen in Hegel. For the first time I see some sense in it. A contradiction is not a falsehood, and it must be addressed rather than side-stepped. A kink in the system, that needs ironing.
2. Reason / D. Definition / 2. Aims of Definition
An explicit definition enables the elimination of what is defined [Halbach]
     Full Idea: Explicit definitions allow for a complete elimination of the defined notion (at least in extensional contexts).
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 1)
     A reaction: If the context isn't extensional (concerning the things themselves) then we could define one description of it, but be unable to eliminate it under another description. Elimination is no the aim of an Aristotelian definition. Halbach refers to truth.
2. Reason / E. Argument / 3. Analogy
Don't trust analogies; they are no more than a guideline [Halbach]
     Full Idea: Arguments from analogy are to be distrusted: at best they can serve as heuristics.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 4)
3. Truth / A. Truth Problems / 1. Truth
Truth-value 'gluts' allow two truth values together; 'gaps' give a partial conception of truth [Halbach]
     Full Idea: Truth-value 'gluts' correspond to a so-called dialethic conception of truth; excluding gluts and admitting only 'gaps' leads to a conception of what is usually called 'partial' truth.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 15.2)
     A reaction: Talk of 'gaps' and 'gluts' seem to be the neatest way of categorising views of truth. I want a theory with no gaps or gluts.
Truth axioms prove objects exist, so truth doesn't seem to be a logical notion [Halbach]
     Full Idea: Two typed disquotation sentences, truth axioms of TB, suffice for proving that there at least two objects. Hence truth is not a logical notion if one expects logical notions to be ontologically neutral.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 21.2)
3. Truth / A. Truth Problems / 2. Defining Truth
Any definition of truth requires a metalanguage [Halbach]
     Full Idea: It is plain that the distinction between object and metalanguage is required for the definability of truth.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 11)
     A reaction: Halbach's axiomatic approach has given up on definability, and therefore it can seek to abandon the metalanguage and examine 'type-free' theories.
Traditional definitions of truth often make it more obscure, rather than less [Halbach]
     Full Idea: A common complaint against traditional definitional theories of truth is that it is far from clear that the definiens is not more in need of clarification than the definiendum (that is, the notion of truth).
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 1)
     A reaction: He refers to concepts like 'correspondence', 'facts', 'coherence' or 'utility', which are said to be trickier to understand than 'true'. I suspect that philosophers like Halbach confuse 'clear' with 'precise'. Coherence is quite clear, but imprecise.
If people have big doubts about truth, a definition might give it more credibility [Halbach]
     Full Idea: If one were wondering whether truth should be considered a legitimate notion at all, a definition might be useful in dispersing doubts about its legitimacy.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 3)
     A reaction: Halbach is proposing to skip definitions, and try to give rules for using 'true' instead, but he doesn't rule out definitions. A definition of 'knowledge' or 'virtue' or 'democracy' might equally give those credibility.
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
Semantic theories avoid Tarski's Theorem by sticking to a sublanguage [Halbach]
     Full Idea: In semantic theories (e.g.Tarski's or Kripke's), a definition evades Tarski's Theorem by restricting the possible instances in the schema T[φ]↔φ to sentences of a proper sublanguage of the language formulating the equivalences.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 1)
     A reaction: The schema says if it's true it's affirmable, and if it's affirmable it's true. The Liar Paradox is a key reason for imposing this restriction.
3. Truth / F. Semantic Truth / 2. Semantic Truth
Disquotational truth theories are short of deductive power [Halbach]
     Full Idea: The problem of restricted deductive power has haunted disquotational theories of truth (…because they can't prove generalisations).
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 19.5)
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
CT proves PA consistent, which PA can't do on its own, so CT is not conservative over PA [Halbach]
     Full Idea: Compositional Truth CT proves the consistency of Peano arithmetic, which is not provable in Peano arithmetic by Gödel's second incompleteness theorem. Hence the theory CT is not conservative over Peano arithmetic.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 8.6)
Axiomatic truth doesn't presuppose a truth-definition, though it could admit it at a later stage [Halbach]
     Full Idea: Choosing an axiomatic approach to truth might well be compatible with the view that truth is definable; the definability of truth is just not presupposed at the outset.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 1)
     A reaction: Is it possible that a successful axiomatisation is a successful definition?
The main semantic theories of truth are Kripke's theory, and revisions semantics [Halbach]
     Full Idea: Revision semantics is arguably the main competitor of Kripke's theory of truth among semantic truth theories. …In the former one may hope through revision to arrive at better and better models, ..sorting out unsuitable extensions of the truth predicate.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 14)
     A reaction: Halbach notes later that Kripke's theory (believe it or not) is considerably simpler than revision semantics.
To axiomatise Tarski's truth definition, we need a binary predicate for his 'satisfaction' [Halbach]
     Full Idea: If the clauses of Tarski's definition of truth are turned into axioms (as Davidson proposed) then a primitive binary predicate symbol for satisfaction is needed, as Tarski defined truth in terms of satisfaction. Standard language has a unary predicate.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 5.2)
Compositional Truth CT has the truth of a sentence depending of the semantic values of its constituents [Halbach]
     Full Idea: In the typed Compositional Truth theory CT, it is compositional because the truth of a sentence depends on the semantic values of the constituents of that sentence.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 8)
     A reaction: [axioms on p. 65 of Halbach]
Gödel numbering means a theory of truth can use Peano Arithmetic as its base theory [Halbach]
     Full Idea: Often syntactic objects are identified with their numerical codes. …Expressions of a countable formal language can be coded in the natural numbers. This allows a theory of truth to use Peano Arithmetic (with its results) as a base theory.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 2)
     A reaction: The numbering system is the famous device invented by Gödel for his great proof of incompleteness. This idea is a key to understanding modern analytic philosophy. It is the bridge which means philosophical theories can be treated mathematically.
Truth axioms need a base theory, because that is where truth issues arise [Halbach]
     Full Idea: Considering the truth axioms in the absence of a base theory is not very sensible because characteristically truth theoretic reasoning arises from the interplay of the truth axioms with the base theory.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 21.2)
     A reaction: The base theory usually seems to be either Peano arithmetic or set theory. We might say that introverted thought (e.g. in infants) has little use for truth; it is when you think about the world that truth becomes a worry.
We know a complete axiomatisation of truth is not feasible [Halbach]
     Full Idea: In the light of incompleteness phenomena, one should not expect a categorical axiomatisation of truth to be feasible, but this should not keep one from studying axiomatic theories of truth (or of arithmetic).
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 3)
     A reaction: This, of course, is because of Gödel's famous results. It is important to be aware in this field that there cannot be a dream of a final theory, so we are just seeing what can be learned about truth.
A theory is 'conservative' if it adds no new theorems to its base theory [Halbach, by PG]
     Full Idea: A truth theory is 'conservative' if the addition of the truth predicate does not add any new theorems to the base theory.
     From: report of Volker Halbach (Axiomatic Theories of Truth [2011], 6 Df 6.6) by PG - Db (ideas)
     A reaction: Halbach presents the definition more formally, and this is my attempt at getting it into plain English. Halbach uses Peano Arithmetic as his base theory, but set theory is also sometimes used.
The Tarski Biconditional theory TB is Peano Arithmetic, plus truth, plus all Tarski bi-conditionals [Halbach]
     Full Idea: The truth theory TB (Tarski Biconditional) is all the axioms of Peano Arithmetic, including all instances of the induction schema with the truth predicate, plus all the sentences of the form T[φ] ↔ φ.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 7)
     A reaction: The biconditional formula is the famous 'snow is white' iff snow is white. The truth of the named sentence is equivalent to asserting the sentence. This is a typed theory of truth, and it is conservative over PA.
Theories of truth are 'typed' (truth can't apply to sentences containing 'true'), or 'type-free' [Halbach]
     Full Idea: I sort theories of truth into the large families of 'typed' and 'type-free'. Roughly, typed theories prohibit a truth predicate's application to sentences with occurrences of that predicate, and one cannot prove the truth of sentences containing 'true'.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], II Intro)
     A reaction: The problem sentence the typed theories are terrified of is the Liar Sentence. Typing produces a hierarchy of languages, referring down to the languages below them.
3. Truth / G. Axiomatic Truth / 2. FS Truth Axioms
Friedman-Sheard is type-free Compositional Truth, with two inference rules for truth [Halbach]
     Full Idea: The Friedman-Sheard truth system FS is based on compositional theory CT. The axioms of FS are obtained by relaxing the type restriction on the CT-axioms, and adding rules inferring sentences from their truth, and vice versa.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 15)
     A reaction: The rules are called NEC and CONEC by Halbach. The system FSN is FS without the two rules.
3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms
The KF theory is useful, but it is not a theory containing its own truth predicate [Halbach]
     Full Idea: KF is useful for explicating Peano arithmetic, but it certainly does not come to close to being a theory that contains its own truth predicate.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 16)
     A reaction: Since it is a type-free theory, its main philosophical aspiration was to contain its own truth predicate, so that is bad news (for philosophers).
The KF is much stronger deductively than FS, which relies on classical truth [Halbach]
     Full Idea: The Kripke-Feferman theory is relatively deductively very strong. In particular, it is much stronger than its competitor FS, which is based on a completely classical notion of truth.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 15.3)
Kripke-Feferman theory KF axiomatises Kripke fixed-points, with Strong Kleene logic with gluts [Halbach]
     Full Idea: The Kripke-Feferman theory KF is an axiomatisation of the fixed points of an operator, that is, of a Kripkean fixed-point semantics with the Strong Kleene evaluation schema with truth-value gluts.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 15.1)
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Compositional Truth CT proves generalisations, so is preferred in discussions of deflationism [Halbach]
     Full Idea: Compositional Truth CT and its variants has desirable generalisations among its logical consequences, so they seem to have ousted purely disquotational theories such as TB in the discussion on deflationism.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 8)
Some say deflationism is axioms which are conservative over the base theory [Halbach]
     Full Idea: Some authors have tried to understand the deflationist claim that truth is not a substantial notion as the claim that a satisfactory axiomatisation of truth should be conservative over the base theory.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 8)
Deflationism says truth is a disquotation device to express generalisations, adding no new knowledge [Halbach]
     Full Idea: There are two doctrines at the core of deflationism. The first says truth is a device of disquotation used to express generalisations, and the second says truth is a thin notion that contributes nothing to our knowledge of the world
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 21)
The main problem for deflationists is they can express generalisations, but not prove them [Halbach]
     Full Idea: The main criticism that deflationist theories based on the disquotation sentences or similar axioms have to meet was raised by Tarski: the disquotation sentences do not allow one to prove generalisations.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 7)
Deflationists say truth is just for expressing infinite conjunctions or generalisations [Halbach]
     Full Idea: Deflationists do not hold that truth is completely dispensable. They claim that truth serves the purpose of expressing infinite conjunctions or generalisations.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 7)
     A reaction: It is also of obvious value as a shorthand in ordinary conversation, but rigorous accounts can paraphrase that out. 'What he said is true'. 'Pick out the true sentences from p,q,r and s' seems to mean 'affirm some of them'. What does 'affirm' mean?
4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
In Strong Kleene logic a disjunction just needs one disjunct to be true [Halbach]
     Full Idea: In Strong Kleene logic a disjunction of two sentences is true if at least one disjunct is true, even when the other disjunct lacks a truth value.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 18)
     A reaction: This sounds fine to me. 'Either I'm typing this or Homer had blue eyes' comes out true in any sensible system.
In Weak Kleene logic there are 'gaps', neither true nor false if one component lacks a truth value [Halbach]
     Full Idea: In Weak Kleene Logic, with truth-value gaps, a sentence is neither true nor false if one of its components lacks a truth value. A line of the truth table shows a gap if there is a gap anywhere in the line, and the other lines are classical.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 18)
     A reaction: This will presumably apply even if the connective is 'or', so a disjunction won't be true, even if one disjunct is true, when the other disjunct is unknown. 'Either 2+2=4 or Lot's wife was left-handed' sounds true to me. Odd.
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Every attempt at formal rigour uses some set theory [Halbach]
     Full Idea: Almost any subject with any formal rigour employs some set theory.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 4.1)
     A reaction: This is partly because mathematics is often seen as founded in set theory, and formal rigour tends to be mathematical in character.
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
The underestimated costs of giving up classical logic are found in mathematical reasoning [Halbach]
     Full Idea: The costs of giving up classical logic are easily underestimated, …the price being paid in terms of mathematical reasoning.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 16.2)
     A reaction: No one cares much about such costs, until you say they are 'mathematical'. Presumably this is a message to Graham Priest and his pals.
5. Theory of Logic / E. Structures of Logic / 8. Theories in Logic
A theory is some formulae and all of their consequences [Halbach]
     Full Idea: A theory is a set of formulae closed under first-order logical consequence.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 5.1)
5. Theory of Logic / K. Features of Logics / 3. Soundness
You cannot just say all of Peano arithmetic is true, as 'true' isn't part of the system [Halbach]
     Full Idea: One cannot just accept that all the theorems of Peano arithmetic are true when one accepts Peano arithmetic as the notion of truth is not available in the language of arithmetic.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 22.1)
     A reaction: This is given as the reason why Kreisel and Levy (1968) introduced 'reflection principles', which allow you to assert whatever has been proved (with no mention of truth). (I think. The waters are closing over my head).
Normally we only endorse a theory if we believe it to be sound [Halbach]
     Full Idea: If one endorses a theory, so one might argue, one should also take it to be sound.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 22.1)
Soundness must involve truth; the soundness of PA certainly needs it [Halbach]
     Full Idea: Soundness seems to be a notion essentially involving truth. At least I do not know how to fully express the soundness of Peano arithmetic without invoking a truth predicate.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 22.1)
     A reaction: I suppose you could use some alternative locution such as 'assertible' or 'cuddly'. Intuitionists seem a bit vague about the truth end of things.
5. Theory of Logic / L. Paradox / 1. Paradox
Many new paradoxes may await us when we study interactions between frameworks [Halbach]
     Full Idea: Paradoxes that arise from interaction of predicates such as truth, necessity, knowledge, future and past truths have receive little attention. There may be many unknown paradoxes lurking when we develop frameworks with these intensional notions.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 24.2)
     A reaction: Nice. This is a wonderful pointer to new research in the analytic tradition, in which formal problems will gradually iron out our metaphysical framework.
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
The liar paradox applies truth to a negated truth (but the conditional will serve equally) [Halbach]
     Full Idea: An essential feature of the liar paradox is the application of the truth predicate to a sentence with a negated occurrence of the truth predicate, though the negation can be avoided by using the conditional.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 19.3)
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
The compactness theorem can prove nonstandard models of PA [Halbach]
     Full Idea: Nonstandard models of Peano arithmetic are models of PA that are not isomorphic to the standard model. Their existence can be established with the compactness theorem or the adequacy theorem of first-order logic.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 8.3)
The global reflection principle seems to express the soundness of Peano Arithmetic [Halbach]
     Full Idea: The global reflection principle ∀x(Sent(x) ∧ Bew[PA](x) → Tx) …seems to be the full statement of the soundness claim for Peano arithmetic, as it expresses that all theorems of Peano arithmetic are true.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 22.1)
     A reaction: That is, an extra principle must be introduced to express the soundness. PA is, of course, not complete.
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
To reduce PA to ZF, we represent the non-negative integers with von Neumann ordinals [Halbach]
     Full Idea: For the reduction of Peano Arithmetic to ZF set theory, usually the set of finite von Neumann ordinals is used to represent the non-negative integers.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 6)
     A reaction: Halbach makes it clear that this is just one mode of reduction, relative interpretability.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Set theory was liberated early from types, and recent truth-theories are exploring type-free [Halbach]
     Full Idea: While set theory was liberated much earlier from type restrictions, interest in type-free theories of truth only developed more recently.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 4)
     A reaction: Tarski's theory of truth involves types (or hierarchies).
7. Existence / C. Structure of Existence / 2. Reduction
That Peano arithmetic is interpretable in ZF set theory is taken by philosophers as a reduction [Halbach]
     Full Idea: The observation that Peano arithmetic is relatively interpretable in ZF set theory is taken by many philosophers to be a reduction of numbers to sets.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 23)
     A reaction: Nice! Being able to express something in a different language is not the same as a reduction. Back to the drawing board. What do you really mean by a reduction? If we model something, we don't 'reduce' it to the model.
8. Modes of Existence / A. Relations / 3. Structural Relations
Plato's idea of 'structure' tends to be mathematically expressed [Plato, by Koslicki]
     Full Idea: 'Structure' tends to be characterized by Plato as something that is mathematically expressed.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects V.3 iv
     A reaction: [Koslicki is drawing on Verity Harte here]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
Platonists argue for the indivisible triangle-in-itself [Plato, by Aristotle]
     Full Idea: The Platonists, on the basis of purely logical arguments, posit the existence of an indivisible 'triangle in itself'.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 316a15
     A reaction: A helpful confirmation that geometrical figures really are among the Forms (bearing in mind that numbers are not, because they contain one another). What shape is the Form of the triangle?
When Diogenes said he could only see objects but not their forms, Plato said it was because he had eyes but no intellect [Plato, by Diog. Laertius]
     Full Idea: When Diogenes told Plato he saw tables and cups, but not 'tableness' and 'cupness', Plato replied that this was because Diogenes had eyes but no intellect.
     From: report of Plato (works [c.375 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 06.2.6
Plato's Forms meant that the sophists only taught the appearance of wisdom and virtue [Plato, by Nehamas]
     Full Idea: Plato's theory of Forms allowed him to claim that the sophists and other opponents were trapped in the world of appearance. What they therefore taught was only apparent wisdom and virtue.
     From: report of Plato (works [c.375 BCE]) by Alexander Nehamas - Eristic,Antilogic,Sophistic,Dialectic p.118
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
If there is one Form for both the Form and its participants, they must have something in common [Aristotle on Plato]
     Full Idea: If there is the same Form for the Forms and for their participants, then they must have something in common.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 991a
8. Modes of Existence / D. Universals / 6. Platonic Forms / c. Self-predication
If gods are like men, they are just eternal men; similarly, Forms must differ from particulars [Aristotle on Plato]
     Full Idea: We say there is the form of man, horse and health, but nothing else, making the same mistake as those who say that there are gods but that they are in the form of men. They just posit eternal men, and here we are not positing forms but eternal sensibles.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 997b
8. Modes of Existence / D. Universals / 6. Platonic Forms / d. Forms critiques
A Form is a cause of things only in the way that white mixed with white is a cause [Aristotle on Plato]
     Full Idea: A Form is a cause of things only in the way that white mixed with white is a cause.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 991a
The Forms cannot be changeless if they are in changing things [Aristotle on Plato]
     Full Idea: The Forms could not be changeless if they were in changing things.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 998a
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
The greatest discovery in human thought is Plato's discovery of abstract objects [Brown,JR on Plato]
     Full Idea: The greatest discovery in the history of human thought is Plato's discovery of abstract objects.
     From: comment on Plato (works [c.375 BCE]) by James Robert Brown - Philosophy of Mathematics Ch. 2
     A reaction: Compare Idea 2860! Given the diametrically opposed views, it is clearly likely that Plato's central view is the most important idea in the history of human thought, even if it is wrong.
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
We can grasp whole things in science, because they have a mathematics and a teleology [Plato, by Koslicki]
     Full Idea: Due to the mathematical nature of structure and the teleological cause underlying the creation of Platonic wholes, these wholes are intelligible, and are in fact the proper objects of science.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.3
     A reaction: I like this idea, because it pays attention to the connection between how we conceive objects to be, and how we are able to think about objects. Only examining these two together enables us to grasp metaphysics.
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
Plato sees an object's structure as expressible in mathematics [Plato, by Koslicki]
     Full Idea: The 'structure' of an object tends to be characterised by Plato as something that is mathematically expressible.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.3
     A reaction: This seems to be pure Pythagoreanism (see Idea 644). Plato is pursuing Pythagoras's research programme, of trying to find mathematics buried in every aspect of reality.
Plato was less concerned than Aristotle with the source of unity in a complex object [Plato, by Koslicki]
     Full Idea: Plato was less concerned than Aristotle with the project of how to account, in completely general terms, for the source of unity within a mereologically complex object.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.5
     A reaction: Plato seems to have simply asserted that some sort of harmony held things together. Aristotles puts the forms [eidos] within objects, rather than external, so he has to give a fuller account of what is going on in an object. He never managed it!
9. Objects / B. Unity of Objects / 2. Substance / c. Types of substance
Plato's holds that there are three substances: Forms, mathematical entities, and perceptible bodies [Plato, by Aristotle]
     Full Idea: Plato's doctrine was that the Forms and mathematicals are two substances and that the third substance is that of perceptible bodies.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Metaphysics 1028b
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Plato says wholes are either containers, or they're atomic, or they don't exist [Plato, by Koslicki]
     Full Idea: Plato considers a 'container' model for wholes (which are disjoint from their parts) [Parm 144e3-], and a 'nihilist' model, in which only wholes are mereological atoms, and a 'bare pluralities' view, in which wholes are not really one at all.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.2
     A reaction: [She cites Verity Harte for this analysis of Plato] The fourth, and best, seems to be that wholes are parts which fall under some unifying force or structure or principle.
9. Objects / D. Essence of Objects / 2. Types of Essence
Only universals have essence [Plato, by Politis]
     Full Idea: Plato argues that only universals have essence.
     From: report of Plato (works [c.375 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.4
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Plato and Aristotle take essence to make a thing what it is [Plato, by Politis]
     Full Idea: Plato and Aristotle have a shared general conception of essence: the essence of a thing is what that thing is simply in virtue of itself and in virtue of being the very thing it is. It answers the question 'What is this very thing?'
     From: report of Plato (works [c.375 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.4
10. Modality / A. Necessity / 2. Nature of Necessity
Maybe necessity is a predicate, not the usual operator, to make it more like truth [Halbach]
     Full Idea: Should necessity be treated as a predicate rather than (as in modal logic) as a sentential operator? It is odd to assign different status to necessity and truth, hampering their interaction. That all necessities are true can't be expressed by an operator.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 24.2)
     A reaction: [compressed] Halbach and Horsten consistently treat truth as a predicate, but maybe truth is an operator. Making necessity a predicate and not an operator would be a huge upheaval in the world of modal logic. Nice move!
14. Science / D. Explanation / 1. Explanation / b. Aims of explanation
A good explanation totally rules out the opposite explanation (so Forms are required) [Plato, by Ruben]
     Full Idea: For Plato, an acceptable explanation is one such that there is no possibility of there being the opposite explanation at all, and he thought that only explanations in terms of the Forms, but never physical explanations, could meet this requirement.
     From: report of Plato (works [c.375 BCE]) by David-Hillel Ruben - Explaining Explanation Ch 2
     A reaction: [Republic 436c is cited]
18. Thought / A. Modes of Thought / 3. Emotions / g. Controlling emotions
Plato wanted to somehow control and purify the passions [Vlastos on Plato]
     Full Idea: Plato put high on his agenda a project which did not figure in Socrates' programme at all: the hygienic conditioning of the passions. This cannot be an intellectual process, as argument cannot touch them.
     From: comment on Plato (works [c.375 BCE]) by Gregory Vlastos - Socrates: Ironist and Moral Philosopher p.88
     A reaction: This is the standard traditional view of any thinker who exaggerates the importance and potential of reason in our lives.
19. Language / D. Propositions / 4. Mental Propositions
We need propositions to ascribe the same beliefs to people with different languages [Halbach]
     Full Idea: Being able to ascribe the same proposition as a belief to persons who do not have a common language seems to be one of the main reasons to employ propositions.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 2)
     A reaction: Propositions concern beliefs, as well as sentence meanings. I would want to say that a dog and I could believe the same thing, and that is a non-linguistic reason to believe in propositions. Maybe 'translation' cuts out the proposition middleman?
19. Language / F. Communication / 1. Rhetoric
Plato's whole philosophy may be based on being duped by reification - a figure of speech [Benardete,JA on Plato]
     Full Idea: Plato is liable to the charge of having been duped by a figure of speech, albeit the most profound of all, the trope of reification.
     From: comment on Plato (works [c.375 BCE]) by José A. Benardete - Metaphysics: the logical approach Ch.12
     A reaction: That might be a plausible account if his view was ridiculous, but given how many powerful friends Plato has, especially in the philosophy of mathematics, we should assume he was cleverer than that.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / c. Ethical intuitionism
Plato never refers to examining the conscience [Plato, by Foucault]
     Full Idea: Plato never speaks of the examination of conscience - never!
     From: report of Plato (works [c.375 BCE]) by Michel Foucault - On the Genealogy of Ethics p.276
     A reaction: Plato does imply some sort of self-evident direct knowledge about that nature of a healthy soul. Presumably the full-blown concept of conscience is something given from outside, from God. In 'Euthyphro', Plato asserts the primacy of morality (Idea 337).
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
As religion and convention collapsed, Plato sought morals not just in knowledge, but in the soul [Williams,B on Plato]
     Full Idea: Once gods and fate and social expectation were no longer there, Plato felt it necessary to discover ethics inside human nature, not just as ethical knowledge (Socrates' view), but in the structure of the soul.
     From: comment on Plato (works [c.375 BCE]) by Bernard Williams - Shame and Necessity II - p.43
     A reaction: anti Charles Taylor
True goodness is political, and consists of love of and submission to the laws [Montesquieu]
     Full Idea: The good man is he whose goodness is not Christian, but rather political, in the sense I have given. Such a man loves the laws of his land and is moved to act by them.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], Intro)
     A reaction: I take this to have a lot in common with Aristotle, whose simple slogan for virtue I take to as 'be a good citizen'.
22. Metaethics / C. The Good / 1. Goodness / b. Types of good
Plato's legacy to European thought was the Good, the Beautiful and the True [Plato, by Gray]
     Full Idea: Plato's legacy to European thought was a trio of capital letters - the Good, the Beautiful and the True.
     From: report of Plato (works [c.375 BCE]) by John Gray - Straw Dogs 2.8
     A reaction: It seems to have been Baumgarten who turned this into a slogan (Idea 8117). Gray says these ideals are lethal, but I identify with them very strongly, and am quite happy to see the good life as an attempt to find the right balance between them.
22. Metaethics / C. The Good / 1. Goodness / f. Good as pleasure
Pleasure is better with the addition of intelligence, so pleasure is not the good [Plato, by Aristotle]
     Full Idea: Plato says the life of pleasure is more desirable with the addition of intelligence, and if the combination is better, pleasure is not the good.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Nicomachean Ethics 1172b27
     A reaction: It is obvious why we like pleasure, but not why intelligence makes it 'better'. Maybe it is just because we enjoy intelligence?
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
Plato decided that the virtuous and happy life was the philosophical life [Plato, by Nehamas]
     Full Idea: Plato came to the conclusion that virtue and happiness consist in the life of philosophy itself.
     From: report of Plato (works [c.375 BCE]) by Alexander Nehamas - Eristic,Antilogic,Sophistic,Dialectic p.117
     A reaction: This view is obviously ridiculous, because it largely excludes almost the entire human race, which sees philosophy as a cul-de-sac, even if it is good. But virtue and happiness need some serious thought.
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
Plato, unusually, said that theoretical and practical wisdom are inseparable [Plato, by Kraut]
     Full Idea: Two virtues that are ordinarily kept distinct - theoretical and practical wisdom - are joined by Plato; he thinks that neither one can be fully possessed unless it is combined with the other.
     From: report of Plato (works [c.375 BCE]) by Richard Kraut - Plato
     A reaction: I get the impression that this doctrine comes from Socrates, whose position is widely reported as 'intellectualist'. Aristotle certainly held the opposite view.
23. Ethics / F. Existentialism / 4. Boredom
Plato is boring [Nietzsche on Plato]
     Full Idea: Plato is boring.
     From: comment on Plato (works [c.375 BCE]) by Friedrich Nietzsche - Twilight of the Idols 9.2
24. Political Theory / A. Basis of a State / 1. A People / b. The natural life
Primitive people would be too vulnerable and timid to attack anyone, so peace would reign [Montesquieu]
     Full Idea: A being concerned only with preservation would be very timid. In such a state every man would feel himself an inferior; he could scarcely imagine himself an equal. No one would seek to attack anyone else; peace would be the first law of nature.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 01.02)
     A reaction: Exactly the idea that Rousseau took up, and they both attack Hobbes for describing a more advanced stage of society, instead of focusing on the original state. A solitary individual would be crazy to launch attacks on other individuals.
Men do not desire to subjugate one another; domination is a complex and advanced idea [Montesquieu]
     Full Idea: It is unreasonable to impute to men, as Hobbes does, the desire to subjugate one another. The idea of sovereignty [l'empire] and domination is so complex and depends on so many other ideas, that it could not be the first to occur to men.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 01.02)
24. Political Theory / A. Basis of a State / 1. A People / c. A unified people
People are drawn into society by needs, shared fears, pleasure, and knowledge [Montesquieu]
     Full Idea: To his sense of weakness, man would soon add his needs. Encouraged by indications that their fear was shared, men would soon come together. They would feel the pleasure (and sexual attraction) of their own species. Knowledge then draws them into society.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 01.02)
     A reaction: He doesn't make the point about 'knowledge' very clear.
People are guided by a multitude of influences, from which the spirit of a nation emerges [Montesquieu]
     Full Idea: Men are ruled by many causes: climate, religion, laws, maxims of government, examples drawn from the pasts, customs, manners. Out of them is formed the general spirit of a nation.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 19.04)
     A reaction: This is one step away from Rousseau's general will, which is an attempt to give precise expression to this 'spirit of a nation'.
24. Political Theory / A. Basis of a State / 2. Population / b. State population
In small republics citizens identify with the public good, and abuses are fewer [Montesquieu]
     Full Idea: In a small republic, the public good is more keenly felt, better known, closer to every citizen; abuses are spread less widely, and consequently, are less tolerated.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 08.16)
     A reaction: This idea of very small republics now seems outdated, but this idea still applies. Small states like the Baltic States (or Scotland?) have a better chance of the citizens identifying with the whole community.
In a large republic there is too much wealth for individuals to manage it [Montesquieu]
     Full Idea: In a large republic, there are large fortunes, and therefore but little moderation in the minds of men. its resources are too considerable to be entrusted to a citizen.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 08.16)
24. Political Theory / A. Basis of a State / 4. Original Position / b. Veil of ignorance
The rich would never submit to a lottery deciding which part of their society should be slaves [Montesquieu]
     Full Idea: I do not believe that anyone of [that small part of a nation that is rich and voluptuous] would submit to a lottery determining which part of the nation would be free, and which slave.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 15.09)
     A reaction: Wonderful! This is exactly Rawls's 'initial position' and 'veil of ignorance'. It is used here to deconstruct implausible arguments in favour of slavery.
24. Political Theory / B. Nature of a State / 1. Purpose of a State
All states aim at preservation, and then have distinctive individual purposes [Montesquieu]
     Full Idea: Although all states share the same general objective, to preserve themselves, each has its own particular purpose (such as aggrandisement, war, religion, commerce, tranquillity, navigation, liberty, pleasures of the ruler, glory, individual independence).
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 11.05)
     A reaction: [he gives examples for each of the list in brackets] I'm trying to think of the distinctive purpose of the UK, and can't get beyond sport, music gigs and comedy shows.
24. Political Theory / C. Ruling a State / 2. Leaders / a. Autocracy
The natural power of a father suggests rule by one person, but that authority can be spread [Montesquieu]
     Full Idea: Some have thought that because nature has established the power of the parent, the most natural government is that of a single person. But the example of paternal power proves nothing. The inheritance by a father's brothers would support rule by the many.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 01.03)
     A reaction: [last bit compressed] Locke pointed out that the mother has similar entitlement, and he and Rousseau agree in rejecting this idea.
24. Political Theory / C. Ruling a State / 2. Leaders / b. Monarchy
Monarchies can act more quickly, because one person is in charge [Montesquieu]
     Full Idea: Monarchical government has the great advantage that, since public business is guided by a single person, the executive power can operate more speedily.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 05.10)
     A reaction: Liberal democracies are particularly hopeless at quick action, because so many views have to be heard.
The nobility are an indispensable part of a monarchy [Montesquieu]
     Full Idea: In a sense, nobility is one part of the essence of monarchy, whose fundamenta maxim is: 'without a monarchy, no nobility; without a nobility, no monarchy'. There are, of course, despots, but they are something else.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 02.04)
     A reaction: Hence the worst vice associated with a monarchy is patronage, even when the monarch is weak and 'constitutional'.
Monarchs must not just have links to the people; they need a body which maintains the laws [Montesquieu]
     Full Idea: In a monarchy, it is not enough to have intermediary ranks; there must also be a body that is a depositary of laws. They must announce the laws when they are made, and recall them to the public's attention when they are forgotten.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 02.04)
     A reaction: This is the crucial difference between a monarch and a despot, because the monarch must be subservient to the law.
Ambition is good in a monarchy, because the monarch can always restrain it [Montesquieu]
     Full Idea: In a republic ambition is pernicious, but in a monarchy it has a good effect; it gives life to that type of government. Its advantage lies in that it is not dangerous, because a monarchy can continue to restrain it.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 03.07)
     A reaction: That is sometimes offered as a defence of the very weak British monarchy.
In monarchies, men's actions are judged by their grand appearance, not their virtues [Montesquieu]
     Full Idea: In monarchies, men's actions are judged, not by whether they are good, but whether they appear attractive [belles]; not by whether they are just, but whether they appear grand; not by whether they are reasonable, but by whether they appear extraordinary.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 04.02)
     A reaction: A person that comes to mind is the Duke of Buckingham under James I and Charles I. Or the Earl of Essex under Elizabeth I.
In a monarchy, the nobility must be hereditary, to bind them together [Montesquieu]
     Full Idea: In a monarchy, the laws must make the nobility hereditary, not to serve as the boundary between the power of the ruler and the weakness of the people, but as the tie that binds them together....
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 05.09)
     A reaction: This seems rather disingenuous. If the nobility are bound together in some tight manner, this immediately serves as a sharp boundary between them and the rest of the people. Monarchs are bound to want the strict boundary.
24. Political Theory / C. Ruling a State / 2. Leaders / c. Despotism
A despot's agents must be given power, so they inevitably become corrupt [Montesquieu]
     Full Idea: A government cannot be unjust without putting some power in the hands of its agents; it is impossible that they not profit from their position. Embezzlement is, therefore, natural to such governments.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 05.15)
Despotism and honour are incompatible, because honour scorns his power, and lives by rules [Montesquieu]
     Full Idea: How could a despot permit honour? Honour depends upon scorning life; the despot has power only because he can deprive men of life. How could honour tolerate the despot? Honour has fixed rules, ...but the despot has no rule.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 03.08)
     A reaction: The old German aristocracy seem to have been utterly alienated and isolated by the Nazi regime.
Tyranny is either real violence, or the imposition of unpopular legislation [Montesquieu]
     Full Idea: There are two sorts of tyranny: that which is real and consists of the violence of government; and the tyranny of opinion, when those who govern institute things contrary to a nation's mode of thought.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 19.03)
     A reaction: By this reckoning the abolition of the death penalty by the UK partliament was tyrannous, as it went against popular enthusiasm for it. Representative democracy is always in danger of drifting towards mild tyranny.
Despots are always lazy and ignorant, so they always delegate their power to a vizier [Montesquieu]
     Full Idea: Anyone whom his senses inform continually that he is everything, and others nothing, is naturally lazy, voluptuous, and ignorant. Hence the establishment of a vizier, with power the same as his own, is a law fundamental to a despotic state.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 02.05)
The will of a despot is an enigma, so magistrates can only follow their own will [Montesquieu]
     Full Idea: Under despotism, the law is nothing more than the will of the ruler. Even if the despot were wise, how could a magistrate follow a will unknown to him? He has no choice but to follow his own.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 05.16)
24. Political Theory / C. Ruling a State / 2. Leaders / d. Elites
If the nobility is numerous, the senate is the artistocracy, and the nobles are a democracy [Montesquieu]
     Full Idea: When the nobility is numerous, there must be a senate to regulate those matters which the body of nobles is incapable of deciding. Thus aristocracy of a kind resides in the senate, democracy in the body of nobles, while the people is nothing.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 02.03)
     A reaction: This presumes that the body of nobles elects the senate.
Aristocracy is democratic if they resemble the people, but not if they resemble the monarch [Montesquieu]
     Full Idea: Aristocratic families ought to be, as much as possible, members of the people. The more an aristocracy resembles a democracy, the more perfect it is; the more it resembles a monarchy, the more imperfect.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 02.03)
     A reaction: Aristocrats far from the big cities seem remarkably like the rest of the people. As soon as they approach the monarch's court, they aspire to dignity and power, and begin to spurn the citizens.
Great inequality between aristocrats and the rest is bad - and also among aristocrats themselves [Montesquieu]
     Full Idea: In aristocratic state there are two main sources of disorders: excessive inequality between those who govern and those who are governed, and the same degree of inequality among the different members of the ruling group [corps].
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 05.08)
     A reaction: This sounds like a very historically accurate observation, since aristocrats are always at one another's throats. But maybe junior aristocrats just need to be kept more firmly in their place.
24. Political Theory / C. Ruling a State / 3. Government / a. Government
If a government is to be preserved, it must first be loved [Montesquieu]
     Full Idea: Government is like everything else in this world: if it is to be preserved, it must first be loved.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 04.05)
     A reaction: Nice one! Right now there seems to be a declining love for representative democracy, even though almost everyone endorses it.
A government has a legislature, an international executive, and a domestic executive [Montesquieu]
     Full Idea: In every government there are three sorts of powers: the legislative; the executivem in regard to those matters determined by the laws of nations; and the executive, in regard to those matters determined by civil law.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 11.06)
24. Political Theory / C. Ruling a State / 3. Government / b. Legislature
The judiciary must be separate from the legislature, to avoid arbitrary power [Montesquieu]
     Full Idea: Were the judicial power joined to the legislative, the life and liberty of the citizens would be subject to arbitrary power. For the judge would then be the legislator.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 11.06)
     A reaction: This is the key 'separation of powers', which seems to be a mantra for nearly all theories of the state.
24. Political Theory / D. Ideologies / 5. Democracy / b. Consultation
The fundamental laws of a democracy decide who can vote [Montesquieu]
     Full Idea: The laws fundamental to a democracy are those that establish who is eligible to vote. (p.118 No less fundamental is the method of voting itself).
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 02.02)
     A reaction: Tricky groups now are teenagers, convicted criminals, people with damaged brains, and citizens who live abroad. Maybe people who evade paying tax should lose the right to vote.
It is basic to a democracy that the people themselves must name their ministers [Montesquieu]
     Full Idea: A democratic people may be said to have ministers only when these have been named by the people itself. Thus it is a maxim fundamental to this type of government that the people must name its ministers.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 02.02)
     A reaction: In the UK we don't do this. We elect local representatives, usually of a preferred party, and then they chose the ministers, and even the leader. The people who run our country are a long way from direct democracy.
Voting should be public, so the lower classes can be influenced by the example of notable people [Montesquieu]
     Full Idea: When the people votes it should do so in public. ...For it is necessary that the lower classes be enlightened by those of higher rank, that the precipitous qualities of the lower classes be held in check by the grave example of certain notables.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 02.02)
     A reaction: This sounds shocking to us, but the lower classes were largely illiterate. Nowadays we have television to tell us how the notables are going to vote, and the less notables seem to be increasingly unimpressed.
All citizens (apart from the very humble poor) should choose their representatives [Montesquieu]
     Full Idea: All citizens ought to have the right to choose their representatives by election. The only exception concerns those whose condition is so base that they are considered to have no will of their own.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 11.06)
     A reaction: This is an amazingly liberal view of the franchise for its time (though he may not be including women), but with a rather breathtaking coda! It may be hard for us now to grasp the very humble state of an illiterate peasant.
24. Political Theory / D. Ideologies / 5. Democracy / c. Direct democracy
In a democracy the people should manage themselves, and only delegate what they can't do [Montesquieu]
     Full Idea: In a democracy, the people, which holds the sovereign power, ought itself to do everything it can do well; that which it cannot do well must be done by its ministers.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 02.02)
     A reaction: This is just what you see when a group of residents manages their own building. Citizens in representative democracies become utterly lazy about running their society, so that they won't even pick up litter, or report communal problems.
A democratic assembly must have a fixed number, to see whether everyone has spoken [Montesquieu]
     Full Idea: It is essential to fix the number of citizens who can participate in assemblies. Otherwise it would be uncertain whether all the people had spoken, or only a part of it. At Sparta the number was fixed at ten thousand.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 02.02)
     A reaction: This looks like an immediate injustice to the citizen who came 10,001 in the rankings. 10,000 is just a smallish football crowd, so we could manage it today. We could pick the 10,000 by sortition (by lot). Most people are fairly sensible!
24. Political Theory / D. Ideologies / 5. Democracy / d. Representative democracy
If deputies represent people, they are accountable, but less so if they represent places [Montesquieu]
     Full Idea: When the deputies represent the body or estate of the people, as in Holland, they ought to be accountable to their constituents. When the deputies represent boroughs, as in England, the situation is not the same.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 11.06)
     A reaction: Not sure how this works. Modern UK MPs are accountable to the residents of their borough. Did the Dutch actually name the citizens that a deputy represented?
25. Social Practice / A. Freedoms / 1. Slavery
Slaves are not members of the society, so no law can forbid them to run away [Montesquieu]
     Full Idea: What civil law could prevent a slave from running away? Since he is not a member of society, why should the laws of society concern him?
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 15.02)
     A reaction: Hm. Does this apply to children, who can't vote or stand for office?
Slavery is entirely bad; the master abandons the virtues, and they are pointless in the slave [Montesquieu]
     Full Idea: There is nothing good about the nature of slavery. The slave can achieve nothing by being virtuous. The master acquires all sorts of bad habits, and is accustomed to behaving with a total lack of moral virtues.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 15.01)
     A reaction: Most slavery of that time took place in colonies, far remote from the moral judgments of the mother country. The temptations of such power over others are far too great for most masters to live virtuously.
The demand for slavery is just the masters' demand for luxury [Montesquieu]
     Full Idea: The demand for slavery is the demand for luxury and voluptuousness; it has nothing to do with concern for public felicity.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 15.09)
     A reaction: True monarchists and aristocratic elitists presumably think that a society should have one part which lives in great luxury. Where else are the fine arts and wonderful buildings going to come from?
25. Social Practice / A. Freedoms / 3. Free speech
Freedom of speech and writing, within the law, is essential to preserve liberty [Montesquieu]
     Full Idea: If a state is to enjoy and preserve liberty, everyone must be able to say what he thinks. In a free state, therefore, a citizen may speak and write anything not expressly forbidden by the laws.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 19.27)
     A reaction: A commonplace now, but fairly bold then. I blame Freeborn John Lilburne for wild ideas like these.
25. Social Practice / A. Freedoms / 5. Freedom of lifestyle
Freedom in society is ability to do what is right, and not having to do what is wrong [Montesquieu]
     Full Idea: In a society where laws exist, liberty can consist only in being able to do what one ought to will, and in not being contrained to do what one ought not to will. ...If a citizen could do what the law prohibits, all others would have the same power.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 11.03)
     A reaction: This sounds pretty quaint in 2017, but I love it.
25. Social Practice / B. Equalities / 1. Grounds of equality
No one even thinks of equality in monarchies and despotism; they all want superiority [Montesquieu]
     Full Idea: In monarchies and despotic states, no one aspires to equality. Not even the idea occurs; everyone aspires to superiority. People of the very lowest rank only wish to rise in order to become masters of others.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 05.04)
Equality is not command by everyone or no one, but command and obedience among equals [Montesquieu]
     Full Idea: The spirit of true equality consists, not in creating a situation in which everyone commands, or in which no one is commanded, but rather in obeying or commanding only our equals.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 08.03)
     A reaction: I love this idea, but it is so easy to feel superior when you command, or to feel inferior when you are commanded. I take the solution to be the appointment of everyone in authority by those they will command (but fat chance of that).
25. Social Practice / B. Equalities / 2. Political equality
Democracy is corrupted by lack of equality, or by extreme equality (between rulers and ruled) [Montesquieu]
     Full Idea: Democracy is corrupted in two ways: when it loses the spirit of equality, and when the spirit of equality becomes extreme, that is, when everyone wishes to be the equal of those he has chosen to command him.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 08.02)
     A reaction: The latter seems to be what happens when a referendum is called (as in Brexit 2016). The winners come to despise the elected representatives, if the latter disagree with the outcome.
25. Social Practice / B. Equalities / 4. Economic equality
Some equality can be achieved by social categories, combined with taxes and poor relief [Montesquieu]
     Full Idea: Equality is so difficult that exactitude is not possible. It is enough to place citizens by a census within categories that reduce or fix differences. Then laws compensate for inequalities by taxes on the rich and relief given to the poor.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 05.05)
     A reaction: [compressed] Placing citizens within categories (e.g. 'nobility') has long gone out of fashion. He doesn't say whether you tax the capital or the income of the rich.
Democracies may sometimes need to restrict equality [Montesquieu]
     Full Idea: In some cases, equality among citizens may be denied by democracy for the utility of democracy.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 05.05)
     A reaction: He cites people who make sacrifices for the public, and lower orders who are getting above themselves! The desire for equality quickly comes into conflict with other values.
25. Social Practice / D. Justice / 2. The Law / c. Natural law
Prior to positive laws there is natural equity, of obedience, gratitude, dependence and merit [Montesquieu]
     Full Idea: The relations of equity precede the positive laws that establish them. It is right to conform to laws in a society; intelligent beings should be grateful for benefits; we remain dependent on those who create us; an injury merits the same in return.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 01.01)
     A reaction: [the examples are compressed] A nice statement of the idea of natural law. It doesn't follow that because an injury merits retaliation, that it should be implemented (just that no one can complain if it happens).
Sensation gives animals natural laws, but knowledge can make them break them [Montesquieu]
     Full Idea: Animals have natural laws because they are united by sensation, ...but they do not invariably follow thieir natural laws; these are better observed by vegetables, which have neither knowledge nor sensation.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 01.02)
     A reaction: With the example of vegetables the concept of natural law is drifting into the laws of nature, and evidently Montesquie makes no sharp distinction here.
25. Social Practice / D. Justice / 3. Punishment / a. Right to punish
The death penalty is permissible, because its victims enjoyed the protection of that law [Montesquieu]
     Full Idea: It is permissible to put a criminal to death because the law that punishes him was made to protect him. For example, a murderer has enjoyed the benefits of the law by which he is condemned.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 15.02)
     A reaction: Dubious! We could add torture, and life imprisonment for parking offences, if this argument is sufficient justification.
If religion teaches determinism, penalties must be severe; if free will, then that is different [Montesquieu]
     Full Idea: When religion teaches that human actions are predetermined, penalties imposed by law ought to be more severe, for without these measures men would behave with complete abandon. If the dogma of religion is free will, the situation is altogether different.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 24.14)
     A reaction: Presumably persuasion and influence come into the free will picture. Calvinist Geneva was determinist, and Catholic France for free will.
25. Social Practice / E. Policies / 1. War / d. Non-combatants
The only right victors have over captives is the protection of the former [Montesquieu]
     Full Idea: War can confer only one right over captives, and that is to ensure that they no longer harm victors.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 15.02)
     A reaction: He is arguing against both the killing of captives, and their enslavement.
25. Social Practice / E. Policies / 2. Religion in Society
The clergy are essential to a monarchy, but dangerous in a republic [Montesquieu]
     Full Idea: The power of the clergy is as dangerous in a republic, as it is appropriate to a monarchy.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 02.04)
     A reaction: This makes me look at the UK in a new light, with the clergy hovering around when the monarch is crowned, and the bishops sitting by right in the House of Lords.
Religion has the most influence in despotic states, and reinforces veneration for the ruler [Montesquieu]
     Full Idea: In these [despotic] states, religion has more influence than anywhere else; it is fear added to fear. The peoples of the Mohammedan empires in part derive from their religion their extraordinary veneration for their rulers.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 05.14)
     A reaction: I suppose religions have submission to authority built into them.
Religion can support the state when the law fails to do so [Montesquieu]
     Full Idea: Religion can support the state when the laws themselves lack the power to do so.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 24.16)
     A reaction: A thought which didn't occur to Spinoza, but then the thought merely confirms that religion offers a rival to the rule of law.
French slavery was accepted because it was the best method of religious conversion [Montesquieu]
     Full Idea: Louis XIII was made extremely uneasy by the law that enslaved all the negroes in his colonies. But when told that this was the most efficacious way of converting them, he gave his consent.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 15.04)
     A reaction: That is a spectaculary bad advert for giving an established religion a leading role in society. It is relevant to the upbringing of children, as well as to slaves.
25. Social Practice / E. Policies / 5. Education / a. Aims of education
In monarchies education ennobles people, and in despotisms it debases them [Montesquieu]
     Full Idea: Just as the purpose of education in monarchies is to ennoble men's hearts, so its purpose in despotic states is to debase them. In despotic states education must be servile.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 04.03)
     A reaction: This is an early insight into the way that all social institutions, such as education, are largely pawns of a larger political system.
25. Social Practice / E. Policies / 5. Education / c. Teaching
Teaching is the best practice of the general virtue that leads us to love everyone [Montesquieu]
     Full Idea: It is when we instruct others that we can best practice that general virtue which teaches us to love everyone.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], Preface)
     A reaction: A very nice thought. One tricky issue is that some people dislike, and even resent, being taught. If we all just adored both teaching and learning, we would be in a sort of paradise, but it doesn't seem to happen.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
Laws are the necessary relations that derive from the nature of things [Montesquieu]
     Full Idea: Laws, in the broadest meaning of the term, are the necessary relations that derive from the nature of things.
     From: Baron de Montesquieu (The Spirit of the Laws (rev. 1757) [1748], 01.01)
     A reaction: Montesquieu is about to discuss social laws, but this is the clearest statement I have ever met of the essentialist view of the laws of nature.
27. Natural Reality / D. Time / 3. Parts of Time / a. Beginning of time
Almost everyone except Plato thinks that time could not have been generated [Plato, by Aristotle]
     Full Idea: With a single exception (Plato) everyone agrees about time - that it is not generated. Democritus says time is an obvious example of something not generated.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Physics 251b14