Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'On the Genealogy of Ethics' and 'Tropes'

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


12 ideas

1. Philosophy / B. History of Ideas / 2. Ancient Thought
Early Greeks cared about city and companions; later Greeks concentrated on the self [Foucault]
     Full Idea: For early Greeks their techné for life was to take care of the city, of companions (see Plato's 'Alcibiades'). Taking care of yourself for its own sake starts with the Epicureans, and becomes very general in Seneca and Pliny.
     From: Michel Foucault (On the Genealogy of Ethics [1983], p.260)
     A reaction: In Aristotle the two strike me as ideally balanced - to become a wonderful citizen by looking after yourself. Presumably the destruction of the city-states by Alexander took away the motive, and the aim became more private.
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
     Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory.
     From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro)
'Reflection principles' say the whole truth about sets can't be captured [Koellner]
     Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level.
     From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1)
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
We have no argument to show a statement is absolutely undecidable [Koellner]
     Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable.
     From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3)
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
There are at least eleven types of large cardinal, of increasing logical strength [Koellner]
     Full Idea: Some of the standard large cardinals (in order of increasing (logical) strength) are: inaccessible, Mahlo, weakly compact, indescribable, Erdös, measurable, strong, Wodin, supercompact, huge etc. (...and ineffable).
     From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4)
     A reaction: [I don't understand how cardinals can have 'logical strength', but I pass it on anyway]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner]
     Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem].
     From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1)
     A reaction: Each expansion brings a limitation, but then you can expand again.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Arithmetical undecidability is always settled at the next stage up [Koellner]
     Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next.
     From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4)
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
We might treat both tropes and substances as fundamental, so we can't presume it is just tropes [Daly]
     Full Idea: Since C.B. Martin accepts both tropes and substances as fundamental, the claim that tropes are the only fundamental constituents is a further, independent claim.
     From: Chris Daly (Tropes [1995], §4)
     A reaction: A dubious mode of argument. Martin may only make the claim because he is ignorant, of facts or of language. Why are some tropes perfectly similar? Is it the result of something more fundamental?
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
More than one trope (even identical ones!) can occupy the same location [Daly]
     Full Idea: More than one trope can occupy the same spatio-temporal location, and it even seems possible for a pair of exactly resembling tropes to occupy the same spatio-temporal location.
     From: Chris Daly (Tropes [1995], §6)
     A reaction: This may be the strongest objection to tropes. Being disc-shaped and red would occupy the same location. Aristotle's example of mixing white with white (Idea 557) would be the second case. Individuation of these 'particulars' is the problem.
If tropes are linked by the existence of concurrence, a special relation is needed to link them all [Daly]
     Full Idea: To explain how tropes form bundles, concurrence relations are invoked. But tropes F and G and a concurrence relation C don't ensure that F stands in C to G. So trope theory needs 'instantiation' relations (special relational tropes) after all.
     From: Chris Daly (Tropes [1995], §7)
     A reaction: Campbell presents relations as 'second-order' items dependent on tropes (Idea 8525), but that seems unclear. Daly's argument resembles Russell's (which he likes), that some sort of universal is inescapable. It also resembles Bradley's regress (7966).
22. Metaethics / B. Value / 2. Values / h. Fine deeds
Why couldn't a person's life become a work of art? [Foucault]
     Full Idea: Couldn't everyone's life become a work of art? Why should the lamp or the house be an art object, but not our life?
     From: Michel Foucault (On the Genealogy of Ethics [1983], p.261)
     A reaction: This sounds wonderfully appealing until I try to think how I would implement it. The Augustine move, from sinner to saint, is a possibility, but there is nothing good about sin. The Christian ideal, of colossal self-sacrifice, can be very heroic.
22. Metaethics / C. The Good / 3. Pleasure / b. Types of pleasure
Greeks and early Christians were much more concerned about food than about sex [Foucault]
     Full Idea: It is interesting to see the very slow move from the privileging of food, which was overwhelming in Greece, to interest in sex. Early Christians (and rules for monks) were more concerned with food. Sex only dominates from the seventeenth century.
     From: Michel Foucault (On the Genealogy of Ethics [1983], p.253)
     A reaction: Certainly the Greeks were obsessed with food, and the Sicilian Greeks were notorious for their love of it. Is it simply that food becomes more plentiful, or does female freedom lead to more sex? Puritanism hates the greatest pleasures the most.