3 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. |
| 19392 | I don't recommend universal doubt; we constantly seek reasons for things which are indubitable [Leibniz] |
| Full Idea: I do not think it necessary to recommend to people universal doubt ...in fact, we are constantly seeking reasons for thoughts about which there is no doubt at all. | |
| From: Gottfried Leibniz (Precepts for Advancing Science and Arts [1680], p.34) | |
| A reaction: Such confidence is, of course, asking for trouble. I prefer Peirce's fallibilism - that robust realism is the most coherent view, and the only one worth pursuing and relying on, but you never know.... |
| 6017 | Nomos is king [Pindar] |
| Full Idea: Nomos is king. | |
| From: Pindar (poems [c.478 BCE], S 169), quoted by Thomas Nagel - The Philosophical Culture | |
| A reaction: This seems to be the earliest recorded shot in the nomos-physis wars (the debate among sophists about moral relativism). It sounds as if it carries the full relativist burden - that all that matters is what has been locally decreed. |