18 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] |
18890 | Putnam smuggles essentialism about liquids into his proof that water must be H2O [Salmon,N on Putnam] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
4691 | If all mental life were conscious, we would be unable to see things, or to process speech [McGinn] |
7705 | The Twin Earth theory suggests that intentionality is independent of qualia [Jacquette on Putnam] |
4099 | If Twins talking about 'water' and 'XYZ' have different thoughts but identical heads, then thoughts aren't in the head [Putnam, by Crane] |
12026 | We say ice and steam are different forms of water, but not that they are different forms of H2O [Forbes,G on Putnam] |
3208 | Does 'water' mean a particular substance that was 'dubbed'? [Putnam, by Rey] |
4690 | If meaning is speaker's intentions, it can be reduced to propositional attitudes, and philosophy of mind [McGinn] |
3893 | Often reference determines sense, and not (as Frege thought) vice versa [Putnam, by Scruton] |
11191 | The hidden structure of a natural kind determines membership in all possible worlds [Putnam] |
11192 | If causes are the essence of diseases, then disease is an example of a relational essence [Putnam, by Williams,NE] |
11190 | Archimedes meant by 'gold' the hidden structure or essence of the stuff [Putnam] |