4 ideas
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
3031 | The greatest good is not the achievement of desire, but to desire what is proper [Menedemus, by Diog. Laertius] |