Logica 18-19 Lezioni 4-6.

Presentazione sul tema: "Logica 18-19 Lezioni 4-6."— Transcript della presentazione:

1 Logica 18-19 Lezioni 4-6

2 Lezione 4 14/2/19

3 NB: le slides che utilizzo nelle lezione le trovate nel sito del corso.
Ho già inserito quelle della scorsa settimana

4 Enunciati vs. proposizioni
Enunciati: entità linguistiche Proposizioni: significati degli enunciati dichiarativi La logica proposizionale è anche chiamata logica enunciativa

5 Iniziamo a trattare la:
LOGICA PROPOSIZIONALE

6 Forme argomentative la logica formale è lo studio delle forme argomentative: schemi astratti di ragionamento comuni a molte argomentazioni diverse (Varzi, § 3.1)

7 Logica proposizionale
Nella logica proposizionale, cerchiamo di individuare forme argomentative la cui validità dipende dalle nozioni espresse da "e", "o", "se ... allora", "non (si dà il caso che)", "se e solo se" o da VARIANTI TERMINOLOGICHE di queste espressioni

8 Qual è la forma argomentativa comune?
(b) Se hai dei buoni voti, puoi vincere una borsa di studio. Hai dei buoni voti.  Puoi vincere una borsa di studio. (c) Ho superato l’esame se l’hai superato anche tu. Tu hai superato l’esame.  Ho superato l’esame.

9 Modus ponens (NB: Questa slide è stata spostata in questo punto dopo la lezione)
Se P, allora Q. P.  Q. Forma argomentativa = regola d'inferenza

10 Qual è la forma argomentativa comune?
(1) Oggi è o lunedì o martedì. Oggi non è lunedì.  Oggi è martedì. (2) La Gioconda è stata dipinta o da Rembrandt o da Michelangelo. Rembrandt non ha dipinto La Gioconda.  La Gioconda è stata dipinta da Michelangelo.

11 Sillogismo disgiuntivo
O P o Q. Non si dà il caso che P.  Q Le lettere ‘P’ e ‘Q’ funzionano qui come segnaposto per enunciati dichiarativi. Le chiameremo lettere enunciative o variabili proposizionali

12 Qual è la forma argomentativa comune?
(a) Se la legge di Murphy è valida, allora tutto può andare storto. Non è vero che tutto può andare storto.  La legge di Murphy non è valida. (b) Se tu hai superato l’esame e Gina l’ha superato, allora l’ha superato anche Piergiorgio. Piergiorgio non ha superato l’esame.  È falso che sia tu che Gina abbiate superato l’esame.

13 Modus tollens Se P, allora Q. Non si dà il caso che Q.
 Non si dà il caso che P.

14 Livelli di analisi (b) Se tu hai superato l’esame e Gina l’ha superato, allora l’ha superato anche Piergiorgio. Piergiorgio non ha superato l’esame.  È falso che sia tu che Gina abbiate superato l’esame. Abbiamo assunto che P = tu hai superato l’esame e Gina l’ha superato

15 Più in profondità Se P e Q, allora R. Non si dà il caso che R.
 Non si dà il caso che P e Q. P = tu hai superato l’esame Q = Gina ha superato l'esame R = Piergiorgio ha superato l’esame

16 Più superficiale P Q  R P = Se tu hai superato l’esame e Gina l’ha superato, allora l’ha superato anche Piergiorgio Q = Piergiorgio non ha superato l’esame R = È falso che sia tu che Gina abbiate superato l’esame

17 Qual è la forma argomentativa comune?
Tutti i greci sono uomini Tutti gli uomini sono mortali  Tutti i greci sono mortali Tutti i mammiferi sono elefanti Tutti gli elefanti sono verdi  Tutti i mammiferi sono verdi

18 sillogismo tutti gli A sono B tutti i B sono C  tutti gli A sono C
Ma siamo andati al di là della logica proposizionale, che ci consente solo questo: P Q  R

19 sillogismo tutti gli A sono B tutti i B sono C  tutti gli A sono C
Ma siamo andati al di là della logica proposizionale, che ci consente solo questo: P Q  R

20 (1) Se Mario ha la rosolia, allora ha macchie rosse sulla pelle
Mario ha macchie rosse sulla pelle  Mario ha la rosolia (2) se nevica, fa freddo fa freddo  nevica

