17 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. |
| 9155 | An a priori proof is independent of experience [Leibniz] |
| Full Idea: An a priori proof is a proof independent of experience. | |
| From: Gottfried Leibniz (Primary Truths [1686]) | |
| A reaction: Burge says Leibniz gave the first modern account of a priori knowledge. There may be no explicit reference to experience involved, but it would beg many questions to deny that implicit experience may be at the root of the proof. |
| 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. |
| 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? |