27 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] |
13479 | Given that thinking aims at truth, logic gives universal rules for how to do it [Burge] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
8132 | We now have a much more sophisticated understanding of logical form in language [Burge] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
17622 | We come to believe mathematical propositions via their grounding in the structure [Burge] |
16901 | The equivalent algebra model of geometry loses some essential spatial meaning [Burge] |
9159 | You can't simply convert geometry into algebra, as some spatial content is lost [Burge] |
16902 | Peano arithmetic requires grasping 0 as a primitive number [Burge] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
16892 | Is apriority predicated mainly of truths and proofs, or of human cognition? [Burge] |
9382 | Subjects may be unaware of their epistemic 'entitlements', unlike their 'justifications' [Burge] |
411 | If we succeed in speaking the truth, we cannot know we have done it [Xenophanes] |
412 | If God had not created honey, men would say figs are sweeter [Xenophanes] |
8126 | Anti-individualism says the environment is involved in the individuation of some mental states [Burge] |
8127 | Broad concepts suggest an extension of the mind into the environment (less computer-like) [Burge] |
8129 | Anti-individualism may be incompatible with some sorts of self-knowledge [Burge] |
8131 | Some qualities of experience, like blurred vision, have no function at all [Burge] |
3115 | Are meaning and expressed concept the same thing? [Burge, by Segal] |
1640 | The basic Eleatic belief was that all things are one [Xenophanes, by Plato] |
14349 | If there are no finks or antidotes at the fundamental level, the laws can't be ceteris paribus [Burge, by Corry] |
3055 | Xenophanes said the essence of God was spherical and utterly inhuman [Xenophanes, by Diog. Laertius] |
408 | Ethiopian gods have black hair, and Thracian gods have red hair [Xenophanes] |
407 | Mortals believe gods are born, and have voices and clothes just like mortals [Xenophanes] |