15 ideas
| 10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W] |
| Full Idea: A logic is a collection of closely related artificial languages, and its older meaning is the study of the rules of sound argument. The languages can be used as a framework for studying rules of argument. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.1) | |
| A reaction: [Hodges then says he will stick to the languages] The suspicion is that one might confine the subject to the artificial languages simply because it is easier, and avoids the tricky philosophical questions. That approximates to computer programming. |
| 10283 | A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W] |
| Full Idea: To have a truth-value, a first-order formula needs an 'interpretation' (I) of its constants, and a 'valuation' (ν) of its variables. Something in the world is attached to the constants; objects are attached to variables. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.3) |
| 10284 | There are three different standard presentations of semantics [Hodges,W] |
| Full Idea: Semantic rules can be presented in 'Tarski style', where the interpretation-plus-valuation is reduced to the same question for simpler formulas, or the 'Henkin-Hintikka style' in terms of games, or the 'Barwise-Etchemendy style' for computers. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.3) | |
| A reaction: I haven't yet got the hang of the latter two, but I note them to map the territory. |
| 10285 | I |= φ means that the formula φ is true in the interpretation I [Hodges,W] |
| Full Idea: I |= φ means that the formula φ is true in the interpretation I. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.5) | |
| A reaction: [There should be no space between the vertical and the two horizontals!] This contrasts with |-, which means 'is proved in'. That is a syntactic or proof-theoretic symbol, whereas |= is a semantic symbol (involving truth). |
| 10288 | Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W] |
| Full Idea: Downward Löwenheim-Skolem (the weakest form): If L is a first-order language with at most countably many formulas, and T is a consistent theory in L. Then T has a model with at most countably many elements. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.10) |
| 10289 | Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W] |
| Full Idea: Upward Löwenheim-Skolem: every first-order theory with infinite models has arbitrarily large models. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.10) |
| 10287 | If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W] |
| Full Idea: Compactness Theorem: suppose T is a first-order theory, ψ is a first-order sentence, and T entails ψ. Then there is a finite subset U of T such that U entails ψ. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.10) | |
| A reaction: If entailment is possible, it can be done finitely. |
| 10286 | A 'set' is a mathematically well-behaved class [Hodges,W] |
| Full Idea: A 'set' is a mathematically well-behaved class. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.6) |
| 6402 | In 1927, Russell analysed force and matter in terms of events [Russell, by Grayling] |
| Full Idea: In his 'Analysis of Matter' (1927), Russell sought to analyse the chief concepts of physics, such as force and matter, in terms of events. | |
| From: report of Bertrand Russell (The Analysis of Matter [1927]) by A.C. Grayling - Russell Ch.2 | |
| A reaction: My immediate reaction is that this is not very promising, simply because we can always ask why a particular event occurred, and this seems to point to a deeper level in the analysis. See Idea 4779, for example. |
| 14732 | A perceived physical object is events grouped around a centre [Russell] |
| Full Idea: The physical object, as inferred from perception, is a group of events arranged about a centre. | |
| From: Bertrand Russell (The Analysis of Matter [1927], 23) | |
| A reaction: At least I like the active aspect of this definition. You then have to explain what an event is, without mentioning objects. You'd better no mention properties either, since they will probably depend on the dreaded objects. |
| 14733 | An object produces the same percepts with or without a substance, so that is irrelevant to science [Russell] |
| Full Idea: There may be a substance at the centre of an object, but is no reason to think so, since the group of events making up the object will produce exactly the same percepts; so the substance, if there is one, is an abstract possibility irrelevant to science. | |
| From: Bertrand Russell (The Analysis of Matter [1927], 23) | |
| A reaction: All empiricists (as Russell is in this passage) seem to neglect inference to the best explanation. Things can be indirectly testable, and I would say that there are genuine general entities which are too close to abstraction to ever be testable. |
| 6418 | Russell rejected phenomenalism because it couldn't account for causal relations [Russell, by Grayling] |
| Full Idea: Russell reverted to realism when he recognised that the notion of causality is problematic for phenomenalism; things in the world seem to affect one another causally in ways that are difficult to account for properly by mere reports of sense-experiences. | |
| From: report of Bertrand Russell (The Analysis of Matter [1927]) by A.C. Grayling - Russell Ch.3 | |
| A reaction: This is very interesting, and doesn't seem to have been enough to make A.J. Ayer eschew phenomenalism (Idea 5170). Once your metaphysics becomes realist (like Russell), your account of perception and objects has to change too. |
| 7861 | Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau] |
| Full Idea: Libet himself points out that the conscious decisions still have the power to 'endorse' or 'cancel', so to speak, the processes initiated by the earlier cortical activity: no action will result if the action's execution is consciously countermanded. | |
| From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by David Papineau - Thinking about Consciousness 1.4 | |
| A reaction: This is why Libet's findings do not imply 'epiphenomenalism'. It seems that part of a decisive action is non-conscious, undermining the all-or-nothing view of consciousness. Searle tries to smuggle in free will at this point (Idea 3817). |
| 6660 | Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe] |
| Full Idea: Libet found that a subject's conscious choice to move was about a fifth of a second before movement, and thus later than the onset of the brain's so-called 'readiness potential', which seems to imply that unconscious processes initiates action. | |
| From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.9 | |
| A reaction: Of great interest to philosophers! It seems to make conscious choices epiphenomenal. The key move, I think, is to give up the idea of consciousness as being all-or-nothing. My actions are still initiated by 'me', but 'me' shades off into unconsciousness. |
| 21706 | At first matter is basic and known by sense-data; later Russell says matter is constructed [Russell, by Linsky,B] |
| Full Idea: In the beginning Russell's ontology included matter as basic, to be known, however, only by inference from sense-data. By the end he wanted to 'contruct' matter from sense-data. | |
| From: report of Bertrand Russell (The Analysis of Matter [1927]) by Bernard Linsky - Russell's Metaphysical Logic 1 | |
| A reaction: [see also p.133] Russell always seems to have been a robust realist about the external world, but the later view seems a lot less realist than the earlier view. |