Filosofia dell'informatica/Le radici logiche dell'informatica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Errore di battitura |
mNessun oggetto della modifica |
||
Riga 15:
Questa scoperta fondamentale avrebbe poi prodotto la logica matematica, sulle cui fondamenta è nata l’informatica. Se il sistema escogitato da Boole sembrava riuscire a catturare il ragionamento informale su cui si basano le interazioni umane quotidiane, nulla vietava di pensare che fosse capace di catturare anche ragionamenti più complessi. L’opera di Boole rappresenta il primo passo teorico fondamentale per arrivare a costruire una macchina in grado di “pensare”. Pur non realizzando il sogno di Leibniz, Boole fornì il ''calculus ratiocinator'', vagheggiato dal filosofo tedesco.
In effetti, nonostante l'idea
Al contrario di
Idealmente per Boole prima si costruisce in maniera formale la base del calcolo operazionale, e poi se ne trovano le interpretazioni nel campo della logica, un'impostazione algebrica che successivamente assumerà la denominazione di "algebra di Boole". La novità di Boole è proprio nella cosiddetta "algebra della logica"", ossia l'applicazione del calcolo operazionale al campo della logica, che diventa logica formale appropriandosi dei rigorosi strumenti dell'analisi matematica per andare al di là del senso comune dell'argomentare, spesso fallace e vago.
Ciò nonostante, la logica continua ad avere uno statuto proprio e non viene ridotta a branca della matematica, pur essendo ad un livello di astrazione superiore rispetto alla logica precedente e storicamente intesa. In questo senso è stato imputato a Boole il difetto di aver eccessivamente “matematizzato" il ragionamento logico, per cui il peso del rigore matematico ha messo fra parentesi la plausibilità logico-intuitiva dei passaggi intermedi fra premesse e conclusioni, allontanandolo di fatto dall'imitazione dell'andamento delle argomentazioni intuitive del pensiero umano.
Per [[w:Algebra di Boole|algebra di Boole]] si intende ancora oggi l’interpretazione algebrica della logica, un sistema di regole di calcolo. Gli operatori booleani, parte del sistema logico sviluppato da George Boole, permettono di restringere il campo delle proprie ricerche sul web. In particolare essi sono fondamentali per il recupero delle informazioni in cataloghi e banche dati perché permettono di combinare più termini tra loro in una stessa interrogazione. I più comuni sono: AND (operatore di intersezione), OR (operatore di unione), NOT (operatore di sottrazione).
|