Lezione 5. Corso di comunicazione scienofica A.A Prof. Paolo LaQanzio.

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Lezione 5. Corso di comunicazione scienofica A.A Prof. Paolo LaQanzio."

Transcript

1 Lezione 5 Corso di comunicazione scienofica A.A Prof. Paolo LaQanzio plaqanzio@unite.it

2 AltrimenO.. CaRvo giornalismo: 2012:La fine del mondo Servizio Le IENE Seconda Parte

3 Ragionamento

4 Scienza Metodo Osservazione Linguaggio Teoria Ma come la ricavo?

5 Il ragionamento scienofico

6

7

8

9 Domani sorgerà il sole?

10

11 Induzione come "inferenza ampliaova ma solo probabile", laddove la deduzione era definita come un inferenza non ampliaova ma necessaria.

12 Deduzione, induzione, abduzione

13 Definizioni Generali

14 SILLOGISMO Premessa maggiore: gli uomini sono mortali Premessa minore: Socrate è un uomo Conclusione: Socrate è mortale Unisce il termine maggiore con il termine minore tramite il termine medio

15 DEDUZIONE E INDUZIONE La DEDUZIONE è la dimostrazione a parore da premesse vere o acceqate E il modello di ragionamento impiegato nella geometria Le conclusioni di un ragionamento dedurvo valgono quanto le premesse Aristotele studia le regole della buona deduzione con la teoria del sillogismo: una deduzione deve essere correqa. Se la deduzione è correqa, la sua conclusione è necessaria. Se è fondata su premesse vere produce scienza L INDUZIONE è la risalita dal parocolare all universale È la ricerca di un principio da cui sia possibile dedurre i dao che osserviamo: A,B,C sono mortali A,B,C sono uomini Gli uomini sono mortali L induzione non è un ragionamento infallibile, ma è molto importante perché è l operazione che permeqe di porre le premesse per le deduzioni L induzione ci dice che per lo più da certe cause seguono cero effer Aristotele crede che comunque sia sufficiente per porre le basi della scienza dedurva

16 Deduzione Induzione Abduzione Mentre la deduzione inferisce da principi o leggi generali ("tur gli uomini sono mortali") conclusioni parocolari ("Socrate è mortale"); e l'induzione da proposizioni parocolari ("Socrate, Platone, Aristotele ecc. sono mortali") conclusioni universali ("tur gli uomini sono mortali"), l'abduzione opera in modo diverso: dall'effeqo deriva la causa probabile. L'abduzione è quindi un ragionamento che muove dalle conseguenze e formula l'ipotesi in grado di spiegarle. Un esempio di abduzione è il seguente: "se qui vi è della cenere, vi deve essere stato anche del fuoco". In questo ragionamento da una proposizione parocolare ("qui vi è della cenere") si deriva, mediante un principio generale implicito ("il fuoco produce sempre della cenere"), un'altra proposizione parocolare ("qui vi è stato del fuoco") che cosotuisce la spiegazione probabile della prima proposizione.

17 Deduzione, induzione, abduzione Le inferenze o ragionamenti si riducono a tre schemi sulla base dei diversi rapporti fra gli elementi del CASO, della REGOLA e del RISULTATO. Deduzione Induzione Abduzione regola regola regola caso caso caso risultato risultato risultato

18 SET Entro in una stanza, e trovo su un tavolo molti sacchi pieni di vari tipi di fagioli. Ma sul tavolo c è anche una manciata di fagioli bianchi, e uno dei sacchi contiene solo fagioli bianchi. È possibile inferirlo ragionando in tre modi.

19 L esempio dei fagioli: deduzione Immaginiamo che un sacco rechi l etichetta fagioli bianchi ; in questo caso, potremo dedurre che REGOLA: Tutti i fagioli in questo sacco sono bianchi CASO: Questi fagioli provengono da questo sacco RISULTATO: Questi fagioli sono (sicuramente) bianchi In questo caso io procedo da una regola nota (grazie all etichetta), la applico a un caso (il sacco che ho di fronte) e ne ricavo un risultato certo ma che non mi fa conoscere nulla di più di ciò che già sapevo. DEDUZIONE Mediante la deduzione si orene un risultato conoscendo la regola e il caso

20 DEDUZIONE regola :«tur i fagioli di questo saccheqo sono bianchi» Applico la regola al caso caso «queso fagioli vengono da questo saccheqo» risultato «queso fagioli sono bianchi»

21 L esempio dei fagioli: induzione Immaginiamo ora che nessun sacco abbia l etichetta. Infiliamo però la mano in uno dei sacchi e ne tiriamo fuori una manciata di fagioli bianchi; poi ripetiamo l operazione più volte, sempre con il medesimo risultato. In questo caso, potremo generalizzare i risultati dei nostri tentativi inducendo che CASO: Questi fagioli provengono da questo sacco RISULTATO: Questi fagioli sono bianchi REGOLA: Tutti i fagioli in questo sacco sono bianchi (forse) Poiché non conosciamo dall inizio il colore dei fagioli nel sacco, muoviamo dal (dai) risultati delle nostre esperienze ripetute per costruire un caso che poi viene generalizzato in una regola sempre e solo probabile (finché non ho svuotato il sacco di TUTTI i fagioli non posso essere certo della sua validità). INDUZIONE L'induzione consiste nel trarre la regola una volta che siano noo caso e risultato

