3 ideas
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
10190 | From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki] |
16463 | Adams says actual things have haecceities, but not things that only might exist [Adams,RM, by Stalnaker] |