Hailed by the Bulletin of the American Mathematical Society as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields. Starting with an introduction to symbolic logic, the first eight chapters develop logic through the restricted predicate calculus. Topics include the statement calculus, the use of names, an axiomatic treatment of the statement (...) calculus, descriptions, and equality. Succeeding chapters explore abstract set theory—with examinations of class membership as well as relations and functions—cardinal and ordinal arithmetic, and the axiom of choice. An invaluable reference book for all mathematicians, this text is suitable for advanced undergraduates and graduate students. Numerous exercises make it particularly appropriate for classroom use. (shrink)

We use NF to designate the system known as Quine's New Foundations, and NF + AF to designate the same system with a suitable axiom of infinity adjoined. We use ML to designate the revised system appearing in the third printing of Quine's “Mathematical Logic”. This system ML is just the systemPproposed by Wang in [4], and essentially includes NF as a part.The pripcipal results of the present paper are:A. In NF the axiom of infinity is equivalent to the definability (...) of an ordered pair having the same type as its constituents.B. Considering the formulas of NF as having translations in the formalism of ML in the sense defined in [4], we find that a formula of NF is provable in NF if and only if its translation is provable in ML. From the fact that the axiom of infinity is provable in ML, one might be tempted to conclude that the axiom of infinity is provable in NF. It is explained why this is not a valid inference. Consequently, it would appear that there is a sense in which NF + AF is stronger than ML. (shrink)

This paper discusses a sequence of extensions ofNFU, Jensen's improvement of Quine's set theory “New Foundations” (NF) of [16].The original theoryNFof Quine continues to present difficulties. After 60 years of intermittent investigation, it is still not known to be consistent relative to any set theory in which we have confidence. Specker showed in [20] thatNFdisproves Choice (and so proves Infinity). Even if one assumes the consistency ofNF, one is hampered by the lack of powerful methods for proofs of consistency and (...) independence such as are available for use withZFC; very clever work has been done with permutation methods, starting with [18] and [5], and exemplified more recently by [14], but permutation methods can only be applied to show the consistency or independence of unstratified sentences (see the definition ofNFUbelow for a definition of stratification). For example, there is no method available to determine whether the assertion “the continuum can be well-ordered” is consistent with or independent ofNF. There is one substantial independence result for an assertion with nontrivial stratified consequences, using metamathematical methods: this is Orey's proof of the independence of the Axiom of Counting fromNF(see below for a statement of this axiom).We mention these difficulties only to reassure the reader of their irrelevance to the present work. Jensen's modification of “New Foundations” (in [13]), which was to restrict extensionality to sets, allowing many non-sets (urelements) with no elements, has almost magical effects. (shrink)

This paper discusses a sequence of extensions ofNFU, Jensen's improvement of Quine's set theory “New Foundations” (NF) of [16].The original theoryNFof Quine continues to present difficulties. After 60 years of intermittent investigation, it is still not known to be consistent relative to any set theory in which we have confidence. Specker showed in [20] thatNFdisproves Choice (and so proves Infinity). Even if one assumes the consistency ofNF, one is hampered by the lack of powerful methods for proofs of consistency and (...) independence such as are available for use withZFC; very clever work has been done with permutation methods, starting with [18] and [5], and exemplified more recently by [14], but permutation methods can only be applied to show the consistency or independence of unstratified sentences (see the definition ofNFUbelow for a definition of stratification). For example, there is no method available to determine whether the assertion “the continuum can be well-ordered” is consistent with or independent ofNF. There is one substantial independence result for an assertion with nontrivial stratified consequences, using metamathematical methods: this is Orey's proof of the independence of the Axiom of Counting fromNF(see below for a statement of this axiom).We mention these difficulties only to reassure the reader of their irrelevance to the present work. Jensen's modification of “New Foundations” (in [13]), which was to restrict extensionality to sets, allowing many non-sets (urelements) with no elements, has almost magical effects. (shrink)

Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis-a-vis set theory. It is argued here that these theories require a background logic of relations and substantive assumptions addressing mathematical existence of categories themselves. We propose a synthesis of Bell's many-topoi view and modal-structuralism. Surprisingly, a combination of mereology and plural quantification suffices to describe hypothetical large domains, recovering the Grothendieck method of universes. Both topos theory and set theory can be carried out (...) relative to such domains; puzzles about ‘large categories’ and ‘proper classes’ are handled in a uniform way, by relativization, sustaining insights of Zermelo. (shrink)

Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe­ maticians working in a variety of other fields of Mathematical research. This occurs at several levels. On the first level, categories provide a convenient conceptual language, based on the notions of category, functor, natural transformation, contravariance, and functor category. These notions are presented, with appropriate examples, in Chapters I and II. Next comes the fundamental idea of an adjoint (...) pair of functors. This appears in many substantially equivalent forms: That of universal construction, that of direct and inverse limit, and that of pairs offunctors with a natural isomorphism between corresponding sets of arrows. All these forms, with their interrelations, are examined in Chapters III to V. The slogan is "Adjoint functors arise everywhere". Alternatively, the fundamental notion of category theory is that of a monoid -a set with a binary operation of multiplication which is associative and which has a unit; a category itself can be regarded as a sort of general­ ized monoid. Chapters VI and VII explore this notion and its generaliza­ tions. Its close connection to pairs of adjoint functors illuminates the ideas of universal algebra and culminates in Beck's theorem characterizing categories of algebras; on the other hand, categories with a monoidal structure lead inter alia to the study of more convenient categories of topological spaces. (shrink)

Ambiguity is a property of syntactic expressions which is ubiquitous in all informal languages–natural, scientific and mathematical; the efficient use of language depends to an exceptional extent on this feature. Disambiguation is the process of separating out the possible meanings of ambiguous expressions. Ambiguity is typical if the process of disambiguation can be carried out in some systematic way. Russell made use of typical ambiguity in the theory of types in order to combine the assurance of its (apparent) consistency (“having (...) the cake”) with the freedom of the informal untyped theory of classes and relations (“eating it too”). The paper begins with a brief tour of Russell’s uses of typical ambiguity, including his treatment of the statement Cls ∈ Cls. This is generalized to a treatment in simple type theory of statements of the form A ∈ B where A and B are class expressions for which A is prima facie of the same or higher type than B. In order to treat mathematically more interesting statements of self membership we then formulate a version of typical ambiguity for such statements in an extension of Zermelo-Fraenkel set theory. Specific attention is given to how the“naive” theory of categories can thereby be accounted for. (shrink)