PP-2008-07: The Many Faces of Interpolation

PP-2008-07: van Benthem, Johan (2008) The Many Faces of Interpolation. [Report]

Text (Full Text)

Download (188kB) | Preview
[img] Text (Abstract)

Download (615B)


This is a survey of five unusual takes on what the Interpolation Theorem says, as a form of 'model-crossing inference' involving changing vocabulary, mixed with preservation behaviour. Connections include Bolzano in the history of logic, and computational fixed-point logics. The material was presented at the Berkeley 'Craigfest', May 2007, honouring Bill Craig's 90th birthday, and it will appear in a special issue of "Synthese", edited by Paolo Mancosu.

Item Type: Report
Report Nr: PP-2008-07
Series Name: Prepublication (PP) Series
Year: 2008
Uncontrolled Keywords: interpolation theorem; first-order logic; modal logic; generalized inference
Subjects: Logic
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/281

Actions (login required)

View Item View Item