22 INDUZIONE caso «queso fagioli vengono da questo saccheqo» risultato «queso fagioli sono bianchi» regola «tur i fagioli di questo saccheqo sono bianchi»

23 L esempio dei fagioli: abduzione Immaginiamo ora che nessun sacco abbia l etichetta, e che accanto ad uno dei sacchi ci sia una manciata di fagioli bianchi. A questo punto possiamo saltare direttamente all ipotesi secondo cui è il caso che la manciata di fagioli provenga dal sacco, se questo contiene fagioli bianchi (cosa che ancora non sappiamo). Abduciamo dunque una regola, così: RISULTATO: Questi fagioli sono bianchi REGOLA: Tutti i fagioli in questo sacco sono bianchi CASO: Questi fagioli provengono da questo sacco (forse) Il rischio interpretativo è ancora maggiore, e solo una successiva verifica induttiva ci dirà se avevamo ragione. L abduzione è chiamata in causa in ogni forma di indagine (e, per Peirce, in qualsiasi processo di conoscenza). Data la struttura abduttiva q se p allora q p ABDUZIONE Nell'abduzione sono noo regola e risultato, ed il caso non ne deriva come conseguenza necessaria, ma come eventualità probabile

24 ABDUZIONE Nell'esempio di cui abbiamo parlato prima, se entriamo in una stanza con un saccheqo di fagioli su di un tavolo e osserviamo alcuni fagioli bianchi sparsi là vicino, la regola «tur i fagioli di questo saccheqo sono bianchi» ed il risultato «queso fagioli sono bianchi» non ci permeqono di affermare con certezza il caso «queso fagioli vengono da questo saccheqo», ma ci consentono di prenderlo in considerazione come possibilità

25 ABDUZIONE regola «tur i fagioli di questo saccheqo sono bianchi» risultato «queso fagioli sono bianchi» caso «queso fagioli vengono da questo saccheqo»

26 ABDUZIONE L'abduzione è dunque «l'adozione provvisoria di un'inferenza esplicaova da so8oporre a verifica sperimentale e che mira a trovare assieme al caso, anche la regola»

27 Induzione, deduzione e abduzione on esempi pubblicitari

28 Deduzione e Pubblicità Dal generale al par:colare Sillogismo TuR i fagioli di questo saccheqo sono bianchi QuesO fagioli vengono da questo saccheqo Quindi: QuesO fagioli sono bianchi Pubblicità TuQe le massaie che usano Dash sono soddisfaqe Tu sei una massaia Quindi: Se tu userai Dash sarai soddisfaqa

29 Induzione e Pubblicità Dal par:colare al generale Calcolo delle probabilità QuesO fagioli vengono da questo saccheqo QuesO fagioli sono bianchi Quindi: TuR i fagioli di questo saccheqo sono bianchi Pubblicità La massaia Rossi usa Dash La massaia Rossi è soddisfaqa Quindi: TuQe le massaie che usano Dash sono soddisfaqe (e anche tu, che sei una massaia)

30 Analogia Come dice Aristotele L induzione funziona se si moloplicano gli esempi Come dice la staosoca La conclusione è aqendibile se il campione è abbastanza ampio

31 Abduzione (Intuizione) Dal par:colare al par:colare Ipotesi Enigma: Da dove vengono queso fagioli bianchi? Indizio: TuR i fagioli di questo saccheqo che sta qui vicino sono bianchi Quindi: QuesO fagioli vengono da questo saccheqo L abduzione in retorica non funziona Ma funziona per partecipare alla soluzione degli enigmi Perché è un percorso per indizi

32 Per Peirce è il percorso delle scoperte scienofiche Per Eco e Sebeok è anche il percorso delle indagini poliziesche

33

34 Enigma: Chi ha scriqo la soluzione accanto a 4X4? Indizio: C è una confezione di ChiquiPn in alto a destra con un payoff che dice Bambini piccoli, cervelli grandi Soluzione: L ha scriqo un bambino nutrito con ChiquiPn

35 Abduzione

36 La centralità del ragionamento abdurvo Le inferenze che guidano la nostra esperienza sono di Opo ipoteoco. Per Peirce l'ipotesi, o ragionamento abdurvo, cosotuisce una forma di inferenza disonta dalla deduzione e dall'induzione.

Es. quadrilatero: specie di poligono, genere di quadrato. La specie ha più caratteristiche, il genere è riferito a più elementi.

Es. 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

Dettagli

Management sistemico vitale

