6 ideas
8460 | Philosophers have given precise senses to deduction, probability, computability etc [Quine/Ullian] |
13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
14082 | No sortal could ever exactly pin down which set of particles count as this 'cup' [Schaffer,J] |
14081 | Identities can be true despite indeterminate reference, if true under all interpretations [Schaffer,J] |