In this paper we investigate Boolean algebras and their subalgebras in Alternative Set Theory . We show that any two countable atomless Boolean algebras are isomorphic and we give an example of such a Boolean algebra. One other main result is, that there is an infinite Boolean algebra freely generated by a set. At the end of the paper we show that the sentence “There is no non-trivial free group which is a set” is consistent with AST.

Alternative set theory was created by the Czech mathematician Petr Vopěnka in 1979 as an alternative to Cantor’s set theory. Vopěnka criticised Cantor’s approach for its loss of correspondence with the real world. Alternative set theory can be partially axiomatised and regarded as a nonstandard theory of natural numbers. However, its intention is much wider. It attempts to retain a correspondence between mathematical notions and phenomena of the natural world. Through infinity, Vopěnka grasps the phenomena of vagueness. Infinite sets are (...) defined as sets containing proper semisets, i.e. vague parts of sets limited by the horizon. The new interpretation extends the field of applicability of mathematics and simultaneously indicates its limits. Compared to strict finitism and other attempts at a reduction of the infinite to the finite Vopěnka’s theory reverses the process: he models the finite in the infinite. (shrink)

Discussions about naturalness, artificiality and unnaturalness in this article are motivated by the field of Human Cognitive Enhancement (HCE) because of its potential for altering human personality and identity. This article at first proposes a concept of human naturalness as interaction between physis and logos. Then it presents an intuitive understanding of naturalness in terms of the inherent inability of language to fully describe all attributes of an object that is natural. The analytical core of the article proposes a formal (...) model of naturalness utilising Vopenka's phenomenologically grounded Alternative Set Theory (AST), comprising and formalising the concept of natural infinity. A brief introduction to AST is presented as well. Naturalness and artificiality are modelled as two structurally different naturally infinite semisets within AST. This key structural difference is then analysed and applied back to the domain of HCE. (shrink)

This article bears on four topics: observational predicates and phenomenal properties, vagueness, strict finitism as a philosophy of mathematics, and the analysis of feasible computability. It is argued that reactions to strict finitism point towards a semantics for vague predicates in the form of nonstandard models of weak arithmetical theories of the sort originally introduced to characterize the notion of feasibility as understood in computational complexity theory. The approach described eschews the use of nonclassical logic and related devices like degrees (...) of truth or supervaluation. Like epistemic approaches to vagueness, it may thus be smoothly integrated with the use of classical model theory as widely employed in natural language semantics. But unlike epistemicism, the described approach fails to imply either the existence of sharp boundaries or the failure of tolerance for soritical predicates. Applications ofmeasurement theory(in the sense of Krantz, Luce, Suppes, & Tversky (1971)) to vagueness in the nonstandard setting are also explored. (shrink)