6 ideas
10528 | Definitions concern how we should speak, not how things are [Fine,K] |
8942 | Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher] |
10529 | If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K] |
10530 | Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K] |
10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |
7258 | The forefather of modern intuitionism is Richard Price [Price,R, by Dancy,J] |