Because the logical work of grounding functions is done by lambda abstraction or primitive stipulation, the theory of definite descriptions is at most a dispensable convenience, not an essential justification.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
Primitive stipulation(as used in logic and philosophy of language)
Simply deciding that something is true or exists as a basic starting point, without needing to prove or explain it further.
Theory of definite descriptions(as used in philosophy of language; developed primarily by Bertrand Russell)
A philosophical explanation of how phrases like 'the king of France' work in language—specifically, how we talk about specific things using 'the' rather than 'a'.