This paper is a continuation of a previous paper, where we have introduced the quasi-dialectical systems, which are abstract deductive systems designed to provide, in line with Lakatos’ views, a formalization of trial and error mathematics more adherent to the real mathematical practice of revision than Magari’s original dialectical systems. In this paper we prove that the two models of deductive systems (dialectical systems and quasi-dialectical systems) have in some sense the same information content, in that they represent two classes of sets (the dialectical sets, and the quasi-dialectical sets, respectively), which have the same Turing degrees (namely, the computably enumerable Turing degrees), and the same enumeration degrees (namely, the Pi-0-1 enumeration de- grees). Nonetheless, dialectical sets and quasi-dialectical sets do not coincide. Even restricting our attention to the so-called loopless quasi-dialectical sets, we show that the quasi-dialectical sets properly extend the dialectical sets. As both classes consist of Delta-0-2 sets, the extent to which the two classes differ is conveniently measured using the Ershov hierarchy: indeed, the dialectical sets are ω-computably enumerable (close inspection also shows that there are dialectical sets which do not lie in any finite level; and in every finite level n ≥ 2 of the Ershov hierarchy there is a dialectical set which does not lie in the previous level); on the other hand, the quasi-dialectical sets spread out throughout all classes of the hierarchy.

Amidei, J., Pianigiani, D., San Mauro, L., Sorbi, A. (2016). Trial and error mathematics II: dialectical sets and quasi-dialectical sets, their degrees, and their distribution within the class of limit sets. THE REVIEW OF SYMBOLIC LOGIC, 9(4), 810-835 [10.1017/S1755020316000253].

Trial and error mathematics II: dialectical sets and quasi-dialectical sets, their degrees, and their distribution within the class of limit sets.

PIANIGIANI, DUCCIO;San Mauro, Luca;SORBI, ANDREA
2016-01-01

Abstract

This paper is a continuation of a previous paper, where we have introduced the quasi-dialectical systems, which are abstract deductive systems designed to provide, in line with Lakatos’ views, a formalization of trial and error mathematics more adherent to the real mathematical practice of revision than Magari’s original dialectical systems. In this paper we prove that the two models of deductive systems (dialectical systems and quasi-dialectical systems) have in some sense the same information content, in that they represent two classes of sets (the dialectical sets, and the quasi-dialectical sets, respectively), which have the same Turing degrees (namely, the computably enumerable Turing degrees), and the same enumeration degrees (namely, the Pi-0-1 enumeration de- grees). Nonetheless, dialectical sets and quasi-dialectical sets do not coincide. Even restricting our attention to the so-called loopless quasi-dialectical sets, we show that the quasi-dialectical sets properly extend the dialectical sets. As both classes consist of Delta-0-2 sets, the extent to which the two classes differ is conveniently measured using the Ershov hierarchy: indeed, the dialectical sets are ω-computably enumerable (close inspection also shows that there are dialectical sets which do not lie in any finite level; and in every finite level n ≥ 2 of the Ershov hierarchy there is a dialectical set which does not lie in the previous level); on the other hand, the quasi-dialectical sets spread out throughout all classes of the hierarchy.
2016
Amidei, J., Pianigiani, D., San Mauro, L., Sorbi, A. (2016). Trial and error mathematics II: dialectical sets and quasi-dialectical sets, their degrees, and their distribution within the class of limit sets. THE REVIEW OF SYMBOLIC LOGIC, 9(4), 810-835 [10.1017/S1755020316000253].
File in questo prodotto:
File Dimensione Formato  
trial-errorII.pdf

non disponibili

Descrizione: Articolo unico
Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 270.22 kB
Formato Adobe PDF
270.22 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
trialanderrormathematics2postprint.pdf

accesso aperto

Descrizione: doi:10.1017/S1755020316000253
Tipologia: Post-print
Licenza: Creative commons
Dimensione 399.47 kB
Formato Adobe PDF
399.47 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11365/1003213