2 papers
cs.LO2026
Definability and Interpolation in Philosophy
Johan van Benthem
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 depende…
math.LO2025
Interleaving Logic and Counting
Johan van Benthem, Thomas Icard
Reasoning with quantifier expressions in natural language combines logical and arithmetical features, transcending strict divides between qualitative and quantitative. Our topic is…