17 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] |
20660 | At one level maths and nature are very similar, suggesting some deeper origin [Wolfram] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
5078 | Kant and Mill both try to explain right and wrong, without a divine lawgiver [Taylor,R] |
5067 | Morality based on 'forbid', 'permit' and 'require' implies someone who does these things [Taylor,R] |
5079 | Pleasure can have a location, and be momentary, and come and go - but happiness can't [Taylor,R] |
5068 | 'Eudaimonia' means 'having a good demon', implying supreme good fortune [Taylor,R] |
5076 | To Greeks it seemed obvious that the virtue of anything is the perfection of its function [Taylor,R] |
5077 | The modern idea of obligation seems to have lost the idea of an obligation 'to' something [Taylor,R] |
5066 | If we are made in God's image, pursuit of excellence is replaced by duty to obey God [Taylor,R] |
5065 | The ethics of duty requires a religious framework [Taylor,R] |
20659 | Space and its contents seem to be one stuff - so space is the only existing thing [Wolfram] |