arXiv Open Access 2026

Definability and Interpolation in Philosophy

Johan van Benthem

Lihat Sumber

Abstrak

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

Topik & Kata Kunci

cs.LO

Penulis (1)

Johan van Benthem

Format Sitasi

APA MLA BibTeX

Benthem, J.v. (2026). Definability and Interpolation in Philosophy. https://arxiv.org/abs/2602.07907

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2026
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