Abbiamo visto che Gerberto di Aurillac (940 circa - 1003) fu forse il primo ad insegnare l'uso delle cifre indo-arabiche nell'Europa cristiana e che i pochi progressi degli inizi del nuovo millennio, piuttosto che nel campo della Matematica, avvennero soprattutto nell'ambito della
Logica, i cui aspetti matematici non erano ancor molto approfonditi.

Questi progressi si svilupparono soprattutto all'interno della
filosofia Scolastica.
Uno degli obiettivi dei filosofi scolastici era quello di inquadrare la filosofia classica del mondo antico all'interno della teologia cristiana medievale. Tra i vari campi della filosofia classica studiati ed elaborati dagli scolastici c'era anche la
logica formale di Aristotele, che venne sviluppata ed estesa con una particolare attenzione alle
modalità, e cioè ai concetti di possibilità e necessità. Infatti è proprio alla tradizione scolastica che si deve la qualificazione di
modale per le espressioni che indicano il modo in cui una proposizione è vera: necessariamente o possibilmente.
La logica modale moderna nascerà alcuni secoli dopo con le assiomatizzazioni datene nel 1932 da
C. I . Lewis nel libro Symbolic Logic.
Nel 1959
Saul Kripke definì una semantica per le logiche modali basata sul concetto Leibniziano di mondi possibili.
Dopo questa breve parentesi modale torniamo alla filosofia Scolastica citando due nomi importanti.
Anselmo d'Aosta (Aosta, 1033/1034 – Canterbury, 21 aprile 1109) chiamato anche Anselmo di Bec o Anselmo di Canterbury, a seconda che ci si trovi in Italia, nei paesi francofoni, o nei paesi anglofoni.

Ma soprattutto
Guglielmo di Ockham (Ockham, 1288 – Monaco di Baviera, 1349), francescano inglese ad opera del quale gli studi sulla logica modale ebbero ampi sviluppi.
Quella di Guglielmo di Ockham è una delle figure - insieme a quella di Sherlock Holmes - che probabilmente hanno ispirato Umberto Eco nella delineazione di
Guglielmo da Baskerville (protagonista de Il nome della rosa).
Un importante contributo di Guglielmo di Ockham che è ancora in uso nella scienza moderna è il cosiddetto
Rasoio di Ockham: principio di parsimonia nella spiegazione e nella costruzione di teorie (parsimonia ontologica).
Bertrand Russell, nella sua
Storia della filosofia occidentale riformulò il famoso principio di Ockham più o meno in questo modo: se posso spiegare un fenomeno anche senza utilizzare assunzioni che avevo invece usato per spiegarlo, allora è opportuno eliminare tali assunzioni. Detto in altri termini, si dovrebbe sempre optare per la spiegazione che contenga il numero minore di cause, fattori, e variabili. Ad esempio se il fenomeno consiste in una mia guarigione da un'infezione batterica, potrei affermare: sono guarito perché ho preso degli antibiotici e perché ho pregato. Secondo il Rasoio di Ockham sarebbe opportuno eliminare la seconda assunzione.
Un altro risultato di Ockham fu la sua formulazione linguistica delle
leggi di De Morgan. Formulate poi in modo simbolico più di mezzo millennio dopo dal logico britannico
Augustus De Morgan.
Ockham prese in considerazione anche un tipo logica ternaria. Una logica cioè con un'ulteriore valore di verità oltre al vero e al falso. Idea ripresa poi dalla logica matematica del XIX e XX secolo.
Dalla
prossima puntata abbandoneremo questa parentesi sulla Logica e con Fibonacci torneremo agli aspetti più numerici della Matematica.
Indice della serie