16 ideas
| 9470 | Modal logic is not an extensional language [Parsons,C] |
| 13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
| 9469 | Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C] |
| 9468 | On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C] |
| 6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
| 6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
| 6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
| 17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
| 18201 | General principles can be obvious in mathematics, but bold speculations in empirical science [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] |
| 19743 | A notebook counts as memory, if is available to consciousness and guides our actions [Clark/Chalmers] |
| 6176 | A mechanism can count as 'cognitive' whether it is in the brain or outside it [Clark/Chalmers, by Rowlands] |
| 19741 | If something in the world could equally have been a mental process, it is part of our cognition [Clark/Chalmers] |
| 19742 | Consciousness may not extend beyond the head, but cognition need not be conscious [Clark/Chalmers] |
| 19744 | If a person relies on their notes, those notes are parted of the extended system which is the person [Clark/Chalmers] |