On the one hand, the absence of contraction is a safeguard against the logical (property theoretic) paradoxes; but on the other hand, it also disables inductive and recursive definitions, in its most basic form the definition of the series of natural numbers, for instance. The reason for this is simply that the effectiveness of a recursion clause depends on its being available after application, something that is usually assured by contraction. This paper presents a way of overcoming this problem within (...) the framework of a logic based on inclusion and unrestricted abstraction, without any form of extensionality. (shrink)

Certain instances of contraction are provable in Zardini’s system $\mathbf {IK}^\omega $ which causes triviality once a truth predicate and suitable fixed points are available.

The present note was prompted by Weber’s approach to proving Cantor’s theorem, i.e., the claim that the cardinality of the power set of a set is always greater than that of the set itself. While I do not contest that his proof succeeds, my point is that he neglects the possibility that by similar methods it can be shown also that no non-empty set satisfies Cantor’s theorem. In this paper unrestricted abstraction based on a cut free Gentzen type sequential calculus (...) will be employed to prove both results. In view of the connection between Priest’s three-valued logic of paradox and cut free Gentzen calculi this, a fortiori, has an impact on any paraconsistent set theory built on Priest’s logic of paradox. (shrink)

This paper is a sequel to my [7]. It focuses on the notion of natural number as introduced in section 11 of that paper with regard to forms of induction and recursive definitions. One point is that this notion of natural number is somewhat weaker than the classical one in so far as it is defined in terms of a weak implication. The other point is the lack of even a weak form of extensionality. As a main result of the (...) present paper it will turn out that the means provided in [7] are sufficient to account for an interpretation of primitive recursive arithmetic. (shrink)

Abstract.This paper is a sequel to my [7]. It focuses on the notion of natural number as introduced in section 11 of that paper with regard to forms of induction and recursive definitions. One point is that this notion of natural number is somewhat weaker than the classical one in so far as it is defined in terms of a weak implication. The other point is the lack of even a weak form of extensionality. As a main result of the (...) present paper it will turn out that the means provided in [7] are sufficient to account for an interpretation of primitive recursive arithmetic. (shrink)

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.

bk. 1. Tools for dialectic -- bk. 2. Historical-philosophical background materials -- bk. 3. Groundworks for dialectical logic.

\ is a new type of non-finitist inference, i.e., an inference that involves treating some infinite collection as completed, designed for contraction free logic with unrestricted abstraction. It has been introduced in Petersen and shown to be consistent within a system \ \ of contraction free logic with unrestricted abstraction. In Petersen :665–694, 2003) it was established that adding \ to \ \ is sufficient to prove the totality of primitive recursive functions but it was also indicated that this would (...) not extend to 2-recursive functions such as the Ackermann–Péter function, for instance. The purpose of the present paper is to expand the underlying idea in the construction of \ to gain a stronger notion, conveniently labeled \, which is sufficient to prove a form of nested double induction and thereby the totality of 2-recursive functions. (shrink)

$$\mathbf {Z}$$ is a new type of non-finitist inference, i.e., an inference that involves treating some infinite collection as completed, designed for contraction free logic with unrestricted abstraction. It has been introduced in Petersen (Studia Logica 64:365–403, 2000) and shown to be consistent within a system $$\mathbf {{}L^iD{}}{}$$ $$_{\uplambda }$$ of contraction free logic with unrestricted abstraction. In Petersen (Arch Math Log 42(7):665–694, 2003) it was established that adding $$ \mathbf {Z}$$ to $$\mathbf {{}L^iD{}}{}$$ $$_{\uplambda }$$ is sufficient to prove (...) the totality of primitive recursive functions but it was also indicated that this would not extend to 2-recursive functions such as the Ackermann–Péter function, for instance. The purpose of the present paper is to expand the underlying idea in the construction of $$\mathbf {Z}$$ to gain a stronger notion, conveniently labeled $$\mathbf {Z}_2$$, which is sufficient to prove a form of nested double induction and thereby the totality of 2-recursive functions. (shrink)

Z\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {Z}$$\end{document} is a new type of non-finitist inference, i.e., an inference that involves treating some infinite collection as completed, designed for contraction free logic with unrestricted abstraction. It has been introduced in Petersen and shown to be consistent within a system LiD\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {{}L^iD{}}{}$$\end{document}λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_{\uplambda }$$\end{document} of contraction free logic with unrestricted abstraction. In Petersen (...) :665–694, 2003) it was established that adding Z\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathbf {Z}$$\end{document} to LiD\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {{}L^iD{}}{}$$\end{document}λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_{\uplambda }$$\end{document} is sufficient to prove the totality of primitive recursive functions but it was also indicated that this would not extend to 2-recursive functions such as the Ackermann–Péter function, for instance. The purpose of the present paper is to expand the underlying idea in the construction of Z\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {Z}$$\end{document} to gain a stronger notion, conveniently labeled Z2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {Z}_2$$\end{document}, which is sufficient to prove a form of nested double induction and thereby the totality of 2-recursive functions. (shrink)