Combining Texts

All the ideas for 'fragments/reports', 'Equality' and 'Completeness of Axioms of Logic'

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


11 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]
     Full Idea: Gödel proved the completeness of first order predicate logic in his doctoral dissertation of 1930.
     From: report of Kurt Gödel (Completeness of Axioms of Logic [1930]) by Michal Walicki - Introduction to Mathematical Logic History E.2.2
23. Ethics / D. Deontological Ethics / 3. Universalisability
The general form of moral reasoning is putting yourself in other people's shoes [Nagel]
     Full Idea: I believe the general form of moral reasoning is to put yourself in other people's shoes.
     From: Thomas Nagel (Equality [1977], §9)
24. Political Theory / A. Basis of a State / 4. Original Position / c. Difference principle
An egalitarian system must give priority to those with the worst prospects in life [Nagel]
     Full Idea: What makes a system egalitarian is the priority it gives to the claims of those whose overall life prospects put them at the bottom.
     From: Thomas Nagel (Equality [1977], §6)
25. Social Practice / B. Equalities / 1. Grounds of equality
Equality was once opposed to aristocracy, but now it opposes public utility and individual rights [Nagel]
     Full Idea: Egalitarianism was once opposed to aristocratic values, but now it is opposed by adherents of two non-aristocratic values: utility (increase benefit, even if unequally) and individual rights (which redistribution violates).
     From: Thomas Nagel (Equality [1977], §2)
The ideal of acceptability to each individual underlies the appeal to equality [Nagel]
     Full Idea: The ideal of acceptability to each individual underlies the appeal to equality.
     From: Thomas Nagel (Equality [1977], §8)
In judging disputes, should we use one standard, or those of each individual? [Nagel]
     Full Idea: In assessing equality of claims, it must be decided whether to use a single, objective standard, or whether interests should be ranked by the person's own estimation. Also should they balance momentary or long-term needs?
     From: Thomas Nagel (Equality [1977], §6)
25. Social Practice / B. Equalities / 2. Political equality
Equality can either be defended as good for society, or as good for individual rights [Nagel]
     Full Idea: The communitarian defence of equality says it is good for society as a whole, whereas the individualistic defence defends equality as a correct distributive principle.
     From: Thomas Nagel (Equality [1977], §2)
Equality nowadays is seen as political, social, legal and economic [Nagel]
     Full Idea: Contemporary political debate recognises four types of equality: political, social, legal and economic.
     From: Thomas Nagel (Equality [1977], §1)
     A reaction: Meaning equality of 1) power and influence, 2) status and respect, 3) rights and justice, 4) wealth.
25. Social Practice / C. Rights / 1. Basis of Rights
A morality of rights is very minimal, leaving a lot of human life without restrictions or duties [Nagel]
     Full Idea: The morality of rights tends to be a limited, even minimal, morality. It leaves a great deal of human life ungoverned by moral restrictions or requirements.
     From: Thomas Nagel (Equality [1977], §5)
25. Social Practice / E. Policies / 5. Education / b. Education principles
Learned men gain more in one day than others do in a lifetime [Posidonius]
     Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes.
     From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078
     A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book.
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]
     Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness.
     From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42
     A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them.