Definability and Interpolation in Philosophy

arXiv (Cornell University) 2026 Preprint Open access

Read full text
Authors: Johan van Benthem
DOI: 10.48550/arxiv.2602.07907
Cited by: 0

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

Fields of Study & Subjects

Logic Reasoning and Knowledge Philosophy Science and History Advanced Algebra and Logic

Publication details

Journal / source
arXiv (Cornell University)
Publication date
8 February 2026
Language
EN
Document type
Preprint