What is the most mereologically vague set theory according to Tarski?
Tarski's set theory is known as Tarski-Grothendieck set theory, or Tarski-Grothendieck set theory with atoms, which is a variant of the Zermelo-Fraenkel set theory that includes a notion of "atoms" which are the minimal, indivisible elements of the universe of sets. This theory is considered to be one of the most mereologically vague set theories because it allows for the existence of atoms, which are sets that cannot be further decomposed into smaller sets, making it difficult to precisely define the boundaries of sets in the universe.
Comments
Post a Comment