10 ideas
| 9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
| Full Idea: Logic is part of a normative theory of thinking, not a substitute for thinking. | |
| From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.13) | |
| A reaction: There is some sort of logicians' dream, going back to Leibniz, of a reasoning engine, which accepts propositions and outputs inferences. I agree with this idea. People who excel at logic are often, it seems to me, modest at philosophy. |
| 15567 | Some events involve no change; they must, because causal histories involve unchanges [Lewis] |
| Full Idea: Not all events involve change. We cannot afford to count the unchanges as nonevents, for the unchanges may be needed to complete causal histories. | |
| From: David Lewis (Events [1986], VI) | |
| A reaction: You end up calling non-changes 'events' if you commit to a simplistic theory that all causal histories consist of events. Why not allow conditions as well as events? Lewis concedes that he may be abusing language. |
| 15561 | The events that suit semantics may not be the events that suit causation [Lewis] |
| Full Idea: There is no guarantee that events made for semantics are the same as events that are causes and effects. | |
| From: David Lewis (Events [1986], I) | |
| A reaction: This little cri de couer could be a motto for a huge amount of analytic philosophy, which (for some odd reason) thought that mathematics, logic, set theory and formal semantics were good tools for explaining nature. |
| 15565 | Events have inbuilt essences, as necessary conditions for their occurrence [Lewis] |
| Full Idea: Events have their essences built in, in the form of necessary conditions for their occurrence. | |
| From: David Lewis (Events [1986], III) | |
| A reaction: Revealing. He thinks the essence of an event is something which precedes the event. I take it as obvious that if an event has an essence, it will be some features of the event that occur in it and during it. They need to be intrinsic. |
| 15566 | Events are classes, and so there is a mereology of their parts [Lewis] |
| Full Idea: If events are classes, as I propose, then they have a mereology in the way that all classes do: the parts of a class are its subclasses. | |
| From: David Lewis (Events [1986], V) | |
| A reaction: Lewis says events are properties, which he regards as classes. It is not clear that events are strictly mereological. Could one happening be two events? Is WWII a simple sum of its parts? [see p.260] |
| 15564 | An event is a property of a unique space-time region [Lewis] |
| Full Idea: I propose to identify an event with a property, or in other words with a class, a unique spatio-temporal region corresponding to where that event occurs. | |
| From: David Lewis (Events [1986], II) | |
| A reaction: [I've run together two separate bits, on p.244 and 245] Lewis cites Montague's similar view, that events are properties of times. |
| 15563 | Properties are very abundant (unlike universals), and are used for semantics and higher-order variables [Lewis] |
| Full Idea: Properties are abundant, numbering at least beth-3 for properties of individuals alone; they are suited to serve as semantic values of arbitrarily complex predicates and gerunds, and higher-order variables. (If there are universals, they are sparse). | |
| From: David Lewis (Events [1986], II n2) | |
| A reaction: To me this is an outrageous hijacking of the notion of property which is needed for explaining the natural world. He seems to be talking about predicates. He wants to leave me with his silly universals - well I don't want them, thank you. |
| 9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
| Full Idea: Vagueness in respect of membership is consistency with determinacy of the set's identity, so long as a set's identity is taken to consist, not in its having such-and-such members, but in its being the extension of a concept. | |
| From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.5) | |
| A reaction: I find this view of sets much more appealing than the one that identifies a set with its members. The empty set is less of a problem, as well as non-existents. Logicians prefer the extensional view because it is tidy. |
| 15562 | Causation is a general relation derived from instances of causal dependence [Lewis] |
| Full Idea: Causation is the ancestral of causal dependence: event c causes event e iff either e depends on c, or e depends on an intermediate event which in turn depends on c, or.... | |
| From: David Lewis (Events [1986], I) | |
| A reaction: This is Lewis making sure that we don't postulate some huge bogus thing called 'Causation' which is supposed to be in charge of Nature. Good point. |
| 16745 | No one even knows the nature and properties of a fly - why it has that colour, or so many feet [Bacon,R] |
| Full Idea: No one is so wise regarding the natural world as to know with certainty all the truths that concern the nature and properties of a single fly, or to know the proper causes of its color and why it has so many feet, neither more nor less. | |
| From: Roger Bacon (Opus Maius (major works) [1254], I.10), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 23.6 | |
| A reaction: Pasnau quotes this in the context of 'occult' qualities. It is scientific essentialism, because Bacon clearly takes it that the explanation of these things would be found within the essence of the fly, if we could only get at it. |