- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The road to two theorems of logic
Synthese 164 (3):333-339 (2008)
Abstract
Work on how to axiomatize the subtheories of a first-order theory in which only a proper subset of their extra-logical vocabulary is being used led to a theorem on recursive axiomatizability and to an interpolation theorem for first-order logic. There were some fortuitous events and several logicians played a helpful role.Other Versions
No versions found
My notes
Similar books and articles
Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341-357.
Consistency and interpolation in linear continuous logic.Mahya Malekghasemi & Seyed-Mohammad Bagheri - 2023 - Archive for Mathematical Logic 62 (7):931-939.
The Craig Interpolation Theorem in abstract model theory.Jouko Väänänen - 2008 - Synthese 164 (3):401-420.
Church's Undecidability Theorem (1936): Formulation and presentation of the main ideas of its demonstration.Franklin Galindo & Ricardo José Da Silva - 2017 - Apuntes Filosóficos 26 (50):8-31.
An institution-independent proof of Craig interpolation theorem.Răzvan Diaconescu - 2004 - Studia Logica 77 (1):59-79.
An Interpolation Theorem for First Order Logic with Infinitary Predicates.Tarek Sayed-Ahmed - 2007 - Logic Journal of the IGPL 15 (1):21-32.
Embedding Friendly First-Order Paradefinite and Connexive Logics.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (5):1055-1102.
Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach.Hiroakira Ono - 1986 - Studia Logica 45 (1):19-33.
Analytics
Added to PP
2009-01-28
Downloads
142 (#305,593)
6 months
5 (#1,609,967)
2009-01-28
Downloads
142 (#305,593)
6 months
5 (#1,609,967)
Historical graph of downloads
Citations of this work
Beth definability, interpolation and language splitting.Rohit Parikh - 2011 - Synthese 179 (2):211 - 221.
Evrensel Cebirsel Mantıkta İnterpolasyon Üzerine Kısa Bir Analiz.İhsan Öztürk - forthcoming - Felsefe Arkivi.
Craig Interpolation in the Presence of Unreliable Connectives.João Rasga, Cristina Sernadas & Amlcar Sernadas - 2014 - Logica Universalis 8 (3-4):423-446.
References found in this work
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.
Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
Finite axiomatizability using additional predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation