10 ideas
| 9540 | A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell] |
| Full Idea: A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0. | |
| From: GE Hughes/M Cresswell (An Introduction to Modal Logic [1968], Ch.1) | |
| A reaction: In the interpreted version of the logic, 1 and 0 would become T (true) and F (false). The procedure seems to be called nowadays a 'valuation'. |
| 9541 | The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell] |
| Full Idea: The Law of Transposition says that (P→Q) → (¬Q→¬P). | |
| From: GE Hughes/M Cresswell (An Introduction to Modal Logic [1968], Ch.1) | |
| A reaction: That is, if the consequent (Q) of a conditional is false, then the antecedent (P) must have been false. |
| 9543 | The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell] |
| Full Idea: An axiomatic system is most naturally consistent iff no thesis is the negation of another thesis. It can be shown that every axiom is valid, that the transformation rules are validity-preserving, and if a wff α is valid, then ¬α is not valid. | |
| From: GE Hughes/M Cresswell (An Introduction to Modal Logic [1968], Ch.1) | |
| A reaction: [The labels 'soundness' and 'consistency' seem interchangeable here, with the former nowadays preferred] |
| 9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
| Full Idea: To say that an axiom system is 'weakly complete' is to say that every valid wff of the system is derivable as a thesis. ..The system is 'strongly complete' if it cannot have any more theses than it has without falling into inconsistency. | |
| From: GE Hughes/M Cresswell (An Introduction to Modal Logic [1968], Ch.1) | |
| A reaction: [They go on to say that Propositional Logic is strongly complete, but Modal Logic is not] |
| 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. |
| 22489 | 'Good' is an attributive adjective like 'large', not predicative like 'red' [Geach, by Foot] |
| Full Idea: Geach puts 'good' in the class of attributive adjectives, such as 'large' and 'small', contrasting such adjectives with 'predicative' adjectives such as 'red'. | |
| From: report of Peter Geach (Good and Evil [1956]) by Philippa Foot - Natural Goodness Intro | |
| A reaction: [In Analysis 17, and 'Theories of Ethics' ed Foot] Thus any object can simply be red, but something can only be large or small 'for a rat' or 'for a car'. Hence nothing is just good, but always a good so-and-so. This is Aristotelian, and Foot loves it. |
| 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. |