Filosofia dell'informazione/Metodologia dell'informatica
- Concetti fondamentali
- ComputazioneFilosofia dell'informazione/Computazione
- ComplessitàFilosofia dell'informazione/Complessità
- SistemaFilosofia dell'informazione/Sistema
- InformazioneFilosofia dell'informazione/Informazione
- I computer nella società
- Etica informaticaFilosofia dell'informazione/Etica informatica
- Interazione uomo-computerFilosofia dell'informazione/Interazione uomo-computer
- Cultura di InternetFilosofia dell'informazione/Cultura di Internet
- Arte digitaleFilosofia dell'informazione/Arte digitale
- Mente e Intelligenza Artificiale
- Filosofia dell'Intelligenza ArtificialeFilosofia dell'informazione/Filosofia dell'Intelligenza Artificiale
- Filosofia della menteFilosofia dell'informazione/Filosofia della mente
- Mondi reali e virtuali
- OntologiaFilosofia dell'informazione/Ontologia
- Realtà virtualeFilosofia dell'informazione/Realtà virtuale
- Fisica dell'informazione
- CiberneticaFilosofia dell'informazione/Cibernetica
- Vita artificialeFilosofia dell'informazione/Vita artificiale
- Linguaggio e conoscenza
- Informazione e contenutoFilosofia dell'informazione/Informazione e contenuto
- Conoscenza
- Filosofia dei linguaggi informatici
- IpertestoFilosofia dell'informazione/Ipertesto
- Logica e probabilità
- Scienza e tecnologia
- Informatica e Filosofia della scienzaFilosofia dell'informazione/Informatica e Filosofia della scienza
- Metodologia dell'informaticaFilosofia dell'informazione/Metodologia dell'informatica
- Filosofia dell'ITFilosofia dell'informazione/Filosofia dell'IT
- Modellazione computazionaleFilosofia dell'informazione/Modellazione computazionale
- Risorse
Indice
Introduzione[modifica]
Scienza e Filosofia si distinguono da sempre perché ciò che può spiegare la scienza, la filosofia lo giustifica. Per esempio, l'attività neuronale delle sinapsi è una questione scientifica, mentre la ricerca del fondamento e della possibilità che un computer sia dotato di coscienza è una questione filosofica. Inoltre la filosofia, il più delle volte, si distingue dalle scienze in quanto è una ricerca a-priori, al di là dell'esperienza. L'informatica è unica rispetto a tutte le altre scienze e seguendo il modello scientifico, cerca di dare una spiegazione dei fenomeni attraverso l'esperienza e le ipotesi; un processo computazionale si distingue dagli altri processi scientifici (chimici/elettrici) in quanto non riguarda la fisicità di un fenomeno. Basti pensare al ragionamento che un giocatore di carte fa mentre decide quale delle carte a sua disposizione lanciare, ciò è un processo computazionale (logico) e non naturale (fisico); questo processo può essere descritto in linguaggio simbolico (basti pensare al linguaggio binario di 0 e 1). L'esplosiva diffusione delle nuove tecnologie informatiche ha dato vita a delle attività interattive e virtuali (le chat, l'email, i giochi online), creando così un nuovo scenario mai visto prima: il cyberspazio. Il ruolo della filosofia in questo panorama informatico, è quello di verificare la conoscenza riguardante le intelligenza artificiale e la loro attendibilità.
Informatica e Matematica[modifica]
La principale caratteristica di questa relazione è che i programmi informatici sono sempre fondati su calcoli matematici (Hoare) e che i programmi sono il nuovo ambito lavorativo degli esseri umani (Floyd). La verifica di un programma è il processo secondo cui un programma ha una data funzione, la specificità di un programma è invece una descrizione dettagliata dei suoi processi di input e di output; queste due operazioni servono al software per scrivere il programma di cui ha bisogno. Ci si presenta dinanzi la possibilità di programmare un software che sappia risolvere algoritmi complessi o altre operazioni che all'uomo vengono complicate. Il compito della filosofia sta nel valutare che la verifica formale di un programma sia conformata ai calcoli matematici che lo riguardano.
Il dibattito sulla verifica formale[modifica]
Uno dei primi che propose la programmazione formale di un linguaggio è stato McCarthy, motivato da una teoria della computazione che sappia scambiare un paradigma linguistico con un altro senza problemi; i principali programmi di scrittura di linguaggi informatici che traslano il linguaggio umano in linguaggio informatico (0 e 1) sono Java, Visual basic, C++ e altri. P. Naur pose la distinzione tra attività testuale ed attività esecutiva, l'una statica (in quanto testo) l'altra dinamica (in quanto esecutiva). Mentre Demilo, Lipton e Perlis posero la distinzione tra linguaggio matematico ed informatico, Fetzer mosse un'altra critica alla validità del paradigma matematico dell'informatica a causa della mancanza di un processo sociale accompagnato a quello tecnologico.
L'astrazione[modifica]
La fondazione del concetto di computer nasce dalla possibilità di descrivere nel linguaggio binario gli altri linguaggi (matematico-logici) e innestare la quotidianità dell'essere umano nel mondo digitale: quest'ultimo è un mondo virtuale, astratto, non è una sfera della conoscenza empirica, ma è ideale quindi il mondo dei computer è un mondo dominato dalla potenzialità logico-matematica delle continue innovazioni scientifiche.
Conclusioni[modifica]
L'informatica sarà sempre fondata su una base scientifico-tecnologica e richiederà miglioramenti da specialisti-scienziati con una mente analitica creativa e tecnologica; man mano che le innovazioni tecnologiche si fanno avanti, dovrà esserci lo sforzo di pari passo di evolvere il linguaggio informatico rendendolo sempre più consono alle nuove tecnologie.