16 ideas
| 10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
| 10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
| 10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
| 10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
| 10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
| 18890 | Putnam smuggles essentialism about liquids into his proof that water must be H2O [Salmon,N on Putnam] |
| 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] |
| 3893 | Often reference determines sense, and not (as Frege thought) vice versa [Putnam, by Scruton] |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| 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] |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |