Showing 1–3 of 3 results for author: Cattabriga, P

Reflections on Russell's antinomy

Authors: Paola Cattabriga

Abstract: We present Russell's antinomy using three distinct deductive systems, which are then compared to deepen the logical deductions that lead to the contradiction. Some inferential paths are then presented, alternative to the commonly accepted one, that allow for the formal assertion of the antinomy without deriving the contradiction, thus preserving the coherence of the system. In light of this, the p… ▽ More We present Russell's antinomy using three distinct deductive systems, which are then compared to deepen the logical deductions that lead to the contradiction. Some inferential paths are then presented, alternative to the commonly accepted one, that allow for the formal assertion of the antinomy without deriving the contradiction, thus preserving the coherence of the system. In light of this, the purpose of this article is to propose a review of the consequences of asserting Russell's antinomy and, by extension, the widespread belief that any attempt to resolve a paradox is doomed to failure. △ Less

Submitted 20 November, 2024; v1 submitted 6 September, 2024; originally announced September 2024.

Comments: 15 pages, 7 figures

MSC Class: 03Bxx; 03Exx; 03Axx

Refutability as Recursive as Provability

Authors: Paola Cattabriga

Abstract: Godel numbering is an arithmetization of sintax which defines provability by coding a primitive recursive predicate, Pf(x,v). A multiplicity of researches and results all around this well-known recursive predicate are today widespread in many areas of logic and AI. Not equally investigated is the refutability predicate defined by Godel numbering within the same primitive recursive status. Rf(x,v)… ▽ More Godel numbering is an arithmetization of sintax which defines provability by coding a primitive recursive predicate, Pf(x,v). A multiplicity of researches and results all around this well-known recursive predicate are today widespread in many areas of logic and AI. Not equally investigated is the refutability predicate defined by Godel numbering within the same primitive recursive status. Rf(x,v) can be defined as a recursive predicate meaning that x is the Godel number of a refutation in PA of the formula with Godel number v. This article proposes a logical investigation of the interactive links between provability and refutability predicates when defined within the same recursive status. The resulting Lemmas are clarifying and open new perspectives for the incompleteness argument and the codings of its underlying notions. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: 10 pages, presented at 100 Years of Refutation in Logic Workshop, UNILOG 2022. arXiv admin note: text overlap with arXiv:math/0606713

MSC Class: 03D99 03B70 68Q01

A note on Turing's 1936

Authors: Paola Cattabriga

Abstract: To a close reading of the original Turing article of 1936, we can learn it is based on the claim to have defined a number which is not computable, arguing that there can be no machine computing the diagonal on the enumeration of the computable sequences. This article carefully analyses the original 1936 argument, displaying how it cannot be considered a demonstration, and that there is indeed no e… ▽ More To a close reading of the original Turing article of 1936, we can learn it is based on the claim to have defined a number which is not computable, arguing that there can be no machine computing the diagonal on the enumeration of the computable sequences. This article carefully analyses the original 1936 argument, displaying how it cannot be considered a demonstration, and that there is indeed no evidence of such a defined number that is not computable. △ Less

Submitted 15 May, 2023; v1 submitted 31 July, 2013; originally announced August 2013.

Comments: 10 pages, for more information see http://paolacattabriga.wordpress.com/

MSC Class: 03D10; 68Qxx