5 ideas
| 8920 | Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz] |
| Full Idea: A relation R on a non-empty set S is an equivalence relation if it is reflexive (for each member a, aRa), symmetric (if aRb, then bRa), and transitive (aRb and bRc, so aRc). It tries to classify objects that are in some way 'alike'. | |
| From: Seymour Lipschutz (Set Theory and related topics (2nd ed) [1998], 3.9) | |
| A reaction: So this is an attempt to formalise the common sense notion of seeing that two things have something in common. Presumably a 'way' of being alike is going to be a property or a part |
| 14797 | Vagueness is a neglected but important part of mathematical thought [Peirce] |
| Full Idea: Logicians have too much neglected the study of vagueness, not suspecting the important part it plays in mathematical thought. It is the antithetical analogue of generality. | |
| From: Charles Sanders Peirce (Critical Common-Sensism [1905], I) |
| 14798 | All communication is vague, and is outside the principle of non-contradiction [Peirce] |
| Full Idea: The 'vague' might be defined as that to which the principle of contradiction does not apply. For it is false neither that an animal (in a vague sense) is male, nor that an animal is female. No communication between persons can be entirely non-vague. | |
| From: Charles Sanders Peirce (Critical Common-Sensism [1905], I) | |
| A reaction: Note that he makes vagueness largely a matter of the way we talk, which is David Lewis's approach, and looks right to me. |
| 19508 | Contextualism needs a semantics for knowledge sentences that are partly indexical [Schiffer,S] |
| Full Idea: Contextualist semantics must capture the 'indexical' nature of knowledge claims, the fact that different utterances of a knowledge sentence with no apparent indexical terms can express different propositions. | |
| From: Stephen Schiffer (Contextualist Solutions to Scepticism [1996], p.325), quoted by Keith DeRose - The Case for Contextualism 1.5 | |
| A reaction: Schiffer tries to show that this is too difficult, and DeRose defends contextualism against the charge. |
| 19509 | The indexical aspect of contextual knowledge might be hidden, or it might be in what 'know' means [Schiffer,S] |
| Full Idea: One might have a 'hidden-indexical' theory of knowledge sentences: they contain constituents that are not the semantic values of any terms; ...or 'to know' itself might be indexical, as in 'I know[easy] I have hands' or 'I know[tough] I have hands'. | |
| From: Stephen Schiffer (Contextualist Solutions to Scepticism [1996], p.326-7), quoted by Keith DeRose - The Case for Contextualism 1.5 | |
| A reaction: [very compressed] Given the choice, I would have thought it was in 'know', since to say 'either you know p or you don't' sounds silly to me. |