Definability and Interpolation in Philosophy
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918327473930240 |
|---|---|
| author | van Benthem, Johan |
| author_facet | van Benthem, Johan |
| contents | 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 |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_07907 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Definability and Interpolation in Philosophy van Benthem, Johan Logic in Computer Science 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 |
| title | Definability and Interpolation in Philosophy |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2602.07907 |