3 ideas
| 9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
| Full Idea: S5 provides the correct logic for necessity in the broadly logical sense. | |
| From: Kit Fine (Model Theory for Modal Logic I [1978], 151), quoted by Charles Chihara - A Structural Account of Mathematics | |
| A reaction: I have no view on this, but I am prejudiced in favour of the idea that there is a correct logic for such things, whichever one it may be. Presumably the fact that S5 has no restrictions on accessibility makes it more comprehensive and 'metaphysical'. |
| 10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
| Full Idea: Kripke proposes that the substitutional quantifier is not a replacement for, or in competition with, the standard interpretation. | |
| From: report of Saul A. Kripke (A Problem about Substitutional Quantification? [1976]) by Ruth Barcan Marcus - Nominalism and Substitutional Quantifiers p.165 |
| 19423 | By an 'idea' I mean not an actual thought, but the resources we can draw on to think [Leibniz] |
| Full Idea: What I mean by an idea is not a certain act of thinking, but a power or faculty such that we have an idea of a thing even if we are not thinking about it but know that we can think it when the occasion arises. | |
| From: Gottfried Leibniz (What is an Idea? [1676], p.281) | |
| A reaction: 'Idea' tends to be used in the seventeenth century to mean an actual mental event. It is because Leibniz believes in the unconscious mind that he can offer this rather different, and probably superior, notion of an 'idea'. |