11 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] |
12430 | Classical logic is our preconditions for assessing empirical evidence [Kitcher] |
12431 | I believe classical logic because I was taught it and use it, but it could be undermined [Kitcher] |
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] |
12428 | Many necessities are inexpressible, and unknowable a priori [Kitcher] |
12429 | Knowing our own existence is a priori, but not necessary [Kitcher] |
17371 | Some kinds are very explanatory, but others less so, and some not at all [Devitt] |
17372 | The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt] |
17373 | Species pluralism says there are several good accounts of what a species is [Devitt] |