La logica matematica è uno degli argomenti più interessanti dell’intero ambito matematico. Essa non è solo il giusto supporto ed aiuto per sviluppare teoremi e dimostrazioni (per la gioia di Boole, De Morgan, Leibniz o Russell), ma è il fondamento di tutto il nostro modo di pensare, anche se a volte non lo sappiamo. La logica matematica permea il nostro ragionamento sin dai tempi di Aristotele, dunque sin dal 5° secolo a.C.
L’apparente distacco tra la logica di ragionamento che attuiamo ogni giorno e la formale logica matematica (definizione data Giuseppe Peano a quella che era la logica simbolica o formale) sta nel fatto che quest’ultima si avvale di termini che derivano dall’algebra astratta e dalla combinatoria. Ma tale formalismo, sebbene apparentemente appannaggio dei matematici, non svuota la logica formale del suo significato e fine più profondo, ossia formalizzare in modo rigoroso e completo un sistema di ragionamento. E la capacità di formalizzare rigorosamente è a portata anche di tutti coloro che vogliono scoprire ed innovare. Come la scintilla del nostro articolo.