The Counting Problem of Slot Mereology
Résumé
Bennett proposed in 2013 a new mereological theory based on the decomposition of the parthood relation into two relations: having a slot and occupying that slot. Slot mereology can be used to represent the mereological structure of a variety of entities that can have the same part multiple times, including (but not only) structural universals. We show here that this theory is not compatible with a counting criterion that would enable us to count appropriately how many times a whole has a part. We propose news axioms to fix those flaws.
Domaines
Informatique [cs]Origine | Fichiers éditeurs autorisés sur une archive ouverte |
---|