Management sistemico vitale Management sistemico vitale Scelte e decisioni in ambito complesso Corso di Management Prof. Sergio Barile Prof. Giuseppe Sancetta 10/10/2016 Lezione numero 4 1 Entropia ed informazione Abduzione: primo

Dettagli

Investigazione, metodo e metodologie

Investigazione, metodo e metodologie Investigazione, metodo e metodologie Narni, 10/11/2015 Dott. Andrea Lucariello Obiettivi della lezione: 1) Che cos'è l'investigazione? 2) Notizie, informazioni e fonti 3) Investigazione e metodo scientifico

Dettagli

LOGICA E FILOSOFIA DELLA SCIENZA

LOGICA 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

Dettagli

Tortura la natura per i suoi segreti!

Tortura 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

Dettagli

Errori 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 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

Dettagli

Una Breve Introduzione alla Logica

Una 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

Dettagli

Un po di logica. Christian Ferrari. Laboratorio di matematica

Un 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

Dettagli

Semiotica Lumsa a.a. 2014/2015 Piero Polidoro. 10 novembre lezione 9 charles sanders peirce

Semiotica Lumsa a.a. 2014/2015 Piero Polidoro. 10 novembre lezione 9 charles sanders peirce Semiotica Lumsa a.a. 2014/2015 Piero Polidoro 10 novembre 2014 lezione 9 charles sanders peirce Sommario 1. Le inferenze 2. La semiotica di Peirce 2 di 23 Charles Sanders Peirce (1839-1914) 3 Le inferenze

Dettagli

Linguaggi visivi della comunicazione Lumsa a.a. 2011/2012 Piero Polidoro. 22 novembre 2011 lezione 8 enciclopedia, inferenza, interepretazione

Linguaggi visivi della comunicazione Lumsa a.a. 2011/2012 Piero Polidoro. 22 novembre 2011 lezione 8 enciclopedia, inferenza, interepretazione Linguaggi visivi della comunicazione Lumsa a.a. 2011/2012 Piero Polidoro 22 novembre 2011 lezione 8 enciclopedia, inferenza, interepretazione Sommario 1. Semiotica interpretativa 2. Inferenza ed enciclopedia

Dettagli

Analisi dell argomentazione

Analisi dell argomentazione Analisi dell argomentazione Analisi dell argomentazione Si ha un argomento quando un affermazione (o tesi) viene sostenuta fornendo una o più ragioni a suo supporto. Ciò equivale a affermare una o più

Dettagli

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17 Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea@di.unipi.it, francesca.levi@unipi.it A. Corradini e

Dettagli

Il termine medio può essere: 1) soggetto della maggiore e predicato della minore:

Il termine medio può essere: 1) soggetto della maggiore e predicato della minore: SILLOGISMO ll sillogismo si compone solo di enunciati dichiarativi. Dal punto di vista formale il sillogismo è l unione di più enunciati (chiamati premesse), dai quali deriva con necessità, secondo regole

Dettagli

Il procedimento induttivo e deduttivo

Il 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

Dettagli

LOGICA E PSICOLOGIA DEL PENSIERO. Logica, Linguistica e Scienza Cognitiva

LOGICA 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

Dettagli

BREVE 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 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

Dettagli

Il procedimento induttivo e deduttivo

Il 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

Dettagli

Il libero gioco del pensiero

Il libero gioco del pensiero Il libero gioco del pensiero mappa Abitudini di pensiero Strumenti per pensare Le saracinesche Le parentesi Sillogismo Vita su Marte? La terra si riscalda Abduzione Serendipity In sintesi la sua mappa

Dettagli

ISTITUTO TECNICO STATALE COMMERCIALE E PER GEOMETRI A. MARTINI Castelfranco Veneto (TV) Elementi di Logica

ISTITUTO 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

Dettagli

Che cosa abbiamo fatto fin ora

Che cosa abbiamo fatto fin ora Che cosa abbiamo fatto fin ora Abbiamo trattato: agenti con stato e con obiettivo, più razionali rispetto ad agenti reattivi enfasi sul processo di ricerca stati e azioni descrivibili in maniera semplice

Dettagli

Elementi di Psicometria con Laboratorio di SPSS 1

Elementi di Psicometria con Laboratorio di SPSS 1 Elementi di Psicometria con Laboratorio di SPSS 1 09-Campione e popolazione vers. 1.0 (31 ottobre 2014) Germano Rossi 1 germano.rossi@unimib.it 1 Dipartimento di Psicologia, Università di Milano-Bicocca

Dettagli

DEFINIZIONE. La logica è lo studio del ragionamento e

DEFINIZIONE. La logica è lo studio del ragionamento e DEFINIZIONE La logica è lo studio del ragionamento e dell'argomentazione e, in particolare, dei procedimenti inferenziali, rivolto a chiarire quali procedimenti di pensiero siano validi e quali non validi.

Dettagli

Richiami teorici ed esercizi di Logica

Richiami 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

Dettagli

Lezione 1. La Statistica Inferenziale

