Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Review of Bob Hale's 'Abstract Objects'' and 'Perception'

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


16 ideas

1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
We can't presume that all interesting concepts can be analysed [Williamson]
     Full Idea: We have no prior reason to suppose that philosophically significant concepts have interesting analyses into necessary and sufficient conditions.
     From: Timothy Williamson (Review of Bob Hale's 'Abstract Objects' [1988])
     A reaction: We might think that they are either analysable or primitive, and that failure of analysis invites us to take a concept as primitive. But maybe God can analyse it and we can't.
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)
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
Platonism claims that some true assertions have singular terms denoting abstractions, so abstractions exist [Williamson]
     Full Idea: The Fregean argument for platonism is that some true assertions contain singular terms which denote abstract objects if they denote anything; since the assertions are true, the singular terms denote.
     From: Timothy Williamson (Review of Bob Hale's 'Abstract Objects' [1988])
     A reaction: I am perplexed that anyone would rest their view of reality on such an argument. The obvious comparison would be with true remarks about blatantly fictional characters, or blatantly invented concepts such as 'checkmate'.
11. Knowledge Aims / A. Knowledge / 6. Knowing How
Ryle's dichotomy between knowing how and knowing that is too simplistic [Maund]
     Full Idea: There is a convincing claim that we need to leave behind Ryle's dichotomy between knowing how and knowing that as being too simplistic.
     From: Barry Maund (Perception [2003], Ch. 2)
     A reaction: [John Campbell is mentioned as source of this idea] I find this proposal immediately appealing. I was taught that riding a bicycle shows the division, as hardly anyone knows the theory, but I am sure children need some propositional information.
12. Knowledge Sources / B. Perception / 1. Perception
Perception is sensation-then-concept, or direct-concepts, or sensation-saturated-in-concepts [Maund]
     Full Idea: Three forms of (cognitive) direct realism are: two stages - non-conceptual sensory experience, then a non-sensory conceptual state; directly acquiring non-sensuous conceptual states; and sensuous states saturated with concepts.
     From: Barry Maund (Perception [2003], Ch. 3)
     A reaction: [First: Reid, Dretske, Evans, Sellars. Second: Armstrong, Heil, Pitcher, Clark. Third: Kant, McDowell, Strawson, McGinn, Searle]. I find the first one plausible, because of the ambiguity in language, and because unusual experiences separate them.
12. Knowledge Sources / B. Perception / 4. Sense Data / a. Sense-data theory
Sense-data have an epistemological purpose (foundations) and a metaphysical purpose (explanation) [Maund]
     Full Idea: Sense-data have an epistemological purpose (to serve as foundations on which the edifice of knowledge is to be constructed), and a metaphysical purpose (to provide an accurate account of the phenomenology of perceptual experience).
     From: Barry Maund (Perception [2003], Ch. 6)
     A reaction: This is very important, because there is a real danger (e.g. in Russell) that the epistemological convenience of sense-data for giving reliability in knowledge means that we are too quick in making the assumption that they actually exist.
12. Knowledge Sources / B. Perception / 6. Inference in Perception
One thesis says we are not aware of qualia, but only of objects and their qualities [Maund]
     Full Idea: The representationalist/intentionalist thesis about perception is that we are not aware of the intrinsic qualities of experience in normal perception; we are instead aware of those objects and their qualities that are specified in the content.
     From: Barry Maund (Perception [2003], Ch. 9)
     A reaction: If secondary qualities are in the mind, not in objects, how come people always thought they were in objects? Answer: because this thesis is right? The primary mode of the mind is projected outwards, though we can introspect about colours. [Dretske]
The Myth of the Given claims that thought is rationally supported by non-conceptual experiences [Maund]
     Full Idea: The so-called 'myth of the given' is the view that conceptual content can be rationally supported by experiences construed as states with non-conceptual content.
     From: Barry Maund (Perception [2003], Ch.10)
     A reaction: The myth is attacked by Sellars and McDowell, the latter claiming that concepts must be embedded in the experiences. Maybe only realism is required to make the Given work. The experiences are definitely of something, and off we go...
12. Knowledge Sources / B. Perception / 8. Adverbial Theory
Mountains are adverbial modifications of the earth, but still have object-characteristics [Maund]
     Full Idea: Metaphysically, mountains are only adverbial modifications of the Earth's belt. They have no existence independent of being part of the earth. Yet for all that, they have some rather strong 'object'-characteristics.
     From: Barry Maund (Perception [2003], Ch.10)
     A reaction: The point being that you don't give up all the advantages of a sense-data view if you switch to adverbialism. I'm not convinced by the analogy, but we can only be aware of adverbial qualities if they have causal powers.
Adverbialism tries to avoid sense-data and preserve direct realism [Maund]
     Full Idea: The two primary motivations of the adverbialist analysis are thought to be to avoid commitment to sensory particulars such as sense-data, and to allow us to hold on to a version of direct realism.
     From: Barry Maund (Perception [2003], Ch.10)
     A reaction: Maund says that the adverbialist's fears about indirect/representative theories are unfounded. My feeling is that neither account will do the job properly once we get a better account of consciousness. Maybe adverbialism is only for secondary qualities.
18. Thought / C. Content / 1. Content
Thought content is either satisfaction conditions, or exercise of concepts [Maund, by PG]
     Full Idea: The content of thought can either be expressed as satisfaction conditions (e.g. truth-conditions for beliefs), or as the exercise of at least two concepts.
     From: report of Barry Maund (Perception [2003], Ch. 8) by PG - Db (ideas)
     A reaction: I think I favour the first view, because not all conjunctions of concepts would count as thoughts (e.g. rhubarb-plus-contradiction). A bunch of concepts becomes a thought when it connects in some way to reality?