Proofs of the Compactness Theorem

History and Philosophy of Logic 31 (1):73-98 (2010)
  Copy   BIBTEX

Abstract

In 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

Other Versions

reprint Paseau, Alexander (2011) "Proofs of the Compactness Theorem". History and Philosophy of Logic 32(4):407-407

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

External links

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

Through your library

Similar books and articles

Compactness Theorem.A. C. Paseau & Robert Leek - 2022 - Internet Encyclopedia of Philosophy.
Compactness.A. C. Paseau, and & Robert Leek - 2023 - Internet Encyclopedia of Philosophy.
Random variables and integral logic.Karim Khanaki & Seyed-Mohammad Bagheri - 2011 - Mathematical Logic Quarterly 57 (5):494-503.
Continuity, proof systems and the theory of transfinite computations.Dag Normann - 2002 - Archive for Mathematical Logic 41 (8):765-788.
Maximality of linear continuous logic.Mahya Malekghasemi & Seyed-Mohammad Bagheri - 2018 - Mathematical Logic Quarterly 64 (3):185-191.
A note on the compactness theorem.R. R. Rockingham Gill - 1975 - Mathematical Logic Quarterly 21 (1):377-378.
A Note On The Compactness Theorem.R. Gill - 1975 - Mathematical Logic Quarterly 21 (1):377-378.
Positive logics.Saharon Shelah & Jouko Väänänen - 2023 - Archive for Mathematical Logic 62 (1):207-223.

Analytics

Added to PP
2010-07-27

Downloads
255 (#104,659)

6 months
26 (#124,489)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

A. C. Paseau
University of Oxford

References found in this work

Explanation and scientific understanding.Michael Friedman - 1974 - Journal of Philosophy 71 (1):5-19.
Explanatory unification.Philip Kitcher - 1981 - Philosophy of Science 48 (4):507-531.
Explanatory unification and the causal structure of the world.Philip Kitcher - 1962 - In Philip Kitcher & Wesley C. Salmon (eds.), Scientific Explanation. Univ of Minnesota Pr. pp. 410-505.
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.

View all 23 references / Add more references