27 ideas
| 10147 | The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman] |
| Full Idea: In 1938 Gödel proved that the Axiom of Choice is consistent with the other axioms of set theory. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
| A reaction: Hence people now standardly accept ZFC, rather than just ZF. |
| 10148 | Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman] |
| Full Idea: Zermelo's Axiom of Choice asserts that for any set of non-empty sets that (pairwise) have no elements in common, then there is a set that 'simultaneously chooses' exactly one element from each set. Note that this is an existential claim. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
| A reaction: The Axiom is now widely accepted, after much debate in the early years. Even critics of the Axiom turn out to be relying on it. |
| 10149 | Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman] |
| Full Idea: The Axiom of Choice seems clearly true from the Platonistic point of view, independently of how sets may be defined, but is rejected by those who think such existential claims must show how to pick out or define the object claimed to exist. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
| A reaction: The typical critics are likely to be intuitionists or formalists, who seek for both rigour and a plausible epistemology in our theory. |
| 10150 | The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman] |
| Full Idea: The Trichotomy Principle (any number is less, equal to, or greater than, another number) turned out to be equivalent to the Axiom of Choice. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
| A reaction: [He credits Sierpinski (1918) with this discovery] |
| 10146 | Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman] |
| Full Idea: The Axiom of Choice is a pure existence statement, without defining conditions. It was necessary to provide a foundation for Cantor's theory of transfinite cardinals and ordinal numbers, but its nonconstructive character engendered heated controversy. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) |
| 10158 | A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman] |
| Full Idea: A structure is said to be a 'model' of an axiom system if each of its axioms is true in the structure (e.g. Euclidean or non-Euclidean geometry). 'Model theory' concerns which structures are models of a given language and axiom system. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) | |
| A reaction: This strikes me as the most interesting aspect of mathematical logic, since it concerns the ways in which syntactic proof-systems actually connect with reality. Tarski is the central theoretician here, and his theory of truth is the key. |
| 10162 | Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman] |
| Full Idea: In the late 1950s Tarski and Vaught defined and established basic properties of the relation of elementary equivalence between two structures, which holds when they make true exactly the same first-order sentences. This is fundamental to model theory. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) | |
| A reaction: This is isomorphism, which clarifies what a model is by giving identity conditions between two models. Note that it is 'first-order', and presumably founded on classical logic. |
| 10160 | Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman] |
| Full Idea: The Löwenheim-Skolem Theorem, the earliest in model theory, states that if a countable set of sentences in a first-order language has a model, then it has a countable model. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) | |
| A reaction: There are 'upward' (sentences-to-model) and 'downward' (model-to-sentences) versions of the theory. |
| 10159 | Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman] |
| Full Idea: Before Tarski's work in the 1930s, the main results in model theory were the Löwenheim-Skolem Theorem, and Gödel's establishment in 1929 of the completeness of the axioms and rules for the classical first-order predicate (or quantificational) calculus. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) |
| 10161 | If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman] |
| Full Idea: Completeness is when, if a sentences holds in every model of a theory, then it is logically derivable from that theory. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) |
| 10156 | 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman] |
| Full Idea: 'Recursion theory' is the subject of what can and cannot be solved by computing machines | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Ch.9) | |
| A reaction: This because 'recursion' will grind out a result step-by-step, as long as the steps will 'halt' eventually. |
| 10155 | Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman] |
| Full Idea: In 1936 Church showed that Principia Mathematica is undecidable if it is ω-consistent, and a year later Rosser showed that Peano Arithmetic is undecidable, and any consistent extension of it. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int IV) |
| 1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
| Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature. | |
| From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8 |
| 23110 | Human injustice is not a permanent feature of communities [Rawls] |
| Full Idea: Men's propensity to injustice is not a permanent aspect of community life. | |
| From: John Rawls (A Theory of Justice [1972], p.245), quoted by John Kekes - Against Liberalism | |
| A reaction: This attitude is dismissed by Kekes, with some justification, as naïve optimism. What could be Rawls's grounds for making such a claim? It couldn't be the facts of human history. |
| 15676 | Rawls defends the priority of right over good [Rawls, by Finlayson] |
| Full Idea: Rawls defends the thesis of the priority of the right over the good. | |
| From: report of John Rawls (A Theory of Justice [1972]) by James Gordon Finlayson - Habermas Ch.7:100 | |
| A reaction: It depends whether you are talking about actions, or about states of affairs. I don't see how any state of affairs can be preferred to the good one. It may be that the highest duty of action is to do what is right, rather than to achieve what is good. |
| 4123 | A fair arrangement is one that parties can agree to without knowing how it will benefit them personally [Rawls, by Williams,B] |
| Full Idea: Rawls's theory is an elaboration of a simple idea: a fair system of arrangements is one that the parties can agree to without knowing how it will benefit them personally. | |
| From: report of John Rawls (A Theory of Justice [1972]) by Bernard Williams - Ethics and the Limits of Philosophy Ch.5 | |
| A reaction: The essence of modern Kantian contractualism. It is an appealing principle for building a rational world, but I hear Nietzsche turning in his grave. |
| 3279 | Utilitarianism inappropriately scales up the individual willingness to make sacrifices [Rawls, by Nagel] |
| Full Idea: Rawls claims that utilitarianism applies to the problem of many interests a method appropriate for one individual. A single person may accept disadvantages in exchange for benefits, but in society other people get the benefits. | |
| From: report of John Rawls (A Theory of Justice [1972], p.74,104) by Thomas Nagel - Equality §7 |
| 3280 | Why does the rational agreement of the 'Original Position' in Rawls make it right? [Nagel on Rawls] |
| Full Idea: Why does what it is rational to agree to in Rawls' 'Original Position' determine what is right? | |
| From: comment on John Rawls (A Theory of Justice [1972]) by Thomas Nagel - Equality §7 |
| 20552 | The original position models the idea that citizens start as free and equal [Rawls, by Swift] |
| Full Idea: The original position is presented by Rawls as modelling the sense in which citizens are to be understood as free and equal. | |
| From: report of John Rawls (A Theory of Justice [1972]) by Adam Swift - Political Philosophy (3rd ed) 3 'Strikes' | |
| A reaction: In other words, Rawls's philosophy is not a demonstration of why we should be liberals, but a guidebook for how liberals should go about organising society. |
| 18636 | Choose justice principles in ignorance of your own social situation [Rawls] |
| Full Idea: The principles of justice are chosen behind a veil of ignorance. ...Since all are similarly situated and no one is able to design principles to favor his particular condition, the principles of justice are the rest of a fair agreement or bargain. | |
| From: John Rawls (A Theory of Justice [1972], §03) | |
| A reaction: A famous idea. It tries to impose a Kantian impartiality onto the assessment of political principles. It is a beautifully simple idea, and saying that such impartiality never occurs is no objection to it. Think of a planet far far away. |
| 18631 | All desirable social features should be equal, unless inequality favours the disadvantaged [Rawls] |
| Full Idea: All social primary goods - liberty and opportunity, income and wealth, and the bases of self-respect - are to be distributed equally unless an unequal distribution of any or all of these goods is to the advantage of the least favoured. | |
| From: John Rawls (A Theory of Justice [1972], §46) | |
| A reaction: In the wholehearted capitalism of the 21st century this sounds like cloud-cuckoo land. As an 'initial position' (just as in the 'Republic') the clean slate brings out some interesting principles. Actual politics takes vested interests as axiomatic. |
| 20538 | Utilitarians lump persons together; Rawls somewhat separates them; Nozick wholly separates them [Swift on Rawls] |
| Full Idea: Rawls objects to utilitarianism because it fails to take seriously the separateness of persons (because there is no overall person to enjoy the overall happiness). But Nozick thinks Rawls does not take the separateness of persons seriously enough. | |
| From: comment on John Rawls (A Theory of Justice [1972]) by Adam Swift - Political Philosophy (3rd ed) 1 'Nozick' | |
| A reaction: In this sense, Nozick seems to fit our picture of a liberal more closely than Rawls does. I think they both exaggerate the separateness of persons, based on a false concept of human nature. |
| 9277 | Rawls's account of justice relies on conventional fairness, avoiding all moral controversy [Gray on Rawls] |
| Full Idea: Rawls's account of justice works only with widely accepted intuitions of fairness and relies at no point on controversial positions in ethics. The fruit of this modesty is a pious commentary on conventional moral beliefs. | |
| From: comment on John Rawls (A Theory of Justice [1972]) by John Gray - Straw Dogs 3.6 | |
| A reaction: Presumably this is the thought which provoked Nozick to lob his grenade on the subject. It resembles the charges of Schopenhauer and Nietzsche against Kant, that he was just dressing up conventional morality. Are 'controversial' ethics good? |
| 20527 | Liberty Principle: everyone has an equal right to liberties, if compatible with others' liberties [Rawls] |
| Full Idea: First Principle [Liberty]: Each person is to have an equal right to the most extensive total system of equal basic liberties compatible with a similar system of liberty for all. | |
| From: John Rawls (A Theory of Justice [1972], 46) | |
| A reaction: This is the result of consensus after the initial ignorant position of assessment. It is characteristic of liberalism. I'm struggling to think of a disagreement. |
| 21018 | The social contract has problems with future generations, national boundaries, disabilities and animals [Rawls, by Nussbaum] |
| Full Idea: Rawls saw four difficulties for justice in the social contract approach: future generations; justice across national boundaries; fair treatment of people with disabilities; and moral issues involving non-human animals. | |
| From: report of John Rawls (A Theory of Justice [1972]) by Martha Nussbaum - Creating Capabilities 4 | |
| A reaction: These are all classic examples of groups who do not have sufficient power to negotiate contracts. |
| 21041 | Justice concerns not natural distributions, or our born location, but what we do about them [Rawls] |
| Full Idea: The natural distribution is neither just nor unjust; nor is it unjust that persons are born into society at some particular position. These are simply natural facts. What is just and unjust is the way that institutions deal with these facts. | |
| From: John Rawls (A Theory of Justice [1972], 17) | |
| A reaction: Lovely quotation. There is no point in railing against the given, and that includes what is given by history, as well as what is given by nature. It comes down to intervening, in history and in nature. How much intervention will individuals tolerate? |
| 23583 | If an aggression is unjust, the constraints on how it is fought are much stricter [Rawls] |
| Full Idea: When a country's right to war is questionable and uncertain, the constraints on the means it can use are all the more severe. | |
| From: John Rawls (A Theory of Justice [1972], p.379), quoted by Michael Walzer - Just and Unjust Wars 14 | |
| A reaction: This is Rawls opposing the idea that combatants are moral equals. The restraints are, of course, moral. In practice aggressors are usually the worst behaved. |