Dialetheias and numbers distinct from themselves. (English) Zbl 07720265

Petersen, Uwe

Notre Dame J. Formal Logic 64, No. 2, 239-246 (2023).

Summary: 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.

MSC:

03B53	Paraconsistent logics
03B16	Higher-order logic
03E70	Nonclassical and second-order set theories

Keywords:

dialetheism; inconsistent arithmetic; logic of paradox; paradoxes; unrestricted abstraction

References:

[1]	Fraenkel, A. A., Y. Bar-Hillel, and A. Levy, Foundations of Set Theory, 2nd revised edition, vol. 67 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1973. · Zbl 0248.02071
[2]	Petersen, U., Diagonal Method and Dialectical Logic: Tools, Materials, and Groundworks for a Logical Foundation of Dialectic and Speculative Philosophy, Der Andere, Osnabrück, 2002.
[3]	Petersen, U., “Is cut free logic fit for unrestricted abstraction?,” Annals of Pure and Applied Logic, vol. 173 (2022), no. 103101. · Zbl 07514088 · doi:10.1016/j.apal.2022.103101
[4]	Priest, G., “The logic of paradox,” Journal of Philosophical logic, vol. 8 (1979), pp. 219-41. · Zbl 0402.03012 · doi:10.1007/BF00258428
[5]	Priest, G., In Contradiction: A Study of the Transconsistent, expanded second edition, Oxford University Press, Oxford, 2006. · doi:10.1007/978-94-009-3687-4
[6]	Shapiro, S., “Incompleteness and inconsistency,” Mind, vol. 111 (2002), pp. 817-32. · doi:10.1093/mind/111.444.817
[7]	Takeuti, G., Proof Theory, 2nd edition, vol. 81 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1987. · Zbl 0609.03019