13 ideas
| 21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
| Full Idea: By a 'propositional function' I mean something which contains a variable x, and expresses a proposition as soon as a value is assigned to x. That is to say, it differs from a proposition solely by the fact that it is ambiguous. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.216) | |
| A reaction: This is Frege's notion of a 'concept', as an assertion of a predicate which still lacks a subject. |
| 21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
| Full Idea: Such a proposition as 'all the judgements made by Epimenedes are true' will only be prima facie capable of truth if all his judgements are of the same order. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.227) | |
| A reaction: This is an attempt to use his theory of types to solve the Liar. Tarski's invocation of a meta-language is clearly in the same territory. |
| 23457 | Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell] |
| Full Idea: Russell's theory of types meant that features common to different levels of the hierarchy became uncapturable (since any attempt to capture them would involve a predicate which disobeyed the hierarchy restrictions). | |
| From: comment on Bertrand Russell (The Theory of Logical Types [1910]) by Michael Morris - Guidebook to Wittgenstein's Tractatus 2H | |
| A reaction: I'm not clear whether this is the main reason why type theory was abandoned. Ramsey was an important critic. |
| 21556 | Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey] |
| Full Idea: In Russell's mature 1910 theory of types classes are defined in terms of propositional functions, and functions themselves are regimented by a ramified theory of types mitigated by the axiom of reducibility. | |
| From: report of Bertrand Russell (The Theory of Logical Types [1910]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.133 |
| 21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |
| Full Idea: We will define a function of one variable as 'predicative' when it is of the next order above that of its arguments, i.e. of the lowest order compatible with its having an argument. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.237) | |
| A reaction: 'Predicative' just means it produces a set. This is Russell's strict restriction on which functions are predicative. |
| 6871 | We can't only believe things if we are currently conscious of their justification - there are too many [Goldman] |
| Full Idea: Strong internalism says only current conscious states can justify beliefs, but this has the problem of Stored Beliefs, that most of our beliefs are stored in memory, and one's conscious state includes nothing that justifies them. | |
| From: Alvin I. Goldman (Internalism Exposed [1999], §2) | |
| A reaction: This point seems obviously correct, but one could still have a 'fairly strong' version, which required that you could always call into consciousness the justificiation for any belief that you happened to remember. |
| 6872 | Internalism must cover Forgotten Evidence, which is no longer retrievable from memory [Goldman] |
| Full Idea: Even weak internalism has the problem of Forgotten Evidence; the agent once had adequate evidence that she subsequently forgot; at the time of epistemic appraisal, she no longer has adequate evidence that is retrievable from memory. | |
| From: Alvin I. Goldman (Internalism Exposed [1999], §3) | |
| A reaction: This is certainly a basic problem for any account of justification. It will rule out any strict requirement that there be actual mental states available to support a belief. Internalism may be pushed to include non-conscious parts of the mind. |
| 6874 | Internal justification needs both mental stability and time to compute coherence [Goldman] |
| Full Idea: The problem for internalists of Doxastic Decision Interval says internal justification must avoid mental change to preserve the justification status, but must also allow enough time to compute the formal relations between beliefs. | |
| From: Alvin I. Goldman (Internalism Exposed [1999], §4) | |
| A reaction: The word 'compute' implies a rather odd model of assessing coherence, which seems instantaneous for most of us where everyday beliefs are concerned. In real mental life this does not strike me as a problem. |
| 6873 | Coherent justification seems to require retrieving all our beliefs simultaneously [Goldman] |
| Full Idea: The problem of Concurrent Retrieval is a problem for internalism, notably coherentism, because an agent could ascertain coherence of her entire corpus only by concurrently retrieving all of her stored beliefs. | |
| From: Alvin I. Goldman (Internalism Exposed [1999], §3) | |
| A reaction: Sounds neat, but not very convincing. Goldman is relying on scepticism about short-term memory, but all belief and knowledge will collapse if we go down that road. We couldn't do simple arithmetic if Goldman's point were right. |
| 6875 | Reliability involves truth, and truth is external [Goldman] |
| Full Idea: Reliability involves truth, and truth (on the usual assumption) is external. | |
| From: Alvin I. Goldman (Internalism Exposed [1999], §6) | |
| A reaction: As an argument for externalism this seems bogus. I am not sure that truth is either 'internal' or 'external'. How could the truth of 3+2=5 be external? Facts are mostly external, but I take truth to be a relation between internal and external. |
| 23279 | It is important that a person can change their character, and not just be successive 'selves' [Williams,B] |
| Full Idea: I want to emphasise the basic importance of the ordinary idea of a self or person which undergoes changes of character, as opposed to dissolving a changing person into a series of 'selves'. | |
| From: Bernard Williams (Persons, Character and Morality [1976], II) | |
| A reaction: [compressed] He mentions Derek Parfit for the rival view. Williams has the Aristotelian view, that a person has an essential nature, which endures through change, and explains that change. But that needs some non-essential character traits. |
| 23280 | Kantians have an poor account of individuals, and insist on impartiality, because they ignore character [Williams,B] |
| Full Idea: The Kantians' omission of character is a condition of their ultimate insistence on the demands of impartial morality, just as it is a reason to find inadequate their account of the individual. | |
| From: Bernard Williams (Persons, Character and Morality [1976], II) | |
| A reaction: This is also why the Kantian account of virtue is inadequate, in comparison with the Aristotelian view. |
| 23278 | For utilitarians states of affairs are what have value, not matter who produced them [Williams,B] |
| Full Idea: The basic bearer of value for Utilitarianism is the state of affairs, and hence, when the relevant causal differences have been allowed for, it cannot make any further difference who produces a given state of affairs. | |
| From: Bernard Williams (Persons, Character and Morality [1976], I) | |
| A reaction: Which is morally better, that I water your bed of flowers, or that it rains? Which is morally better, that I water them from love, or because you threaten me with a whip? |