PP-2008-07: The Many Faces of Interpolation

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

[thumbnail of Full Text]
Text (Full Text)

Download (188kB) | Preview
[thumbnail of Abstract] 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 van 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