Description

• Title:
  Mereology and Infinity
• Creator:
  Niebergall, Karl-Georg
• Description:
  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.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2016.08.08
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 25 No. 3 (2016): September; 309-350;
  Logic and Logical Philosophy; Tom 25 Nr 3 (2016): wrzesień; 309-350;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2016.023/9508
• Subject:
  mereology;
  infinity;
  axioms of finiteness;
  relative interpretability;
  second-order language
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2016.023
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text