Proofs of the Compactness Theorem

被引：3
作者：
Paseau, Alexander [1 ]
机构：
[1] Univ Oxford Wadham Coll, Oxford OX1 3PN, England
来源：
HISTORY AND PHILOSOPHY OF LOGIC | 2010年 / 31卷 / 01期
关键词：
EXPLANATION;
D O I：
10.1080/01445340903495340
中图分类号：
B82 [伦理学（道德学）];
学科分类号：
摘要：
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.
引用
收藏
页码：73 / 98
页数：26
相关论文
共 30 条
  • [1] [Anonymous], 2008, Protosociology
  • [2] [Anonymous], 1949, The Journal of Symbolic Logic, DOI DOI 10.2307/2267044
  • [3] [Anonymous], 1930, Monatshefte Math. Phys., DOI [DOI 10.1007/BF01696781, 10.1007/BF01696781]
  • [4] [Anonymous], 1993, ENCY MATH APPL, DOI DOI 10.1017/CBO9780511551574
  • [5] BELL JL, 1969, MODELS ULTRAPRODUCTS
  • [6] Burris S., 1981, Graduate Texts in Mathematics
  • [7] Cowen R. H., 1977, Notre Dame J. Formal Logic, V18, P243
  • [8] COWEN RH, 1970, NOTRE DAME J FORM L, V11, P79
  • [9] Dawson J.W., 2006, Philosophia Mathematica, V14, P269, DOI [10.1093/philmat/nkl009, DOI 10.1093/PHILMAT/NKL009]
  • [10] THE COMPACTNESS OF 1ST-ORDER LOGIC, FROM GODEL TO LINDSTROM
    DAWSON, JW
    [J]. HISTORY AND PHILOSOPHY OF LOGIC, 1993, 14 (01) : 15 - 37
123