Description

• Title:
  How to define a mereological (collective) set
• Creator:
  Gruszczyński, Rafał;
  Pietruszczak, Andrzej
• Description:
  As it is indicated in the title, this paper is devoted to the problem of defining mereological (collective) sets. Starting from basic properties of sets in mathematics and differences between them and so called conglomerates in Section 1, we go on to explicate informally in Section 2 what it means to join many objects into a single entity from point of view of mereology, the theory of part of (parthood) relation. In Section 3 we present and motivate basic axioms for part of relation and we point to their most fundamental consequences. Next three sections are devoted to formal explication of the notion of mereological set (collective set) in terms of sums, fusions and aggregates. We do not give proofs of all theorems. Some of them are complicated and their presentation would divert the reader’s attention from the main topic of the paper. In such cases we indicate where the proofs can be found and analyzed by those who are interested.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2010.12.30
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 19 No. 4 (2010); 309-328;
  Logic and Logical Philosophy; Tom 19 Nr 4 (2010); 309-328;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2010.011/981
• Subject:
  mereology;
  mereological sum;
  mereological fusion;
  mereological aggregate;
  mereological set;
  collective set;
  set theory;
  formal ontology
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2010.011
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text