Lambda in Sentences with Designators
Nathan Salmón · The Journal of Philosophy · 2010
I n his classic studies of the "Logic of Sense and Denotation" (LSD), Alonzo Church contrasted three criteria or explications of the notion of sense, or semantic content, and of the resulting notion of synonymy, in the sense of having the same sense.1 These are Alternatives (0), (1), and (2), numbered in order from the most strict to the least.On the most lax criterion, Alternative (2), synonymy is taken to be mere logical equivalence.On the intermediate Alternative (1), the criterion for synonymy is convertibility by means of Church's