Combining Texts

All the ideas for 'The Architecture of Mathematics', 'Modal Realism at Work: Properties' and 'Symbolic Logic (with Langford)'

expand these ideas     |    start again     |     specify just one area for these texts


3 ideas

6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki]
8. Modes of Existence / B. Properties / 11. Properties as Sets
Properties are sets of their possible instances (which separates 'renate' from 'cordate') [Lewis, by Mellor/Oliver]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
Modal logic began with translation difficulties for 'If...then' [Lewis,CI, by Girle]