11 ideas
| 17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
| Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann. | |
| From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1 |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| Full Idea: It seems unavoidable that the facts about logically necessary relations between levels of facts are themselves logically distinct further facts, irreducible to the microphysical facts. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: I'm beginning to think that rejecting every theory of reality that is proposed by carefully exposing some infinite regress hidden in it is a rather lazy way to do philosophy. Almost as bad as rejecting anything if it can't be defined. |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| Full Idea: Logical supervenience, restricted to individuals, seems to imply strong reduction. It is said that where the B-facts logically supervene on the A-facts, the B-facts simply re-describe what the A-facts describe, and the B-facts come along 'for free'. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: This seems to be taking 'logically' to mean 'analytically'. Presumably an entailment is logically supervenient on its premisses, and may therefore be very revealing, even if some people think such things are analytic. |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| Full Idea: The root intuition behind nonreductive materialism is that reality is composed of ontologically distinct layers or levels. …The upper levels depend on the physical without reducing to it. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], B) | |
| A reaction: A nice clear statement of a view which I take to be false. This relationship is the sort of thing that drives people fishing for an account of it to use the word 'supervenience', which just says two things seem to hang out together. Fluffy materialism. |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| Full Idea: Jessica Wilson (1999) says what makes physicalist accounts different from emergentism etc. is that each individual causal power associated with a supervenient property is numerically identical with a causal power associated with its base property. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], n 11) | |
| A reaction: Hence the key thought in so-called (serious, rather than self-evident) 'emergentism' is so-called 'downward causation', which I take to be an idle daydream. |
| 19513 | A contextualist coherentist will say that how strongly a justification must cohere depends on context [DeRose] |
| Full Idea: If you are a coherentist and a contextualist, you'll probably want to hold that how strongly beliefs must cohere with one another in order to count as knowledge (if they are true), or to count as justified, is a contextually variable matter. | |
| From: Keith DeRose (The Case for Contextualism [2009], 1.09) | |
| A reaction: How exciting! He's talking about ME! Context might not only dictate the strength of the coherence, but also the range of beliefs involved. In fact all of Thagard's criteria of coherence may be subject to contextual variation. |
| 19514 | Classical invariantism combines fixed truth-conditions with variable assertability standards [DeRose] |
| Full Idea: The great rival to contextualism is classical 'invariantism' - invariantism about the truth-conditions [for knowing], combined with variable standards for warranted assertability. | |
| From: Keith DeRose (The Case for Contextualism [2009], 1.12) | |
| A reaction: That is, I take it, that we might want to assert that someone 'knows' something, when the truth is that they don't. That is, either you know or you don't, but we can bend the rules as to whether we say you know. I take this view to be false. |
| 19515 | We can make contextualism more precise, by specifying the discrimination needed each time [DeRose] |
| Full Idea: We might make the basic contextualist schema more precise ...by saying the change in content will consist in a change in the range of relevant alternatives. Higher standards would discriminate from a broader range of alternatives. | |
| From: Keith DeRose (The Case for Contextualism [2009], 1.14) | |
| A reaction: This would handle the 'fake barn' and 'disguised zebra' examples, by saying lower standards do not expect such discriminations. The zebra case has a lower standard than the barn case (because fake barns are the norm here). |
| 19510 | In some contexts there is little more to knowledge than true belief. [DeRose] |
| Full Idea: I'm inclined to accept that in certain contexts the standards for knowledge are so low that little more than true belief is required. | |
| From: Keith DeRose (The Case for Contextualism [2009], 1.6) | |
| A reaction: DeRose emphasises that 'a little more' is needed, rather than none. The example given is where 'he knew that p' means little more than 'the information that p was available to him' (in a political scandal). |
| 19516 | Contextualists worry about scepticism, but they should focus on the use of 'know' in ordinary speech [DeRose] |
| Full Idea: While skepticism has drawn much of the attention of contextualists, support for contextualism should also - and perhaps primarily - be looked for in how 'knows' is utilised in non-philosophical conversation. | |
| From: Keith DeRose (The Case for Contextualism [2009], 1016) | |
| A reaction: Contextualists say scepticism is just raising the standards absurdly high. I take it that the ordinary use of the word 'know' is obviously highly contextual, and so varied that I don't see how philosophers could 'regiment' it into invariant form. |
| 19511 | If contextualism is about knowledge attribution, rather than knowledge, then it is philosophy of language [DeRose] |
| Full Idea: Maybe contextualism isn't a theory about knowledge at all, but about knowledge attributions. As such, it is not a piece of epistemology at all, but of philosophy of language. | |
| From: Keith DeRose (The Case for Contextualism [2009], 1.7) | |
| A reaction: DeRose takes this view to be wrong. At the very least this will have to include self-attributions, by the supposed knower, because I might say 'I know that p', meaning 'but only in this rather low-standard context'. |