'A scuola nelle piccole scuole', è un volume corale che vuole valorizzare le esperienze di ricerca condotte sia dal CREMIT e che da INDIRE e condivise a partire dalla Summer School 'Insegnare ed apprendere nelle piccole scuole' realizzata a Sassello nel 2017 nell'ambito del progetto 'Piccole Scuole' Gli studi e gli interventi condotti nelle piccole scuole permettono di offrire al lettore una prospettiva di comprensione del fare scuola nelle piccole scuole. Il volume ricco di casi e indagini massive permette al lettore di appropriarsi degli strumenti per una migliore gestione della pluriclasse e per l'attuazione di esperienze educative estese anche grazie alle tecnologie per l'educazione. La dimensione della Rete assume un ruolo centrale e il confronto con le realtà internazionali guida la messa a punto di modelli di networking in grado di promuovere qualità formativa e la sostenibilità stessa dei presidi culturali collocati nelle isole, nelle montagne e nelle aree interne del Paese.

II gesuita Gerolamo Saccheri aveva circa trent'anni quando nel 1696-97 pubblicò la 'Logica demonstrativa', un manuale scritto in occasione del suo primo incarico didattico importante, nel Collegio dell'Ordine a Torino. A prima vista il testo rientra nell'alveo della immensa trattatistica di logica aristotelica, ininterrotta dal Medioevo. Invece è un unicum nella storia della disciplina. L'autore si propone di esporre la materia non m modo descrittivo, come sempre era stato fatto, ma assiomaticamente, individuando 'principi' da cui derivino i noti risultati sui sillogismi validi. L'obiettivo viene lucidamente formulato: ottenere per la logica lo stesso rigore della geometria, seconda l'esempio e il modello di Euclide. Con finissima sensibilità assiomatica Saccheri raggiunge pienamente lo scopo, prima impiegando, tra gli altri, un assioma del tutto plausibile, ma, diremmo noi, 'extra-logico'; poi riuscendo a eliminarlo con un elegante procedimento deduttivo (la via nobilior). Una pari lucidità è dispiegata nel trattamento del problema delle definizioni, anche in questo caso con un salto di livello rispetto a ogni trattazione precedente. Ma l'opera, forse troppo audace negli scopi e nei metodi, dopo l'iniziale diffusione e varie ristampe nei primi anni, misteriosamente non fu più utilizzata, sembra, dallo stesso autore e fu riproposta solo postuma come affettuoso omaggio di allievi.

I risultati che hanno reso famoso Gödel sono la completezza semantica del calcolo dei predicati, l'incompletezza dei sistemi assiomatici contenenti l'aritmetica (il cosiddetto 'teorema d'incompletezza di Gödel'), infine la contraddittorietà dell'assioma di scelta e dell'ipotesi del continuo con gli assiomi della teoria degli insiemi. Questo secondo volume delle opere contiene tutti gli scritti pubblicati da Gödel nel periodo 1938-74. Il volume è accompagnato da note introduttive ai singoli testi che permettono di affrontarli separatemente, anche senza una preparazione specialistica.