Logica:

Lo studio degli schemi di inferenza razionali Hykel Hosni http://homepage.sns.it/hosni/

Scuola Normale Superiore, Pisa

26 ottobre 2009

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

1 / 26

Schemi di inferenza

Esempi di inferenza ` una logica Che cose Forme di inferenza Riassunto e anteprima

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

2 / 26

(http://penguingeek.wordpress.com/)

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

3 / 26

(http://penguingeek.wordpress.com/)

Matt, December 23, 2007 at 2:11 am

I guess it is funny, but not true :(
Hykel Hosni (SNS Pisa) Logica: 26 ottobre 2009 3 / 26

Limportanza dei quantificatori

niente ` e meglio di una vita lunga e serena

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

4 / 26

Limportanza dei quantificatori

niente ` e meglio di una vita lunga e serena un panino al salame ` e meglio di niente

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

4 / 26

Limportanza dei quantificatori

niente ` e meglio di una vita lunga e serena un panino al salame ` e meglio di niente quindi, un panino al salame ` e meglio di una vita lunga e serena

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

4 / 26

` Correlazione e causalita

molti saccheggiatori sono ROM

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

5 / 26

` Correlazione e causalita

molti saccheggiatori sono ROM alcuni Romeni sono ROM

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

5 / 26

` Correlazione e causalita

molti saccheggiatori sono ROM alcuni Romeni sono ROM quindi, molti Romeni sono saccheggiatori

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

5 / 26

` e conoscenza Verita

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

6 / 26

` e conoscenza Verita

We know where they [Iraqs WMD] are. Theyre in the area around Tikrit and Baghdad and east, west, south, and north somewhat.

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

6 / 26

` e conoscenza Verita

We know where they [Iraqs WMD] are. Theyre in the area around Tikrit and Baghdad and east, west, south, and north somewhat.

(D. Rumsfeld, ottobre 2002)

Hykel Hosni (SNS Pisa) Logica: 26 ottobre 2009 6 / 26

Ragionamento epistemico: 1

Non sapevo che la DAddario fosse una escort

(Giampaolo Tarantini, Rainews24 26/06/09)

Hykel Hosni (SNS Pisa) Logica: 26 ottobre 2009 7 / 26

Ragionamento epistemico:2

Non sapevo che DAddario fosse una escort, mai pagato una donna

(Silvio Berlusconi, Chi, 23/06/09)

Hykel Hosni (SNS Pisa) Logica: 26 ottobre 2009 8 / 26

Ragionamento epistemico multiagente

Il premier lo sapeva che ero una escort. Lo ha detto anche alla Montereale che sapeva che ero una escort. [. . . ] Se lo hanno detto anche le altre ragazze che sapevano che io dovevo rimanere li? Ho passato tutta la notte col presidente, lo sapevano tutti che ero una escort. Lo sapeva. (Patrizia DAddario, Annozero 01/10/09)
Hykel Hosni (SNS Pisa) Logica: 26 ottobre 2009 9 / 26

Schemi di inferenza

Esempi di inferenza ` una logica Che cose Forme di inferenza Riassunto e anteprima

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

10 / 26

` una logica? Che cose

Questa domanda viene spesso trascurata nelle presentazioni dei manuali di logica classica, ma ` e fondamentale per rendere conto della pluralit` a di logiche esistenti.

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

11 / 26

` una logica? Che cose

Questa domanda viene spesso trascurata nelle presentazioni dei manuali di logica classica, ma ` e fondamentale per rendere conto della pluralit` a di logiche esistenti.

J.F.A.K. van Benthem (2007)

The unity of logic, like that of other creative disciplines, resides in the mentality of its practitioners and their modus operandi. Tenteremo di ricostruire mentalit` a e modus operandi scomponendo la questione in:

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

11 / 26

` una logica? Che cose

Questa domanda viene spesso trascurata nelle presentazioni dei manuali di logica classica, ma ` e fondamentale per rendere conto della pluralit` a di logiche esistenti.

J.F.A.K. van Benthem (2007)

The unity of logic, like that of other creative disciplines, resides in the mentality of its practitioners and their modus operandi. Tenteremo di ricostruire mentalit` a e modus operandi scomponendo la questione in: 1 qual ` e loggetto della logica (in senso generale)

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

