Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/76941
Citations | ||
Scopus | Web of Science® | Altmetric |
---|---|---|
?
|
?
|
Type: | Journal article |
Title: | Identity taken seriously: a non-classical approach |
Author: | Mortensen, C. |
Citation: | Logic Journal of the IGPL, 2013; 21(1):101-107 |
Publisher: | Oxford University Press |
Issue Date: | 2013 |
ISSN: | 1367-0751 1368-9894 |
Statement of Responsibility: | Chris Mortensen |
Abstract: | Identification of distinct items is a basic technique in mathematics. However, identification suffers from a certain weakness of resolve in that it is (classically) accompanied by dropping the original disidentification, which causes a loss of information about the theory which sources the identity. This article proposes an alternative, namely keeping the disidentification along with the identification. This produces an inconsistent theory which is generally an extension of the source theory. The concept of a Dunn–Meyer extension is defined to study these properties. It is seen that this technique is sensitive to the choice of background logic, particularly RM3 as opposed to closed-set logic. By employing the Routley functor, a best-choice logic is found for this construction. |
Keywords: | Inconsistent mathematics non-classical mathematics mathematical identity |
Rights: | © The Author 2012 |
DOI: | 10.1093/jigpal/jzs024 |
Published version: | http://dx.doi.org/10.1093/jigpal/jzs024 |
Appears in Collections: | Aurora harvest 4 Philosophy publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.