34 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] |
| 11184 | Aristotelian essentialism is about shared properties, individuating essentialism about distinctive properties [Marcus (Barcan)] |
| 11181 | Aristotelian essentialism involves a 'natural' or 'causal' interpretation of modal operators [Marcus (Barcan)] |
| 11180 | Essentialist sentences are not theorems of modal logic, and can even be false [Marcus (Barcan)] |
| 11186 | 'Essentially' won't replace 'necessarily' for vacuous properties like snub-nosed or self-identical [Marcus (Barcan)] |
| 11185 | 'Is essentially' has a different meaning from 'is necessarily', as they often cannot be substituted [Marcus (Barcan)] |
| 11182 | If essences are objects with only essential properties, they are elusive in possible worlds [Marcus (Barcan)] |
| 11183 | The use of possible worlds is to sort properties (not to individuate objects) [Marcus (Barcan)] |
| 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] |
| 11187 | In possible worlds, names are just neutral unvarying pegs for truths and predicates [Marcus (Barcan)] |
| 7337 | In Mosaic legal theory, crimes are sins and sins are crimes [Johnson,P] |
| 7339 | Because human life is what is sacred, Mosaic law has no death penalty for property violations [Johnson,P] |
| 7353 | The Pharisees undermined slavery, by giving slaves responsibility and status in law courts [Johnson,P] |
| 7340 | Mosaic law was the first to embody the rule of law, and equality before the law [Johnson,P] |
| 7338 | Man's life is sacred, because it is made in God's image [Johnson,P] |
| 11189 | Dispositional essences are special, as if an object loses them they cease to exist [Marcus (Barcan)] |
| 7348 | The Jews sharply distinguish human and divine, but the Greeks pull them closer together [Johnson,P] |
| 7336 | A key moment is the idea of a single moral God, who imposes his morality on humanity [Johnson,P] |
| 7341 | Sampson illustrates the idea that religious heroes often begin as outlaws and semi-criminals [Johnson,P] |
| 7342 | Isaiah moved Israelite religion away from the local, onto a more universal plane [Johnson,P] |
| 7355 | The Torah pre-existed creation, and was its blueprint [Johnson,P] |
| 7344 | Judaism involves circumcision, Sabbath, Passover, Pentecost, Tabernacles, New Year, and Atonement [Johnson,P] |
| 7345 | In exile the Jews became a nomocracy [Johnson,P] |
| 7347 | Zoroastrians believed in one eternal beneficent being, Creator through the holy spirit [Johnson,P] |
| 7349 | Immortality based on judgement of merit was developed by the Egyptians (not the Jews) [Johnson,P] |
| 7354 | The main doctrine of the Pharisees was belief in resurrection and the afterlife [Johnson,P] |
| 7356 | Pious Jews saw heaven as a vast library [Johnson,P] |