11 / 26

` una logica? Che cose

Questa domanda viene spesso trascurata nelle presentazioni dei manuali di logica classica, ma ` e fondamentale per rendere conto della pluralit` a di logiche esistenti.

J.F.A.K. van Benthem (2007)

The unity of logic, like that of other creative disciplines, resides in the mentality of its practitioners and their modus operandi. Tenteremo di ricostruire mentalit` a e modus operandi scomponendo la questione in: 1 qual ` e loggetto della logica (in senso generale) 2 quali sono gli elementi costitutivi fondamentali di un sistema logico (che tipo di trasformazioni possiamo fare senza alternarne la natura di logica).
Hykel Hosni (SNS Pisa) Logica: 26 ottobre 2009 11 / 26

Loggetto della logica

D.M. Gabbay (1999)

I look at what people do: that is the logic.

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

12 / 26

Loggetto della logica

D.M. Gabbay (1999)

I look at what people do: that is the logic. LEvoluzione (o Dio o Entrambi) ha(nno) instillato negli esseri umani (e non solo) la capacit` a di distinguere gli argomenti intuitivamente corretti

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

12 / 26

Loggetto della logica

D.M. Gabbay (1999)

I look at what people do: that is the logic. LEvoluzione (o Dio o Entrambi) ha(nno) instillato negli esseri umani (e non solo) la capacit` a di distinguere gli argomenti intuitivamente corretti La logica generalmente intesa punta a riprodurre le forme di ragionamento razionale che mostriamo continuamente di saper riconoscere e applicare

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

12 / 26

Proposta di definizione
SLOGAN
Logica= contesto + rappresentazione + inferenza

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

13 / 26

Proposta di definizione
SLOGAN
Logica= contesto + rappresentazione + inferenza

Contesto
Ci` o di cui vogliamo parlare

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

13 / 26

Proposta di definizione
SLOGAN
Logica= contesto + rappresentazione + inferenza

Contesto
Ci` o di cui vogliamo parlare

Rappresentazione
Stipulazione del linguaggio e formalizzazione della nozione di verit` a basata sul contesto

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

13 / 26

Proposta di definizione
SLOGAN
Logica= contesto + rappresentazione + inferenza

Contesto
Ci` o di cui vogliamo parlare

Rappresentazione
Stipulazione del linguaggio e formalizzazione della nozione di verit` a basata sul contesto

Inferenza
Formalizzazione della nozione di conseguenza logica: dipende in modo fondamentale dalla rappresentazione la sua adeguatezza viene valutata relativamente al contesto
Hykel Hosni (SNS Pisa) Logica: 26 ottobre 2009 13 / 26

Il Contesto in azione
1

Il Diavolo esiste perch e nessuno ` e riuscito a dimostrare il contrario

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

14 / 26

Il Contesto in azione
1

Il Diavolo esiste perch e nessuno ` e riuscito a dimostrare il contrario Alberto Stasi ` e colpevole perch e i suoi avvocati non sono riusciti a provarne linnocenza

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

14 / 26

Il Contesto in azione
1

Il Diavolo esiste perch e nessuno ` e riuscito a dimostrare il contrario Alberto Stasi ` e colpevole perch e i suoi avvocati non sono riusciti a provarne linnocenza Esistono inniti numeri primi perch e non ` e possibile dimostrare lesistenza del pi` u grande numero primo

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

14 / 26

Il Contesto in azione
1

Il Diavolo esiste perch e nessuno ` e riuscito a dimostrare il contrario Alberto Stasi ` e colpevole perch e i suoi avvocati non sono riusciti a provarne linnocenza Esistono inniti numeri primi perch e non ` e possibile dimostrare lesistenza del pi` u grande numero primo

Esercizio
1, 2 e 3 hanno la stessa forma. Sono egualmente accettabili come razionali?

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

14 / 26

Sullesistenza di Dio

Possiamo convincerci del fatto che (d ) Dio esiste assumendo che (p ) non lo preghiamo e che se Dio esiste allora non ` e vero che se lo preghiamo (e )le nostre preghiere verranno esaudite:

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

15 / 26

Sullesistenza di Dio

