20 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] |
4483 | If abstract terms are sets of tropes, 'being a unicorn' and 'being a griffin' turn out identical [Loux] |
4481 | Austere nominalists insist that the realist's universals lack the requisite independent identifiability [Loux] |
4477 | Universals come in hierarchies of generality [Loux] |
4482 | Austere nominalism has to take a host of things (like being red, or human) as primitive [Loux] |
4478 | Nominalism needs to account for abstract singular terms like 'circularity'. [Loux] |
4480 | Times and places are identified by objects, so cannot be used in a theory of object-identity [Loux] |
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] |
2170 | Homer does not distinguish between soul and body [Homer, by Williams,B] |
2171 | The 'will' doesn't exist; there is just conclusion, then action [Homer, by Williams,B] |
21819 | Plato says the Good produces the Intellectual-Principle, which in turn produces the Soul [Homer, by Plotinus] |
11388 | Let there be one ruler [Homer] |
14829 | Homer so enjoys the company of the gods that he must have been deeply irreligious [Homer, by Nietzsche] |