3 ideas
9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
3425 | Reduction has been defined as deriving one theory from another by logic and maths [Nagel,E, by Kim] |
9626 | A structure is an abstraction, focussing on relationships, and ignoring other features [Shapiro] |