Mereology and Infinity
Journal Title: Logic and Logical Philosophy - Year 2016, Vol 25, Issue 3
Abstract
This paper deals with the treatment of infinity and finiteness in mereology. After an overview of some first-order mereological theories, finiteness axioms are introduced along with a mereological definition of “x is finite” in terms of which the axioms themselves are derivable in each of those theories. The finiteness axioms also provide the background for definitions of “(mereological theory) T makes an assumption of infinity”. In addition, extensions of mereological theories by the axioms are investigated for their own sake. In the final part, a definition of “x is finite” stated in a second-order language is also presented, followed by some concluding remarks on the motivation for the study of the (first-order) extensions of mereological theories dealt with in the paper.
Authors and Affiliations
Karl-Georg Niebergall
Keywords
Related Articles
- EP ID EP202151
- DOI 10.12775/LLP.2016.023
- Views 76
- Downloads 0
Relational semantics for the 4-valued relevant logics BN4 and E4
The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The a...
Tomasz Jarmużek and Marcin Tkaczyk: “Normalne logiki pozycyjne” (Normal Positional Logics), Wydawnictwo KUL, Lublin (Poland), 2015
Book Reviews: Tomasz Jarmużek and Marcin Tkaczyk, Normalne logiki pozycyjne (Normal Positional Logics), Wydawnictwo KUL, Lublin (Poland), 2015, 202 pages, ISBN 978-838061-114-6.
The Case of Dialetheism
The concept of dialetheia and the claim of dialetheism has been examined and compared to such related concept as contradiction, antinomy, consistency and paraconsistency. Dialetheia is a true contradiction and dialetheis...
A Theory of Propositions
In this paper I present a new theory of propositions, according to which propositions are abstract mathematical objects: well-formed formulas together with models. I distinguish the theory from a number of existing views...
Aristotle's Correspondence Theory of Truth and What Does Not Exist
While nowhere does he use the term to refer to his own theory, Aristotle is often thought to exemplify an early correspondence theory of truth. In the paper, I examine the textual evidence used to support the idea that A...