15 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. |
19718 | Indefeasibility does not imply infallibility [Grundmann] |
Full Idea: Infallibility does not follow from indefeasibility. | |
From: Thomas Grundmann (Defeasibility Theory [2011], 'Significance') | |
A reaction: If very little evidence exists then this could clearly be the case. It is especially true of historical and archaeological evidence. |
19717 | Can a defeater itself be defeated? [Grundmann] |
Full Idea: Can the original justification of a belief be regained through a successful defeat of a defeater? | |
From: Thomas Grundmann (Defeasibility Theory [2011], 'Defeater-Defs') | |
A reaction: [Jäger 2005 addresses this] I would have thought the answer is yes. I aspire to coherent justifications, so I don't see justifications as a chain of defeat and counter-defeat, but as collective groups of support and challenge. |
19716 | Simple reliabilism can't cope with defeaters of reliably produced beliefs [Grundmann] |
Full Idea: An unmodified reliabilism does not accommodate defeaters, and surely there can be defeaters against reliably produced beliefs? | |
From: Thomas Grundmann (Defeasibility Theory [2011], 'Defeaters') | |
A reaction: [He cites Bonjour 1980] Reliabilism has plenty of problems anyway, since a generally reliable process can obviously occasionally produce a bad result. 20:20 vision is not perfect vision. Internalist seem to like defeaters. |
19715 | You can 'rebut' previous beliefs, 'undercut' the power of evidence, or 'reason-defeat' the truth [Grundmann] |
Full Idea: There are 'rebutting' defeaters against the truth of a previously justified belief, 'undercutting' defeaters against the power of the evidence, and 'reason-defeating' defeaters against the truth of the reason for the belief. | |
From: Thomas Grundmann (Defeasibility Theory [2011], 'How') | |
A reaction: That is (I think) that you can defeat the background, the likelihood, or the truth. He cites Pollock 1986, and implies that these are standard distinctions about defeaters. |
19713 | Defeasibility theory needs to exclude defeaters which are true but misleading [Grundmann] |
Full Idea: Advocates of the defeasibility theory have tried to exclude true pieces of information that are misleading defeaters. | |
From: Thomas Grundmann (Defeasibility Theory [2011], 'What') | |
A reaction: He gives as an example the genuine news of a claim that the suspect has a twin. |
19714 | Knowledge requires that there are no facts which would defeat its justification [Grundmann] |
Full Idea: The 'defeasibility theory' of knowledge claims that knowledge is only present if there are no facts that - if they were known - would be genuine defeaters of the relevant justification. | |
From: Thomas Grundmann (Defeasibility Theory [2011], 'What') | |
A reaction: Something not right here. A genuine defeater would ensure the proposition was false, so it would simply fail the truth test. So we need a 'defeater' for a truth, which must therefore by definition be misleading. Many qualifications have to be invoked. |
19719 | 'Moderate' foundationalism has basic justification which is defeasible [Grundmann] |
Full Idea: Theories that combine basic justification with the defeasibility of this justification are referred to as 'moderate' foundationalism. | |
From: Thomas Grundmann (Defeasibility Theory [2011], 'Significance') | |
A reaction: I could be more sympathetic to this sort of foundationalism. But it begins to sound more like Neurath's boat (see Quine) than like Descartes' metaphor of building foundations. |
7518 | If folk psychology gives a network of causal laws, that fits neatly with functionalism [Churchland,PM] |
Full Idea: The portrait of folk psychology as a network of causal laws dovetailed neatly with the emerging philosophy of mind called functionalism. | |
From: Paul M. Churchland (Folk Psychology [1996], II) | |
A reaction: And from the lower levels functionalism is supported by the notion that the brain is modular. Note the word 'laws'; this implies an underlying precision in folk psychology, which is then easily attacked. Maybe the network is too complex for simple laws. |
7519 | Many mental phenomena are totally unexplained by folk psychology [Churchland,PM] |
Full Idea: Folk psychology fails utterly to explain a considerable variety of central psychological phenomena: mental illness, sleep, creativity, memory, intelligence differences, and many forms of learning, to cite just a few. | |
From: Paul M. Churchland (Folk Psychology [1996], III) | |
A reaction: If folk psychology is a theory, it will have been developed to predict behaviour, rather than as a full-blown psychological map. The odd thing is that some people seem to be very bad at folk psychology. |
7520 | Folk psychology never makes any progress, and is marginalised by modern science [Churchland,PM] |
Full Idea: Folk psychology has not progressed significantly in the last 2500 years; if anything, it has been steadily in retreat during this period; it does not integrate with modern science, and its emerging wallflower status bodes ill for its future. | |
From: Paul M. Churchland (Folk Psychology [1996], III) | |
A reaction: [compressed] However, while shares in alchemy and astrology have totally collapsed, folk psychology shows not the slightest sign of going away, and it is unclear how it ever could. See Idea 3177. |