7 ideas
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
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] |
22481 | There is no restitution after a dilemma, if it only involved the agent, or just needed an explanation [Foot, by PG] |
22482 | I can't understand how someone can be necessarily wrong whatever he does [Foot] |
5041 | God does everything in a perfect way, and never acts contrary to reason [Leibniz] |