May 2023 Dialetheias and Numbers Distinct from Themselves
Uwe Petersen
Author Affiliations +
Notre Dame J. Formal Logic 64(2): 239-246 (May 2023). DOI: 10.1215/00294527-10670103

Abstract

According to Priest, a proof can be distinct from itself in the same way that a number can. Priest does not specify any such number, so the present little note aims at filling this lacuna by providing a plain arithmetical code of a dialetheia similar to but simpler than the one presented in our recent work and thereby a natural number distinct from itself.

Citation

Download Citation

Uwe Petersen. "Dialetheias and Numbers Distinct from Themselves." Notre Dame J. Formal Logic 64 (2) 239 - 246, May 2023. https://doi.org/10.1215/00294527-10670103

Information

Received: 6 October 2022; Accepted: 17 March 2023; Published: May 2023
First available in Project Euclid: 27 June 2023

MathSciNet: MR4609007
zbMATH: 07720265
Digital Object Identifier: 10.1215/00294527-10670103

Subjects:
Primary: 03B16 , 03B53 , 3E70

Keywords: dialetheism , inconsistent arithmetic , logic of paradox , paradoxes , unrestricted abstraction

Rights: Copyright © 2023 University of Notre Dame

JOURNAL ARTICLE
8 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.64 • No. 2 • May 2023
Back to Top