44 ideas
| 13520 | A 'tautology' must include connectives [Wolf,RS] |
| Full Idea: 'For every number x, x = x' is not a tautology, because it includes no connectives. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.2) |
| 13524 | Deduction Theorem: T∪{P}|-Q, then T|-(P→Q), which justifies Conditional Proof [Wolf,RS] |
| Full Idea: Deduction Theorem: If T ∪ {P} |- Q, then T |- (P → Q). This is the formal justification of the method of conditional proof (CPP). Its converse holds, and is essentially modus ponens. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.3) |
| 13522 | Universal Generalization: If we prove P(x) with no special assumptions, we can conclude ∀xP(x) [Wolf,RS] |
| Full Idea: Universal Generalization: If we can prove P(x), only assuming what sort of object x is, we may conclude ∀xP(x) for the same x. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.3) | |
| A reaction: This principle needs watching closely. If you pick one person in London, with no presuppositions, and it happens to be a woman, can you conclude that all the people in London are women? Fine in logic and mathematics, suspect in life. |
| 13521 | Universal Specification: ∀xP(x) implies P(t). True for all? Then true for an instance [Wolf,RS] |
| Full Idea: Universal Specification: from ∀xP(x) we may conclude P(t), where t is an appropriate term. If something is true for all members of a domain, then it is true for some particular one that we specify. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.3) |
| 13523 | Existential Generalization (or 'proof by example'): if we can say P(t), then we can say something is P [Wolf,RS] |
| Full Idea: Existential Generalization (or 'proof by example'): From P(t), where t is an appropriate term, we may conclude ∃xP(x). | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.3) | |
| A reaction: It is amazing how often this vacuous-sounding principles finds itself being employed in discussions of ontology, but I don't quite understand why. |
| 13529 | Empty Set: ∃x∀y ¬(y∈x). The unique empty set exists [Wolf,RS] |
| Full Idea: Empty Set Axiom: ∃x ∀y ¬ (y ∈ x). There is a set x which has no members (no y's). The empty set exists. There is a set with no members, and by extensionality this set is unique. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 2.3) | |
| A reaction: A bit bewildering for novices. It says there is a box with nothing in it, or a pair of curly brackets with nothing between them. It seems to be the key idea in set theory, because it asserts the idea of a set over and above any possible members. |
| 13526 | Comprehension Axiom: if a collection is clearly specified, it is a set [Wolf,RS] |
| Full Idea: The comprehension axiom says that any collection of objects that can be clearly specified can be considered to be a set. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 2.2) | |
| A reaction: This is virtually tautological, since I presume that 'clearly specified' means pinning down exact which items are the members, which is what a set is (by extensionality). The naïve version is, of course, not so hot. |
| 13534 | In first-order logic syntactic and semantic consequence (|- and |=) nicely coincide [Wolf,RS] |
| Full Idea: One of the most appealing features of first-order logic is that the two 'turnstiles' (the syntactic single |-, and the semantic double |=), which are the two reasonable notions of logical consequence, actually coincide. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.3) | |
| A reaction: In the excitement about the possibility of second-order logic, plural quantification etc., it seems easy to forget the virtues of the basic system that is the target of the rebellion. The issue is how much can be 'expressed' in first-order logic. |
| 13535 | First-order logic is weakly complete (valid sentences are provable); we can't prove every sentence or its negation [Wolf,RS] |
| Full Idea: The 'completeness' of first order-logic does not mean that every sentence or its negation is provable in first-order logic. We have instead the weaker result that every valid sentence is provable. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.3) | |
| A reaction: Peter Smith calls the stronger version 'negation completeness'. |
| 13519 | Model theory uses sets to show that mathematical deduction fits mathematical truth [Wolf,RS] |
| Full Idea: Model theory uses set theory to show that the theorem-proving power of the usual methods of deduction in mathematics corresponds perfectly to what must be true in actual mathematical structures. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], Pref) | |
| A reaction: That more or less says that model theory demonstrates the 'soundness' of mathematics (though normal arithmetic is famously not 'complete'). Of course, he says they 'correspond' to the truths, rather than entailing them. |
| 13531 | Model theory reveals the structures of mathematics [Wolf,RS] |
| Full Idea: Model theory helps one to understand what it takes to specify a mathematical structure uniquely. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.1) | |
| A reaction: Thus it is the development of model theory which has led to the 'structuralist' view of mathematics. |
| 13532 | Model theory 'structures' have a 'universe', some 'relations', some 'functions', and some 'constants' [Wolf,RS] |
| Full Idea: A 'structure' in model theory has a non-empty set, the 'universe', as domain of variables, a subset for each 'relation', some 'functions', and 'constants'. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.2) |
| 13533 | First-order model theory rests on completeness, compactness, and the Löwenheim-Skolem-Tarski theorem [Wolf,RS] |
| Full Idea: The three foundations of first-order model theory are the Completeness theorem, the Compactness theorem, and the Löwenheim-Skolem-Tarski theorem. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.3) | |
| A reaction: On p.180 he notes that Compactness and LST make no mention of |- and are purely semantic, where Completeness shows the equivalence of |- and |=. All three fail for second-order logic (p.223). |
| 13537 | An 'isomorphism' is a bijection that preserves all structural components [Wolf,RS] |
| Full Idea: An 'isomorphism' is a bijection between two sets that preserves all structural components. The interpretations of each constant symbol are mapped across, and functions map the relation and function symbols. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.4) |
| 13539 | The LST Theorem is a serious limitation of first-order logic [Wolf,RS] |
| Full Idea: The Löwenheim-Skolem-Tarski theorem demonstrates a serious limitation of first-order logic, and is one of primary reasons for considering stronger logics. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.7) |
| 13538 | If a theory is complete, only a more powerful language can strengthen it [Wolf,RS] |
| Full Idea: It is valuable to know that a theory is complete, because then we know it cannot be strengthened without passing to a more powerful language. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.5) |
| 13525 | Most deductive logic (unlike ordinary reasoning) is 'monotonic' - we don't retract after new givens [Wolf,RS] |
| Full Idea: Deductive logic, including first-order logic and other types of logic used in mathematics, is 'monotonic'. This means that we never retract a theorem on the basis of new givens. If T|-φ and T⊆SW, then S|-φ. Ordinary reasoning is nonmonotonic. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 1.7) | |
| A reaction: The classic example of nonmonotonic reasoning is the induction that 'all birds can fly', which is retracted when the bird turns out to be a penguin. He says nonmonotonic logic is a rich field in computer science. |
| 13530 | An ordinal is an equivalence class of well-orderings, or a transitive set whose members are transitive [Wolf,RS] |
| Full Idea: Less theoretically, an ordinal is an equivalence class of well-orderings. Formally, we say a set is 'transitive' if every member of it is a subset of it, and an ordinal is a transitive set, all of whose members are transitive. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], 2.4) | |
| A reaction: He glosses 'transitive' as 'every member of a member of it is a member of it'. So it's membership all the way down. This is the von Neumann rather than the Zermelo approach (which is based on singletons). |
| 13518 | Modern mathematics has unified all of its objects within set theory [Wolf,RS] |
| Full Idea: One of the great achievements of modern mathematics has been the unification of its many types of objects. It began with showing geometric objects numerically or algebraically, and culminated with set theory representing all the normal objects. | |
| From: Robert S. Wolf (A Tour through Mathematical Logic [2005], Pref) | |
| A reaction: His use of the word 'object' begs all sorts of questions, if you are arriving from the street, where an object is something which can cause a bruise - but get used to it, because the word 'object' has been borrowed for new uses. |
| 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. |
| 21051 | Check your rationality by thinking of your opinion pronounced by the supreme court [Rawls] |
| Full Idea: To check whether we are following public reason we might ask: how would our argument strike us presented in the form of a supreme court opinion? | |
| From: John Rawls (Political Liberalism [1993], p.254), quoted by Michael J. Sandel - Justice: What's the right thing to do? 10 | |
| A reaction: A very nice practical implementation of Kantian universalisability. How would your opinion sound if it were written into a constitution? |
| 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 |
| 22406 | The maximisation of happiness must be done fairly [Rawls, by Smart] |
| Full Idea: Rawls has suggested that we should maximise the general happiness only if we do so in a fair way. | |
| From: report of John Rawls (Justice as fairness: Political not Metaphysical [1958]) by J.J.C. Smart - Outline of a System of Utilitarianism 6 | |
| A reaction: Rawls is usually seen as an opponent of utilitarianism, but if we allow a few supplementary rules we can improve the theory. After all, it has a meta-rule that 'everybody counts as one'. What other supplementary values can there be? Honesty? |
| 21137 | Rawls rejected cosmopolitanism because it doesn't respect the autonomy of 'peoples' [Rawls, by Shorten] |
| Full Idea: Rawls rejected the cosmopolitan extension of his theory because he thought it failed to respect the political autonomy of 'peoples', which was his term of art for societies or political communities. | |
| From: report of John Rawls (The Law of Peoples [1999], p.115-8) by Andrew Shorten - Contemporary Political Theory 09 | |
| A reaction: Interesting that you might well start with the concept of 'a people', prior to some sort of social contract, but end up with rather alarming conflicts or indifference between rival peoples. Why should my people help in the famine next door? |
| 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. |
| 21119 | Power is only legitimate if it is reasonable for free equal citizens to endorse the constitution [Rawls] |
| Full Idea: Exercise of political power is fully proper only when it is exercised in accordance with a constitution the essentials of which all citizens as free and equal may reasonably be expected to endorse in light of principles and ideals acceptable to reason. | |
| From: John Rawls (Political Liberalism [1993], p.217), quoted by Andrew Shorten - Contemporary Political Theory 02 | |
| A reaction: This is not the actual endorsement of Rousseau, or the tacit endorsement of Locke (by living there), but adds a Kantian appeal to a rational consensus, on which rational people should converge. Very Enlightenment. 'Hypothetical consent'. |
| 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? |
| 23420 | In a pluralist society we can't expect a community united around one conception of the good [Rawls] |
| Full Idea: The fact of pluralism means that the hope of political community must be abandoned, if by such a community we mean a political society united in affirming a general and comprehensive conception of the good. | |
| From: John Rawls (The Idea of Overlapping Consensus [1987]), quoted by Will Kymlicka - Community 'legitimacy' | |
| A reaction: A moderate pluralism might be manageable, but strong, diverse and dogmatic beliefs among sub-groups probably make it impossible. |
| 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. |
| 7602 | In the Bible God changes his mind (repenting of creating humanity, in the Flood) [Armstrong,K] |
| Full Idea: In the Bible God changes his mind, as when he repents of having made man and decides to destroy the human race in the Flood. | |
| From: Karen Armstrong (A History of God [1993], Ch.1) | |
| A reaction: It becomes apparent that the most startling feature of Christian fundamentalism is its uncritical reading of the Bible, in which passages are wilfully lifted from context, and inconvenient inconsistencies are ruthlessly ignored. |
| 7605 | Monotheism introduced intolerance into religious thinking [Armstrong,K] |
| Full Idea: We have become so used to the intolerance of monotheism that we may not appreciate that its hostility towards other gods was a new religious attitude; paganism was an essentially tolerant faith. | |
| From: Karen Armstrong (A History of God [1993], Ch.2) | |
| A reaction: The comedian Dave Allen always signed off with "may your god go with you". To me the most striking feature of monotheists is frequently their barely controlled aggression, beneath a mask of strained compassion. |
| 7599 | Around 800 BCE teachers superseded gods in India [Armstrong,K] |
| Full Idea: Around the eighth century BCE the gods ceased to be very important in India, and would be superseded by the religious teacher, who would be considered higher than the gods. | |
| From: Karen Armstrong (A History of God [1993], Ch.1) | |
| A reaction: At least there has been one culture that gave an appropriate status to teachers. It seems astonishing in that age that human beings could have higher status than gods - way before the European 'humanists'. |
| 7597 | There is virtually no sign of monotheism in the Pentateuch [Armstrong,K] |
| Full Idea: It is very difficult to find a single monotheistic statement in the whole of the Pentateuch, and even the Ten Commandments take the existence of other gods for granted ("There shall be no strange gods for you before my face"). | |
| From: Karen Armstrong (A History of God [1993], Ch.1) | |
| A reaction: The transition from polytheism to monotheism is very strange. First God is 'jealous' of other gods, then supremely above them, and eventually totally exclusive. It's like watching the rise of Stalin. |
| 7606 | The idea that Jesus was God was only settled in the fourth century [Armstrong,K] |
| Full Idea: Jesus himself certainly never claimed to be God, and the doctrine that Jesus had been God in human form was not finalised until the fourth century. | |
| From: Karen Armstrong (A History of God [1993], Ch.3) | |
| A reaction: It was this final view which seems to have provoked Muhammed into developing a religion with the slogan "there is only one God". In Christianity an initially promising set of teachings grew into a prolonged irrational hysteria. |
| 7596 | Faith is not just belief in propositions, but also putting trust in them [Armstrong,K] |
| Full Idea: There is a distinction between belief in a set of propositions and a faith which enables us to put our trust in them. | |
| From: Karen Armstrong (A History of God [1993], Intro) | |
| A reaction: This is interestingly distinct from the usual idea that faith is putting belief in propositions which are not sufficiently rationally justified. How many philosophers actually have faith in the propositions they say they believe? |