Lezione 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

Dettagli

MACROARGOMENTO (Pearce)...

MACROARGOMENTO (Pearce)... 1 MACROARGOMENTO (Pearce)... DEDUZIONE (sillogismo) Gli uomini sono mortali; REGOLA ma Socrate è un uomo; CASO quindi Socrate è mortale RISULTATO (necessariamente) (necessariamente). 2 ABDUZIONE (formazione

Dettagli

Lezione 8. La Statistica Inferenziale

Lezione 8. La Statistica Inferenziale Lezione 8 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

Dettagli

mio indirizzo 1 Sarò lieto di ricevere commenti o segnalazioni di errori presso il

mio 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à

Dettagli

ELEMENTI DI LOGICA PER IL CORSO DI LAUREA IN MATEMATICA. Prof. Giangiacomo Gerla Dipartimento di Matematica ed Informatica. Università di Salerno

ELEMENTI DI LOGICA PER IL CORSO DI LAUREA IN MATEMATICA. Prof. Giangiacomo Gerla Dipartimento di Matematica ed Informatica. Università di Salerno ELEMENTI DI LOGICA PER IL CORSO DI LAUREA IN MATEMATICA Prof. Giangiacomo Gerla Dipartimento di Matematica ed Informatica Università di Salerno gerla@unisa.it II INTRODUZIONE Sotto il termine di logica

Dettagli

Un metodo di rappresentazione della Conoscenza e un insieme di CONVENZIONI e FORMALISMI per esprimere la conoscenza.

Un metodo di rappresentazione della Conoscenza e un insieme di CONVENZIONI e FORMALISMI per esprimere la conoscenza. RAPPRESENTAZIONE DELLA CONOSCENZA e Ragionamento Un metodo di rappresentazione della Conoscenza e un insieme di CONVENZIONI e FORMALISMI per esprimere la conoscenza. Una buona Rappresentazione della Conoscenza

Dettagli

Logica per la Programmazione

Logica 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

Dettagli

La conoscenza si fonda sulla ragione o sull'e sperienza?

La conoscenza si fonda sulla ragione o sull'e sperienza? La conoscenza si fonda sulla ragione o sull'e sperienza? Platone e Aristotele La luce del sole illumina il mattino, filtrando attraverso le fronde degli alberi Lo scultore francese Auguste Rodin è all'o

Dettagli

Aristotele 384 ac 322 ac

Aristotele 384 ac 322 ac Parte 2 L invenzione di una scienza: La logica formale o logica matematica Organon Come abbiamo visto, Aristotele dà una fondamentale importanza al linguaggio. Il gruppo di testi che se ne occupano ha

Dettagli

Lezioni 7-9 (24 e 27 ottobre 2017)

Lezioni 7-9 (24 e 27 ottobre 2017) Lezioni 7-9 (24 e 27 ottobre 2017) La Scienza (quella finzionale) della Deduzione (in senso largo) In molti testi (ad es. Studio in Rosso, 1877, cap. 2; Segno dei Quattro, 1890, cap. 1; Scandalo in Boemia,

Dettagli

atto di seduzione. Vediamone le differenze. La dimostrazione, il cui modello sono le scienze esatte, ha la caratteristica di

atto di seduzione. Vediamone le differenze. La dimostrazione, il cui modello sono le scienze esatte, ha la caratteristica di Argomentazione e persuasione Per «argomento» si intende una proposizione atta a farne ammettere un altra,[81] e quindi a indurre qualcuno ad accettare la bontà di ciò che si sta dicendo. Argomentazione

Dettagli

DIALETTICA TRASCENDENTALE

DIALETTICA TRASCENDENTALE Critica della ragione che cerca di essere pura La ragione crea i sillogismi ed è l organo della totalità L idea è la totalità delle condizioni dell esperienza DIALETTICA TRASCENDENTALE La Dialettica trascendentale

Dettagli

Relatore: Dottor Maurizio Biffoni

Relatore: Dottor Maurizio Biffoni CORSO DI FORMAZIONE PROFESSIONALE PSICOLOGIA GENERALE Relatore: Dottor Maurizio Biffoni Anolli, Legrenzi, Psicologia Generale, Il Mulino Legrenzi, Storia della Psicologia, Il Mulino; -Ceccarelli, La Specificità

Dettagli

Epistemologia e metodologia della ricerca qualitativa. Corso di Metodi della ricerca qualitativa - a.a [Eugenio De Gregorio]

Epistemologia 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à

Dettagli

ARISTOTELE LA LOGICA

ARISTOTELE LA LOGICA La Logica non rientra in nessuno dei tre gruppi disciplinari previsti di Aristotele, in quanto li precede tutti, né è il presupposto fondamentale: se infatti non si impara l arte del corretto ragionamento,

Dettagli

I SONDAGGI DI OPINIONE. La necessità di una teoria dei campioni

I SONDAGGI DI OPINIONE. La necessità di una teoria dei campioni I SONDAGGI DI OPINIONE La necessità di una teoria dei campioni 1. Le credenziali del campione Le molte, a volte moltissime, informazioni che solitamente provengono da una indagine campionaria, anche di

Dettagli

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova. Licei Lioy e Pigafetta, Vicenza, 20 Gennaio 2011

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova. Licei Lioy e Pigafetta, Vicenza, 20 Gennaio 2011 I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova Licei Lioy e Pigafetta, Vicenza, 20 Gennaio 2011 1 Un test problematico Sapendo che in questo test una sola risposta

Dettagli

sempre vere sempre false

sempre 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

Dettagli

02 - Logica delle dimostrazioni

02 - 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

Dettagli

!"#$%&%'()"#*+,+ -+.(+#/+)"#*&$%/%+&%&+0+"(1*&$%/%2+

!#$%&%'()#*+,+ -+.(+#/+)#*&$%/%+&%&+0+(1*&$%/%2+ !"#$%&%'()"#*+,+ -+.(+#/+)"#*&$%/%+&%&+0+"(1*&$%/%2+ 1 3&+4"%5/('*+ Il triangolo a destra schematizza il problema Il triangolo ABC non è rettangolo. Come si possono calcolare i lati a e b? 2 678#)9+:++

Dettagli

La Teoria (epistemica) della conferma bayesiana

La Teoria (epistemica) della conferma bayesiana La Teoria (epistemica) della conferma bayesiana La teoria della probabilità fornisce alcuni strumenti potenti anche in senso epistemico, per valutare argomentazioni e decisioni in cui sono usati dei metodi

Dettagli

04 - Logica delle dimostrazioni

04 - 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,

Dettagli

Logica per la Programmazione

Logica 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

Dettagli

(ii) seguendo (o a volte anche violando) certe regole o schemi riconosciuti.

(ii) seguendo (o a volte anche violando) certe regole o schemi riconosciuti. 1 lezione: linguaggio e Che cos'è un'? un ragionamento che tende a dimostrare una tesi (conclusione) persuasivamente (i) sulla base di ragioni (premesse o assunzioni) (ii) seguendo (o a volte anche violando)

Dettagli

Capitolo 8. Intervalli di confidenza. Statistica. Levine, Krehbiel, Berenson. Casa editrice: Pearson. Insegnamento: Statistica

Capitolo 8. Intervalli di confidenza. Statistica. Levine, Krehbiel, Berenson. Casa editrice: Pearson. Insegnamento: Statistica Levine, Krehbiel, Berenson Statistica Casa editrice: Pearson Capitolo 8 Intervalli di confidenza Insegnamento: Statistica Corso di Laurea Triennale in Economia Dipartimento di Economia e Management, Università

Dettagli

Logica per la Programmazione

Logica per la Programmazione Logica per la Programmazione Lezione 3 Dimostrazione di Tautologie e Sintassi del Calcolo osizionale Antonio, Corrado e Bruno... formalmente Tautologie: dimostrazioni e controesempi Sintassi del Calcolo

Dettagli

Alfredo Rizzi. Già professore ordinario di teoria dell inferenza statistica

Alfredo 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

Dettagli

Ragionamento 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 - 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

Dettagli

Introduzione alla Programmazione Logica ed al linguaggio PROLOG

Introduzione alla Programmazione Logica ed al linguaggio PROLOG Introduzione alla Programmazione Logica ed al linguaggio PROLOG Esercitazioni per il corso di Logica ed Intelligenza Artificiale a.a. 2014/15 Paolo Tomeo http://sisinflab.poliba.it/tomeo Programmazione

Dettagli

Appunti di geometria euclidea

Appunti 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.

Dettagli

LEZIONE 3. a + b + 2c + e = 1 b + d + g = 0 3b + f + 3g = 2. a b c d e f g

LEZIONE 3. a + b + 2c + e = 1 b + d + g = 0 3b + f + 3g = 2. a b c d e f g LEZIONE 3 3.. Matrici fortemente ridotte per righe. Nella precedente lezione abbiamo introdotto la nozione di soluzione di un sistema di equazioni lineari. In questa lezione ci poniamo il problema di descrivere

Dettagli

Elementi di Psicometria con Laboratorio di SPSS 1

Elementi di Psicometria con Laboratorio di SPSS 1 Elementi di Psicometria con Laboratorio di SPSS 1 25-Dimensione degli effetti e 26-Metanalisi vers. 1.0 (2 dicembre 2014) Germano Rossi 1 germano.rossi@unimib.it 1 Dipartimento di Psicologia, Università

Dettagli

SOLUZIONI DEL 1 0 TEST DI PREPARAZIONE ALLA 1 a PROVA INTERMEDIA

SOLUZIONI DEL 1 0 TEST DI PREPARAZIONE ALLA 1 a PROVA INTERMEDIA SOLUZIONI DEL 1 0 TEST DI PREPARAZIONE ALLA 1 a PROVA INTERMEDIA 1 Esercizio 0.1 Dato P (A) = 0.5 e P (A B) = 0.6, determinare P (B) nei casi in cui: a] A e B sono incompatibili; b] A e B sono indipendenti;

