Filosofia dell'informatica/I concetti fondamentali: differenze tra le versioni

{{Filosofia dell'informatica}}

 

 

==Informatica e scienze dell'informazione==

L’informatica è l’ambito di ricerca che si occupa dei processi di gestione ed elaborazione (reperimento, digitalizzazione, organizzazione e memorizzazione) dell’informazione per mezzo dei calcolatori elettronici. In altre parole, l’informatica è la scienza della rappresentazione e dell’elaborazione automatica dell’informazione.

 

 

Occupandosi anche dell’applicazione dell’informazione nelle organizzazioni, del loro uso nelle interazioni delle persone e dell’organizzazione di sistemi informazionali, l’informatica analizza l’interazione tra persone e computer (''Human Computer Interaction'': HCI) e il modo in cui le persone generano e usano le informazioni. Perciò le tecnologie della comunicazione e dell’informazione (ICT) sono correlate ai temi della cibernetica, delle scienze cognitive e dell’intelligenza artificiale.

 

==L'idea del Computer e la filosofia==

Il Computer è un dispositivo automatico, che esegue algoritmi per risolvere problemi in base a dati e istruzioni. Un computer si può analizzare a tre livelli: la struttura fisica (hardware), le strutture algoritmiche (software) e la '''teoria della computabilità''', che studia il modo di eseguire calcoli in maniera meccanica e discute la natura e i limiti delle procedure implementabili dal computer.

 

Nel 1800, Charles Babbage progettò e costruì parzialmente il primo tentativo di calcolatore meccanico universale.

 

 

Lo sviluppo del computer ha prodotto almeno tre effetti in filosofia: ha stimolato diversi progetti di ricerca interdisciplinari tra scienze cognitive e intelligenza artificiale, dando nuovo impulso alla filosofia della mente, del linguaggio e della conoscenza; ha suggerito l'applicazione di modelli computazionali ai tradizionali problemi filosofici; ha prodotto nuovi paradigmi concettuali e una nuova area filosofica: la cosiddetta '''filosofia dell'informazione''', elaborata da [[w:Luciano Floridi|Luciano Floridi]].

L’attuale centralità dell’informatica deve essere ricondotta al passaggio dal modello '''analogico''' al modello '''digitale''' nella codifica dei dati, unito alle possibilità offerte dallo sviluppo della tecnologia, la cui evoluzione è stata caratterizzata da tre percorsi: l’estensione del digitale dai soli linguaggi naturali e formali al mondo delle immagini e dei suoni, lo sviluppo delle rappresentazioni grazie al miglioramento delle interfacce grafiche, l’integrazione in un unico ''network'' dei vari domini di informazioni esistenti.

 

 

==Sapere digitale e organizzazione della conoscenza==

L’ultimo percorso, caratterizzato dal passaggio dal personal computer a Internet, è frutto della crescita e della ricomposizione del dominio digitale in un network sempre più ampio, che consente di sviluppare una versione digitale del sapere umano.

L’informatica influenza la crescita, la gestione e la fruizione delle informazioni e del sapere sotto tre aspetti fondamentali: il calcolo, la modellistica e l’''information management'', cioè la gestione del sapere codificato.

 

==Ontologia e web semantico==

Possiamo distinguere tre nozioni di '''ontologia''': l'ontologia filosofica (lo studio dell’essere e dell’ente in quanto ente e deduzione delle categorie ontologiche); l'ontologia classificatoria (che può essere descrittiva o formale); l'ontologia informatica (la codificazione formale di una classificazione concettuale quale base di un software). Le ontologie in ambito informatico si configurano come un patrimonio di competenze semantiche trasferite dall’uomo alla macchina.

 

 

==Internet==

Internet è il sistema globale di comunicazione e interazione costituito dal collegamento di numerose reti di computer in grado di scambiarsi informazioni per mezzo di vari protocolli, cioè di regole standard che consentono di instaurare e controllare lo scambio di dati online.

Internet è la combinazione di tre spazi, ciascuno con una propria architettura: lo spazio fisico, quello digitale e quello semantico ('''cyberspazio''').

 

==Ipertesto==

L’ipertesto è un insieme di documenti messi in relazione tra loro tramite parole chiave. Può essere visto come una rete; i documenti ne costituiscono i nodi. La caratteristica principale di un ipertesto è che la lettura può svolgersi in maniera non lineare, per cui all'interno dell'ipertesto sono possibili praticamente infiniti percorsi di lettura. L'ipertesto informatico è la versione di ipertesto oggi più diffusa: le parole chiave funzionano come collegamenti ipertestuali (''hyperlink''); tutto il web, è stato concepito da Tim Berners-Lee come un ipertesto globale.

 

==Macchina, automa, meccanicismo==

In generale, una ''macchina'' è un sistema (naturale o artificiale, concreto o astratto) composto di meccanismi in grado di compiere un determinato lavoro, cioè di produrre un effetto prestabilito nell’ambiente in cui si trova o di trasformare un determinato impulso (una forza) per favorire la produzione di tale effetto. Di conseguenza, un meccanismo è un sistema le cui trasformazioni interne generano un risultato esterno prestabilito.

 

 

==Cibernetica, Intelligenza Artificiale==

La Cibernetica è la scienza che studia i sistemi dotati di strutture cicliche (''loop'') di controllo; tali sistemi sono specificati definendo la loro organizzazione interna e la loro capacità di comunicazione intersistemica. Secondo la classica definizione di [[w:Norbert Wiener|Norbert Wiener]], la cibernetica è "lo studio del controllo e della comunicazione negli animali e nelle macchine". La storia della cibernetica è delineata dall’intreccio delle varie discipline che hanno contribuito allo sviluppo dei suoi principi teorici - ingegneria, biologia, filosofia, psicologia, logica, neuroscienze, sociologia ed economia - e alla costruzione di alcune macchine che incorporano tali principi. La spiccata interdisciplinarietà è legata all’intento di unificare i vari approcci sotto principi astratti comuni.

 

 

==Filosofia dell'informazione, etica informatica==

L’informatica è divenuta uno degli ambiti prioritari e privilegiati della ricerca filosofica e ha portato all’emergere della Filosofia dell’informazione, la quale studia il concetto di informazione, le sue dinamiche e il suo utilizzo e indaga l’impiego delle metodologie delle scienze computazionali e dell’informatica teorica nelle tradizionali indagini filosofiche. La sua metodologia è debitrice dei metodi formali, delle neuroscienze computazionali, della progettazione di software. La Filosofia dell’informazione, basata sui concetti di informazione e computazione, si occupa di investigare criticamente la natura concettuale, i principi di base, la dinamica, l’impiego delle scienze dell’informazione. L’obiettivo è produrre, tramite l’utilizzo di un metodo peculiare, una famiglia di teorie dell’informazione che possano fungere da solida base per lo sviluppo di una teoria della conoscenza: per questo è nata l’''International Association for Computing and Philosophy''.

 

La diffusione capillare delle ICT ha inoltre determinato la nascita e il rapido incremento di un nuovo ambiente, l’'''infosfera''', costituito dalla totalità dei documenti, degli agenti e delle loro operazioni e concepito come continuo, finito ma potenzialmente illimitato e immateriale. Il rapido ampliarsi dell’Infosfera ha creato nuovi problemi etici e sociali: la proprietà intellettuale, la privacy, il digital divide, l’accesso e la gestione dei documenti. La nascita e diffusione di Internet ha modificato alcuni classici problemi filosofici (come il concetto di presenza) e ne ha sollevati di nuovi, specie di natura etica ed epistemologica, quali le trasformazioni legate al telelavoro e alla formazione a distanza, gli effetti del ''big brain factor'', l’evoluzione del concetto di testo da cartaceo a digitale, il rapporto tra democrazia e sviluppo delle ICT, i problemi di privacy e di gestione delle informazioni, le violazioni del diritto d’autore, studiati dall’etica informatica.

 

 

==Teoria della computabilità==

La Teoria della computabilità studia la nozione di calcolo effettuabile per mezzo di un algoritmo, ossia di un calcolo eseguibile in modo meccanico. Essa è nata nel corso degli anni ‘30 del secolo scorso nell’ambito delle ricerche sulla logica e sui fondamenti della matematica a opera di autori quali Alan Turing, [[w:Kurt Gödel|Kurt Gödel]] (1906-1978). La scuola formalista di [[w:David Hilbert|David Hilbert]] (1862-1943) si pose il problema di stabilire se tutti i problemi matematici fossero in linea di principio risolubili per mezzo di un algoritmo.

 

 

== Riferimenti bibliografici ==

 

[[Categoria:Filosofia dell'informatica|I concetti fondamentali]]