Logica e assiomatica

I due agili e limpidi profili tracciati da Robert Blanché sulla Logica contemporanea e sull'Assiomatica, giustificati dagli effettivi rapporti storici e teorici tra logica e matematica, vengono presentati insieme per l'intreccio profondo che sussiste tra i problemi relativi. Ambedue i profili hanno il carattere di «introduzioni»: si rivolgono non ad un pubblico di tecnici, ma di persone colte, senza tuttavia presupporre in esse una preparazione specifica. La chiarezza veramente cartesiana delle linee e dell'espressione guida ed agevola il lettore nella graduale conoscenza della nuova problematica, insieme all'efficace rappresentazione dello spirito e dei motivi essenziali che hanno suscitato, che reggono e che stimolano le ricerche logiche e matematiche contemporanee. Nei confronti di esse, le pagine del Blanché sono, allo stesso tempo, un avvio introduttivo ed un'acuta indicazione del loro significato più profondo e, culturalmente, più suggestivo. Basta, a questo proposito, ricordare, nella trattazione dell'assiomatica, il passaggio dalla concezione del «sistema ipotetico-deduttivo» a quella del «sistema formale» mediante la postulazione convenzionale delle regole logiche di inferenza; e, nella logica, l'illustrazione dei cosiddetti «calcoli non classici» che si riallacciano strettamente alla problematica suddetta, aprendo l'orizzonte sulle questioni più vive e dibattute.