4 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
9987 | An aggregate in which order does not matter I call a 'set' [Bolzano] |
10856 | A truly infinite quantity does not need to be a variable [Bolzano] |
11968 | The intension of a sentence is the set of all possible worlds in which it is true [Carnap, by Kaplan] |