History and Philosophy of Logic 31 (1):73-98 (2010)
AbstractIn this study, several proofs of the compactness theorem for propositional logic with countably many atomic sentences are compared. Thereby some steps are taken towards a systematic philosophical study of the compactness theorem. In addition, some related data and morals for the theory of mathematical explanation are presented
Similar books and articles
Systematization of Finite Many-Valued Logics Through the Method of Tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem.Itamar Pitowsky - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):177-194.
Why Do Mathematicians Re-Prove Theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
Level Compactness.Gillman Payette & Blaine D'Entremont - 2006 - Notre Dame Journal of Formal Logic 47 (4):545-555.
On Finding Compactness in Aristotle.Michael Scanlan - 1983 - History and Philosophy of Logic 4 (1&2):1-8.
The Compactness of First-Order Logic:From Gödel to Lindström.John W. Dawson - 1993 - History and Philosophy of Logic 14 (1):15-37.
The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications.Richard W. Kaye - 2007 - Cambridge University Press.
Topological Proofs of Some Rasiowa-Sikorski Lemmas.Robert Goldblatt - 2012 - Studia Logica 100 (1-2):175-191.
A Proofless Proof of the Barwise Compactness Theorem.Mark Howard - 1988 - Journal of Symbolic Logic 53 (2):597-602.
Added to PP
Historical graph of downloads
Citations of this work
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - Cham, Switzerland: Springer Verlag.
Paradoxes and Structural Rules From a Dialogical Perspective.Catarina Dutilh Novaes & Rohan French - 2018 - Philosophical Issues 28 (1):129-158.
References found in this work
Explanation and Scientific Understanding.Michael Friedman - 1974 - Journal of Philosophy 71 (1):5-19.
Explanatory Unification and the Causal Structure of the World.Philip Kitcher - 1989 - In Philip Kitcher & Wesley Salmon (eds.), Scientific Explanation. Minneapolis: University of Minnesota Press. pp. 410-505.