1,804 research outputs found
The modal logic of arithmetic potentialism and the universal algorithm
I investigate the modal commitments of various conceptions of the philosophy
of arithmetic potentialism. Specifically, I consider the natural potentialist
systems arising from the models of arithmetic under their natural extension
concepts, such as end-extensions, arbitrary extensions, conservative extensions
and more. In these potentialist systems, I show, the propositional modal
assertions that are valid with respect to all arithmetic assertions with
parameters are exactly the assertions of S4. With respect to sentences,
however, the validities of a model lie between S4 and S5, and these bounds are
sharp in that there are models realizing both endpoints. For a model of
arithmetic to validate S5 is precisely to fulfill the arithmetic maximality
principle, which asserts that every possibly necessary statement is already
true, and these models are equivalently characterized as those satisfying a
maximal theory. The main S4 analysis makes fundamental use of the
universal algorithm, of which this article provides a simplified,
self-contained account. The paper concludes with a discussion of how the
philosophical differences of several fundamentally different potentialist
attitudes---linear inevitability, convergent potentialism and radical branching
possibility---are expressed by their corresponding potentialist modal
validities.Comment: 38 pages. Inquiries and commentary can be made at
http://jdh.hamkins.org/arithmetic-potentialism-and-the-universal-algorithm.
Version v3 has further minor revisions, including additional reference
Inconsistent Countable Set in Second Order ZFC and Nonexistence of the Strongly Inaccessible Cardinals
In this article we derived an important example of the inconsistent countable set in second order
ZFC (ZFC_2) with the full second-order semantics. Main results: (i) :~Con(ZFC2_); (ii) let k
be an inaccessible cardinal, V is an standard model of ZFC (ZFC_2) and H_k is a set of all sets having hereditary size less then k; then : ~Con(ZFC + E(V)(V = Hk))
A theory of hyperfinite sets
We develop an axiomatic set theory -- the Theory of Hyperfinite Sets THS,
which is based on the idea of existence of proper subclasses of big finite
sets. We demonstrate how theorems of classical continuous mathematics can be
transfered to THS, prove consistency of THS and present some applications.Comment: 28 page
- …