Possiamo convincerci del fatto che (d ) Dio esiste assumendo che (p ) non lo preghiamo e che se Dio esiste allora non ` e vero che se lo preghiamo (e )le nostre preghiere verranno esaudite: (i ) d (p e )

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

15 / 26

Sullesistenza di Dio

Possiamo convincerci del fatto che (d ) Dio esiste assumendo che (p ) non lo preghiamo e che se Dio esiste allora non ` e vero che se lo preghiamo (e )le nostre preghiere verranno esaudite: (i ) d (p e ) (ii ) p

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

15 / 26

Sullesistenza di Dio

Possiamo convincerci del fatto che (d ) Dio esiste assumendo che (p ) non lo preghiamo e che se Dio esiste allora non ` e vero che se lo preghiamo (e )le nostre preghiere verranno esaudite: (i ) d (p e ) (ii ) p d

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

15 / 26

Sullesistenza di Dio

Possiamo convincerci del fatto che (d ) Dio esiste assumendo che (p ) non lo preghiamo e che se Dio esiste allora non ` e vero che se lo preghiamo (e )le nostre preghiere verranno esaudite: (i ) d (p e ) (ii ) p d Cosa c` e che non va?

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

15 / 26

Rappresentazione

Linguaggio
La sintassi ` e lo strumento formale fondamentale per lanalisi logica. La logica inizia con il linguaggio

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

16 / 26

Rappresentazione

Linguaggio
La sintassi ` e lo strumento formale fondamentale per lanalisi logica. La logica inizia con il linguaggio

Semantica
Attribuzione di valori di verit` a ad alcuni oggetti del linguaggio

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

16 / 26

Rappresentazione

Linguaggio
La sintassi ` e lo strumento formale fondamentale per lanalisi logica. La logica inizia con il linguaggio

Semantica
Attribuzione di valori di verit` a ad alcuni oggetti del linguaggio Saremo in grado di cogliere al meglio limportanza della Rappresentazione soltanto quando inizieremo a lavorare sulla logica formale.

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

16 / 26

Rappresentazione e contesto
Contesti distinti suggeriscono atteggiamenti distinti nei confronti della caratterizzazione stessa di verit` a.

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

17 / 26

Rappresentazione e contesto
Contesti distinti suggeriscono atteggiamenti distinti nei confronti della caratterizzazione stessa di verit` a.

Bivalenza
Se vogliamo scrivere una logica per ragionare sui verdetti di un tribunale, certamente vogliamo una semantica binaria: colpevole /innocente

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

17 / 26

Rappresentazione e contesto
Contesti distinti suggeriscono atteggiamenti distinti nei confronti della caratterizzazione stessa di verit` a.

Bivalenza
Se vogliamo scrivere una logica per ragionare sui verdetti di un tribunale, certamente vogliamo una semantica binaria: colpevole /innocente

Polivalenza
In altre situazioni, invece, possiamo ammettere sfumature: Anche se a volte ` e un po noioso, questo corso ` e abbastanza interessante.

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

17 / 26

Inferenza deduttiva

segue logicamente da se laccettabilit` a di forza laccettabilit` a di .

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

18 / 26

Inferenza deduttiva

segue logicamente da se laccettabilit` a di forza laccettabilit` a di . Ladeguatezza di una data nozione di inferenza ` e valutabile soltanto rispetto alla rappresentazione in cui viene denita e a uno specico contesto!

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

18 / 26

Inferenza deduttiva

segue logicamente da se laccettabilit` a di forza laccettabilit` a di . Ladeguatezza di una data nozione di inferenza ` e valutabile soltanto rispetto alla rappresentazione in cui viene denita e a uno specico contesto!

In altre parole . . .
Non ha senso chiedersi quale sia (o se esista!) la logica della verit` a assoluta.

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

18 / 26

Ma la logica non era formale?

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

19 / 26

Ma la logica non era formale?

Spesso si introduce la logica formale come la scienza dellesser vero in quanto tale, cio` e a prescindere dal contenuto dellargomento o del discorso che stiamo valutando.

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

19 / 26

Ma la logica non era formale?

Spesso si introduce la logica formale come la scienza dellesser vero in quanto tale, cio` e a prescindere dal contenuto dellargomento o del discorso che stiamo valutando. Questa visione non ` e incompatibile con limportanza del contesto! Infatti ` e assolutamente ragionevole dato uno specico e pressato contesto di ragionamento.

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

