19 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] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
23304 | The ancient Memorists said virtually all types of thinking could be done simply by memory [Sorabji] |
23303 | Stoics say true memory needs reflection and assent, but animals only have perceptual recognition [Sorabji] |
20086 | Nowadays sovereignty (once the basis of a state) has become relative [Reybrouck] |
20090 | Today it seems almost impossible to learn the will of the people [Reybrouck] |
20087 | There are no united monolothic 'peoples', and no 'national gut feelings' [Reybrouck] |
20089 | Technocrats may be efficient, but they lose legitimacy as soon as they do unpopular things [Reybrouck] |
20088 | Technocrats are expert managers, who replace politicians, and can be long-term and unpopular [Reybrouck] |
20085 | Democracy is the best compromise between legitimacy and efficiency [Reybrouck] |
20095 | A referendum result arises largely from ignorance [Reybrouck] |
20094 | You don't really govern people if you don't involve them [Reybrouck] |
20093 | In the 18th century democratic lots lost out to elections, that gave us a non-hereditary aristocracy [Reybrouck] |
20091 | Representative elections were developed in order to avoid democracy [Reybrouck] |