21 affermazione del conseguente
Se P, allora Q. Q.  P INVALIDO Ma questa potrebbe essere una discreta abduzione: (1) Se Mario ha la rosolia, allora ha macchie rosse sulla pelle Mario ha macchie rosse sulla pelle  Mario ha la rosolia

22 Varzi su affermazione del conseguente (SKIP)
Malgrado alcuni esempi di questa forma siano argomentazioni valide, altri non lo sono. Ecco un esempio [?] che è valido (e anche fondato): (5) Se aprile precede maggio, allora aprile precede maggio e maggio segue aprile. Aprile precede maggio e maggio segue aprile.  Aprile precede maggio (Varzi, p. 50) Siete d'accordo?

23 (SKIP) (1) Se P allora P e Q (2) P e Q  (3) P
Ma è la forma argomentativa (invalida) "affermazione del conseguente" che ci permette di arrivare a (3) da (1) e (2)?

24 (SKIP) NO! La forma argomentativa usata è l'eliminazione della congiunzione: P e Q  P (1) Se P allora P e Q (2) P e Q  (3) P

25 Forma logica comune a singoli enunciati
(1) O piove o non piove (2) O è colpevole il maggiordomo o non lo è Qual è la forma comune?

26 Lezioni 5-6 15/2/2019

27 Forma logica comune a singoli enunciati
(1) O piove o non piove (2) O è colpevole il maggiordomo o non lo è Qual è la forma comune?

28 la legge del terzo escluso
P o non si dà il caso che P (1) P = piove (2) P = il maggiordomo è colpevole verità in ogni situazione concepibile (in ogni mondo possibile) (v. Varzi p. 71)

29 Qual è la forma comune? (1) Nevica e fa freddo
(2) Mario è scaltro, ma onesto

30 contingente P e Q (1) P = piove, Q = fa freddo
(2) P = Mario è scaltro, Q = Mario è onesto verità in alcune situazioni (mondi possibili)

31 Qual è la forma comune? (1) piove e non piove
(2) Mario è onesto sebbene non lo sia

32 contraddizione P e non si dà il caso che P (1) P = piove
(2) P = Mario è onesto verità in nessuna situazione (mondo)

33 Operatori logici (connettivi)
Unario: Non si dà il caso che ~ Binari: E & O … o  Se … allora  Se e solo se 

34 Negazione Marcello è tra i vincitori (= P) Negazioni di P:
Non si dà il caso che Marcello sia tra i vincitori Marcello non è tra i vincitori Non è vero che Marcello è tra i vincitori ~P

35 Congiunzione Franco è italiano e Sam è inglese.
Alberto correva ma Anna era immobile. Sebbene piovesse, Tommaso non apriva l’ombrello Luisa è a casa mentre i suoi amici sono al cinema. P & Q

36 intermezzo sulla congiunzione
(1) Sebbene fosse impacciato nell'esposizione, Mario ha risposto bene a tutte le domande Quindi, merita trenta e lode (2) Mario ha risposto bene a tutte le domande, ma è stato impacciato nell'esposizione,

37 Condizionale Se nevica allora fa freddo nevica solo se fa freddo
se nevica fa freddo P  Q

38 Bicondizionale nevica se e solo se fa freddo P  Q

39 Condizioni sufficienti
P è condizione sufficiente per Q Esprimere usando un singolo operatore logico

40 P è condizione sufficiente per Q
P  Q se P allora Q Q, se P P solo se Q

41 Condizioni necessarie
P è condizione necessaria di Q Esprimere usando un singolo operatore logico Q  P P, se Q Q solo se P

42 Condizioni necessarie e sufficienti
P è condizione necessaria e sufficiente di Q Esprimere utilizzando un singolo operatore logico

43 P è condizione necessaria e sufficiente di Q
P  Q P se e solo se Q P se Q (ossia, Q è sufficiente affinché si realizzi P) e solo se Q (ossia, Q è necessario affinché si realizzi P)