Dettagli

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. I.T.I, Marzotto, Valdagno 24 febbraio 2014

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. I.T.I, Marzotto, Valdagno 24 febbraio 2014 I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova I.T.I, Marzotto, Valdagno 24 febbraio 2014 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità di ragionamento

Dettagli

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/2016

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/2016 Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/2016 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea.corradini@unipi.it, francesca.levi@unipi.it A. Corradini

Dettagli

La scienza e le scienze

La 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

Dettagli

Corso: Multimedialità e modelli di argomentazione (3 cr.)

Corso: 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,

Dettagli

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/2017

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/2017 Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/2017 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea.corradini@unipi.it, francesca.levi@unipi.it A. Corradini

Dettagli

Cosa dobbiamo già conoscere?

Cosa dobbiamo già conoscere? Cosa dobbiamo già conoscere? Come opera la matematica: dagli ai teoremi. Che cosa è una funzione, il suo dominio e il suo codominio. Che cosa significa n j=1 A j dove A j sono insiemi. Che cosa significa

Dettagli

Semiotica Lumsa a.a. 2015/2016 Piero Polidoro. 16 e 18 novembre lezioni 11 e 12 la semantica di umberto eco

Semiotica Lumsa a.a. 2015/2016 Piero Polidoro. 16 e 18 novembre lezioni 11 e 12 la semantica di umberto eco Semiotica Lumsa a.a. 2015/2016 Piero Polidoro 16 e 18 novembre 2015 lezioni 11 e 12 la semantica di umberto eco Sommario 1. Decodifica aberrante 2.Peirce e la semiotica di Eco 3. Le inferenze 2 Enciclopedia

