22 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] |
8784 | Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright] |
8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
8788 | Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright] |
8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
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] |
8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
3546 | 'Phronesis' should translate as 'practical intelligence', not as prudence [Annas] |
3547 | Epicureans achieve pleasure through character development [Annas] |
3543 | Cyrenaics pursue pleasure, but don't equate it with happiness [Annas] |
3541 | Ancient ethics uses attractive notions, not imperatives [Annas] |
3550 | Principles cover life as a whole, where rules just cover actions [Annas] |
3551 | Virtue theory tries to explain our duties in terms of our character [Annas] |
3552 | If excessively good actions are admirable but not required, then duty isn't basic [Annas] |
3542 | We should do good when necessary, not maximise it [Annas] |