44 Forme enunciative e argomentative
Possiamo riscrivere le forme enunciative (per es. "non si dà il caso che P", "P e Q") e le forme argomentative utilizzando i simboli logici. Per esempio: Legge del terzo escluso: P  P Modus ponens: P, P  Q |– Q NB: |– (segno d'asserzione) corrisponde a  A rigore si usano le parentesi: (P  Q)

45 Formalizzazione Il processo di formalizzazione ("simbolizzazione") trasforma ("traduce") un enunciato o un’argomentazione formulati in italiano in una forma enunciativa o una forma argomentativa, rispettivamente, ossia in una struttura composta di lettere enunciative e operatori logici. Le lettere enunciative non hanno significato di per sé, ma nel contesto di un particolare esercizio possono essere interpretate come espressioni per asserzioni o proposizioni (in questo senso sono "variabili") Gli operatori logici invece sono "costanti (logiche)", perché attribuiamo loro sempre lo stesso significato.

46 Ambiguità lessicale L'uso di simboli logici specifici ci permette di evitare l'ambiguità lessicale "leva" = 3a pers. sing. pres. ind. di "levare" un oggetto che serve a sollevare "o" = vel aut  = vel

47 intermezzo sulle forme argomentative
(1) piove o nevica e fa freddo quindi, fa freddo (2) o viene Mario oppure viene Giorgio e faremo una bella festa quindi, faremo una bella festa Qual è la forma comune? E' una forma valida?

48 Ambiguità strutturale
L'uso delle parentesi ci permette di evitare l'ambiguità strutturale Piove o nevica e fa freddo ((P  N) & F)) da cui si può correttamente inferire F (P  (N & F)) da cui NON si può correttamente inferire F Le parentesi esterne le possiamo togliere per semplicità, ma a rigore vanno messe per motivi che vedremo.

49 Esempi Risolvere le ambiguità strutturali dando l'interpretazione più plausibile (1) Non si dà il caso che se piove allora fa freddo [usare P, F] (2) o c'è bel tempo oppure non vai alla gita e resti a casa [usare B, V, R] (3) solo nel caso in cui c'è bel tempo Mario non resta a casa oppure apre le finestre [usare B, R, A]

50 (1) Non si dà il caso che se piove allora fa freddo [usare P, F]

51 (2) o c'è bel tempo oppure non vai alla gita e resti a casa [usare B, V, R]

52 (3) solo nel caso in cui c'è bel tempo Mario non resta a casa oppure apre le finestre [usare B, R, A] (R  A)  B

53 Il linguaggio della logica proposizionale (i)
Lettere enunciative: Qualunque lettera maiuscola può essere impiegata come lettera enunciativa. Inoltre, ‘P1’, ‘P2’, ‘P3’, ecc., sono tutte lettere enunciative distinte da ‘P’. Operatori logici: , &,  , , . Parentesi: (, )

54 Il linguaggio della logica proposizionale (ii)
(1) Qualunque lettera enunciativa è una fbf. (2) Se  è una fbf, allora lo è anche  . (3) Se  e  sono fbf, allora lo sono anche ( &  ), (   ), (   ) e (   ). (4) Tutto ciò che non risulta classificabile come fbf in base a queste tre regole non è una fbf.

55 Metalinguaggio vs. linguaggio oggetto
linguaggio oggetto: , &,  , , , P, Q, ecc. Metalinguaggio: |– , ,  , ecc.

56 Esempi Formule che sono fbf: (B  (V & R)) ((R  A)  B)
(((P&Q) & R) & P1) Formule che NON sono fbf:  B))  (V & R  A (A RIGORE NON LO E')

57 Complessità di una fbf E' il numero di occorrenze di operatori nella fbf Esempi. Mettiamo queste fbf in ordine di crescente complessità: (P & Q) v (Q & P) ((R  A)  B) P  P

58 P  P ((R  A)  B) (P & Q) v (Q & P)

59 Sotto-fbf Le fbf possono contenere altre fbf al loro interno.
Per es. ((R  A)  B) contiene A, B, R R (R  A) come caso limite diciamo che contiene anche se stessa: ((R  A)  B)

60 Impariamo a scrivere in ordine di complessità tutte le sotto-fbf di una certa fbf:
(P & Q) v (Q & P)

61 P Q (P & Q) P (Q & P) (P & Q) v (Q & P) NB: a parità di complessità possiamo privilegiare l'ordine da sinistra a destra

62 Ambito Una particolare occorrenza di un operatore in una fbf, insieme a quella parte della fbf a cui l’occorrenza dell’operatore si applica, è chiamata ambito di quell’occorrenza dell’operatore. In altre parole, l’ambito di un’occorrenza di un operatore in una fbf è la più piccola sfbf che contiene quell’occorrenza.

63 Esempio Nella formula ‘(P & (Q   R))’
(1) l’ambito della prima occorrenza di ‘’ è ‘ P’, (2) l'ambito della seconda occorrenza di ‘’ è ‘ R’, (3) l’ambito di ‘’ è ‘(Q   R)’ (4) l’ambito di ‘&’ è l’intera formula.