Dettagli

Fattorizzazione di interi e crittografia

Fattorizzazione di interi e crittografia Fattorizzazione di interi e crittografia Anna Barbieri Università degli Studi di Udine Corso di Laurea in Matematica (Fattorizzazione e crittografia) 14 Maggio 2012 1 / 46 Il teorema fondamentale dell

Dettagli

Cap. 6 del manuale La natura e i suoi modelli

Cap. 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é

Dettagli

Logica 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; Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria,

Dettagli

Università del Piemonte Orientale. Corsi di laurea triennale di area tecnica. Corso di Statistica e Biometria. Test di ipotesi

Università del Piemonte Orientale. Corsi di laurea triennale di area tecnica. Corso di Statistica e Biometria. Test di ipotesi Università del Piemonte Orientale Corsi di laurea triennale di area tecnica Corso di Statistica e Biometria Test di ipotesi Corsi di laurea triennale di area tecnica - Corso di Statistica Medica - Test

Dettagli

CALCOLO PROPOSIZIONALE. Corso di Logica per la Programmazione Andrea Corradini

CALCOLO PROPOSIZIONALE. Corso di Logica per la Programmazione Andrea Corradini CALCOLO PROPOSIZIONALE Corso di Logica per la Programmazione Andrea Corradini andrea@di.unipi.it UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti

Dettagli

GIOVANNI FUSCHINO COMPLETEZZA E RAGIONAMENTO PER DEFAULT

