Interpolation as Explanation

Abstract

A (normalized) interpolant I in Craig's theorem is a kind of explanation why the consequence relation (from F to G) holds. This is because I is a summary of the interaction of the configurations specified by F and G, respectively, that shows how G follows from F. If explaining E means deriving it from a background theory T plus situational information A and if among the concepts of E we can separate those occurring only in T or only in A, then the interpolation theorem applies in two different ways yielding two different explanations and two different covering laws.

Cite this work

No public copy is stored for this record, so only the metadata is cited.

Stored only when both papers are in the corpus — 14 citations exist upstream.

Papers that cite the same references — the relational fallback while embeddings are still backfilling.