19 / 26

Schemi di inferenza

Esempi di inferenza ` una logica Che cose Forme di inferenza Riassunto e anteprima

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

20 / 26

Forme di inferenza

La nozione di inferenza deduttiva non ` e lunica che possiamo prendere in considerazione. Altre due tradizionalmente studiate sono: Abduzione Induzione

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

21 / 26

Lo schema che ci interessa in questo corso...

Poich e i tipi di ragionamento che siamo interessati a formalizzare assumono la forma di passaggio da premesse a conclusioni, la nozione di inferenza ha per noi un carattere relazionale:

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

22 / 26

Lo schema che ci interessa in questo corso...

Poich e i tipi di ragionamento che siamo interessati a formalizzare assumono la forma di passaggio da premesse a conclusioni, la nozione di inferenza ha per noi un carattere relazionale:

Relazione di conseguenza
Vogliamo determinare le propriet` a della relazione R : R (premesse, conclusioni) oppure, in modo equivalente, della funzione (operatore) di conseguenza: C (premesse) = conclusioni

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

22 / 26

La logica classica

Alcune propriet` a chiave:

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

23 / 26

La logica classica

Alcune propriet` a chiave:

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

23 / 26

La logica classica

Alcune propriet` a chiave: bivalenza

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

23 / 26

La logica classica

Alcune propriet` a chiave: bivalenza terzo escluso

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

23 / 26

La logica classica

Alcune propriet` a chiave: bivalenza terzo escluso non contraddizione

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

23 / 26

La logica classica

Alcune propriet` a chiave: bivalenza terzo escluso non contraddizione composizionalit` a

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

23 / 26

La logica classica

Alcune propriet` a chiave: bivalenza terzo escluso non contraddizione composizionalit` a monotonia della relazione di inferenza

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

23 / 26

Schemi di inferenza

Esempi di inferenza ` una logica Che cose Forme di inferenza Riassunto e anteprima

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

24 / 26

Punti chiave

la logica ` e uno strumento per la caratterizzazione degli schemi di inferenza razionali

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

25 / 26

Punti chiave

la logica ` e uno strumento per la caratterizzazione degli schemi di inferenza razionali ladeguatezza (razionalit` a) di uninferenza non pu` o essere valutata indipendentemente dal contesto e quindi dalla rappresentazione che deniscono la logica

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

25 / 26

Punti chiave

la logica ` e uno strumento per la caratterizzazione degli schemi di inferenza razionali ladeguatezza (razionalit` a) di uninferenza non pu` o essere valutata indipendentemente dal contesto e quindi dalla rappresentazione che deniscono la logica se una questione non pu` o essere ragionevolmente inquadrata come bivalente, questo certo non signica che non sia arontabile dalla logica. Signica, piuttosto, che serve una logica pi` u ranata di quella che tratta solo questioni in bianco e nero...

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

25 / 26

Il Principio di Tolleranza

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

26 / 26

Il Principio di Tolleranza

It is not our business to set up prohibitions, but to arrive at conventions . . .. In logic there are no morals. Everyone is at liberty to build up his own logic, i.e. his own language, as he wishes. All that is required of him is that, if he wishes to discuss it, he must state his methods clearly, and give syntactical rules instead of philosophical arguments.
(R. Carnap, The Logical Syntax of Language, 17, 1937 )

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

26 / 26

Adeguatezza Materiale

The concept of following logically belongs to the category of those concepts whose introduction into the domain of exact formal investigations was not only an act of arbitrary decision on the side of this or that researcher: in making precise the content of this concept, eorts were made to conform to the everyday pre-existing way it is used.
(Tarski A. On the concept of following logically, History and Philosophy of Logic, Volume 23, Number 3, pp. 155-196, 2002)

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

27 / 26

Adeguatezza Materiale

The concept of following logically belongs to the category of those concepts whose introduction into the domain of exact formal investigations was not only an act of arbitrary decision on the side of this or that researcher: in making precise the content of this concept, eorts were made to conform to the everyday pre-existing way it is used.
(Tarski A. On the concept of following logically, History and Philosophy of Logic, Volume 23, Number 3, pp. 155-196, 2002)

Hykel Hosni (SNS Pisa)

Logica:

26 ottobre 2009

27 / 26