Definability and Interpolation in Philosophy
Johan van Benthem
TL;DR
This paper explores the historical development of the Craig interpolation and Beth definability theorems in philosophy since the 1950s, highlighting the role of dependence and presenting new technical results on logical translations and definability.
Contribution
It provides a historical analysis of key theorems in philosophy and introduces new technical insights into logical system translations and generalized definability.
Findings
Historical occurrences of key theorems in philosophy since 1950s
Identification of dependence as a central concept
New results on logical translations and definability
Abstract
This paper is a historical tour of occurrences of the Craig interpolation theorem and the Beth definability theorem in philosophy since the 1950s. We identify the notion of dependence as one major red thread behind these, and include some new technical results, in particular, on logical system translations and generalized definability
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Logic, programming, and type systems · Logic, Reasoning, and Knowledge