Russell's Theory of Definite Descriptions in the Light of Structural Proof Theory
In 'On Denoting' Russell proposed the most influential theory of definite descriptions, expressions of the form 'the F'. Characteristic for Russell's approach is that definite descriptions are not treated as what they appear to be on the surface, i.e. as singular terms. Instead they are eliminated by a contextual definition. Russell formalises definite descriptions in the context of complete sentences of the form 'The F is G'. This requires scope markers to distinguish, e.g., internal from external negation. It was recognised by Burge, and Kalish and Montague, however, that the essential…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.11750
curl -X POST /api/v1/records/arxiv/2606.11750/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.11750/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'