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] |
10496 | Monothetic categories have fixed defining features, and polythetic categories do not [Ellen] |
Full Idea: Many categories are 'monothetic' (the defining set of features is always unique), and others are 'polythetic' (single features being neither essential to group membership nor sufficient to allocate an item to a group). | |
From: Roy Ellen (Anthropological Studies of Classification [1996], p.33) | |
A reaction: This seems a rather important distinction which hasn't made its way into philosophy, where there is a horrible tendency to oversimplify, with the dream of a neat and unified picture. But see Goodman's 'Imperfect Community' problem (Idea 7957). |
10497 | In symbolic classification, the categories are linked to rules [Ellen] |
Full Idea: Symbolic classification occurs when we use some things as a means of saying something about other things. ..They enhance the significance of some categories, so that categories imply rules and rules imply categories. | |
From: Roy Ellen (Anthropological Studies of Classification [1996], p.35) | |
A reaction: I'm afraid the anthropologists seem to have more of interest to say about categories than philosophers do. Though maybe we couldn't do anthropology if philosophers had made us more self-conscious about categories. Teamwork! |
10494 | Several words may label a category; one word can name several categories; some categories lack words [Ellen] |
Full Idea: Words are not always a good guide to the existence of categories: there may be several words which label the same categories (synonyms). and the same word can be used for quite different ideas. Some categories may exist without being labelled. | |
From: Roy Ellen (Categories, Classification, Cogn. Anthropology [2006], I) | |
A reaction: This is the sort of point which seems obvious to anyone outside philosophy, but which philosophers seem to find difficult to accept. Philosophers should pay much more attention to animals, and to illiterate peoples. Varieties of rice can lack labels. |
10495 | Continuous experience sometimes needs imposition of boundaries to create categories [Ellen] |
Full Idea: Because parts of our experience of the world are complexly continuous, it is occasionally necessary to impose boundaries to produce categories at all. | |
From: Roy Ellen (Anthropological Studies of Classification [1996], p.33) | |
A reaction: I like it. Ellen says that people tend to universally cut nature somewhere around the joints, but we can't cope with large things, so the sea tends to be labelled in sections, even though most of the world's seas are continuous. |
10498 | Classification is no longer held to be rooted in social institutions [Ellen] |
Full Idea: The view that all classification finds its roots in social institutions is now generally considered untenable. | |
From: Roy Ellen (Anthropological Studies of Classification [1996], p.36) | |
A reaction: And about time too. Ellen (an anthropologist) inevitably emphasises the complexity of the situation, but endorses the idea that people everywhere largely cut nature at the joints. |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
Full Idea: There are six 'reductive levels' in science: social groups, (multicellular) living things, cells, molecules, atoms, and elementary particles. | |
From: report of H.Putnam/P.Oppenheim (Unity of Science as a Working Hypothesis [1958]) by Peter Watson - Convergence 10 'Intro' | |
A reaction: I have the impression that fields are seen as more fundamental that elementary particles. What is the status of the 'laws' that are supposed to govern these things? What is the status of space and time within this picture? |