8 ideas
| 17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
| Full Idea: The Löwenheim-Skolem theorem tells us that any theory with a true interpretation has a model in the natural numbers. | |
| From: Nicholas P. White (What Numbers Are [1974], V) |
| 17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
| Full Idea: Statements involving finite cardinalities can be made without treating numbers as objects at all, simply by using quantification and identity to define numerically definite quantifiers in the manner of Frege. | |
| From: Nicholas P. White (What Numbers Are [1974], IV) | |
| A reaction: [He adds Quine 1960:268 as a reference] |
| 8808 | Involuntary beliefs can still be evaluated [Feldman/Conee] |
| Full Idea: Examples confirm that beliefs may be both involuntary and subject to epistemic evaluation. | |
| From: R Feldman / E Conee (Evidentialism [1985], II) | |
| A reaction: This is an extremely important point, which summarises the situation with beliefs that arise from (apparent) immediate perception. A belief cannot possibly be knowledge if it has been triggered, but no effort was made to evaluate it. |
| 8807 | Evidentialism is the view that justification is determined by the quality of the evidence [Feldman/Conee] |
| Full Idea: What we call 'evidentialism' is the view that the epistemic justification of a belief is determined by the quality of the believer's evidence for the belief. | |
| From: R Feldman / E Conee (Evidentialism [1985], I) | |
| A reaction: The immediate question is whether the believer knows the quality of their evidence. A detective might not recognise the crucial clue (like the dog not barking). The definition of 'quality' had better not turn out to be circular. Forgotten evidence? |
| 8809 | Beliefs should fit evidence, and if you ought to believe it, then you are justified [Feldman/Conee] |
| Full Idea: One epistemically ought to have the doxastic attitudes that fit one's evidence. Being epistemically obligatory is equivalent to being epistemically justified. | |
| From: R Feldman / E Conee (Evidentialism [1985], III) | |
| A reaction: It is normal for someone to refuse to accept something, when another person believes the evidence is overwhelming. Evaluation of evidence must include an assessment of what other evidence might turn up. |
| 8810 | If someone rejects good criticism through arrogance, that is irrelevant to whether they have knowledge [Feldman/Conee] |
| Full Idea: If an arrogant young physicist refuses to recognise valid criticisms from a senior colleague, his or her character has nothing to do with the epistemic status of their belief in the theory. | |
| From: R Feldman / E Conee (Evidentialism [1985], III) | |
| A reaction: This rejects the idea that epistemic justification is essentially a matter of virtues and vices of character. That view is a version of reliabilism, and hence of externalism. I agree with the criticism, but epistemic virtues are still significant. |
| 9111 | God is not wise, but more-than-wise; God is not good, but more-than-good [William of Ockham] |
| Full Idea: God is not wise, but more-than-wise; God is not good, but more-than-good. | |
| From: William of Ockham (Reportatio [1330], III Q viii) | |
| A reaction: [He is quoting 'Damascene'] I quote this for interest, but I very much doubt whether Damascene or William knew what it meant, and I certainly don't. There seems to have been a politically correct desire to invent super-powers for God. |
| 9112 | We could never form a concept of God's wisdom if we couldn't abstract it from creatures [William of Ockham] |
| Full Idea: What we abstract is said to belong to perfection in so far as it can be predicated of God and can stand for Him. For if such a concept could not be abstracted from a creature, then in this life we could not arrive at a cognition of God's wisdom. | |
| From: William of Ockham (Reportatio [1330], III Q viii) | |
| A reaction: This seems to be the germ of an important argument. Without the ability to abstract from what is experienced, we would not be able to apply general concepts to things which are beyond experience. It is a key idea for empiricism. |