La filosofia dell'informatica è una branca della filosofia che cerca di rispondere a domande di natura filosofica riguardanti argomenti dell'informatica. Queste domande possono essere raggruppate in diverse categorie della filosofia moderna: l'ontologia, la semantica, l'epistemologia, l'etica e la filosofia della scienza. Con una forte influenza dalle filosofie della logica, della matematica, del linguaggio, della tecnologia e dell'informazione.
Alcuni esempi di quesiti a cui la filosofia dell'informatica cerca di dare risposta sono quelli che appaiono pubblicati in The Philosophy of Computer Science:
Cosa sono i programmi informatici? Sono astratti o concreti? Quali sono le differenze tra programmi e algoritmi? Che cos'è un'implementazione? Cos'è l'astrazione in informatica? In che modo questa è correlata all'astrazione in matematica? Che cos'è l'informazione? L'ingegneria del software pone problemi filosofici?
Vale anche la pena ricordare che l'informatica è un'area relativamente nuova che, a differenza di altre scienze, è artificialmente originale (creata cioè dall'uomo). Questo è il motivo per cui molti dei problemi nella filosofia dell'informatica si concentrano sulla risposta a domande sugli artefatti che vengono costruiti. Di conseguenza, si cerca di approfondire i programmi computazionali che vengono costruiti tramite algoritmi che a loro volta vengono sviluppati con linguaggi di programmazione.
Obiettivi Gli obiettivi della filosofia dell'informatica sono tuttora in via di sviluppo, ma è chiaro che i problemi su cui si concentra non cercano solo di trovare risposte ai problemi etici posti dall'intelligenza artificiale, ma anche ciò che costruiamo (problema ontologico) e come ricaviamo le informazioni da essi (problema epistemologico). In altre parole, va oltre la programmazione perché si occupa di questioni come la progettazione, lo sviluppo e la ricerca di concetti e metodologie che facilitano lo sviluppo, l'implementazione e l'analisi di sistemi informatici da un punto di vista filosofico. Potrebbe anche essere definita come: "la ricerca della natura dell'informatica, che fornisce una sistematizzazione dei suoi concetti".
Tra i quesiti irrisolti della filosofia dell'informatica troviamo ad esempio: la Tesi di Church-Turing e le Classi di complessità P e NP.
Note
Bibliografia
Voci correlate Filosofia Informatica Epistemologia Ontologia Filosofia della Fisica Filosofia dell'informazione Filosofia della matematica Filosofia della scienza Programmazione Linguaggio di programmazione Sistema informatico Intelligenza artificiale Logica
Altri progetti
Collegamenti esterni
Categoria:Informatica Informatica Categoria:Filosofia della scienza