We define and study quasi-dialectical systems, which are an extension of Magari’s dialectical systems, designed to make Magari’s formalization of trial and error mathematics more adherent to the real mathematical practice of revision: our proposed extension follows, and in several regards makes more precise, varieties of empiricist positions a` la Lakatos. We prove severalproperties of quasi-dialectical systems and of the sets that they represent, called quasi-dialecticalsets. In particular, we prove that the quasi-dialectical sets are Delta-0-2 sets in the arithmetical hierarchy. We distinguish between “loopless” quasi-dialectal systems, and quasi-dialectical systems “with loops”. The latter ones represent exactly those coinfinite c.e. sets, that are not simple. In a subsequent paper we will show that whereas the dialectical sets are omega-c.e., the quasi-dialectical sets spread out throughout all classes of the Ershov hierarchy of the Delta-0-2 sets.

Jacopo, A., Pianigiani, D., San Mauro, L., Simi, G., Sorbi, A. (2016). Trial and error mathematics I: dialectical and quasi-dialectical systems. THE REVIEW OF SYMBOLIC LOGIC, 9(2), 299-324 [10.1017/S1755020315000404].

Trial and error mathematics I: dialectical and quasi-dialectical systems

Pianigiani, Duccio;San Mauro, Luca;Simi, Giulia;Sorbi, Andrea
2016-01-01

Abstract

We define and study quasi-dialectical systems, which are an extension of Magari’s dialectical systems, designed to make Magari’s formalization of trial and error mathematics more adherent to the real mathematical practice of revision: our proposed extension follows, and in several regards makes more precise, varieties of empiricist positions a` la Lakatos. We prove severalproperties of quasi-dialectical systems and of the sets that they represent, called quasi-dialecticalsets. In particular, we prove that the quasi-dialectical sets are Delta-0-2 sets in the arithmetical hierarchy. We distinguish between “loopless” quasi-dialectal systems, and quasi-dialectical systems “with loops”. The latter ones represent exactly those coinfinite c.e. sets, that are not simple. In a subsequent paper we will show that whereas the dialectical sets are omega-c.e., the quasi-dialectical sets spread out throughout all classes of the Ershov hierarchy of the Delta-0-2 sets.
2016
Jacopo, A., Pianigiani, D., San Mauro, L., Simi, G., Sorbi, A. (2016). Trial and error mathematics I: dialectical and quasi-dialectical systems. THE REVIEW OF SYMBOLIC LOGIC, 9(2), 299-324 [10.1017/S1755020315000404].
File in questo prodotto:
File Dimensione Formato  
quasidial1.pdf

non disponibili

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

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/986107