18 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] |
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] |
22167 | Our images of bodies are not produced by the bodies, but by our own minds [Augustine, by Aquinas] |
22117 | Our minds grasp reality by direct illumination (rather than abstraction from experience) [Augustine, by Matthews] |
17503 | Theories can never represent accurately, because their components are abstract [Cartwright,N, by Portides] |
22118 | Augustine created the modern concept of the will [Augustine, by Matthews] |
4348 | Love, and do what you will [Augustine] |
7821 | Pagans produced three hundred definitions of the highest good [Augustine, by Grayling] |
22119 | Augustine said (unusually) that 'ought' does not imply 'can' [Augustine, by Matthews] |
22116 | Augustine identified Donatism, Pelagianism and Manicheism as the main heresies [Augustine, by Matthews] |
19338 | Augustine said evil does not really exist, and evil is a limitation in goodness [Augustine, by Perkins] |