MoL-2016-17: Paraconsistent Logics and Identity - a Pragmatic Approach

MoL-2016-17: Cattermole, Thomas (2016) Paraconsistent Logics and Identity - a Pragmatic Approach. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (626kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (1kB)


This thesis investigates what role paraconsistency can play in dealing with traditionally intractable problems concerning identity and change. More specifically, we consider three logics that all commit to a Leibnizian account of identity, but that provide distinct solutions to a version of the sorites paradox related to the Ship of Theseus. It is shown how the first of these logics solves the problem by taking an approach that embraces inconsistency, rendering invalid some familiar principles, while the second takes a more consistent approach, satisfying these familiar principles, but is not able to capture some core elements of paraconsistency. The final logic uses positive features of both approaches to provide a radically different account of the nature of change. This logic is particularly interesting in that it is a non-monotonic logic inspired by pragmatic considerations regarding vagueness. The viability of each approach is assessed in part according to their treatment of the paradox, and in part according to five rules of inference that we argue any account of identity should allow.

Item Type: Report
Report Nr: MoL-2016-17
Series Name: Master of Logic Thesis (MoL) Series
Year: 2016
Uncontrolled Keywords: logic, philosophy
Subjects: Logic
Date Deposited: 12 Oct 2016 14:39
Last Modified: 12 Oct 2016 14:39

Actions (login required)

View Item View Item