23 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] |
17453 | The meaning of a number isn't just the numerals leading up to it [Heck] |
17457 | A basic grasp of cardinal numbers needs an understanding of equinumerosity [Heck] |
17448 | In counting, numerals are used, not mentioned (as objects that have to correlated) [Heck] |
17455 | Is counting basically mindless, and independent of the cardinality involved? [Heck] |
17456 | Counting is the assignment of successively larger cardinal numbers to collections [Heck] |
17450 | Understanding 'just as many' needn't involve grasping one-one correspondence [Heck] |
17451 | We can know 'just as many' without the concepts of equinumerosity or numbers [Heck] |
17459 | Frege's Theorem explains why the numbers satisfy the Peano axioms [Heck] |
17454 | Children can use numbers, without a concept of them as countable objects [Heck] |
17458 | Equinumerosity is not the same concept as one-one correspondence [Heck] |
17449 | We can understand cardinality without the idea of one-one correspondence [Heck] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
22262 | Kant's moral law has no foundation - because that would undermine its priority [Sandel] |
22264 | Modern liberal rights in democracies protect individuals against the majority [Sandel] |
22261 | Liberals say rights always come first, and justice is neutral on social values [Sandel] |
22263 | Liberal justice means the withdrawal of the self, as transcendental or as unencumbered [Sandel] |
22805 | Liberalism concerns rights, and communitarianism concerns the common good [Sandel, by Avineri/De-Shalit] |