15 ideas
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
4779 | For Kim, events are exemplifications of properties by objects at particular times [Kim, by Psillos] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
7127 | If men are good you should keep promises, but they aren't, so you needn't [Machiavelli] |
6309 | The principle foundations of all states are good laws and good armies [Machiavelli] |
6306 | People are vengeful, so be generous to them, or destroy them [Machiavelli] |
6305 | To retain a conquered state, wipe out the ruling family, and preserve everything else [Machiavelli] |
6308 | A sensible conqueror does all his harmful deeds immediately, because people soon forget [Machiavelli] |
6307 | A desire to conquer, and men who do it, are always praised, or not blamed [Machiavelli] |
7486 | Machiavelli emancipated politics from religion [Machiavelli, by Watson] |