25 ideas
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 7548 | Classes, grouped by a convenient property, are logical constructions [Russell] |
| Full Idea: Classes or series of particulars, collected together on account of some property which makes it convenient to be able to speak of them as wholes, are what I call logical constructions or symbolic fictions. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.125) | |
| A reaction: When does a construction become 'logical' instead of arbitrary? What is it about a property that makes it 'convenient'? At this point Russell seems to have built his ontology on classes, and the edifice was crumbling, thanks to Wittgenstein. |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 7545 | Visible things are physical and external, but only exist when viewed [Russell] |
| Full Idea: I believe that common sense is right in regarding what we see as physical and (in one of several possible senses) outside the mind, but is probably wrong in supposing that it continues to exist when we are no longer looking at it. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.123) | |
| A reaction: This remark (in 1915) is a bit startling from a philosopher well known for his robustly realist stance. Just one of his phases! It seems very counterintuitive - that objects really exist externally, but only when viewed. Schrödinger's Cat? |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 7549 | If my body literally lost its mind, the object seen when I see a flash would still exist [Russell] |
| Full Idea: My meaning may be made plainer by saying that if my body could remain in exactly the same state in which it is, though my mind had ceased to exist, precisely that object which I now see when I see a flash would exist, though I should not see it. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.126) | |
| A reaction: Zombies, 70 years before Robert Kirk! Sense-data are physical. It is interesting to see a philosopher as committed to empiricism, anti-spiritualism and the priority of science as this, still presenting an essentially dualist picture of perception. |
| 7553 | Sense-data are purely physical [Russell] |
| Full Idea: Sense-data are purely physical, and all that is mental in connection with them is our awareness of them. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.138) | |
| A reaction: Once this account of sense-data becomes fully clear, it also becomes apparent what a dualist theory it is. The mind is a cinema, I am the audience, and sense-data are the screen. There has to be a big logical gap between viewer and screen. |
| 7546 | A man is a succession of momentary men, bound by continuity and causation [Russell] |
| Full Idea: The real man, I believe, however the police may swear to his identity, is really a series of momentary men, each different one from the other, and bound together, not by a numerical identity, but by continuity and certain instrinsic causal laws. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.124) | |
| A reaction: This seems to be in the tradition of Locke and Parfit, and also follows the temporal-slices idea of physical objects. Personally I take a more physical view of things, and think the police are probably more reliable than Bertrand Russell. |
| 7550 | We could probably, in principle, infer minds from brains, and brains from minds [Russell] |
| Full Idea: It seems not improbable that if we had sufficient knowledge we could infer the state of a man's mind from the state of his brain, or the state of his brain from the state of his mind. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.131) | |
| A reaction: This strikes me as being a very good summary of the claim that mind is reducible to brain, which is the essence of physicalism. Had he been born a little later, Russell would have taken a harder line with physicalism. |
| 23438 | Full rationality must include morality [Foot] |
| Full Idea: You haven't got a full idea of rationality until you've got morality within it. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.35) | |
| A reaction: Does this mean that mathematical proofs are not rational, or that they are moral? |
| 23437 | Practical reason is goodness in choosing actions [Foot] |
| Full Idea: Practical rationality is goodness in respect of reason for actions, just as rationality of thinking is goodness in respect of beliefs. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.35) | |
| A reaction: It is very Greek to think that rationality involves goodness. There seems to be a purely instrumental form of practical reason that just gets from A to B, as when giving accurate street directions to someone. |
| 23436 | It is an odd Humean view to think a reason to act must always involve caring [Foot] |
| Full Idea: One would need a very special, very Humean, view about reasons for actions to think a man doesn't have a reason unless he cares. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.34-5) | |
| A reaction: She says she used to believe this, but was wrong. It is hard to imagine acting for reasons if they don't care about anything at all (even that it's their job). But then people just do care about things. |
| 23431 | Human defects are just like plant or animal defects [Foot] |
| Full Idea: We describe defects in human beings in the same way as we do defects in plants and animals. …You cannot talk about a river as being defective. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.33) | |
| A reaction: This is a much clearer commitment to naturalistic ethics than I have found in her more academic writings. My opinion of Foot (which was already high) went up when I read this interview. …She says vice is a defect of the will. |
| 23432 | Concepts such as function, welfare, flourishing and interests only apply to living things [Foot] |
| Full Idea: There are concepts which apply only to living things, considered in their own right, which would include function, welfare, flourishing, interests and the good of something. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.33) | |
| A reaction: This is a very Aristotelian view, with which I entirely agree. The central concept is function. |
| 23433 | Humans need courage like a plant needs roots [Foot] |
| Full Idea: A plant needs strong roots in the same way human beings need courage. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.33) | |
| A reaction: I'm not quite convince by the analogy, but I strongly agree with her basic approach. |
| 23434 | There is no fact-value gap in 'owls should see in the dark' [Foot] |
| Full Idea: If you say 'an owl should be able to see in the dark' …you're not going to think that there's a gap between facts and evaluation. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.33) | |
| A reaction: I take this to be a major and fundamental idea, which pinpoints the failure of Humeans to understand the world correctly. There is always total nihilism, of course, but that is a sort of blindness to how things are. Demanding 'proof' of values is crazy. |
| 23439 | Principles are not ultimate, but arise from the necessities of human life [Foot] |
| Full Idea: I don't believe in ultimate principles that must be simply affirmed or denied, but rather in an appeal to the necessities of human life. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], p.37) | |
| A reaction: I agree. Humans have a strong tendency to elevate anything which they consider important into an absolute (such as the value of life, or freedom). |
| 23435 | If you demonstrate the reason to act, there is no further question of 'why should I?' [Foot] |
| Full Idea: You lose the sense of 'should' if you go on saying 'why should I?' when you've finished the argument about what is rational to do, what you've got reason to do. | |
| From: Philippa Foot (Interview with Philippa Foot [2003], P.34) | |
| A reaction: Some people reify the concept of duty, so that they do what is required without caring about the reason. I suppose that would wither if they were shown that no reason exists. |
| 7551 | Matter is a logical construction [Russell] |
| Full Idea: We must regard matter as a logical construction. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.132) | |
| A reaction: A logical construction is a fancy way of saying a best explanation (but with Ockham's Razor hanging over it). A key component missing from Russell's account is that we can directly experience matter, because we are made of it. |
| 7547 | Matter requires a division into time-corpuscles as well as space-corpuscles [Russell] |
| Full Idea: A true theory of matter requires a division of things into time-corpuscles as well as space-corpuscles. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.125) | |
| A reaction: The division of matter in space seems decidable by physicists, but the division in time seems a bit arbitrary (unless it is quanta of time?). Russell focuses on observable qualities, but are there also intrinsic qualities? |
| 7552 | Six dimensions are needed for a particular, three within its own space, and three to locate that space [Russell] |
| Full Idea: The world of particulars is a six-dimensional space, where six co-ordinates will be required to assign the position of any particular, three to assign its position in its own space, and three to assign the position of its space among the other spaces. | |
| From: Bertrand Russell (The Ultimate Constituents of Matter [1915], p.134) | |
| A reaction: Not a proposal that has caught on. One might connect the idea with the notion of 'frames of reference' in Einstein's Special Theory. Inside a frame of reference, three co-ordinates are needed; but where is the frame of reference? |