Pagina:Pastore - Sul fondamento logico della matematica, 1935.djvu/7

6


La LdP è appunto fondata sul principio che il numero delle idee primitive determini tutte le proprietà dei sistemi e quindi sia l’espressione più semplice della sua forma o universo, a cui corrisponde un discorso o sviluppo analitico.


§ 4. - Numero e continuità.

Fondamento dei sistemi matematici.


Per passare ai sistemi trattabili coi metodi matematici riconosciamo nell’idea di continuità, che è logica ma fondamento della continuità matematica, la costante sistematica, contrariamente all’opinione di Couturat, il quale ritiene che la nozione di continuità sia puramente logica nel senso della prima operazione fondamentale, cioè deduttiva.

Si potrebbe objettare che in matematica esistono processi discontinui, ad esempio in aritmetica la serie numerica. Ma se si tiene conto, come esige la logica, del termine di riferimento, se ad esempio si considera la serie dei numeri interi, non si può dire che tra due numeri interi immediatamente successivi esista discontinuità, in quanto non esiste alcun numero intero tra essi, cioè non esiste discontinuità di numeri interi. Se considero la discontinuità dei numeri razionali analogamente non esiste discontinuità di numeri razionali. Caratteristica della matematica è l’ordinare con continuità i suoi oggetti.

Nel senso logico e relativo qui precisato della continuità, è ovvio che non vi è opposizione tra continuità e numerabilità.

Se p. e. si assume come termine di riferimento un segmento a b, la continuità logica diventa la continuità matematica (definita come corrispondenza biunivoca tra i punti del segmento a b e gli elementi dell’insieme), e cioè la continuità matematica è una continuità limite della continuità logica; la stessa continuità di una funzione f (x) in un punto c dipende in definitiva dall’idea di continuità del segmento a b.

A illustrazione del senso della continuità logica poniamo. Tutti gli enti che sodisfano ad una certa condizione K fanno parte della classe C. Se questi enti sono ordinabili secondo una successione costituiscono una classe matematica.

Dico che la classe è continua se tra due enti successivi immediati non esiste alcun ente che sodisfi alla condizione K.

Pei principj anzidetti tutte le proprietà del continuo derivante sono determinate dal numero delle idee primitive fondamentali del sistema1

  1. Questa è la traduzione del teorema del potenziamento «che ci dà lo sviluppo totale di un discorso di n termini». Mosso, Principi di logica del potenziamento. Torino, Bocca, 1923, pag. 30.