Craig's Theorem

In W. H. Newton‐Smith (ed.), A Companion to the Philosophy of Science. Oxford, UK: Blackwell. pp. 65–67 (2017)
  Copy   BIBTEX

Abstract

William Craig (1953) proved a theorem about theories in mathematical logic which has been utilized in philosophical attempts to analyze scientific theories.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9781405164481   9780631230205

DOI

10.1002/9781405164481.ch10

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Craig’s Theorem.Jeffrey Ketland - unknown
Craig's theorem and syntax of abstract logics.Jouko Vaananen - 1982 - Bulletin of the Section of Logic 11 (1-2):82-83.
Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach.Hiroakira Ono - 1986 - Studia Logica 45 (1):19-33.
The Craig interpolation theorem for prepositional logics with strong negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
On the interpolation property of some intuitionistic modal logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.
Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341-357.
Notes on Craig interpolation for LJ with strong negation.Norihiro Kamide - 2011 - Mathematical Logic Quarterly 57 (4):395-399.
Craig’s Theorem and the Empirical Underdetermination Thesis Reassessed.Christian List - 1999 - Disputatio 7 (1):28-39.
Craig Interpolation Theorem Fails in Bi-Intuitionistic Predicate Logic.Grigory K. Olkhovikov & Guillermo Badia - forthcoming - Review of Symbolic Logic:1-23.
On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.
Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341 - 357.
Joint Consistency of Fuzzy Theories.Vilém Novák - 2002 - Mathematical Logic Quarterly 48 (4):563-573.
The road to two theorems of logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
Craig's Theorem and Scientific Instrumentalism.Cheng-Hung Lin - 1985 - Dissertation, University of California, Berkeley
Interpolation in Computing Science: The Semantics of Modularization.Gerard R. Renardel De Lavalette - 2008 - Synthese 164 (3):437 - 450.

Analytics

Added to PP
2023-06-15

Downloads
3 (#1,706,418)

6 months
1 (#1,469,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references