Aspetti Epistemologici dell’Informatica Prof.ssa Stefania Bandini Dott. Gianluca Colombo Dott. Luca Mizar Federici Dipartimento di Informatica, Sistemistica e Comunicazione Università di Milano-Bicocca [email protected] [email protected] [email protected] tel. tel. tel. 02 6448 7835 02 6448 7879 02 6448 7857 Filosofia ed Epistemologia: concetti e nozioni Argomenti della Lezione I problemi di cui si occupa la filosofia - Ontologia - Epistemologia Il problema della conoscenza - Pensiero, Linguaggio, Realtà - La nozione di Verità Una metafora della conoscenza - Platone e il Mito della caverna Una sintesi della lezione precedente Il problema della Conoscenza Il problema della Realtà Dipendono dalla frattura tra l’uomo ed il mondo Per il pensiero greco questa frattura è un male che deve essere curato Per il pensiero moderno questa frattura è un fatto inevitabile che deve essere accettato Poiché la Realtà non ha fratture, il male risiede nell’uomo che conosce la Realtà Per il pensiero moderno la Realtà è piena di lacune, e la conoscenza ha il compito di comprenderle ...abbiamo interrotto il discorso su Ontologia ed Epistemologia.... In breve ora lo riprendiamo I concetti coinvolti nella definizione “La filosofia è lo studio delle cause prime dell’essere” Aristotele Cause Ontologia Antropologia Logica Essere Uomo Mondo Soggetto Oggetto Quale criterio Gnoseologia per la verità? Filosofia del linguaggio conoscenza Certa ? Realtà Incerta Opinione Che cosa è, che cosa esiste nella realtà? Cosa sono le cose del mondo? Come le rappresento? I concetti coinvolti nella definizione “La filosofia è lo studio delle cause prime dell’essere” Aristotele Ontologia Essere Uomo Mondo conoscenza Cosa dice la verità? (1) Il rosso è un colore. (2) Il 4 è un numero pari. (3) L’amore di Luca per Sara è sincero. (4) L’ombra del tavolo sul pavimento è ovale. (5) C’è un buco in questa fetta di formaggio. (6) Luca ha fatto una passeggiata. (7) C’è una differenza d’altezza tra Luca e Sara. (8) Vi sono molte probabilità che Luca venga a cena. Realtà (1’) Gli oggetti rossi sono colorati. (2’) Dati quattro oggetti qualsiasi, è sempre possibile separarli in due gruppi equinumerosi. (3’) Luca ama sinceramente Sara. (4’) Il tavolo oscura il pavimento in maniera ovale. (5’) Questo pezzo di formaggio è bucato. (6’) Luca ha passeggiato. (7’) O Luca è più alto di Sara o Sara è più alta di Luca. (8’) È molto probabile che Luca venga a cena. Teologia I concetti coinvolti nella definizione Teoretica Etica Estetica Epistemologia Cos’ il Vero Cos’ il Buono Cause Metafisica Cos’ il Bello Essere Antropologia Logica Uomo Mondo Soggetto Oggetto Quale criterio Gnoseologia per la verità? Filosofia del linguaggio conoscenza Certa Epistemologia Scienza Fisica Uso Incerta Opinione Teologia I concetti coinvolti nella definizione Teoretica Etica Estetica Epistemologia Cos’ il Vero Cos’ il Buono Cause Metafisica Cos’ il Bello Essere Antropologia Logica Uomo Mondo Soggetto Oggetto Quale criterio Gnoseologia per la verità? Filosofia del linguaggio conoscenza Certa Fisica Realtà Incerta Teorie scientifiche Quale criterio per la verità nella scienza? Epistemologia Scienza Opinione Teologia I concetti coinvolti nella definizione Teoretica Etica Estetica Epistemologia Cos’ il Vero Cos’ il Buono Cause Metafisica Cos’ il Bello Essere Antropologia Logica Uomo Mondo Soggetto Oggetto Quale criterio Gnoseologia per la verità? Filosofia del linguaggio conoscenza Certa Fisica Realtà Incerta Teorie scientifiche Epistemologia Scienza Opinione La conoscenza scientifica intesa come conoscenza certa è studiata nell’ambito delle discipline gnoseologiche che studiano le origini i limiti e la giustificazione della conoscenza in generale. Intesa invece come l’insieme di conoscenze che costituiscono un sapere scientifico (la fisica, la medicina, la biologia, etc.) è studiata dalla filosofia della scienza (o epistemologia propriamente detta) che si occupa dello studio delle origini, dei limiti e della giustificazione della Scienza Epistemologia e Filosofia della scienza Epistemologia Teoria della conoscenza Ha per oggetto la natura, l’origine i limiti e la giustificazione della conoscenza Filosofia della scienza Ha per oggetto la natura, l’origine i limiti e la giustificazione della scienza I contenuti della filosofia della scienza si svuotano se non sono rapportati alla pratica scientifica Approccio classico alla Verità Approccio classico alla Verità conoscenza Gnoseologia Certa Incerta Realtà Verità Ragionamento e Matematica Intelletto Unità del giudizio Realtà Opinione Approccio classico alla Verità Deve poter essere conosciuta con il solo ragionamento conoscenza Gnoseologia Certa Incerta Realtà ...ma cos’è la Verità? Verità Ragionamento e Matematica Intelletto Unità del giudizio Realtà Opinione Approccio classico alla Verità Deve poter essere conosciuta con il solo ragionamento conoscenza Gnoseologia Certa Incerta Realtà ...è la metafisica a rispondere! Verità Ragionamento e Matematica Intelletto Unità del giudizio Realtà Opinione Approccio classico alla Verità Teologia Teoretica Cos’ il Vero Etica Cause Metafisica Estetica Ontologia Psicologia Gnoseologia ...La Verità è la corrispondenza del pensiero alle cose attuata mediante il linguaggio Essere Mondo Uomo conoscenza Fisica Speculativa (cause finali) Approccio classico alla Verità Teologia Teoretica Cos’ il Vero Etica Cause Metafisica Estetica Ontologia Psicologia Gnoseologia Essere Mondo Uomo conoscenza Fisica Speculativa (cause finali) Come è possibile che si pensino cose diverse dalla realtà se il pensiero coincide con esse? Perché l’errore? Realtà Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Vera: Ragionamento, Matematica Approccio classico alla Verità Teologia Teoretica Cos’ il Vero Etica Cause Metafisica Estetica Ontologia Psicologia Gnoseologia Essere Mondo Uomo Fisica Speculativa (cause finali) conoscenza Perché la Realtà è diversa da quella che appare ai sensi Se si giudica con i sensi si sbaglia. Realtà Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica Approccio classico alla Verità Teologia Teoretica Cos’ il Vero Etica Cause Metafisica Estetica Ontologia Psicologia Gnoseologia Quale criterio per la verità? Essere Mondo Uomo Fisica Speculativa (cause finali) conoscenza Criterio per la corrispondenza del pensiero alla realtà Perché la Realtà è diversa da quella che appare ai sensi Realtà Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica Teologia Teoretica Approccio classico alla Verità: Distinzione tra relatà vera e reltà falsa Cos’ il Vero Etica Cause Metafisica Domanda ontologica: Cos’è un tavolo? Estetica Ontologia Psicologia Gnoseologia Quale criterio per la verità? Essere Mondo Uomo Platone: La teoria delle Idee conoscenza Criterio per la corrispondenza del pensiero alla realtà Perché la Realtà è diversa da quella che appare ai sensi Realtà Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica Teologia Teoretica Approccio classico alla Verità: Distinzione tra relatà vera e reltà falsa Se so cosa è un tavolo nella sua essenza, sono nelle condizioni di avere un criterio per sapere anche se i miei sensi mi stanno ingannando oppure no Cos’ il Vero Etica Cause Metafisica Estetica Domanda ontologica: Cos’è un tavolo? Ontologia Psicologia Gnoseologia Quale criterio per la verità? Essere Mondo Uomo Platone: La teoria delle Idee conoscenza Criterio per la corrispondenza del pensiero alla realtà Perché la Realtà è diversa da quella che appare ai sensi Realtà Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica Teologia Teoretica Approccio classico alla Verità: Distinzione tra relatà vera e reltà falsa ...ma cosa è l’essenza del tavolo, e in generale, cos’è l’essenza di un oggetto? Platone ripsonderà che questa essenza o definizine è la sua Idea Cos’ il Vero Etica Cause Metafisica Estetica Domanda ontologica: Cos’è un tavolo? Ontologia Psicologia Gnoseologia Quale criterio per la verità? Essere Mondo Uomo Platone: La teoria delle Idee conoscenza Criterio per la corrispondenza del pensiero alla realtà Perché la Realtà è diversa da quella che appare ai sensi Realtà Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica Il mito della Caverna: due realtà a confronto Una metafora che ci accompagnerà in tutto il corso Il mito della Caverna: due realtà a confronto Realtà Intelliggibile Sole Oggetti illuminati dal sole Realtà Sensibile Cose Sensibili Ombre Oggetti illuminati dal fuoco fuoco Il mito della Caverna: due realtà a confronto Realtà Intelliggibile Idea del Bene Verità delle cose Realtà Sensibile Parvenze Sensibili Cose Sensibili Il mito della Caverna: due realtà a confronto Realtà Intelliggibile Idea del Bene Prima Realtà Immaginazione Sguardo sensibile Parvenze Sensibili Il tavolo è quello che io vedo: solo un suo lato Il mito della Caverna: due realtà a confronto Realtà Intelliggibile Idea del Bene Seconda Realtà Credenza Rivolgimento dello sguardo Cose Sensibili Il tavolo è la causa sensibile del lato che chiamo ‘tavolo’: è l’insieme di tutte le sue proprietà percepibili. Questo insieme di proprietà è generalmente accettato come valido (opinione) Il mito della Caverna: due realtà a confronto Realtà Intelliggibile Idea del Bene Verità delle cose Terza Realtà Seconda Realtà Educazione Il tavolo come Idea del Tavolo è ciò che rimane del tavolo una volta che siano state tolte dalla sua definizione tutte le proprietà ricavate dalla percezione. Il tavolo è l’essere tavolo, ovvero, la tavolinità Il mito della Caverna Realtà Intelliggibile Idea del Bene Come conosco questa ‘Tavolinità’? Verità delle cose Terza Realtà Seconda Realtà Educazione Il mito della Caverna Realtà Intelliggibile Dialettica Idea del Bene Via alla Verità Come conosco questa ‘Tavolinità’? Verità delle cose Sguardo intellettuale Terza Realtà Seconda Realtà Educazione Il mito della Caverna Realtà Intelliggibile Dialettica Tecnica per la ‘scalata alla Verità’’ consistente nella divisione di una idea in molte idee e n lla riconduzione di molte idee ad una soltanto Idea del Bene Via alla Verità Come conosco questa ‘Tavolinità’? Verità delle cose Sguardo intellettuale Terza Realtà Seconda Realtà Educazione Il mito della Caverna Realtà Intelliggibile Dialettica Tecnica per la ‘scalata alla Verità’’ consistente nella divisione di una idea in molte idee e n lla riconduzione di molte idee ad una soltanto Idea del Bene Via alla Verità Verità delle cose Sguardo intellettuale Terza Realtà Seconda Realtà Educazione Come conosco questa ‘Tavolinità’? La tavolinità la conosco attraverso uno sguardo intellettule che mi permette di risalire alla definizione specifica del concetto “Tavolo” Il mito della Caverna Realtà Intelliggibile Dialettica Tecnica per la ‘scalata alla Verità’’, consistente nella divisione di una idea in molte idee e nella riconduzione di molte idee ad una soltanto Idea del Bene Come conosco questa ‘Tavolinità’? La tavolinità la conosco attraverso uno sgrdo intellettule che mi permette di risalire alla definizione specifica del concetto “Tavolo” Via alla Verità Verità delle cose Aristotele darà un canone formale a questa posizione di platone Sguardo intellettuale Terza Realtà Seconda Realtà Educazione Il mito della Caverna Realtà Intelliggibile Tutto questo sotto l’ipotesi che la Verità esista, Dialettica Ovvero, Che esista una Realtà Vera oltre quella falsa testimoniata dai sensi. Idea del Bene La scienza moderna proporrà un nuovo concetto di Realtà rimpiazzando la Via alla Verità nozione di Verità con quella di Oggettività e “Misura” Verità delle cose L’epistemolgia proporrà modelli di crescita della conoscenza scientifica indipendente dall’accettazione metafisica di ‘Verità Ultime’ Sguardo intellettuale Seconda Realtà Educazione Approccio platonico alla Realtà Teologia Teoretica Cos’ il Vero Etica Cause Metafisica Estetica Ontologia Psicologia Gnoseologia Essere Mondo Uomo conoscenza Realtà Intelligibile Criterio per la corrispondenza del pensiero alla realtà Realtà Sensibile Realtà Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica Approccio platonico alla Realtà Teologia Teoretica Cos’ il Vero Etica Cause Metafisica Estetica Ontologia Psicologia Essere Mondo Uomo Credenza Gnoseologia Criterio per la corrispondenza del pensiero alla realtà conoscenza dialettica Immaginazione Realtà Intelligibile Realtà Sensibile Realtà Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica Approccio platonico alla Realtà Teologia Teoretica Cos’ il Vero Etica Cause Metafisica Estetica Ontologia Essere Psicologia Credenza Gnoseologia Criterio per la corrispondenza del pensiero alla realtà Immaginazione dialettica Ha una struttura Realtà Intelligibile Realtà Sensibile Realtà Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica Teologia Teoretica Approccio platonico alla Realtà: il ragionamento Cos’ il Vero Etica Cause Metafisica Estetica Ontologia Essere Primo esempio di teoria del ragionamento Psicologia In virtù dell’identità Pensiero/ Realtà Idee Gnoseologia Criterio per la corrispondenza del pensiero alla realtà dialettica Ha una struttura Realtà Intelligibile Realtà Sensibile Realtà Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica Teologia Teoretica Approccio platonico alla Realtà: la verità Pedagogia Cos’ il Vero Etica Cause Metafisica Estetica Reminiscenza Ontologia Essere Riconoscire le Idee nelle cose sensibili Psicologia Idee Gnoseologia Criterio per la corrispondenza del pensiero alla realtà dialettica Ha una struttura Realtà Intelligibile Realtà Sensibile Realtà Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica Approccio platonico alla Conoscenza Teologia Teoretica Pedagogia Cos’ il Vero Etica Cause Metafisica Estetica Reminiscenza Ontologia Essere Riconoscire le Idee nelle cose sensibili Psicologia Idee Gnoseologia Criterio per la corrispondenza del pensiero alla realtà Educazione dialettica Ha una struttura Realtà Intelligibile Realtà Sensibile Realtà Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica Approccio platonico alla Conoscenza Teologia Teoretica Pedagogia Cos’ il Vero Etica Cause Metafisica Estetica Reminiscenza Ontologia Essere Riconoscire le Idee nelle cose sensibili Psicologia Idee Gnoseologia Criterio per la corrispondenza del pensiero alla realtà Educazione dialettica Ha una struttura Realtà Intelligibile Realtà Sensibile Realtà Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica Questa nozione di Realtà verrà messa in crisi dalla scienza moderna Approcci moderni alla Realtà Teologia Teoretica Etica Cos’ il Vero Metafisica Cause Estetica Ontologia Essere Mondo Quale criterio Gnoseologia per la verità? conoscenza Scienza Moderna Linguaggio = Pensiero = Realtà Pensiero Moderno: Conoscenza Certa: Il Soggetto e l’Oggetto Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica Fisica Speculativa (cause finali) Realtà Teoria del Significato Teoretica Cos’ il Vero Metafisica Sono le cose del mondo a cui la conoscenza attribuisce un significato I fenomeni Ombre Ontologia essere di fronte Uomo Mondo Soggetto Quale criterio per la verità? Gnoseologia L’intelletto dà un significato unico ad una molteplicità di percezioni Oggetto conoscenza Realtà Fatti Scienza Moderna Linguaggio = Pensiero = Realtà Pensiero Moderno: Conoscenza Certa: Il Soggetto e l’Oggetto Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica L’insieme dei significati associati alle cose che fanno parte del mondo Teoria del Significato Teoretica Cos’ il Vero Metafisica Sono le cose del mondo a cui la conoscenza attribuisce un significato I fenomeni Ombre Ontologia essere di fronte Uomo Mondo Soggetto Quale criterio per la verità? Gnoseologia L’intelletto dà un significato unico ad una molteplicità di percezioni Fisica Sperimentale Oggetto conoscenza Realtà Scienza Moderna Teorie Scientifiche Linguaggio = Pensiero = Realtà Pensiero Moderno: Conoscenza Certa: Il Soggetto e l’Oggetto Linguaggio = Pensiero = Realtà Pensiero Greco: Conoscenza Certa: Ragionamento, Matematica Fatti