This paper begins an axiomatic development of naive set theoryin a paraconsistent logic. Results divide into two sorts. There is classical recapture, where the main theorems of ordinal and Peano arithmetic are proved, showing that naive set theory can provide a foundation for standard mathematics. Then there are major extensions, including proofs of the famous paradoxes and the axiom of choice (in the form of the well-ordering principle). At the end I indicate how later developments of cardinal numbers will lead (...) to Cantor’s theorem, the existence of large cardinals, and a counterexample to the continuum hypothesis. (shrink)

On the one hand, the absence of contraction is a safeguard against the logical (property theoretic) paradoxes; but on the other hand, it also disables inductive and recursive definitions, in its most basic form the definition of the series of natural numbers, for instance. The reason for this is simply that the effectiveness of a recursion clause depends on its being available after application, something that is usually assured by contraction. This paper presents a way of overcoming this problem within (...) the framework of a logic based on inclusion and unrestricted abstraction, without any form of extensionality. (shrink)

The paper establishes the general structure of the inconsistent models of arithmetic of [7]. It is shown that such models are constituted by a sequence of nuclei. The nuclei fall into three segments: the first contains improper nuclei: the second contains proper nuclei with linear chromosomes: the third contains proper nuclei with cyclical chromosomes. The nuclei have periods which are inherited up the ordering. It is also shown that the improper nuclei can have the order type of any ordinal, of (...) the rationals, or of any other order type that can be embedded in the rationals in a certain way. (shrink)

Throughout the twentieth century, the classical logic of Frege and Russell dominated the field of formal logic. But, as Ross Brady argues, a new type of weak relevant logic may prove to be better equipped to present new solutions to persistent paradoxes. _Universal Logic _begins with an overview of classical and relevant logic and discusses the limitations of both in analyzing certain paradoxes. It is the first text to demonstrate how the main set-theoretic and semantic paradoxes can be solved in (...) a systematic way and as such will be of great interest to both scholars and students of logic. (shrink)

The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. This paper considers the sub-problem of expressing extensional identity and the subset relation in paraconsistent, relevant solutions, in light of a recent proposal from Beall, Brady, Hazen, Priest and Restall [4]. The main result is that the proposal, in the context of an independently motivated formalization of naive set theory, leads (...) to triviality. (shrink)

This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles and natural language conditionals. The book ends by examining various applications of relevant logic and (...) presenting some interesting open problems. It will be of interest to a range of readers including advanced students of logic, philosophical and mathematical logicians, and computer scientists. (shrink)