13 ideas
| 13591 | Quantified modal logic collapses if essence is withdrawn [Quine] |
| 17896 | We need to know the meaning of 'and', prior to its role in reasoning [Prior,AN, by Belnap] |
| 17898 | Prior's 'tonk' is inconsistent, since it allows the non-conservative inference A |- B [Belnap on Prior,AN] |
| 11021 | Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example [Prior,AN, by Read] |
| 13836 | Maybe introducing or defining logical connectives by rules of inference leads to absurdity [Prior,AN, by Hacking] |
| 13590 | Essences can make sense in a particular context or enquiry, as the most basic predicates [Quine] |
| 8483 | Necessity is relative to context; it is what is assumed in an inquiry [Quine] |
| 13589 | Possible worlds are a way to dramatise essentialism, and yet they presuppose essentialism [Quine] |
| 13588 | A rigid designator (for all possible worlds) picks out an object by its essential traits [Quine] |
| 13592 | Beliefs can be ascribed to machines [Quine] |
| 7518 | If folk psychology gives a network of causal laws, that fits neatly with functionalism [Churchland,PM] |
| 7519 | Many mental phenomena are totally unexplained by folk psychology [Churchland,PM] |
| 7520 | Folk psychology never makes any progress, and is marginalised by modern science [Churchland,PM] |