6 ideas
| 10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
| Full Idea: Henkin-style semantics seem to me more plausible for plural logic than for second-order logic. | |
| From: Penelope Maddy (Second Philosophy [2007], III.8 n1) | |
| A reaction: Henkin-style semantics are presented by Shapiro as the standard semantics for second-order logic. |
| 5040 | Necessary truths can be analysed into original truths; contingent truths are infinitely analysable [Leibniz] |
| Full Idea: Derivative truths are of two sorts: some are analysed into original truths, others admit of an infinite process of analysis. The former are necessary, the latter are contingent. | |
| From: Gottfried Leibniz (On Freedom [1689], p.108) | |
| A reaction: An intriguing proposal. Hume would presumably see contingent truths as being analysed until you reach 'impressions'. Analysis of necessary truths soon comes to the blinding light of what is obvious, but analysis of contingency never gets there. |
| 13159 | Only God sees contingent truths a priori [Leibniz] |
| Full Idea: Only God sees contingent truths a priori. | |
| From: Gottfried Leibniz (On Freedom [1689], p.95) | |
| A reaction: This because everything is interconnected, and the whole picture must be seen to understand a contingent truth. |
| 5039 | If non-existents are possible, their existence would replace what now exists, which cannot therefore be necessary [Leibniz] |
| Full Idea: If certain possibles never exist, then existing things are not always necessary; otherwise it would be impossible for other things to exist instead of them, and so all things that never exist would be impossible. | |
| From: Gottfried Leibniz (On Freedom [1689], p.106) | |
| A reaction: A neat argument, though it is not self-evident that when possibles came into existence they would have to replace what is already there. Can't something be possible, but only in another world, because this one is already booked? |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
| 5041 | God does everything in a perfect way, and never acts contrary to reason [Leibniz] |
| Full Idea: We can regard it as certain that everything is done by God in the most perfect way, that he does nothing which is contrary to reason. | |
| From: Gottfried Leibniz (On Freedom [1689], p.109) | |
| A reaction: The famous optimism which Voltaire laughed at in 'Candide'. I can't help thinking that there is an ideal of God being ABOVE reason. We reason, and give reasons, because we are unsure, and life is a struggle. The highest ideal is mystically self-evident. |