Combining Texts

Ideas for 'Intensional Logic', 'Guidebook to Wittgenstein's Tractatus' and 'Philosophy of Language'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
Singular terms refer, using proper names, definite descriptions, singular personal pronouns, demonstratives, etc. [Lycan]
     Full Idea: The paradigmatic referring devices are singular terms, denoting particular items. In English these include proper names, definite descriptions, singular personal pronouns, demonstrative pronouns, and a few others.
     From: William Lycan (Philosophy of Language [2000], Ch. 1)
     A reaction: This list provides the agenda for twentieth century philosophy of language, since this is the point where language is supposed to hook onto the world.
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
λ-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.