14 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. |
| 7630 | Ryle's dichotomy between knowing how and knowing that is too simplistic [Maund] |
| Full Idea: There is a convincing claim that we need to leave behind Ryle's dichotomy between knowing how and knowing that as being too simplistic. | |
| From: Barry Maund (Perception [2003], Ch. 2) | |
| A reaction: [John Campbell is mentioned as source of this idea] I find this proposal immediately appealing. I was taught that riding a bicycle shows the division, as hardly anyone knows the theory, but I am sure children need some propositional information. |
| 7632 | Perception is sensation-then-concept, or direct-concepts, or sensation-saturated-in-concepts [Maund] |
| Full Idea: Three forms of (cognitive) direct realism are: two stages - non-conceptual sensory experience, then a non-sensory conceptual state; directly acquiring non-sensuous conceptual states; and sensuous states saturated with concepts. | |
| From: Barry Maund (Perception [2003], Ch. 3) | |
| A reaction: [First: Reid, Dretske, Evans, Sellars. Second: Armstrong, Heil, Pitcher, Clark. Third: Kant, McDowell, Strawson, McGinn, Searle]. I find the first one plausible, because of the ambiguity in language, and because unusual experiences separate them. |
| 7635 | Sense-data have an epistemological purpose (foundations) and a metaphysical purpose (explanation) [Maund] |
| Full Idea: Sense-data have an epistemological purpose (to serve as foundations on which the edifice of knowledge is to be constructed), and a metaphysical purpose (to provide an accurate account of the phenomenology of perceptual experience). | |
| From: Barry Maund (Perception [2003], Ch. 6) | |
| A reaction: This is very important, because there is a real danger (e.g. in Russell) that the epistemological convenience of sense-data for giving reliability in knowledge means that we are too quick in making the assumption that they actually exist. |
| 7638 | One thesis says we are not aware of qualia, but only of objects and their qualities [Maund] |
| Full Idea: The representationalist/intentionalist thesis about perception is that we are not aware of the intrinsic qualities of experience in normal perception; we are instead aware of those objects and their qualities that are specified in the content. | |
| From: Barry Maund (Perception [2003], Ch. 9) | |
| A reaction: If secondary qualities are in the mind, not in objects, how come people always thought they were in objects? Answer: because this thesis is right? The primary mode of the mind is projected outwards, though we can introspect about colours. [Dretske] |
| 7642 | The Myth of the Given claims that thought is rationally supported by non-conceptual experiences [Maund] |
| Full Idea: The so-called 'myth of the given' is the view that conceptual content can be rationally supported by experiences construed as states with non-conceptual content. | |
| From: Barry Maund (Perception [2003], Ch.10) | |
| A reaction: The myth is attacked by Sellars and McDowell, the latter claiming that concepts must be embedded in the experiences. Maybe only realism is required to make the Given work. The experiences are definitely of something, and off we go... |
| 7640 | Mountains are adverbial modifications of the earth, but still have object-characteristics [Maund] |
| Full Idea: Metaphysically, mountains are only adverbial modifications of the Earth's belt. They have no existence independent of being part of the earth. Yet for all that, they have some rather strong 'object'-characteristics. | |
| From: Barry Maund (Perception [2003], Ch.10) | |
| A reaction: The point being that you don't give up all the advantages of a sense-data view if you switch to adverbialism. I'm not convinced by the analogy, but we can only be aware of adverbial qualities if they have causal powers. |
| 7641 | Adverbialism tries to avoid sense-data and preserve direct realism [Maund] |
| Full Idea: The two primary motivations of the adverbialist analysis are thought to be to avoid commitment to sensory particulars such as sense-data, and to allow us to hold on to a version of direct realism. | |
| From: Barry Maund (Perception [2003], Ch.10) | |
| A reaction: Maund says that the adverbialist's fears about indirect/representative theories are unfounded. My feeling is that neither account will do the job properly once we get a better account of consciousness. Maybe adverbialism is only for secondary qualities. |
| 7637 | Thought content is either satisfaction conditions, or exercise of concepts [Maund, by PG] |
| Full Idea: The content of thought can either be expressed as satisfaction conditions (e.g. truth-conditions for beliefs), or as the exercise of at least two concepts. | |
| From: report of Barry Maund (Perception [2003], Ch. 8) by PG - Db (ideas) | |
| A reaction: I think I favour the first view, because not all conjunctions of concepts would count as thoughts (e.g. rhubarb-plus-contradiction). A bunch of concepts becomes a thought when it connects in some way to reality? |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
| From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
| A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |