display all the ideas for this combination of philosophers
2 ideas
| 12974 | People who can't apply names usually don't understand the thing to which it applies [Leibniz] |
| Full Idea: Someone who goes wrong in relating an idea to a name will usually go wrong about the thing he wants the name to stand for. | |
| From: Gottfried Leibniz (New Essays on Human Understanding [1704], 2.29) | |
| A reaction: This seems to give tentative support to a Millian account of names, whose only content is just the thing which is named. Leibniz's observation certainly seems to be right. |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |