7 ideas
18801 | Classical negation is circular, if it relies on knowing negation-conditions from truth-conditions [Dummett] |
12427 | All of mathematics is properties of the whole numbers [Kronecker] |
10091 | God made the integers, all the rest is the work of man [Kronecker] |
10467 | Individuals consist of 'compresent' tropes [Bacon,John] |
10464 | A trope is a bit of a property or relation (not an exemplification or a quality) [Bacon,John] |
10465 | Trope theory is ontologically parsimonious, with possibly only one-category [Bacon,John] |
10466 | Maybe possible worlds are just sets of possible tropes [Bacon,John] |