In questo articolo vorrei spiegare le ragioni che hanno portato alla scelta di “Ubuntu Knowledge Base” come nome del blog e per fare questo devo partire da una materia che ho affrontato nel mio corso di studi : la logica matematica.

La logica matematica rappresenta il difficile sforzo di decidere, attraverso il rigore matematico, la validità di un discorso. Questa decisione non ha libere interpretazioni e definisce senza ambiguità un risultato dimostrabile. Non conta chi siamo, cosa facciamo, dove viviamo o cosa pensiamo, un risultato dimostrato è certo senza ombra di dubbio. Tutto ciò che troviamo attraverso questo strumento è un tesoro prezioso che costituisce il sapere della scienza.

Per poter raggiungere questo obiettivo è necessario definire ciò che è vero a priori, l’assioma, e un insieme di regole che ci portano da un concetto vero ad un altro concetto vero, le cosiddette regole d’inferenza. Un concetto è vero se sarà la conclusione di un ragionamento che si basa sugli assiomi o su altri concetti veri dedotti dalle regole d’inferenza. Attraverso questo procedimento è possibile creare un insieme di conoscenze vere e verificate che compongono la nostra base di conoscenza, in inglese Knowledge Base (KB).

La KB può crescere attraverso i nostri ragionamenti deduttivi. Per alcune logiche particolari è dimostrato un teorema di Correttezza e Completezza che afferma come la logica sia composta da solo formule vere (corretta) e che tutte le formule vere sono dimostrabili nella logica (completa).

Il nome Ubuntu Knowledge Base vuole indicare questo tentativo di raccogliere ciò che è vero sulla nostra distribuzione. Certamente è improponibile affrontare discorsi su una realtà così complessa, come quella di un Sistema Operativo, utilizzando il rigore e il linguaggio formale di una logica e inoltre non voglio avere la presunzione di poter asserire soltanto cose vere. La mia più che altro vuole essere una provocazione, un nome per il blog.

Piccola curiosità: ho scoperto che esiste un nome analogo Microsoft Knowledge Base , sito ufficiale in cui si raccolgono i problemi comuni di Windows a cui si cerca di dare una soluzione.