The University of St Andrews

Research@StAndrews:FullText >
University of St Andrews Research >
University of St Andrews Research >
University of St Andrews Research >

Please use this identifier to cite or link to this item:
This item has been viewed 10 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
FirstView_NWFM.pdf204.39 kBAdobe PDFView/Open
Title: Non-wellfounded mereology
Authors: Cotnoir, Aaron
Bacon, Andrew
Keywords: BC Logic
Issue Date: Jun-2012
Citation: Cotnoir , A & Bacon , A 2012 , ' Non-wellfounded mereology ' The Review of Symbolic Logic , vol 5 , no. 2 , pp. 187-204 . , 10.1017/S1755020311000293
Abstract: This paper is a systematic exploration of non-wellfounded mereology. Motivations and applications suggested in the literature are considered. Some are exotic like Borges’ Aleph, and the Trinity; other examples are less so, like Time Traveling Bricks, and even Geach’s Tibbles the Cat. The authors point out that the transitivity of non-wellfounded parthood is inconsistent with extensionality. A non-wellfounded mereology is developed with careful consideration paid to rival notions of supplementation and fusion. Two equivalent axiomatizations are given, and are compared to classical mereology. We provide a class of models with respect to which the non-wellfounded mereology is sound and complete.
Version: Postprint
Status: Peer reviewed
ISSN: 1755-0203
Type: Journal article
Rights: This is an author version of this article. The published version is available at (c) Association for Symbolic Logic, 2011
Appears in Collections:Philosophy Research
University of St Andrews Research

This item is protected by original copyright

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


DSpace Software Copyright © 2002-2012  Duraspace - Feedback
For help contact: | Copyright for this page belongs to St Andrews University Library | Terms and Conditions (Cookies)