20 ideas
| 17884 | 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) |
| 17893 | '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) |
| 17894 | 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) |
| 17890 | 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] |
| 17887 | 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. |
| 17891 | 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) |
| 19712 | Maybe there is plain 'animal' knowledge, and clearly justified 'reflective' knowledge [Vahid] |
| Full Idea: There is a distinction between 'animal knowledge' (which requires only apt belief), and 'reflective knowledge' (requiring both apt and justified belief). | |
| From: Hamid Vahid (Externalism/Internalism [2011], 5) | |
| A reaction: [He cites Sosa 1991] My inclination (Idea 19711) was to think of knowledge as a continuum (possibly with a contextual component), and this distinction doesn't change my view, though it makes the point. |
| 19703 | Epistemic is normally marked out from moral or pragmatic justifications by its truth-goal [Vahid] |
| Full Idea: It is widely believed that epistemic justification is distinct from other species of justification such as moral or pragmatic justification in that it is intended to serve the so-called 'truth-goal'. | |
| From: Hamid Vahid (Externalism/Internalism [2011], 1) | |
| A reaction: Kvanvig explicitly argues against this view. He broadens the aims, but it strikes me that other aims are all intertwined with truth in some way, so I find this idea quite plausible. |
| 19705 | 'Mentalist' internalism seems to miss the main point, if it might not involve an agent's access [Vahid] |
| Full Idea: Since mentalism remains neutral on whether mental states need be accessible to an agent ...it does not seem to do justice to the intuitions that drive paradigm internalist positions. | |
| From: Hamid Vahid (Externalism/Internalism [2011], 2 A) | |
| A reaction: The rival view is 'access internalism', which implies that you can act on and take responsibility for your knowledge, because you are aware of its grounding. If animals know things, that might fit the mentalist picture better. |
| 19706 | Strong access internalism needs actual awareness; weak versions need possibility of access [Vahid] |
| Full Idea: A strong form of 'access internalism' is when an agent is required to be actually aware of the conditions that constitute justification; a weaker version loosens the accessibility condition, requiring only the ability to access the justification. | |
| From: Hamid Vahid (Externalism/Internalism [2011], 2 B) | |
| A reaction: The super strong version implies that you probably only know one thing at a time, so it must be nonsense. The weaker version has grey areas. I remember roughly the justification, but not the details. The justification is in my diary. Etc. |
| 19707 | Maybe we need access to our justification, and also to know why it justifies [Vahid] |
| Full Idea: Access internalism may also have a truth-conducive conception of justification, where one should not only know what one's reasons are, but also why one's beliefs are probable on one's reasons. | |
| From: Hamid Vahid (Externalism/Internalism [2011], 2 B) | |
| A reaction: [he cites Bonjour 1985] Sounds reasonable. It would seem odd if you had clear access to the reason, but didn't understand it, because you had just learned it by rote. |
| 19709 | Internalism in epistemology over-emphasises deliberation about beliefs [Vahid] |
| Full Idea: The internalist approach in epistemology seems to suggest an over-inellectualized and deliberative picture of our belief-forming activities. | |
| From: Hamid Vahid (Externalism/Internalism [2011], 2.2 B) | |
| A reaction: This strikes me as confused. The question is not how do I arrive at my beliefs but what justifies my believing them, and what justifies the beliefs in themselves? My head is full of daft beliefs produced by TV advertising. |
| 19704 | Externalism may imply that identical mental states might go with different justifications [Vahid] |
| Full Idea: According to the 'mentalist' version of internalism, an externalist is someone who maintains that two people can be in the same present mental states while one has a justified belief and the other does not. | |
| From: Hamid Vahid (Externalism/Internalism [2011], 2 A) | |
| A reaction: It seems an unlikely coincidence, that we have identical mental states, but your is (say) reliably created but mine isn't. Nevertheless this does seem to be an implication of externalism, though not a definition of it. |
| 19710 | With a counterfactual account of the causal theory, we get knowledge as tracking or sensitive to truth [Vahid] |
| Full Idea: The causal theory of justification was soon replaced by Nozick's construal of knowledge as counterfactually sensitive to its truth value (that is, it tracks truth). A counterfactual theory of causation connects this to the causal theory. | |
| From: Hamid Vahid (Externalism/Internalism [2011], 3) | |
| A reaction: This is presented as an externalist theory, close to the causal theory (and prior to the reliability theory). But how could you be 'sensitive' to a changing truth if the justification was all external? Externally supported beliefs seem ossified. |
| 19711 | Externalism makes the acquisition of knowledge too easy? [Vahid] |
| Full Idea: Internalists say that externalism is inadequate because it makes the obtaining of knowledge and justified beliefs too easy | |
| From: Hamid Vahid (Externalism/Internalism [2011], 4) | |
| A reaction: This looks like a key issue in epistemology. Do children and animals have lots of knowledge, which they soak up unthinkingly, or do only thinking adults really 'know' things? Why not have degrees of knowledge? |
| 15473 | How does anything get outside itself? [Fodor, by Martin,CB] |
| Full Idea: Fodor asks the stirring and basic question 'How does anything get outside itself?' | |
| From: report of Jerry A. Fodor (works [1986]) by C.B. Martin - The Mind in Nature 03.6 | |
| A reaction: Is this one of those misconceived questions, like major issues concerning 'what's it like to be?' In what sense am I outside myself? Is a mind any more mysterious than a shadow? |
| 2981 | Is intentionality outwardly folk psychology, inwardly mentalese? [Lyons on Fodor] |
| Full Idea: For Fodor the intentionality of the propositional-attitude vocabulary of our folk psychology is the outward expression of the inward intentionality of the language of the brain. | |
| From: comment on Jerry A. Fodor (works [1986]) by William Lyons - Approaches to Intentionality p.39 | |
| A reaction: I would be very cautious about this. Folk psychology works, so it must have a genuine basis in how brains work, but it breaks down in unusual situations, and might even be a total (successful) fiction. |
| 2985 | Are beliefs brains states, but picked out at a "higher level"? [Lyons on Fodor] |
| Full Idea: Fodor holds that beliefs are brain states or processes, but picked out at a 'higher' or 'special science' level. | |
| From: comment on Jerry A. Fodor (works [1986]) by William Lyons - Approaches to Intentionality p.82 | |
| A reaction: I don't think you can argue with this. Levels of physical description exist (e.g. pure physics tells you nothing about the weather), and I think 'process' is the best word for the mind (Idea 4931). |
| 3135 | Is thought a syntactic computation using representations? [Fodor, by Rey] |
| Full Idea: The modest mentalism of the Computational/Representational Theory of Thought (CRTT), associated with Fodor, says mental processes are computational, defined over syntactically specified entities, and these entities represent the world (are also semantic). | |
| From: report of Jerry A. Fodor (works [1986]) by Georges Rey - Contemporary Philosophy of Mind Int.3 | |
| A reaction: This seems to imply that if you built a machine that did all these things, it would become conscious, which sounds unlikely. Do footprints 'represent' feet, or does representation need prior consciousness? |
| 2983 | Maybe narrow content is physical, broad content less so [Lyons on Fodor] |
| Full Idea: Fodor is concerned with producing a realist and physicalist account of 'narrow content' (i.e. wholly in-the-head content). | |
| From: comment on Jerry A. Fodor (works [1986]) by William Lyons - Approaches to Intentionality p.54 | |
| A reaction: The emergence of 'wide' content has rather shaken Fodor's game plan. We can say "Oh dear, I thought I was referring to H2O", so there must be at least some narrow aspect to reference. |