GIOVANNI 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 (

Dettagli

Anno 3 Equazione dell'ellisse

Anno 3 Equazione dell'ellisse Anno Equazione dell'ellisse 1 Introduzione In questa lezione affronteremo una serie di problemi che ci chiederanno di determinare l equazione di un ellisse sotto certe condizioni. Al termine della lezione

Dettagli

Elementi di Logica Le forme del ragionamento

Elementi di Logica Le forme del ragionamento Elementi di Logica Le forme del ragionamento Corso di Logica e Filosofia della scienza, a.a. 2015-2016 Il principale oggetto di studio della logica è il ragionamento, con particolare attenzione per il

Dettagli

Il ragionamento è un attività mentale che consiste nell organizzare l informazione in una serie di passaggi per trarre delle conclusioni

Il ragionamento è un attività mentale che consiste nell organizzare l informazione in una serie di passaggi per trarre delle conclusioni Il ragionamento è un attività mentale che consiste nell organizzare l informazione in una serie di passaggi per trarre delle conclusioni Processo cognitivo che consente di elaborare informazioni nuove

Dettagli

Il processo inferenziale consente di generalizzare, con un certo grado di sicurezza, i risultati ottenuti osservando uno o più campioni

Il processo inferenziale consente di generalizzare, con un certo grado di sicurezza, i risultati ottenuti osservando uno o più campioni La statistica inferenziale Il processo inferenziale consente di generalizzare, con un certo grado di sicurezza, i risultati ottenuti osservando uno o più campioni E necessario però anche aggiungere con

Dettagli

RAPPRESENTAZIONE DELLA CONOSCENZA. È un insieme di CONVENZIONI e FORMALISMI per esprimere la conoscenza;

RAPPRESENTAZIONE DELLA CONOSCENZA. È un insieme di CONVENZIONI e FORMALISMI per esprimere la conoscenza; RAPPRESENTAZIONE DELLA CONOSCENZA È un insieme di CONVENZIONI e FORMALISMI per esprimere la conoscenza; Una buona Rappresentazione della Conoscenza può FACILITARE la SOLUZIONE di un Problema riducendone

Dettagli

circostanze che lo determinano e lo modificano. Secondo alcuni studi portati avanti da Galileo GALILEI e Isac

circostanze che lo determinano e lo modificano. Secondo alcuni studi portati avanti da Galileo GALILEI e Isac La DINAMICA è il ramo della meccanica che si occupa dello studio del moto dei corpi e delle sue cause o delle circostanze che lo determinano e lo modificano. Secondo alcuni studi portati avanti da Galileo

Dettagli

UNIVERSITÀ di ROMA TOR VERGATA

UNIVERSITÀ di ROMA TOR VERGATA UNIVERSITÀ di ROMA TOR VERGATA Corso di Laurea Magistrale in Scienze della Nutrizione Umana Corso di Statistica Medica, anno 05-6 P.Baldi Lista di esercizi, 8 gennaio 06. Esercizio Si sa che in una schedina

Dettagli

Maiuscole e minuscole

Maiuscole 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

Dettagli

Probabilità. Ing. Ivano Coccorullo

Probabilità. Ing. Ivano Coccorullo Ing. Ivano Coccorullo PROBABILITA Teoria della Eventi certi, impossibili e casuali Nella scienza e nella tecnologia è fondamentale il principio secondo il quale ogni volta che si realizza un insieme di

Dettagli

Research Game: Il Metodo Scientifico. Motivare gli studenti delle scuole secondarie all apprendimento di metodologie di ricerca scientifica

Research Game: Il Metodo Scientifico. Motivare gli studenti delle scuole secondarie all apprendimento di metodologie di ricerca scientifica Research Game: Il Metodo Scientifico Motivare gli studenti delle scuole secondarie all apprendimento di metodologie di ricerca scientifica Autori Il progetto editoriale è stato coordinato dall Università

Dettagli

Esercitazione di Basi di Dati

Esercitazione di Basi di Dati Esercitazione di Basi di Dati Corso di Fondamenti di Informatica 29 Aprile 2004 Da Access a Protégé Marco Pennacchiotti pennacchiotti@info.uniroma2.it Tel. 0672597334 Ing.dell Informazione, stanza 1035

Dettagli

Corso di Italiano professionale

Corso di Italiano professionale Corso di Italiano professionale Sezione 1: frasi ed espressioni idiomatiche italiane più usate in ambito professionale Lezione 11: Rischi ed opportunità Opportunità Rischi 1 Introduzione alla undicesima

Dettagli

Intelligenza Artificiale. Breve introduzione alle logiche non classiche

Intelligenza Artificiale. Breve introduzione alle logiche non classiche Intelligenza Artificiale Breve introduzione alle logiche non classiche Marco Piastra Logiche non classiche - Argomenti 0. In che senso non classiche?. Logica abduttiva 2. Logiche modali 3. Logiche multivalenti

Dettagli

Ancora sui criteri di divisibilità di Marco Bono

Ancora sui criteri di divisibilità di Marco Bono Ancora sui criteri di divisibilità di Talvolta può essere utile conoscere i divisori di un numero senza effettuare le divisioni, anche se la diffusione delle calcolatrici elettroniche, sotto varie forme,

Dettagli

FASI E PROCESSI DELLA RICERCA SOCIALE

FASI E PROCESSI DELLA RICERCA SOCIALE FASI E PROCESSI DELLA RICERCA SOCIALE FASI PROCESSI teoria deduzione: tipo di ragionamento che procede da premesse generali a conclusioni particolari (ex sillogismo aristotelico) ipotesi disegno della

Dettagli

Esercitazione 8 maggio 2014

Esercitazione 8 maggio 2014 Esercitazione 8 maggio 2014 Esercizio 2 dal tema d esame del 13.01.2014 (parte II). L età media di n gruppo di 10 studenti che hanno appena conseguito la laurea triennale è di 22 anni. a) Costruire un

Dettagli

parte I teoria generale lezione 1 introduzione alla semiotica

parte I teoria generale lezione 1 introduzione alla semiotica Corso di Semiotica per la comunicazione Università di Teramo a.a. 2007/2008 prof. Piero Polidoro parte I teoria generale lezione 1 introduzione alla semiotica Sommario Quadro storico 3. 4. 5. Quadro storico

Dettagli

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2017/2018

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2017/2018 Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2017/2018 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea.corradini@unipi.it, francesca.levi@unipi.it A. Corradini

Dettagli

1 Il Teorema della funzione implicita o del Dini

