12 ideas
| 5040 | Necessary truths can be analysed into original truths; contingent truths are infinitely analysable [Leibniz] |
| 13159 | Only God sees contingent truths a priori [Leibniz] |
| 5039 | If non-existents are possible, their existence would replace what now exists, which cannot therefore be necessary [Leibniz] |
| 19544 | Closure says if you know P, and also know P implies Q, then you must know Q [Dretske] |
| 19545 | We needn't regret the implications of our regrets; regretting drinking too much implies the past is real [Dretske] |
| 19546 | Knowing by visual perception is not the same as knowing by implication [Dretske] |
| 19547 | Reasons for believing P may not transmit to its implication, Q [Dretske] |
| 19548 | The only way to preserve our homely truths is to abandon closure [Dretske] |
| 19549 | P may imply Q, but evidence for P doesn't imply evidence for Q, so closure fails [Dretske] |
| 19550 | We know past events by memory, but we don't know the past is real (an implication) by memory [Dretske] |
| 7435 | Dispositions are second-order properties, the property of having some property [Jackson/Pargetter/Prior, by Armstrong] |
| 5041 | God does everything in a perfect way, and never acts contrary to reason [Leibniz] |