3 ideas
10190 | From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki] |
4038 | Properties are sets of their possible instances (which separates 'renate' from 'cordate') [Lewis, by Mellor/Oliver] |
7803 | Modal logic began with translation difficulties for 'If...then' [Lewis,CI, by Girle] |