Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Events and Their Names' and 'fragments/reports'

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


10 ideas

1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / c. Classical philosophy
Crates lived in poverty, and treated his whole life as a joke [Crates of Thebes, by Plutarch]
     Full Idea: Crates, with his bag and threadbare cloak, spent his whole life laughing and joking as though he were on holiday.
     From: report of Crates (Theb) (fragments/reports [c.325 BCE]) by Plutarch - 30: Quiet of Mind 266e
     A reaction: Crates sounds a little less alarming than Diogenes, while living a similar life. Was Crates the first ancestor of post-modernism?
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
Everyone should study philosophy until they see all people in the same light [Crates of Thebes, by Diog. Laertius]
     Full Idea: A man should study philosophy up to the point of looking on generals and donkey-drivers in the same light.
     From: report of Crates (Theb) (fragments/reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 06.Cr.9
     A reaction: This seems to reject Aristote's idea that some people are clearly superior to others.
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)
7. Existence / B. Change in Existence / 4. Events / c. Reduction of events
Events are made of other things, and are not fundamental to ontology [Bennett]
     Full Idea: Events are not basic items in the universe; they should not be included in any fundamental ontology...all the truths about them are entailed by and explained and made true by truths that do not involve the event concept.
     From: Jonathan Bennett (Events and Their Names [1988], p.12), quoted by Peter Simons - Events 3.1
     A reaction: Given the variable time spans of events, their ability to coincide, their ability to contain no motion, their blatantly conventional component, and their recalcitrance to individuation, I say Bennett is right.
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
Facts are about the world, not in it, so they can't cause anything [Bennett]
     Full Idea: Facts are not the sort of item that can cause anything. A fact is a true proposition (they say); it is not something in the world but is rather something about the world.
     From: Jonathan Bennett (Events and Their Names [1988], p.22), quoted by Jonathan Schaffer - The Metaphysics of Causation 1.1
     A reaction: Compare 10361. Good argument, but maybe 'fact' is ambiguous. See Idea 10365. Events are said to be more concrete, and so can do the job, but their individuation also seems to depend on a description (as Davidson has pointed out).