1 Il Teorema della funzione implicita o del Dini 1 Il Teorema della funzione implicita o del Dini Ricordiamo che dato un punto x R n, un aperto A R n che contiene x si dice intorno (aperto) di x. Teorema 1.1. (I Teorema del Dini) Sia f : A (aperto) R

Dettagli

Prima lezione. Gilberto Bini. 16 Dicembre 2006

Prima lezione. Gilberto Bini. 16 Dicembre 2006 16 Dicembre 2006 Vediamo alcune nozioni di teoria ingenua degli insiemi. Vediamo alcune nozioni di teoria ingenua degli insiemi. Un insieme è una collezione di oggetti di cui possiamo specificare una proprietà

Dettagli

Aristotele 384 ac 322 ac

Aristotele 384 ac 322 ac Parte 2 L invenzione di una scienza: La logica formale o logica matematica Organon Come abbiamo visto, Aristotele dà una fondamentale importanza al linguaggio. Il gruppo di testi che se ne occupano ha

Dettagli

1 Indipendenza lineare e scrittura unica

1 Indipendenza lineare e scrittura unica Geometria Lingotto. LeLing7: Indipendenza lineare, basi e dimensione. Ārgomenti svolti: Indipendenza lineare e scrittura unica. Basi e dimensione. Coordinate. Ēsercizi consigliati: Geoling. Indipendenza

Dettagli

Nozioni di logica matematica

Nozioni di logica matematica MINISTERO DELL ISTRUZIONE, DELL UNIVERSITA E DELLA RICERCA LICEO STATALE P. E. IMBRIANI Linguistico - Scientifico - Scientifico delle Scienze Applicate Via S. Pescatori, 155 83100 Avellino Tel. (2 linee)

Dettagli

Semiotica Lumsa a.a. 2016/2017 Piero Polidoro. 17 e 19 ottobre lezioni 3 e 4 la semantica di umberto eco

Semiotica Lumsa a.a. 2016/2017 Piero Polidoro. 17 e 19 ottobre lezioni 3 e 4 la semantica di umberto eco Semiotica Lumsa a.a. 2016/2017 Piero Polidoro 17 e 19 ottobre 2016 lezioni 3 e 4 la semantica di umberto eco Suggerimento - Studiare prima la dispensa Semantiche dizionariali e semantiche enciclopediche

Dettagli

Corso giocoso di teoria della musica.

Corso giocoso di teoria della musica. Corso giocoso di teoria della musica. Lezione 2: le FIGURE MUSICALI (prima parte). Nella prima lezione abbiamo parlato di durata dei suoni. La durata di un suono può essere rappresentata anche con un segno

Dettagli

GEOMETRIA. A cura della Prof.ssa Elena Spera. ANNO SCOLASTICO Classe IC Scuola Media Sasso Marconi. Prof.

GEOMETRIA. A cura della Prof.ssa Elena Spera. ANNO SCOLASTICO Classe IC Scuola Media Sasso Marconi. Prof. GEOMETRIA A cura della Prof.ssa Elena Spera ANNO SCOLASTICO 2007 2008 Classe IC Scuola Media Sasso Marconi Prof.ssa Elena Spera 1 Come consultare l ipertesto l GEOMETRIA Benvenuti! Per navigare e muoversi

Dettagli

Esercitazione di Statistica Distribuzioni (Uniforme discreta e continua/ Binomiale/ Poisson) 18/11/2015

Esercitazione di Statistica Distribuzioni (Uniforme discreta e continua/ Binomiale/ Poisson) 18/11/2015 Esercitazione di Statistica Distribuzioni (Uniforme discreta e continua/ Binomiale/ Poisson) 18/11/2015 Esercizio 1 Il responsabile delle risorse umane di un azienda ha constatato che vi è un turn-over

Dettagli

Inversa di una matrice

Inversa di una matrice Geometria Lingotto. LeLing: La matrice inversa. Ārgomenti svolti: Inversa di una matrice. Unicita e calcolo della inversa. La inversa di una matrice. Il gruppo delle matrici invertibili. Ēsercizi consigliati:

Dettagli

Sommario. Corso di Statistica Facoltà di Economia. Teoria della Probabilità e Inferenza Statistica

Sommario. Corso di Statistica Facoltà di Economia. Teoria della Probabilità e Inferenza Statistica Corso di Statistica Facoltà di Economia Lezione n 13 z z z Sommario Probabilità ed Inferenza Statistica Elementi di Calcolo delle Probabilità Le Diverse scuole a.a. 2000-2001 2001 Francesco Mola a.a. 2000-2001

Dettagli

Pedagogia sperimentale Prof. Giovanni Arduini

Pedagogia sperimentale Prof. Giovanni Arduini Pedagogia sperimentale Lezione n. 3 A.A. 2015/16 U.D. n.2: Tipi e metodi della ricerca pedagogica dall'età moderna ad oggi 1. Definizione di ricerca pedagogica Con il termine "ricerca" generalmente si

Dettagli