9 ideas
14965 | Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true) [Gupta] |
14968 | A weakened classical language can contain its own truth predicate [Gupta] |
14964 | The Liar reappears, even if one insists on propositions instead of sentences [Gupta] |
14969 | Strengthened Liar: either this sentence is neither-true-nor-false, or it is not true [Gupta] |
15938 | Platonists ruin infinity, which is precisely a growing structure which is never completed [Dummett] |
15939 | For intuitionists it is constructed proofs (which take time) which make statements true [Dummett] |
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] |