5 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
7444 | Type-type psychophysical identity is combined with a functional characterisation of pain [Lewis] |
7445 | The application of 'pain' to physical states is non-rigid and contingent [Lewis] |
7443 | A theory must be mixed, to cover qualia without behaviour, and behaviour without qualia [Lewis, by PG] |