21 ideas
18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
17611 | We want the essence of continuity, by showing its origin in arithmetic [Dedekind] |
10572 | A cut between rational numbers creates and defines an irrational number [Dedekind] |
17612 | Arithmetic is just the consequence of counting, which is the successor operation [Dedekind] |
18087 | If x changes by less and less, it must approach a limit [Dedekind] |
18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
2526 | Philosophers regularly confuse failures of imagination with insights into necessity [Dennett] |
18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
2523 | That every mammal has a mother is a secure reality, but without foundations [Dennett] |
2528 | Does consciousness need the concept of consciousness? [Dennett] |
2525 | Maybe language is crucial to consciousness [Dennett] |
2527 | Unconscious intentionality is the foundation of the mind [Dennett] |
2530 | Could a robot be made conscious just by software? [Dennett] |
2524 | A language of thought doesn't explain content [Dennett] |
2529 | Maybe there can be non-conscious concepts (e.g. in bees) [Dennett] |