Set Theories: Their Philosophic Issues and Foundations
Resource
國立臺灣大學哲學論評, 7, 091-116
Journal
國立臺灣大學哲學論評
Journal Issue
7
Pages
091-116
Date Issued
1984-01
Date
1984-01
Author(s)
Hung, C.U.
Liu, F.T.
Abstract
This paper traces the main philososophic issues and the foundations of Cantorian set theory and the contemporary cumulative hieararchy theory (c. h. t.). From a platonistic view point, we formulate two theories of c.h. t, that is, stage theory and level theory. The latter is characteristically stronger than the former. Axioms of Zermelo Fraenkel set theory, ZF, that can be deduced within two theories, are explained and left as logical exercises. We believe that, for a deep understanding of model-theoretic results in axiomatic set theory, we must capture fully the philosophy (and the picture) of the cumulative hieararchy.
Type
journal article