18 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) |
| 19527 | We don't acquire evidence and then derive some knowledge, because evidence IS knowledge [Williamson] |
| Full Idea: When we acquire new evidence in perception, we do not first acquire unknown evidence and then somehow base knowledge on it later. Rather, acquiring new is evidence IS acquiring new knowledge. | |
| From: Timothy Williamson (Knowledge First (and reply) [2014], p.4) | |
| A reaction: This makes his point much better than Idea 19526 does. |
| 19528 | Knowledge is prior to believing, just as doing is prior to trying to do [Williamson] |
| Full Idea: Knowing corresponds to doing, believing to trying. Just as trying is naturally understood in relation to doing, so believing is naturally understood in relation to knowing. | |
| From: Timothy Williamson (Knowledge First (and reply) [2014], p.4) | |
| A reaction: An interesting analogy. You might infer that there can be no concept of 'belief' without the concept of 'knowledge', but we could say that it is 'truth' which is indispensible, and leave out knowledge entirely. Belief is to truth as trying is to doing? |
| 19529 | Belief explains justification, and knowledge explains belief, so knowledge explains justification [Williamson] |
| Full Idea: If justification is the fundamental epistemic norm of belief, and a belief ought to constitute knowledge, then justification should be understood in terms of knowledge too. | |
| From: Timothy Williamson (Knowledge First (and reply) [2014], p.5) | |
| A reaction: If we are looking for the primitive norm which motivates the whole epistemic game, then I am thinking that truth might well play that role better than knowledge. TW would have to reply that it is the 'grasped truth', rather than the 'theoretical truth'. |
| 19530 | A neutral state of experience, between error and knowledge, is not basic; the successful state is basic [Williamson] |
| Full Idea: A neutral state covering both perceiving and misperceiving (or remembering and misrembering) is not somehow more basic than perceiving, for what unifies the case of each neutral state is their relation to the successful state. | |
| From: Timothy Williamson (Knowledge First (and reply) [2014], p.5-6) | |
| A reaction: An alternative is Disjunctivism, which denies the existence of a single neutral state, so that there is nothing to unite the two states, and they don't have a dependence relation. Why can't there be a prior family of appearances, some of them successful? |
| 19531 | Internalism about mind is an obsolete view, and knowledge-first epistemology develops externalism [Williamson] |
| Full Idea: A postulated underlying layer of narrow mental states is a myth, whose plausibility derives from a comfortingly familiar but obsolescent philosophy of mind. Knowledge-first epistemology is a further step in the development of externalism. | |
| From: Timothy Williamson (Knowledge First (and reply) [2014], p.6) | |
| A reaction: Williamson is a real bruiser, isn't he? I don't take internalism about mind to be obsolescent at all, but now I feel so inferior for clinging to such an 'obsolescent' belief. ...But then I cling to Aristotle, who is (no doubt) an obsolete philosopher. |
| 19536 | Knowledge-first says your total evidence IS your knowledge [Williamson] |
| Full Idea: Knowledge-first equate one's total evidence with one's total knowledge. | |
| From: Timothy Williamson (Knowledge First (and reply) [2014], p.8) | |
| A reaction: Couldn't lots of evidence which merely had a high probability be combined together to give a state we would call 'knowledge'? Many dubious witnesses confirm the truth, as long as they are independent, and agree. |
| 19526 | Surely I am acquainted with physical objects, not with appearances? [Williamson] |
| Full Idea: When I ask myself what I am acquainted with, the physical objects in front of me are far more natural candidates than their appearances. | |
| From: Timothy Williamson (Knowledge First (and reply) [2014], p.3) | |
| A reaction: Not very impressive. The word 'acquainted' means the content of the experience, not the phenomena. Do I 'experience' the objects, or the appearances? The answer there is less obvious. If you apply it to colours, it is even less obvious. |
| 19534 | How does inferentialism distinguish the patterns of inference that are essential to meaning? [Williamson] |
| Full Idea: Inferentialism faces the grave problem of separating patterns of inference that are to count as essential to the meaning of an expression from those that will count as accidental (a form of the analytic/synthetic distinction). | |
| From: Timothy Williamson (Knowledge First (and reply) [2014], p.6) | |
| A reaction: This sounds like a rather persuasive objection to inferentialism, though I don't personally take that as a huge objection to all internalist semantics. |
| 19535 | Internalist inferentialism has trouble explaining how meaning and reference relate [Williamson] |
| Full Idea: The internalist version of inferentialist semantics has particular difficulty in establishing an adequate relation between meaning and reference. | |
| From: Timothy Williamson (Knowledge First (and reply) [2014], p.6) | |
| A reaction: I would have thought that this was a big problem for referentialist semantics too, though evidently Williamson doesn't think so. If he is saying that the meaning is in the external world, dream on. |
| 19533 | Inferentialist semantics relies on internal inference relations, not on external references [Williamson] |
| Full Idea: On internalist inferential (or conceptual role) semantics, the inferential relations of an expression do not depend on what, if anything, it refers to, ...rather, the meaning is something like its place in a web of inferential relations. | |
| From: Timothy Williamson (Knowledge First (and reply) [2014], p.6) | |
| A reaction: Williamson says the competition is between externalist truth-conditional referential semantics (which he favours), and this internalist inferential semantics. He is, like, an expert, of course, but I doubt whether that is the only internalist option. |
| 19532 | Truth-conditional referential semantics is externalist, referring to worldly items [Williamson] |
| Full Idea: Truth-conditional referential semantics is an externalist programme. In a context of utterance the atomic expressions of a language refer to worldly items, from which the truth-conditions of sentences are compositionally determined. | |
| From: Timothy Williamson (Knowledge First (and reply) [2014], p.6) | |
| A reaction: I just don't see how a physical object can be part of the contents of a sentence. 'Dragons fly' is atomic, and meaningful, but its reference fails. 'The cat is asleep' is just words - it doesn't contain a live animal. |
| 20565 | Men are created equal, and with certain inalienable rights [Jefferson] |
| Full Idea: We hold these Truths to be self-evident, that all Men are created equal, that they are endowed by their Creator with certain inalienable rights, that among these are Life, Liberty and the Pursuit of Happiness. | |
| From: Thomas Jefferson (U.S. Declaration of Independence [1775]), quoted by Johanna Oksala - Political Philosophy: all that matters Ch.4 | |
| A reaction: In the context, saying equality and rights are 'natural' is just a way of saying we will fight to the death to defend them. The big modern problem for the U.S. is that nominal equality before the law doesn't ensure equality in society. |