Intuitionistic Mereology II: Overlap and Disjointness

Intuitionistic Mereology II: Overlap and Disjointness

This paper extends the axiomatic treatment of intuitionistic mereology introduced in Maffezioli and Varzi ( Synthese, 198 (S18), 4277–4302 2021 ) by examining the behavior of constructive notions of overlap and disjointness. We consider both (i) various ways of defining such notions in terms of othe...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of philosophical logic 2023-08, Vol.52 (4), p.1197-1233
Hauptverfasser: Maffezioli, Paolo, Varzi, Achille C.
Format: Artikel
Sprache:eng
Schlagworte:
Education
Logic
Mereology
Philosophy
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper extends the axiomatic treatment of intuitionistic mereology introduced in Maffezioli and Varzi ( Synthese, 198 (S18), 4277–4302 2021 ) by examining the behavior of constructive notions of overlap and disjointness. We consider both (i) various ways of defining such notions in terms of other intuitionistic mereological primitives, and (ii) the possibility of treating them as mereological primitives of their own.
ISSN:0022-3611
1573-0433
DOI:10.1007/s10992-023-09703-w