Combining Philosophers

Ideas for Melvin Fitting, Alfred Tarski and Ludwig Feuerbach

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

display all the ideas for this combination of philosophers

---

2 ideas

5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential

10823	A name denotes an object if the object satisfies a particular sentential function [Tarski]
	Full Idea: To say that the name x denotes a given object a is the same as to stipulate that the object a ... satisfies a sentential function of a particular type.
	From: Alfred Tarski (The Concept of Truth for Formalized Languages [1933], p.194)

5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction

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.