LA CRISI DEL VERIFICAZIONISMO
|
|
- Sibilla Pini
- 6 anni fa
- Visualizzazioni
Transcript
1 VERIFICABILITÀ E FALSIFICABILITÀ PROF. MAURO DI GIANDOMENICO
2 Indice 1 LA CRISI DEL VERIFICAZIONISMO IL PROBLEMA DELL INDUZIONE IL PROBLEMA DELLA DEMARCAZIONE di 8
3 1 La crisi del verificazionismo Il fondamento filosofico della verità ricercata ed espressa dalla scienza con il suo linguaggio matematizzato costituisce il punto di maggior discussione dell epistemologia del secolo scorso. Vedremo in questa lezione gli sviluppi più recenti di tale dibattito, ma prima ricapitoliamo rapidamente le posizioni neopositivistiche espresse nei primi decenni del Novecento con i loro pregi e difetti. Ricorderete che con l espressione principio di verificazione viene correntemente indicata l assunzione congiunta di queste due tesi seguenti: 1) un enunciato ha significato se, e solo se, è possibile la sua verifica; 2) il significato di un enunciato è il metodo della sua verificazione. Peraltro, talvolta con essa è stata intesa anche solo una delle due tesi, distinguibili in quanto la prima stabilisce un criterio di significanza, mentre la seconda è una definizione di significato. Wittgenstein, per la verità, nel Tractatus logico-philosophicus non ne tratta esplicitamente: la formulazione che più gli si avvicina si trova là dove si afferma che comprendere una proposizione vuol dire sapere che accada se essa è vera (prop ). In altri suoi scritti, però, esso viene semplicemente equiparato alle regole d uso di un espressione. Con Ayer, in Linguaggio, verità e logica, si considera verificabile un enunciato se da esso, in congiunzione con altre premesse, si possono dedurre enunciati di osservazione non deducibili dalle sole altre premesse. Questo criterio, però, risulta troppo largo, perché può essere soddisfatto, come ha fatto notare Carnap, da qualsiasi enunciato metafisico. Egli, conseguentemente, riconosce la necessità di sostituire al concetto di verificabilità con quello più debole di confermabilità. Ricorderete ancora - che egli considera confermabile un enunciato se alcune esperienze possibili possono contribuire (negativamente o positivamente) alla sua conferma. La sua soluzione consiste, conseguentemente, nella costruzione di un linguaggio formale che rispetti il requisito di confermabilità, in modo che risultino confermabili quegli enunciati in cui compaiono solo termini riducibili ad una base di termini osservativi. Ciò comporta che la significanza di un enunciato deve essere dedotto dalla sua stessa inclusione in un linguaggio formale costruito secondo i requisiti dell empirismo. Anche questa soluzione, però, non riesce a risolvere lo scottante problema relativo alla determinazione del momento in cui si possa dichiarare esaurita la serie di verifiche empiriche in maniera definitiva. 3 di 8
4 C è un altra considerazione da fare, che è questa. Benché il termine verificazione sia spesso definito come sinonimo di qualsiasi procedimento in grado di stabilire la verità o la falsità di un enunciato (empirico o formale che sia), il termine stesso indica che il procedimento in questione intende, in realtà, dimostrare la verità e solo secondariamente, in caso di insuccesso, la falsità: in breve la verifica di un enunciato di forma universale sottintende un procedimento induttivo. Abbiamo già esaminato nelle precedenti lezioni, come questo impianto induttivistico generi i problemi ora ricordati. La chiarificazione di questo punto, così come del fatto che gli enunciati di forma universale - e quindi le leggi fisiche - non possono essere conclusivamente verificati, (stabiliti come veri per sempre) è dovuta, in gran parte, a Popper. Nella sua prima fondamentale opera, pubblicata a Vienna nell autunno del 1934 con il titolo Logik der Forschung ( Logica della ricerca ), tradotta in inglese col titolo Logic of scientific discovery nel 1959 ed in italiano (Logica della scoperta scientifica) nel 1970 (tratteremo in seguito il senso della trasformazione del titolo, da ricerca a scoperta ), Popper prende di petto proprio la radice profonda della teoria verificazionista, e del suo presupposto induttivistico, e cioè la riduzione dell essenza della conoscenza (comune o scientifica) a puro e semplice linguaggio. Egli così pone la questione, nella prefazione alla prima edizione inglese: Gli analisti del linguaggio credono che non ci siano problemi filosofici genuini, o che i problemi della filosofia ammesso che ce ne siano siano problemi concernenti l uso linguistico, o il significato delle parole. Invece io sono convinto che esista almeno un problema al quale sono interessati tutti gli uomini dediti al pensiero. E il problema della cosmologia: il problema di comprendere il mondo, compresi noi stessi e la nostra conoscenza, in quanto parte del mondo. Sono convinto che tutta la scienza sia cosmologia, e per me l interesse così della filosofia come della scienza risiede unicamente nei contributi che queste due discipline hanno portato a questo problema. In ogni caso scienza e filosofia cesserebbero di esercitare su di me qualsiasi attrazione se dovessero rinunciare a proporselo. Non c è dubbio che il comprendere le funzioni del linguaggio sia una parte importante di questo compito; ma non lo è il liquidare i nostri problemi come semplici enigmi linguistici [.]. Il problema centrale dell epistemologia è sempre stato, e ancora è, il problema dell accrescersi della conoscenza. E l accrescersi della conoscenza può essere studiato, meglio che in qualsiasi altro modo, studiando l accrescersi della conoscenza scientifica. 4 di 8
5 Non credo che allo studio dell accrescersi della conoscenza si possa sostituire lo studio degli usi linguistici, o dei sistemi linguistici. (K.R. Popper, Logica della scoperta scientifica, tr.it., Einaudi, Torino, 1970, pp. XXI-XXII). Su questa base teorica, i cui aspetti e le cui conseguenze affronteremo in seguito, Popper sferra il suo attacco ai principi-base del neopositivismo, che sono l induttivismo ed il verificazionismo. 5 di 8
6 2 Il problema dell induzione Possiamo individuare il punto di partenza della riflessione popperiana nella discussione intorno al valore di quel metodo il metodo induttivo, appunto che la tradizione riconosce come il fondamento della scienza moderna, in quanto scienza empirica. Secondo questo punto di vista, lo scienziato, prendendo spunto dall osservazione della realtà, procede da asserzioni singolari (cioè da resoconti dei risultati di osservazioni o di esperimenti) ad asserzioni universali, che sono etichettate come ipotesi o teorie. Ad avviso di Popper il problema che qui si pone è di natura squisitamente logica: la presa d atto (è il suo classico esempio che tutti citano) che i cigni finora osservati siano bianchi può bastare a giustificare la conclusione necessaria ed universale che tutti i cigni, passati, presenti e futuri, sono e saranno bianchi? La risposta tradizionale, positiva, si ancorava al valore fondativo del principio d induzione, che, come ci ricorda Reichenbach, è accettata da tutta quanta la scienza e che anche nella vita di ogni giorno nessuno può mettere seriamente in dubbio. Ma è proprio vero? Ed il principio d induzione stesso da dove si ricava? Dall esperienza, forse? E come? Attraverso inferenze induttive, dal momento che l esperienza è sempre individuale, soggettiva, concreta? Facendo forse riferimento ad un principio induttivo di ordine superiore? Ma in tal modo il tentativo di basare il principio d induzione sull esperienza fallisce, perché la domanda diventa: quando si può dire razionale l accettazione di un enunciato generale sulla base di enunciati osservativi (enunciati- base ), la cui verità è presupposta? La risposta che è stata data dal neopositivismo classico è: Quando questi enunciati verificano l enunciato generale. E quando si dà il caso di una tale verificazione? Hume aveva risposto: mai : è logicamente impossibile derivare un enunciato universale da un insieme coerente, ma finito di enunciati singolari, giacché il contenuto di informazione empirica di un enunciato genuinamente universale trascende infinitamente il contenuto necessariamente finito di un gruppo coerente, finito di enunciati singolari. Per questa ragione al programma verificazionista viene sostituito quello, attenuato, dell induttivismo probabilistico: un enunciato generale deve essere accettato se la sua probabilità logica, sulla base degli enunciati osservativi, è sufficientemente alta. Ma come escludere che, dopo una ininterrotta catena di verifiche sui cigni (per riprendere Popper) tutti bianchi, all improvviso si possa presentare un cigno nero? Per tutti questi motivi Popper prospetta una teoria che 6 di 8
7 si oppone radicalmente a tutti i tentativi di operare con le idee della logica induttiva. Potrebbe essere descritta come la teoria del metodo deduttivo dei controlli, o come il punto di vista secondo cui un ipotesi può essere soltanto controllata empiricamente, e soltanto dopo che è stata proposta [ ] Il metodo consistente nel sottoporre le teorie a controlli critici e nello scegliere secondo i risultati dei controlli, procede sempre lungo le linee seguenti. Da una nuova idea, avanzata per tentativi e non ancora giustificata in alcun modo un anticipazione, un ipotesi, un sistema di teorie, o qualunque cosa si preferisca si traggono conclusioni per mezzo della deduzione logica. In un secondo tempo questa conclusioni vengono confrontate l una con l altra, e con altre asserzioni rilevanti, in modo da trovare quali relazioni logiche (come equivalenza, derivabilità, compatibilità o incompatibilità) esistano tra di esse [ ]. Con l aiuto di altre asserzioni già accettate in precedenza si deducono dalla teoria certe asserzioni singolari che possiamo chiamare predizioni : in particolar modo predizioni che possano essere controllate o applicate con facilità. Tra queste asserzioni scegliamo quelle che non sono derivabili dalla teoria corrente, e, più in particolare, quelle che la teoria corrente contraddice. In seguito andiamo alla ricerca di una decisione riguardante queste (e altre) asserzioni derivate, confrontando queste ultime con i risultati delle applicazioni pratiche e degli esperimenti. Se questa decisione è positiva, cioè se le singole conclusioni si rivelano accettabili o verificate, la teoria ha temporaneamente superato il controllo: non abbiamo trovato alcuna ragione per scartarla. Ma se la decisione è negativa, o, in altre parole, se le conclusioni sono state falsificate, allora la loro falsificazione falsifica anche la teoria da cui le conclusioni sono state dedotte logicamente. (K.R. Popper, Logica della scoperta scientifica, tr. it., Einaudi, Torino, 1970,pp. 9 e 11-13). Questa impostazione deduttivistica, commenta Popper, ha come conseguenza una ridefinizione di un punto fermo della visione della scienza neopositivistica, e cioè della distinzione tra scienza e metafisica, come ci apprestiamo ad esaminare. 7 di 8
8 3 Il problema della demarcazione Demarcare significa per Popper trovare un criterio che ci metta in grado di distinguere tra le scienze empiriche da un lato e la matematica e la logica, e così pure i sistemi metafisici dall altro. In primo luogo Popper considera dogmatica la divisione delle proposizioni in due classi, quella delle proposizioni significanti o scientifiche e quella delle proposizioni non significanti o metafisiche, in quanto questa divisione pretende di fondarsi sulla natura stessa delle proposizioni, riconoscibile una volta per tutte. Si tratta piuttosto, secondo Popper, di segnare una linea di demarcazione cioè di avanzare una proposta o di stabilire una convenzione opportuna per la demarcazione del dominio proprio della scienza. In secondo luogo, egli ritiene che l esperienza debba essere intesa non come un mondo di dati, ma come un metodo e precisamente come il metodo di sottoporre a prova o a controllo i diversi sistemi teoretici logicamente possibili. Su queste basi, egli propone di ado perare come criterio di demarcazione non la verificabilità, ma la.falsificabilità delle proposizioni: cioè di 'considerare come contrassegno di un sistema scientifico la possibilità di essere confutato dall'esperienza. Cosi l'asserzione «domani pioverà o non pioverà» non è empirica perché non può essere confutata, mentre è empirica l'asserzione «domani pioverà». La superiorità di questo criterio si fonda, secondo Popper, sulla asimmetria tra verifica bilità e falsificabilità : giacché mentre le proposizioni universali non possono mai essere derivate da quelle particolari, possono però essere smentite da una sola di esse: non basta avere verificato che «quest'uomo è mortale» per asse rire che «tutti gli uomini sono mortali»; ma basta avere verificato quell'as serzione per smentire la proposizione universale «gli uomini sono immor tali». Il metodo della falsificazione consente di fare a meno dell'inferenza induttiva sottoponendo alla prova della falsificabilità i sistemi deduttivi costi tuiti dalle trasformazioni tautologiche delle proposizioni ( The Logie of Scientific Discovery, 6). Da questo punto di vistà una teoria può essere detta empirica o falsificabile se divide senza ambiguità la classe di tutte le possibili proposizioni fondamentali in due sottoclassi: quella delle proposizioni con le quali è incompatibile e che costituiscono i jalsific atori potenziali della teoria e quella delle proposizioni che non la contraddicono o che essa permette. Piu brevemente «una teoria è falsificabile se la classe dei suoi falsificatori potenziali non è vuota» ( Ib., 21). 8 di 8
Che cos è una teoria scientifica?
Temi filosofici dell ingegneria e della scienza/informatica B[1] Politecnico di Milano, II Facoltà di ingegneria, a.a. 2009-10 Che cos è una teoria scientifica? Viola Schiaffonati Dipartimento di elettronica
DettagliLA CRITICA DI POPPER ALL INDUTTIVISMO
LA CRITICA DI POPPER ALL INDUTTIVISMO L induttivista pensa che la scienza parta da una iniziale raccolta di osservazioni in assenza di uno sfondo teorico Popper argomenta che non è possibile compiere osservazioni
Dettagli2. IL CRITERIO DI VERIFICABILITÀ
2. IL CRITERIO DI VERIFICABILITÀ Il criterio di verificabilità (CV) è stato interpretato dagli esponenti del positivismo logico, sia come criterio di significato, che come criterio di demarcazione e può
DettagliLezione 11. Corso di comunicazione scientifica A.A Prof. Paolo Lattanzio.
Lezione 11 Corso di comunicazione scientifica A.A. 2010 2011 Prof. Paolo Lattanzio www.paololattanzio.net plattanzio@unite.it Critica all induttivismo di Popper Induttivismo da osservazioni per poi inferire
DettagliPOPPER. 1.Vita e opere
POPPER 1.Vita e opere Ad avanzare negli anni Trenta, una teoria della conoscenza scientifica alternativa a quella dei neopositivisti è stato Karl Raimund Popper. Karl Raimund Popper nasce nel 1902 a Vienna,
DettagliLogica e filosofia della scienza (P) 6 CFU
Logica e filosofia della scienza (P) 6 CFU Anno Accademico 2010-2011 Corso di laurea in Scienze della comunicazione Ivan Valbusa ivan.valbusa@univr.it Dipartimento di Filosofia, Pedagogia e Psicologia
DettagliIl metodo scientifico
Il metodo scientifico Alcune conoscenze sono considerate vere altre solo opinioni Relazione fra teoria e prassi Teoria che non si confronta con l esperienza non può sussistere Evoluzione delle conoscenze
DettagliAddio a Ragione e Progresso? Popper e il fallibilismo. Scienza su palafitte. Società aperta Politecnico di Torino 1
Addio a Ragione e Progresso? 1 2 2004 Politecnico di Torino 1 Il criterio di falsificabilità 3 Il criterio di falsificabilità Demarcazione e significato 4 2004 Politecnico di Torino 2 Il criterio di falsificabilità
DettagliLa filosofia della scienza nel XX secolo. Editori Laterza
Donale! Gillies Giulio Giorello La filosofia della scienza nel XX secolo Editori Laterza INDICE DEL VOLUME Prefazione Ringraziamenti ix xi Parte prima L'induttivismo e i suoi critici 1. Breve profilo storico:
Dettaglifondamenti della matematica il programma logicista. Il programma logicista è legato ai nomi di G. Frege, B. Russell e L. Wittgenstein.
fondamenti della matematica il programma logicista. Il programma logicista è legato ai nomi di G. Frege, B. Russell e L. Wittgenstein. Frege per primo sostenne che l aritmetica non è altro che logica nel
DettagliAppunti di geometria euclidea
Appunti di geometria euclidea Il metodo assiomatico Appunti di geometria Euclidea Lezione 1 Prima di esaminare nel dettaglio la Geometria dal punto di vista dei Greci è opportuno fare unrichiamo di Logica.
DettagliEpistemologia e Filosofia 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
DettagliLa scienza e le scienze
La scienza e le scienze Scienza: definizioni Insieme di conoscenze rigorosamente controllate e sistematicamente ordinate che consente di giungere a verità obiettive intorno a un determinato ordine di fenomeni
DettagliTortura la natura per i suoi segreti!
Tortura la natura per i suoi segreti! Francis Bacon Il pane mi ha sempre nutrito nel passato; ciò che si è sempre ottenuto nel passato si otterrà nel futuro; quindi il pane continuerà a nutrirmi David
DettagliChe cos è la filosofia analitica?
Che cos è la filosofia analitica? Sascia Pavan sascia.pavan@gmail.com 31 marzo 2011 Sommario 1 Introduzione I padri fondatori Logica matematica 2 La filosofia analitica prima maniera: dalle origini agli
DettagliLOGICA E FILOSOFIA DELLA SCIENZA
LOGICA E FILOSOFIA DELLA SCIENZA Claudia Casadio PRIMA LEZIONE Logica, Linguistica e Scienza Cognitiva Tre ambiti scientifici Logica Studia i processi in base a cui traiamo inferenze a partire dalle nostre
DettagliFare scienza: un problema di metodo
Giacomo Gerosa, Sranislaw Cieslik Milano, 2.7. 2015 Fare scienza: un problema di metodo Ars bene disponendi seriem plurimarum cogitationum (Logica di Port Royal, Arnauld e Nicole 1662) Il metodo è l arte
DettagliStoria della Scienza e Filosofia della Scienza
Storia della Scienza e Filosofia della Scienza Arturo Russo Dottorato di ricerca in Storia e didattica delle matematiche, della fisica e della chimica Il compito della filosofia della scienza e il rapporto
DettagliMaiuscole e minuscole
Maiuscole e minuscole Abilità interessate Distinguere tra processi induttivi e processi deduttivi. Comprendere il ruolo e le caratteristiche di un sistema assiomatico. Riconoscere aspetti sintattici e
DettagliQuine. su senso, riferimento e traduzione radicale. Lezioni lauree triennali
Quine su senso, riferimento e traduzione radicale Lezioni lauree triennali 2014-15 La semantica di Carnap A partire da Frege, Carnap riformula senso e denotazione come intensione e estensione associate
DettagliCap. 6 del manuale La natura e i suoi modelli
Cap. 6 del manuale La natura e i suoi modelli 1. In questa stanza c è una lavagna 2. Gli atomi di sodio hanno 11 protoni e 11 elettroni Consideriamo vere queste due affermazioni? Perché? Aff. 1: Perché
DettagliLOGICA E PSICOLOGIA DEL PENSIERO. Logica, Linguistica e Scienza Cognitiva
titolo LOGICA E PSICOLOGIA DEL PENSIERO Claudia Casadio PRIMA LEZIONE Logica, Linguistica e Scienza Cognitiva Tre ambiti scientifici logica Logica Studia i processi in base a cui traiamo inferenze a partire
DettagliContesto della scoperta e contesto della giustificazione
Contesto della scoperta e contesto della giustificazione Il compito della filosofia della scienza è la ricostruzione razionale dell'impresa scientifica, essa dovrà limitarsi a ricostruire il solo contesto
DettagliElementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni.
Elementi di logica SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Quantificatori: elementi fondamentali del linguaggio matematico. quantificatore
DettagliUn po di logica. Christian Ferrari. Laboratorio di matematica
Un po di logica Christian Ferrari Laboratorio di matematica 1 Introduzione La logica è la disciplina che studia le condizioni di correttezza del ragionamento. Il suo scopo è quindi quello di elaborare
DettagliAlfredo Rizzi. Già professore ordinario di teoria dell inferenza statistica
Alfredo Rizzi Già professore ordinario di teoria dell inferenza statistica INDUZIONE E DEDUZIONE INDUZIONE : PROCEDIMENTO LOGICO CHE CONSISTE NELL INFERIRE DA OSSERVAZIONI ED ESPERIENZE PARTICOLARI I PRINCIPI
DettagliISTITUTO TECNICO STATALE COMMERCIALE E PER GEOMETRI A. MARTINI Castelfranco Veneto (TV) Elementi di Logica
settembre 008 Elementi di Logica 1. Nozioni preliminari La logica studia come funziona il pensiero e il ragionamento espresso attraverso degli enunciati Il ragionamento è un sistema di enunciati che permette
DettagliEs. quadrilatero: specie di poligono, genere di quadrato. La specie ha più caratteristiche, il genere è riferito a più elementi.
La logica di Aristotele La logica non si trova tra le scienze dell enciclopedia aristotelica, poiché essa ha per oggetto la forma comune a tutte le scienze, cioè il procedimento dimostrativo, o le varie
DettagliLuca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1
Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Esercizio 1.12 Per dimostrare che per ogni funzione esiste una formula in cui compaiono le variabili tale che la corrispondente
DettagliFilosofia del linguaggio Alfredo Paternoster
Filosofia del linguaggio 2012-2013 Alfredo Paternoster Russell: la teoria delle descrizioni Frege: descrizioni vuote non hanno riferimento, quindi gli enunciati dove esse occorrono non hanno valore di
DettagliMetodologia della ricerca 1
Metodologia della ricerca 1 METODOLOGIA Riflessione critica sulle regole, i principi, le condizioni formali che sono alla base della ricerca scientifica e che consentono di ordinare, sistemare e accrescere
DettagliJohann Gottlieb Fichte (Rammenau, 19 maggio 1762 Berlino, 27 gennaio 1814)
Johann Gottlieb Fichte (Rammenau, 19 maggio 1762 Berlino, 27 gennaio 1814) a cura di Pietro Gavagnin www.pgava.net Kant aveva voluto costruire una filosofia del finito. Fichte vuol costruire una filosofia
DettagliLOGICA MATEMATICA PER INFORMATICA (A.A. 12/13)
LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13) DISPENSA N. 4 Sommario. Dimostriamo il Teorema di Completezza per il Calcolo dei Predicati del I ordine. 1. Teorema di Completezza Dimostriamo il Teorema
Dettaglisempre vere sempre false
Logica: elementi I principi della logica sono innanzitutto i seguenti: Identità: a=a (ogni cosa è cioè identica a se stessa) Non contraddizione: non (a e non a). E impossibile che la stessa cosa sia e
DettagliIl Neopositivismo PREMESSE: Inquadramento delle correnti filosofiche. A. Comte: il positivismo. (fisica fisica sociale)
Il Neopositivismo PREMESSE: Inquadramento delle correnti filosofiche A. Comte: il positivismo (fisica fisica sociale) E. Mach, R. Avenarius: empiriocriticismo Il CIRCOLO di VIENNA Percy W. Bridgman Inquadramento
DettagliPercorso su LIM da Kant all idealismo
Percorso su LIM da Kant all idealismo CRITICA DELLA RAGION (PURA) PRATICA NON EMPIRICA VOLONTA Massime «SE.. Devi> Imperativi Imperativi ipotetici Imperativo categorico «Tu devi» Formulazioni dell imperativo
DettagliFondamenti di Informatica 2
Fondamenti di Informatica 2 Linguaggi e Complessità : Lezione 1 Corso Fondamenti di Informatica 2 Marco Schaerf, 2009-2010 Linguaggi e Complessità : Lezione 1 1 Logica proposizionale Linguaggio matematico
DettagliFilosofia del linguaggio (i) (3 cr.)
Filosofia del linguaggio (i) (3 cr.) Docente: Giuseppe Spolaore Orario: Martedì ore 17.20 aula T4, mercoledì ore 17.20 aula 1.4, giovedì ore 14.00 aula 1.4 (per un totale di circa 10 lezioni). Ricevimento:
DettagliLogica: materiale didattico
Logica: materiale didattico M. Cialdea Mayer. Logica (dispense): http://cialdea.dia.uniroma3.it/teaching/logica/materiale/dispense-logica.pdf Logica dei Predicati (Logica per l Informatica) 01: Logica
DettagliSe torturate abbastanza i dati, essi confesseranno. T. Mayer, 1980
Se torturate abbastanza i dati, essi confesseranno T. Mayer, 1980 IL FALSIFICAZIONISMO DI POPPER Corso di Dottorato di Ricerca Lezioni di Filosofia e Metodologia della Ricerca Scientifica Giacomo Zanni
DettagliGIOVANNI FUSCHINO COMPLETEZZA E RAGIONAMENTO PER DEFAULT
GIOVANNI FUSCHINO COMPLETEZZA E RAGIONAMENTO PER DEFAULT La completezza logica si esprime nel modo seguente: M α M α che si legge: da M 1 segue logicamente ( ) α se e solo se ( ) da M si può dedurre (
DettagliRagionamento LOGICA E PENSIERO COMUNE. Fondamenti di Psicologia Generale Cap. 20. Dott.ssa Stefania Pighin -
Ragionamento LOGICA E PENSIERO COMUNE Fondamenti di Psicologia Generale Cap. 20 Dott.ssa Stefania Pighin - stefania.pighin@unitn.it Due fratelli, Paolo e Francesco, vanno a fare la spesa al mercato. La
DettagliLa matematica intuizionista
La matematica intuizionista Francesco Paoli Filosofia della scienza, 2016-17 Francesco Paoli (Filosofia della scienza, 2016-17) La matematica intuizionista 1 / 14 Henri Poincaré (1854-1912) Francesco Paoli
DettagliLO STUDIO DI UNA FUNZIONE REALE DI UNA VARIABILE REALE. UN BREVE RIPASSO
LO STUDIO DI UNA FUNZIONE REALE DI UNA VARIABILE REALE. UN BREVE RIPASSO Studiando le funzioni reali di una sola variabile reale yf(), abbiamo imparato a distinguere alcune loro caratteristiche fondamentali
DettagliLogica proposizionale
Definire un linguaggio formale Logica proposizionale Sandro Zucchi 2013-14 Definiamo un linguaggio formale LP (che appartiene a una classe di linguaggi detti linguaggi della logica proposizionale) Per
DettagliIntroduzione al Calcolo delle Probabilità
Introduzione al Calcolo delle Probabilità In tutti quei casi in cui le manifestazioni di un fenomeno (EVENTI) non possono essere determinate a priori in modo univoco, e i risultati possono essere oggetto
DettagliLogica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 8 Modelli, Formule Valide, Conseguenza Logica Proof Systems Regole di inferenza per Calcolo Proposizionale
DettagliProposizioni e verità
Proposizioni e verità Claudia Casadio Logica e Psicologia del Pensiero Laurea Triennale - Parte Istituzionale A.A. 2007-08 Contents 1 Proposizione.......................................... 3 2 Verità...............................................
DettagliDavidson. Verità e significato
Davidson Verità e significato Teoria del significato Una teoria del significato soddisfacente deve spiegare come i significati degli enunciati dipendono dai significati delle parole Ma come si può costruire
DettagliJohann Gottlieb Fichte
ADESIONE A KANT Il primo Fichte riteneva che la prospettiva emersa con Kant fosse, in ambito filosofico, insuperabile. -1- Oggetto proprio della Filosofia non è l Essere (quindi l ontologia) ma il sapere
DettagliLE TEORIE DELL ASSISTENZA INFERMIERISTICA
Università degli Studi di Pavia Corso di Laurea in Infermieristica LE TEORIE DELL ASSISTENZA Piera Bergomi Obiettivi della materia Obiettivo generale Portare lo studente a conoscere, analizzare e saper
Dettagli02 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 0 - Logica delle dimostrazioni Anno Accademico 015/016
DettagliUNIVERSITÀ DELLA CALABRIA FACOLTÀ DI LETTERE E FILOSOFIA. Corso di laurea in FILOSOFIE E SCIENZE DELLA COMUNICAZIONE E DELLA CONOSCENZA
1 UNIVERSITÀ DELLA CALABRIA FACOLTÀ DI LETTERE E FILOSOFIA Corso di laurea in FILOSOFIE E SCIENZE DELLA COMUNICAZIONE E DELLA CONOSCENZA Elaborato finale QUANDO IL FARE È UN DIRE. La performance artistica
DettagliCenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A
Cenni di logica Hynek Kovarik Università di Brescia Analisi Matematica A Hynek Kovarik (Università di Brescia) Cenni di logica Analisi Matematica A 1 / 21 Scopo: introdurre nozioni di logica & terminologia
DettagliIl procedimento induttivo e deduttivo
Il procedimento induttivo e deduttivo Leggi e teorie Induzione Fatti acquisiti tramite l esperienza Deduzione Previsioni e spiegazioni - Le teorie scientifiche derivano dai fatti empirici - La conoscenza
DettagliGianluca. Gianluca Cuffaro Paolo Rubinacci LOGICA DELLA CONOSCENZA SCIENTIFICA IN POPPER
Gianluca Gianluca Cuffaro Paolo Rubinacci LOGICA DELLA CONOSCENZA SCIENTIFICA IN POPPER La "Logica della scoperta scientifica" di Popper si pone innanzitutto contro il metodo induttivo: è impossibile infatti
DettagliLogica proposizionale
Logica proposizionale Proposizione: frase compiuta che è sempre o vera o falsa. Connettivi Posti in ordine di precedenza: not, and, or, implica, doppia implicazione Sintassi Le proposizioni sono costituite
DettagliRichiami teorici ed esercizi di Logica
Facoltà di ingegneria Università della Calabria Corsi di Potenziamento Matematica e Logica A. A. 2008-2009 Richiami teorici ed esercizi di Logica Proposizioni logiche: Ogni espressione matematica alla
DettagliEsercitazioni per il corso di Logica Matematica
Esercitazioni per il corso di Logica Matematica Luca Motto Ros 02 marzo 2005 Nota importante. Queste pagine contengono appunti personali dell esercitatore e sono messe a disposizione nel caso possano risultare
DettagliCorso: Multimedialità e modelli di argomentazione (3 cr.)
Corso: Multimedialità e modelli di argomentazione (3 cr.) Quinta lezione Docente: Giuseppe Spolaore. Ricevimento: Martedì, ore 11.50-13.25, presso il Dipartimento di Filosofia. Libro di testo: A. Iacona,
DettagliBagnasco, Barbagli, Cavalli, Corso di sociologia, Il Mulino, 2007 Capitolo IX. Scienza e tecnica. Scienza e tecnica
Scienza e tecnica 1 La scienza è l attività umana orientata in modo primario e sistematico alla conoscenza, cioè alla descrizione e spiegazione degli eventi, sia singolari sia ricorrenti, del mondo naturale
DettagliLogica e filosofia della scienza (P) 6 CFU
Logica e filosofia della scienza (P) 6 CFU Anno Accademico 2010-2011 Corso di laurea in Scienze della comunicazione Ivan Valbusa ivan.valbusa@univr.it Dipartimento di Filosofia, Pedagogia e Psicologia
DettagliCalcoli dei sequenti classici e lineare
Calcoli dei sequenti classici e lineare Gianluigi Bellin November 5, 2009 Scheda per il compito 2, scadenza rinviata al marteedì 10 novembre 2009 1 Calcolo dei sequenti classico 1.1 Linguaggio ed interpretazione
DettagliFISICA E GEOME I RIA DALL'OTTOCENTO AOGGI
14 STORIA DELLA SCIENZA collana diretta da Paolo Rossi Paolo Parrini FISICA E GEOME I RIA DALL'OTTOCENTO AOGGI LOESCHER EDITORE / IUAV - VENEZIA AREA SERV BIBLIOGRAFICI E DOCUMENTALI DEPCIA K 753 \-4 f'
DettagliIl procedimento induttivo e deduttivo
Il procedimento induttivo e deduttivo Leggi e teorie Induzione Fatti acquisiti tramite l esperienza Deduzione Previsioni e spiegazioni - Le teorie scientifiche derivano dai fatti empirici - La conoscenza
DettagliLogica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 1 Calcolo Proposizionale: sintassi e semantica Tautologie Esempi di Formalizzazione di Enunciati pag.
DettagliModelli e procedure per l educazione degli adulti
CdL SEAFC a.a. 2015-2016 II semestre Pedagogia sperimentale. Modelli e procedure per l educazione degli adulti francesco.agrusti@uniroma3.it Benvenuti! Io sono Francesco Agrusti mail:: francesco.agrusti@uniroma3.it
DettagliLogica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 7 Formule Valide, Conseguenza Logica Proof System per la Logica del Primo Ordine Leggi per i Quantificatori
DettagliInsiemi, Numeri, Terminologia. Prof. Simone Sbaraglia
Insiemi, Numeri, Terminologia Prof. Simone Sbaraglia Corso Rapido di Logica Matematica La logica formale definisce le regole cui deve obbedire qualsiasi teoria deduttiva. Una proposizione e` una affermazione
DettagliErrori cognitivi, probabilità e decisioni mediche nella diagnostica di laboratorio. M. Besozzi - IRCCS Istituto Auxologico Italiano
Errori cognitivi, probabilità e decisioni mediche nella diagnostica di laboratorio M. Besozzi - IRCCS Istituto Auxologico Italiano L argomento... Errori cognitivi Il problema gnoseologico Dati, informazione
Dettagli04 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,
DettagliLE TECNICHE INTERPRETATIVE DI PRIMA CLASSE
LE TECNICHE INTERPRETATIVE DI PRIMA CLASSE PROF. FRANCESCO PETRILLO Indice 1 LE TECNICHE INTERPRETATIVE DI PRIMA CLASSE ---------------------------------------------------------- 3 2.1. L ARGUMENTUM A
DettagliFilosofia della Medicina
Filosofia della Medicina Nasce nella seconda metà del '900 Tipo di scientificità che compete al sapere medico La nozione di malattia Il rapporto medico paziente Le implicanze mediche della medicina Filosofia
DettagliEsercizi sulle equazioni differenziali a cura di Sisto Baldo, Elisabetta Ossanna e Sandro Innocenti
Esercizi sulle equazioni differenziali a cura di Sisto Baldo, Elisabetta Ossanna e Sandro Innocenti 1. Verifica che y(t) = 1 t + e t è una soluzione dell equazione y (t) = y(t) + t.. Scrivi un equazione
DettagliBREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta
BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento è corretto se segue uno
DettagliLE COMPETENZE ESSENZIALI DI FILOSOFIA
LE ESSENZIALI DI FILOSOFIA classe terza Liceo scientifico Liceo linguistico essere consapevoli del significato della riflessione filosofica come modalità specifica e fondamentale della ragione umana che,
DettagliCenni di logica matematica e di teoria degli insiemi Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2017/2018 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve
DettagliQuale Russell? APPROFONDIMENTO DI FILOSOFIA DEL LINGUAGGIO. a cura del prof. Flaviano Scorticati
Quale Russell? APPROFONDIMENTO DI FILOSOFIA DEL LINGUAGGIO a cura del prof. Flaviano Scorticati Un piccolo gioco per riscaldare l atmosfera CHE COSA HANNO IN COMUNE QUESTE IMMAGINI? BABBO NATALE IL QUADRATO
DettagliC1: L C1 C2: L C2 C: C1 C2
Abbiamo visto Gli agenti logici applicano inferenze a una base di conoscenza per derivare nuove informazioni. Concetti base della logica: sintassi: struttura formale delle sentenze semantica: verita` di
Dettagli11. Misure con segno.
11. Misure con segno. 11.1. Misure con segno. Sia Ω un insieme non vuoto e sia A una σ-algebra in Ω. Definizione 11.1.1. (Misura con segno). Si chiama misura con segno su A ogni funzione ϕ : A R verificante
DettagliImmanuel Kant ( ) La filosofia del Criticismo tra Empirismo e Razionalismo
Immanuel Kant (1724-1804) La filosofia del Criticismo tra Empirismo e Razionalismo Opere di Kant 1747-1769: Scritti pre-critici 1770: De mundi sensibilis atque intelligibilis forma principiis 1770-1781:
DettagliLogica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati;
Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria,
DettagliLezione 1. La Statistica Inferenziale
Lezione 1 La Statistica Inferenziale Filosofia della scienza Secondo Aristotele, vi sono due vie attraverso le quali riusciamo a formare le nostre conoscenze: (1) la deduzione (2) l induzione. Lezione
DettagliLa domanda che ci si deve porre innanzitutto per iniziare a risolvere questa disequazione è la seguente:
Disequazioni: caso generale Consideriamo ora la risoluzione di disequazioni che presentino al suo interno valori assoluti e radici. Cercheremo di stabilire con degli esempio delle linee guida per la risoluzione
Dettaglimio indirizzo 1 Sarò lieto di ricevere commenti o segnalazioni di errori presso il
INTRODUZIONE Purtroppo questo libro è rappresentato molto più dal sottotitolo che dal titolo. Infatti è una semplice trascrizione di miei appunti per vari corsi di logica che ho tenuto in passato all Università
DettagliCenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni 1 1 Logica matematica Corsi Introduttivi - a.a. 2016/2017 2 Serve
DettagliEpistemologia e metodologia della ricerca qualitativa. Corso di Metodi della ricerca qualitativa - a.a [Eugenio De Gregorio]
Epistemologia e metodologia della ricerca qualitativa Come si giunge a una conoscenza del mondo? Superstizione (irrazionale) Intuizione (esperienza soggettiva) Ragionamento (induzione o deduzione) Autorità
DettagliLOGICA DEL PRIMO ORDINE: PROOF SYSTEM. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini
LOGICA DEL PRIMO ORDINE: PROOF SYSTEM Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini LOGICA DEL PRIMO ORDINE: RIASSUNTO Sintassi: grammatica libera da contesto (BNF), parametrica rispetto
DettagliAPPROFONDIMENTI DI FILOSOFIA MORALE (6 crediti) (Università degli Studi di Ferrara) Docente: Dr.ssa Federica Basaglia
APPROFONDIMENTI DI FILOSOFIA MORALE (6 crediti) (Università degli Studi di Ferrara) Docente: Dr.ssa Federica Basaglia (bsgfrc@unife.it) Titolo del corso: LA CRITICA DELLA RAGION PRATICA DI KANT Periodo:
DettagliLa filosofia. Storia della filosofia contemporanea
La filosofia Storia della filosofia contemporanea Che cos è la filosofia? Concezione tradizionale della filosofia La filosofia è una disciplina scolastica o accademica, che ha per oggetto la storia del
DettagliRISOLUZIONE IN LOGICA PROPOSIZIONALE. Giovanna D Agostino Dipartimento di Matemaica e Informatica, Università di Udine
RISOLUZIONE IN LOGICA PROPOSIZIONALE Giovanna D Agostino Dipartimento di Matemaica e Informatica, Università di Udine 1. Risoluzione Definitione 1.1. Un letterale l è una variabile proposizionale (letterale
DettagliLa natura della verità scientifica
Workshop Scienza e Metodo 2013 La natura della verità scientifica Valeria Ascheri (ascheri@pusc.it) Pontificia Università della Santa Croce Istituto Superiore di Scienze Religiose all'apollinare Roma Laboratori
DettagliSeminario: Etica, metaetica, etica applicata. (L inuizionismo metaetico di) G.E. Moore e il realismo morale non naturalistico di W. D.
Seminario: Etica, metaetica, etica applicata Lezione del 17 ottobre 2008: (L inuizionismo metaetico di) G.E. Moore e il realismo morale non naturalistico di W. D. Ross Saggi di riferimento nel testo di
Dettagli1. equivalenze e implicazioni logiche. Esercizio 1.2. Trovare le implicazioni che legano i seguenti enunciati (x, y R):
. equivalenze e implicazioni logiche Esercizio.. Trovare le implicazioni che legano i seguenti enunciati (x, y R): () x < y, () x = y, () x y, () x y, () (x y) > 0. Osserviamo subito che (x y) > 0 equivale
DettagliRIASSUNTO e RILANCIO Prof. Monti a.s
RIASSUNTO e RILANCIO Abbiamo notato che la ricerca dell arché, cioè di qualcosa che possa fornire una spiegazione razionale del mondo e delle cose che lo compongono, procede lungo un percorso che conduce
DettagliUna Breve Introduzione alla Logica
Una Breve Introduzione alla Logica LOGICA La LOGICA è la disciplina che studia le condizioni di correttezza del ragionamento Occorre dire, anzitutto, quale oggetto riguardi ed a quale disciplina spetti
DettagliDisuguaglianza di Cramér-Rao
Disuguaglianza di Cramér-Rao (Appunti per gli studenti Silvano Holzer Dipartimento di Scienze Economiche, Aziendali, Matematiche e Statistiche Bruno de Finetti Università degli studi di Trieste Un esperimento
DettagliGrice Logica e conversazione
Grice Logica e conversazione ormalisti e informalisti Grice distingue nel suo articolo fra formalisti e informalisti Sia i formalisti che gli informalisti ritengono che ci sia un divario fra gli espedienti
DettagliIMMANUEL KANT. (1724 Germania-1804) INTRODUZIONE
IMMANUEL KANT (1724 Germania-1804) INTRODUZIONE ILLUMINISMO ROMANTICISMO SAPERE AUDE (Ultimo periodo della sua vita) USCIRE DALLO STATO DI MINORITA Nella CRITICA DEL GIUDIZIO CONDIZIONE DELL UOMO CHE NON
Dettagli