How to take cats together
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914963486932992 |
|---|---|
| author | Carollo, Imanol Mozo |
| author_facet | Carollo, Imanol Mozo |
| contents | The aim of this paper is to give mathematical account of an argument of David Lewis in Parts of Classes in defense of universalism in mereology. Specifically we study how to extend models of Core Mereology (following Achille Varzi's terminology) to models in which every collection of parts can be composed into another part. We focus on the two main definitions for mereological compositions and show that any model can be extended to satisfy universalism. We explore which are the "most economical" ways of extending models under various conditions. Remarkably, we show that if the principle of Strong Supplementation is assumed, there is a unique mereological completion, up to isomorphism. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_02350 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | How to take cats together Carollo, Imanol Mozo Logic 06A06, 03G10 The aim of this paper is to give mathematical account of an argument of David Lewis in Parts of Classes in defense of universalism in mereology. Specifically we study how to extend models of Core Mereology (following Achille Varzi's terminology) to models in which every collection of parts can be composed into another part. We focus on the two main definitions for mereological compositions and show that any model can be extended to satisfy universalism. We explore which are the "most economical" ways of extending models under various conditions. Remarkably, we show that if the principle of Strong Supplementation is assumed, there is a unique mereological completion, up to isomorphism. |
| title | How to take cats together |
| topic | Logic 06A06, 03G10 |
| url | https://arxiv.org/abs/2410.02350 |