Mario Alai
INFORMATICA E FILOSOFIA (appunti)
COSA FA IL
COMPUTER PER IL FILOSOFO? (come
per ogni altra disciplina)
I) per la ricerca
II) per l’insegnamento
A)
esternamente (ausili tecnici):
Database (per raccolta, catalogazione, manipolazione, confronto, ricerche, ideometria ecc.);
ipertesti
e-book
tutti gli usi di internet :
Siti: luoghi su
cui e’ raccolto materiale di vario tipo, in pagine, ecc.
Web Rings: siti
collegati in catena
Portali: luoghi
che offrono servizi molteplici: motori di ricerca,
notizie, repertori, posta, ecc.
(Yahoo, Virgilio, Unibo, Uniurb …)
Oppure: siti divenuti punti di riferimento assai
popolari e autorevoli
Riviste
elettroniche
E-mail
Newsletter
Mailing Lists
Newsgroups (bacheche elettroniche)
Motori di ricerca
(Google, Alltheweb, Altavista …)
OPAC: Online
public access catalogue: catalogo di 1 o molte biblioteche (es.: Opac Uniurb;
Opac Unibo; Opac SBN)
Biblioteche
digitali
Modalità per una ricerca: - da un portale o Directory
- da un motore di ricerca
- direttamente tramite URL
B)
internamente
(ausili concettuali): modellizzazione (case studies)
4 esempi:
1) Filosofia della mente: Cos’è la mente? Che rapporto ha col cervello?[1]
L’homunculus medievale/cartesiano
Potrebbe aver ragione Hobbes?
il computer dice di si: la rivincita degli homunculi
→ nasce il modello funzionalista della mente
(Stato mentale = stato fisico che svolge il ruolo funzionale descritto dalla psicologia del senso comune)
Il Funzionalismo restituisce il favore: le macchine hanno mente!
Cosa manca al computer:
Searle e la “stanza cinese”: comprensione
Computer cinese: intenzionalità, qualia
Spettri invertiti, dolore marziano (sempre i qualia)
Ha ragione Cartesio? ® favore rirestituito: i computer non hanno mente!
2) Gnoseologia: I concetti sono innati o acquisiti?[2]
3) Filosofia della scienza:
Esiste una logica della scoperta scientifica (si può programmare la scoperta)?[3]
I programmi di Herbert Simon
(scoperte classiche: leggi di Keplero, leggi della chimica, elettrologia, ecc.)
- approccio mimetico
- nessuna scoperta nuova
I programmi della tradizione di Turing: sistemi esperti e scoperte puramente induttive
Gli approcci connessionistici: computazionalità senza programmabilità
4) Etica:
modelli per teoria della decisione in contesti etici
calcolo utilitaristico
ecc.
COSA FA IL FILOSOFO PER (CHI USA) IL COMPUTER? (come
nessun altro può fare!)
(I) Una sorta di sociologia della conoscenza:
* Informatica come rivoluzione? O estensione-potenziamento?
Socrate: sapere come dialogo
Bacone: sapere come raccolta e elaborazione di conoscenze
C’è dell’altro nell’informatica?
* Il web sostituirà le biblioteche? L’e-mail la posta?
Es.: Matita – penna a inchiostro/stilografica - stampa col torchio/rotativa/ offset – macchina da scrivere/elettronica/ word processor …
Voce – lettera – telegramma – telefono – email …
(sostituzione solo parziale!)
* 4 epoche del sapere:[4]
1) Paradosso del Menone: come trovare quel che non si sa? (concezione a-temporale del sapere, solo regresso è possibile)
2) Risponde Aristotele: concezione empiristica, progressiva e sociale del sapere: nasce l’infosfera
3) Scienza moderna, invenzione della stampa, inflazione del sapere: impossibile padroneggiarlo (mito di Faust).
Come trovare un ago in un pagliaio? (conoscenza prodotta > conservata > accessibile > gestibile)
4) Computers, database, www … infosfera organizzata e padroneggiata
* Economia: oro giallo, oro nero, oro digitale[5]
ricco: non chi possiede informazione (≠ oro giallo, nero), ma chi:
1. ha controllo e accesso a fonti sempre aggiornate di informazione
2. sa trasformare i dati in informazione (= sa i linguaggi)
3. sa trasformare l’informazione in conoscenze (conoscenze: non solo uso pratico, ma conoscenza teorica, conseguenze, ecc.)
4. sa trasformare informazione e conoscenze in nuove conoscenze (intelligenza e creatività)
® società digitale più egalitaria: il ricco è sempre self-made
(II) Etica della conoscenza [6]
Problemi:
mancanza di standards universali; sicurezza/hackers; uso non autorizzato di database; virus; violazioni privacy; informazioni riservate; propaganda, (spamming, terrorismo… ); pornografia …
(III) Una sorta di psicologia del computer:
La macchina pensa? È intelligente? Ha sentimenti? Ha coscienza? Libertà …?
I.A. forte:
I.A.1 Ha una mente, sentimenti, coscienza, libertà …
I.A.2 E’ intelligente
I.A.3 Svolge tutti i compiti intelligenti nello stesso modo del sistema nervoso umano
…
…
I.A.4 Svolge alcuni compiti intelligenti nello stesso modo del sistema nervoso umano
…
…
I.A. debole: I.A.5 Svolge in qualunque modo alcuni compiti intelligenti
Es.:
- Kasparov: intuito, esperienza, genialità …
- Deep Blue: rivede a ogni mossa tutte le partite degli ultimi 100 anni, prova 100.000 mosse … (super secchione, super copione)[7]
Quale ipotesi è più plausibile? Vediamo:
Computer attuali:[8]
1) compiti computazionali (calcoli*, ragionamento deduttivo, trattamento dati, scacchi, …) : OK! (ma in modo diverso)
* non tutti:
- calcolo di un numero reale con infiniti decimali
- problema della fermata: calcolare se un programma si ferma, procede all’infinito o va in loop
2) abilità pratiche: traduzione linguistica, riconoscimento di voci, volti, diagnosi mediche, ragionamento non deduttivo, ecc:
PIU’ o MENO bene (ma in modo diverso)
3) compiti raffinati: umorismo, sottintesi, valori artistici, morali, stili, ecc.:
NO!
4) Mente, coscienza, sentimenti, …
NO: Vedi sopra: computer cinese, neocartesianesimo, ecc.
5) Libertà: tanto meno
Infatti: condizioni di successo dei compiti di I.A.[9]:
a) Computabilità effettiva (problemi formalizzabili in calcoli finiti.)
Esclusi: problemi non formalizzabili / problemi*
b) indipendenza da altre conoscenze, o queste possono esser scoperte, circoscritte, analizzate, formalizzate, inserite nel programma
c) indipendenza dall’esperienza pratica, o questa può esser scoperta, circoscritta, analizzata, formalizzata, inserita nel programma
d) indipendenza dall’intelligenza percettuale o abilità fisica, o questa può esser scoperta, circoscritta, analizzata, formalizzata, inserita nel programma
e) indipendenza dal contesto o dall’ambiente, o questo può esser scoperto, circoscritto, analizzato, formalizzato, inserito nel programma
in (1) sono soddisfatte, in (2) più o meno, in (3) , (4), (5) no
Computer futuri
In linea di principio possibile soddisfare (a) – (e) ? Forse
In pratica? NO: vedi sotto
(IV) Una sorta di futurologia del computer:
1) la macchina dominerà il mondo? NO:
essere come l’uomo ® riuscire in (3) (4),
(5) ® soddisfare (a) – (e) ®
® essere vari ordini di grandezza più complessa di ora:
Windows: 500.000 linee HAL-2000: miliardi di linee
Problema del debugging: insolubile per complessità simili![10]
Imitare il cervello con Reti Neurali Artificiali (RNA)[11] (computer seriali ® computer paralleli) ?
RNA attuali: centinaia o migliaia di neuroni
Cervello: 1012 neuroni , ciascuno riceve 5.000 inputs diversi
1015 terminali sinaptici
in più: i neuroni si autoriparano, si autoconnettono, reagiscono diversamente a proprietà elettriche e chimiche degli impulsi, sono selettivi …
Intelligenza come proprietà emergente (es.: immagine televisiva)
quello che emerge da simili complessità non è prevedibile
non può esser riprodotto altrimenti!
2) Le applicazioni dell’ I.A. debole emuleranno le capacità umane?
NO: si potrà soddisfare (a) – (e) in un numero di settori sempre più ampi, ma sempre settori circoscritti e specialistici: solo alta tecnologia, non reale intelligenza (v. Deep Blue)
(Ma alcuni replicano: i computer hanno già imparato a imparare … è il primo passo per diventare come noi!)
V) Varie applicazioni delle “tecniche” filosofiche:
ontologia formale (per i database);
metafisica della realtà virtuale;
metodologia dell’informatica;
ecc. [12]
AUSILI TECNICI
BIBLIOGRAFIA
M.Alai “Informatica e didattica della filosofia”, Isonomia, http://www.uniurb.it/Filosofia/isonomia/index.htm), 2003.
G. Amaducci, F. Lanzoni, Filosofia online, Alpha Test, 2000
M. Di Giandomenico (cur.) L’uomo e la macchina t’anni dopo: filosofia e informatica ieri e oggi (Atti del convegno S.F.I. 1997) Laterza 2000
Luciano Floridi (ed.) The Blackwell Guide to the
Philosophy of Computing and Information
(the glossary is online, free of charge, at)
http://www.blackwellpublishing.com/pci/downloads/Glossary.pdf
Luciano Floridi, Philosophy and Computing.
An Introduction, Routledge, London 1999.
Luciano Floridi, L’estensione
dell’intelligenza. Guida all’informatica per filosofi. Armando
A.
Guigoni, G. Andreucci, Internet per Umanisti Alpha Test, Milano 2002
G. Secchi, Informatica e filosofia, De Agostini
T.
Numerico, A. Vespignani (a cura di) Informatica per le scienze umanistiche,
il Mulino, Bologna, 2003.
SITI E
GUIDE
Guide
to Philosophy on the Internet
http://www.earlham.edu/~peters/philinks.htm
HEIDELBERG: philosophie seiten (Dieter Kñler)
John HOPKINS University - list of philosophical resources (+ o – quelle elencate qui)
Meta-Encyclopedia of Philosophy
X refer: motore di ricerca filosofico (sul sito di Liverpool) http://www.liv.ac.uk/Philosophy/advsearch.html
Archives of Philos-l: archivio di conferenze in Europa e indici di riviste con motore di ricerca: http://listserv.liv.ac.uk/archives/philos-l.html
WWW-Virtual library: philosophy: (Bristol. Contiene (a) liste di risorse in filosofia (b) dipartimenti del Regno Unito)
http://www.questia.com/popularSearches/philosophy_topics.jsp
ERRATIC Impact (Danne Polk) (ricerca di testi)
The SOURCE- Philosophy: (rimanda ad altri siti)
Valdosta HP of Philosophy Resources
(non si apre)
HYPPIAS - search engine in phil. (sospeso)
GUIDE IN ITALIANO
Dipartimento di filosofia Università di Genova. Elenca
tutto il materiale e le risorse utili
per la filosofia, in rete e non.
"Il Mondo
di Sofia" www.ilmondodisofia.it
il primo sito dedicato alla filosofia che
si propone di pubblicare tesi di laurea, monografie sui filosofi e saggi di
autori contemporanei.
Filosofia Italiana E' Tempo di Filosofia.
Di Pierpaolo Redondo. Non
aggiornato dal 1999
SITO WEB ITALIANO PER LA FILOSOFIA (SWIF)
http://www.swif.uniba.it/lei/index.html
CxC - Calls for Comments (www.swif.it/cxc)
CxC e' il nuovo servizio SWIF rivolto alla comunita' filosofica e finalizzato
alla discussione di testi che sono stati accettati per una presentazione al
pubblico oppure per la pubblicazione, quali: testi di convegni e conferenze
oppure già pubblicati o in corso di stampa. Non vengono, quindi, presi in
considerazione testi inediti. La redazione di CxC e', inoltre, lieta di
considerare per la pubblicazione brevi commenti che discutano esplicitamente, e
da un punto di vista teorico e contenutistico, un testo disponibile online. Nel
sito, il commento di Floridi al testo di Boniolo viene fornito come esempio.
Non verranno prese in considerazioni semplici note esplicative, richieste di
informazioni, appunti sulla forma linguistica di un testo, dati bibliografici e
altro materiale simile, che dovra' essere inviato direttamente all'autrice o
autore del testo in questione. Per tutto il materiale presente nel sito, è
fatto divieto l'utilizzo senza il permesso degli autori Qui le norme per
inserire il proprio saggio:
http://www.swif.it/cxc/add_paper.php
rubrica di Recensioni dello Swif: http://www.swif.uniba.it/lei/recensioni/index.htm
SWIRT (Servizio Web Italiano Recensioni a Tema) è parte della sezione Recensioni dello SWIF http://www.swif.uniba.it/lei/recensioni/swirt/index.htm
TFO - Tesi Filosofiche Online (http://www.swif.it/tfo).
TFO intende raccogliere in un unico database le informazioni e, dove possibile,
i files delle tesi italiane di laurea e dottorato di argomento filosofico, per
renderle disponibili pubblicamente e gratuitamente, in versione elettronica.
TFO ha come fine fornire a chi si interessa di filosofia un quadro aggiornato
degli argomenti di tesi e offrire contatti con gli autori a quanti fossero
interessati ad ulteriori approfondimenti.
Le tesi sono indicizzate per argomento. E' possibile, inoltre, la ricerca
tramite un motore di ricerca interno (con possibilità di utilizzare anche il
motore di ricerca avanzato).
Inserire i proprio dati richiede solo un momento, basta compilare l'apposito
form. Le modalita' di inserimento sono sotto la voce "Add your thesis"
(http://www.swif.it/tfo/add_thesis.php).
E' possibile sia inserire i proprio dati e il file della tesi o inserire solo i
dati.
"Linee di Ricerca" www.swif.it/biblioteca/lr
LdR - Linee di Ricerca è il servizio di Bibliotec@SWIF
finalizzato all'aggiornamento filosofico.
LdR è un e-book in progress. In ciascun capitolo, autonomo, l'autore o
l'autrice, presupponendo solo un minimo di conoscenze di base, fornisce una
visione panoramica e critica dei temi principali, dei problemi più importanti,
delle teorie più significative e degli autori più influenti, nell'ambito di una
specifica area di ricerca della filosofia contemporanea attualmente in
discussione e di notevole importanza. Il fine è quello di fornire al pubblico
italiano un'idea generale su quali sono gli argomenti di ricerca di maggior
interesse nei vari settori della filosofia contemporanea oggi, con uno stile
non-storico, accessibile ad un pubblico di filosofi non esperti nello specifico
settore ma interessati ad essere aggiornati. In prospettiva, il progetto
cercherà di fornire un quadro dettagliato ma pur sempre accessibile sulla
ricerca filosofica contemporanea interessante e attuale.
I testi sono normalmente scritti su invito, ma proposte per eventuali nuovi
capitoli sono molto benvenute. Esse possono essere inviate a a ldr@swif.it. Le proposte saranno valutate da
referees anonimi. Non verranno prese in considerazione semplici rassegne
storiche o bibliografiche, o testi di ricerca che non abbiano un chiaro scopo
introduttivo.
LdR è tecnicamente un e-book, inteso come numero speciale della rivista SWIF. È
edito da Luciano Floridi con il coordinamento editoriale di Gian Maria Greco e
la supervisione tecnica di Fabrizio Martina.
smilteca e vrmlteca : http://www.swif.uniba.it/lei/storiasc/risorse/risorse.htm):
Nella smilteca il progetto editoriale prevede la pubblicazione di
semplici presentazioni con soli testo e immagini e filmati più articolati
(corsi e-learning), con la sincronizzazione di audio o video. I file sono
realizzati in .smil (compatibile con RealPlayer) e in html+time.
Nella vrmlteca saranno
realizzati mondi 3d interattivi dedicati alla museologia scientifica, alla
tecnologia e alla scienza (con la creazione di laboratori scientifici d'epoca e
contemporanei). L'utente usando la tastiera o il mouse potrà visitare i mondi,
passeggiare nelle stanze ed ispezionare
gli oggetti.
RIVISTE
Papers in Philosophy: http://www.brown.edu/Departments/Philosophy/Opp/
In SWIF classificate per
argomenti:
|
|
_file/image001.gif){kind=small}
_file/image002.gif){kind=small}
L&PS - Logic and Philosophy of Science: An Electronic Journal
http://www.units.it/~dipfilo/episteme/ (official and stable address)
http://www.units.it/dipfilo/episteme/ (shortcut)
L&PS is a
new philosophical e-journal promoted by the Department of Philosophy of the
University of Trieste. You can find it at one of the following URLs:
"Networks. Rivista di intelligenza artificiale e
scienze cognitive" (http://lgxserve.ciseca.uniba.it/lei/ai/networks/).
un nuovo progetto dello SWIF
La rivista, diretta da
Margherita Benzi [mailto:benzi@nous.unige.it], si propone di offrire una
panoramica aggiornata su diversi settori di intersezione tra filosofia,
intelligenza artificiale e scienze cognitive. Negli articoli (in .pdf)
ricercatori di diversa provenienza scientifica descrivono, in un linguaggio
accessibile ai non specialisti, i problemi che attualmente li impegnano, il
campo di ricerca nel quale si collocano e la prospettiva personale adottata nell'affrontarli.
Ad ogni articolo è associato un link (in .html) del campo di ricerca trattato,
con rimandi alla bibliografia principale, a siti rilevanti, pagine web e
convegni. La maggior parte degli articoli saranno in italiano, ma si accettano
anche articoli in inglese (con riassunto in italiano). Per la formattazione
degli articoli si veda la pagina dei template.
"Kykéion - Semestrale di idee in discussione", kykeion@libero.it
edita dalla Firenze University Press. "Kykéion" si
occupa di filosofia, diritto, storia, attualità, affrontando con rigore
intellettuale alcune delle questioni pratiche e teoriche che emergono dalla
vita delle comunità e dei singoli; non è una rivista di 'scuola', non promuove
una particolare ideologia, fede o visione del mondo, ma mette a confronto
posizioni differenti e prospettive eterogenee su un comune nucleo problematico
di volta in volta scelto. Per la
redazione Fulvio Guatelli, Università di Firenze
fulvio.guatelli@libero.it
rivista di filosofia della mente e dell'azione:
"Philosophical Explorations"
http://www.tandf.co.uk/journals/titles/13869795.asp
Isonomia rivista dell’istituto di Filosofia di urbino
http://www.uniurb.it/Filosofia/isonomia/index.htm
INTELLECTICA
http://www.utc.fr/arco/frame.php?page=publications/intellectica/index.php
Rivista della Association pour la Recherche Cognitive. I vari numeri sono scaricabili a pagamento
ENCICLOPEDIE
Enciclopedie e Dizionari
per la Filosofia: nuova edizione
(SWIF) La pagina è stata
completamente rinnovata dal nuovo redattore, il Dott. Daniele Didero. La pagina è disponibile
anche in inglese. Il Dott.
Didero si è laureato in Filosofia con una tesi in Logica presso l'Università
Cattolica del Sacro Cuore (Milano). Il servizio sarà presto arrcchito da una
completa bibliografia relative alle enciclopedie e ai dizionari filosofici, pubblicati
sia in Italiano che nelle principali lingue straniere
Enciclopedie filosofiche
o
o Opere di carattere generale
o
o Opere su tematiche specifiche
o
o Opere su autori specifici
Internet
Encyclopaedia of Philosophy
http://www.utm.edu/research/iep/
STANFORD
ENCYCLOPAEDIA OF PHILOSOPHY
http://plato.stanford.edu/contents.html
SOCIETA’
Societa’ filosofica italiana: http://www.getnet.it/sfi/ (?)
SOCIETA’ ITALIANA DI FILOSOFIA ANALITICA
Archivio delle pubblicazioni dei soci SIFA (vi sono più di 900 titoli listati a partire dal 1992).
Ottima bibliografia di filosofia del linguaggio. Ecc.
SOCIETA’ ITALIANA DI LOGICA E FILOSOFIA DELLE SCIENZE
http://list.cineca.it/cgi-bin/wa?A0=silfs-l&D=0&F=&H=0&O=T&S=&T=1
The International
Association for Computing and Philosophy (IACAP) http://iacap.org
is a new
professional association emerging from a sixteen-year history of Computing and
Philosophy (CAP) conferences held mostly at Carnegie Mellon University.
These conferences have been dedicated to promoting scholarly dialogue on all
aspects of the computational turn and the use of computers in the service of
philosophy. The general topics have included:
-Artificial Intelligence / Cognitive Science
-Artificial Life / Computer Modeling in Biology
-Computer Ethics
-Computer-Mediated Communication
-Culture and Society
-Distance Education and Electronic Pedagogy
-Electronic Publishing
-Logic and Logic Software
-Metaphysics (Distributed Processing, Emergent Properties, -Formal Ontology,
Network Structures, etc.)
-Online Resources for Philosophy
-Philosophy of Information and Information Technology
-Robotics
-Virtual Reality
The role of the IACAP is to support a global communications network for those
interested in computing and philosophy as generally defined by these topics.
To follow the development of the IACAP, please join our information list by
sending an email to tb2@evansville.edu. Be sure to indicate that you wish
to join the list. You may also visit our (developing) website at to learn more.
AUSTRALASIAN Philosophy Page (Australasian Philosophy association)
ALTRI
SITI DI ISTITUTZIONI UNIVERSITARIE
Filosofia morale. Sito del C.so di Laurea in filosofia e Scienze Etiche, Università di palermo From Giuseppe Modica.
Istituto di Filosofia “A. Massolo”di Urbino
http://www.uniurb.it/Filosofia/
LIVERPOOL: philosophy at large
www.mestierediscrivere.it (a pagamento)