PhilSci Archive

Intuitionistic Mereology

Maffezioli, Paolo and Varzi, Achille C (2018) Intuitionistic Mereology. [Preprint]

[img]
Preview
Text
IntMerWeb.pdf

Download (496kB) | Preview

Abstract

Two mereological theories are presented based on a primitive apartness relation along with binary relations of mereological excess and weak excess, respectively. It is shown that both theories are acceptable from the standpoint of constructive reasoning while remaining faithful to the spirit of classical mereology. The two theories are then compared and assessed with regard to their extensional import.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Maffezioli, Paolo
Varzi, Achille C
Additional Information: Forthcoming in Synthese
Keywords: Mereology; Intuitionism; Apartness; Excess; Extensionality
Subjects: Specific Sciences > Mathematics > Logic
Specific Sciences > Mathematics > Ontology
General Issues > Scientific Metaphysics
Depositing User: Dr. Achille C Varzi
Date Deposited: 23 Nov 2018 14:07
Last Modified: 23 Nov 2018 14:07
Item ID: 15365
Subjects: Specific Sciences > Mathematics > Logic
Specific Sciences > Mathematics > Ontology
General Issues > Scientific Metaphysics
Date: 2018
URI: https://philsci-archive.pitt.edu/id/eprint/15365

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item