Logica 18-19 Lezioni 10-11.

Presentazione sul tema: "Logica 18-19 Lezioni 10-11."— Transcript della presentazione:

1 Logica 18-19 Lezioni 10-11

2 Lezione 10 28/2/19

3 ANNUNCIO FORSE non ci sarà esercitazione martedì 2 aprile.
Nell'aula S1 si terrà un seminario del dottorato sul tema dell'esistenza, al quale siete incoraggiati a partecipare: 2 aprile ore 17.00: Martin Pickavè (University of Toronto) "Existence and Truth: Or How State Truths about Non-Existent Objects?" Inoltre: 3 aprile ore 17.00 Sebastiano Moruzzi (Università di Bologna) "Stairways to Pluralism: from Metaphysics to Truth (Sentieri/scale per il pluralismo: dalla metafisica alla verità)"  Giorgio Lando (Università de L’aquila) "Disaccordi terminologici e disaccordi ontologici"

4 Nota storica sulle tavole di verità (slide commentata all'inizio della lezione 11)
Il metodo è di solito attribuito a Wittgenstein (Tractatus Logico- philosophicus, 1921) Ma si trova già in un articolo del 1909 di Eugen Mueller (v. Landini 2007, p. 119) Secondo R. Montague si trova già (implicitamente) nella Begriffschrift (1879) di Frege secondo Wittgenstein, tutte le verità logiche sono "tautologie". Questo però è un errore.

5 Decidibilità della log. prop.
Le tavole di verità forniscono un criterio rigoroso e completo per determinare la validità o invalidità delle forme argomentative della logica proposizionale, così come per determinare la tautologicità, la contingenza vero-funzionale o l’inconsistenza di singole fbf. Esse costituiscono pertanto un vero e proprio algoritmo, cioè un test determinabile con precisione, eseguibile da un computer, e tale da fornire sempre un responso in un numero finito di operazioni finite. Quando esiste un algoritmo in grado di stabilire se le forme argomentative esprimibili in un sistema formale siano valide o no, il sistema in questione è detto decidibile. Le tavole di verità, in tal modo, garantiscono la decidibilità della logica proposizionale.

6 Alberi di refutazione Forniscono un altro algoritmo, più rapido.
Costituiscono un metodo basato sul "ragionamento per assurdo": neghiamo la conclusione e verifichiamo se in tutte le situazioni possibili emerge una contraddizione. Per fare questa verifica cerchiamo esaustivamente tutte le situazioni (tutti i modi) in cui premesse + conclusione negata possono essere vere, scomponendo (mediante regole) le formule complesse fino ad arrivare a lettere enunciative e lettere enunciative negate

7 Ricerca di tutte le situazioni: esempio
Consideriamo: (P & Q), (P v  Q) ci sono due situazioni (identificate attraverso lettere enunciative e lettere enunciative negate) (1) sono veri sia P che Q ed è vero P (2) sono veri sia P che Q ed è vero  Q (IMPOSSIBILE!) Procedendo in questo modo costruiamo un albero rovesciato. Quando ci sono due opzioni, costruiamo due rami distinti

8 Alberi di refutazione: proviamo ...
Illustriamo il metodo con un esempio. Seguiremo delle regole meccaniche riassunte nella tavola 3.2 a p. 90. NB: E' opportuno numerare tutte le righe che via via si vanno aggiungendo. NON lo faremo in questo primo esempio.

9 Esercizio risolto 3.25 Costruire un albero di refutazione per stabilire se la forma seguente è valida: P  Q, P  Q |– P

10 Soluzione (1 di 3) Cominciamo formando una lista composta dalle premesse e dalla negazione della conclusione: P  Q P Q  P La formula ‘ P’ è equivalente alla più semplice ‘P’, di conseguenza possiamo segnarla e scrivere ‘P’ in fondo alla lista. Poi segniamo ‘P  Q’ ed evidenziamo le sue possibilità di verità tracciando due rami: Continua nella pagina seguente

11 Soluzione (2 di 3) Il cammino di sinistra contiene sia ‘P’ che ‘P’, quindi lo chiudiamo con una ‘X’. Quello di destra, invece, resta aperto. Lo estendiamo con due rami, corrispondenti alle situazioni in cui ‘P Q’ (che non avevamo ancora segnato) può essere vera: Continua nella pagina seguente

12 Soluzione (3 di 3) A questo punto notiamo che entrambi i cammini così ottenuti contengono formule fra loro inconsistenti: il primo contiene ‘P’ e ‘P’; il secondo ‘Q’ e ‘Q’. Questo vuol dire che possiamo chiudere anche questi due cammini con una ‘X’: Questo è l’albero completo. Dal momento che il tentativo di refutazione fallisce lungo tutti i cammini, la forma argomentativa originale è valida.

13 Alberi di refutazione Guarderemo insieme tra poco le 10 regole (tavola 3.2, p. 90) per gli alberi di refutazione. Prima chiariamo bene come funziona il metodo (prossime 3 slides)

14 Il metodo degli alberi di refutazione (i)
Per verificare la validità di una forma argomentativa mediante gli alberi di refutazione, si comincia formando una lista composta dalle sue premesse e dalla negazione della sua conclusione. Si procede mediante 10 regole (tavola 3.2, p. 90) (controllando di volta in volta quale di queste è applicabile) sino a ottenere soltanto lettere enunciative o negazioni di lettere enunciative oppure la X che indica contraddizione e chiude un cammino.

15 Il metodo definito precisamente (ii)
Le 10 regole (v. p. 90): Negazione Negazione negata Congiunzione Congiunzione negata Disgiunzione Disgiunzione negata Condizionale Condizionale negato Bicondizionale Bicondizionale negato La regola "Negazione" ci permette di chiudere un cammino quando c'è una contraddizione. Si deve sempre tentare di applicarla non appena abbiano ricavato una fbf della forma ̴  Le altre 9 regole corrispondono a nove possibili tipi di fbf complessa che possiamo trovarci di fronte e ci permettono di estendere l'albero con formule più semplici.

16 Il metodo definito precisamente (iii)
Quando nessuna regola è applicabile, l'albero si conclude. Se tutti i cammini si chiudono, la forma argomentativa è valida. Se qualche cammino rimane aperto, la forma argomentativa è invalida.

17 Lezioni 11-12 1/3/19

18 nota su "a meno che" A meno che (non) = oppure
Il dolce lo porto io (I) a meno che (non) lo porti Mario (M) I  M  I  M I  M [I viene MENO solo se M] la negazione è pleonastica, paragonare a: "non ho detto niente" = "non ho detto alcunché"

19 Nota storica sulle tavole di verità
Il metodo è di solito attribuito a Wittgenstein (Tractatus Logico- philosophicus, 1921) Ma si trova già in un articolo del 1909 di Eugen Mueller (v. Landini 2007, p. 119) Secondo R. Montague si trova già (implicitamente) nella Begriffschrift (1879) di Frege secondo Wittgenstein, tutte le verità logiche sono "tautologie". Questo però è un errore.

20 Nota storica sugli alberi di refutazione
The method of semantic tableaux was invented by the Dutch logician Evert Willem Beth (Beth 1955) and simplified, for classical logic, by Raymond Smullyan (Smullyan 1968, 1995). (da Wikipedia)

21 Precisazione sugli alberi di refutazione
NB: alla fine ciascun cammino contiene lettere enunciative "positive" (non negate) oppure negate. Un cammino corrisponde all'ipotesi che le sue lettere positive esprimono proposizioni vere e quelle negate proposizioni false (assegnazioni di valori di verità) Un cammino che rimane aperto è un'ipotesi COERENTE o POSSIBILE, secondo la quale tutte le fbf del cammino sono vere. Quando le cose stanno in quel modo, nella forma argomentativa in questione le premesse sono vere e la conclusione falsa: CONTROESEMPIO. Se non ci sono controesempi, la forma argomentativa è valida.

22

23

24 Esempio P → Q,  Q |– P P → Q  Q P / \ P Q
/ \ P Q Ipotesi 1: Q è falso, P è falso, [quindi (P → Q) è vero] Ipotesi 2: Q è falso, P è falso, Q è vero X La prima ipotesi è coerente e quindi costituisce un controesempio alla validità dell'argomentazione

25 Esercizio risolto 3.29 Costruire un albero di refutazione per stabilire se la forma seguente è valida: P → Q |– P  Q La regola della disgiunzione negata si applica alla riga 2 per ottenere le righe 3 e 4. Il cammino aperto nell’albero terminato indica che la forma è invalida e che ogni situazione in cui sia ‘P’ che ‘Q’ sono false è un controesempio.

26 verifica dello statuto logico di una singola fbf  con alberi di refutazione
Il libro può confondere perché non presenta i passi della procedura con un ordine univoco. Consideriamo ̴  e applichiamo il metodo degli alberi. Si possono verificare 2 casi: Caso 1. Tutti i cammini si chiudono. Allora ̴  è inconsistente. Quindi  è tautologica, perché negando una tautologia otteniamo sempre un'inconsistenza. Caso 2. Rimangono dei cammini aperti; il che vuol dire che negando  non otteniamo inconsistenza, e quindi  NON è tautologia. Rimane da verificare se  è inconsistente o contingente. CONT...

27 Inconsistenza o contingenza?
Per decidere se  è inconsistente o contingente, applichiamo il metodo degli alberi a  stessa. Caso 2a. Tutti i cammini si chiudono. Vuol dire che non ci sono situazioni in cui  è vera. Quindi,  è inconsistente. Caso 2b. Alcuni cammini restano aperti. Quindi,  non è inconsistente. Ma abbiamo già escluso (caso 1) che è una tautologia. Quindi  è contingente.

28 In sintesi Per scoprire lo statuto di una formula , costruire un albero per  e procedere così: (1) se tutti i cammini di un albero terminato per  sono chiusi, considerare  tautologica. (2) Se non è emerso che  è tautologica, costruire un albero per  e decidere così: (2a) se tutti i cammini si chiudono,  è inconsistente (2b) se qualche cammino rimane aperto,  è contingente.

29 Esempio di tautologia P v P (P v P) P  P x

30 Esempio di contraddizione
(P v P)  (P v P) (P v P) P P Abbiamo scoperto che (P v P) non è una tautologia. Ora vediamo cos'è applicando direttamente ad essa il metodo: P  P x Contraddizione!

31 Esempio di contingenza
P v Q (P v Q)  P  Q A questo punto abbiamo scoperto che non è una tautologia. Adesso consideriamo P v Q e scopriamo che è contingente: P Q Questo esempio mostra che, se otteniamo solo cammini aperti dalla negazione di una certa fbf, non per questo possiamo concludere che la fbf in questione sia una tautologia Infatti c’è un unico cammino ed è aperto. Quindi tutti i cammini sono aperti. E la fbf, ossia P v Q, è contingente.

32 Esercizi 3.33 + 3.34 (p. 87) Soluzione
Verificare lo statuto logico di: (Q → (P & P)) Soluzione L’albero comincia con la negazione della fbf in esame. Poiché però il cammino sul ramo sinistro rimane aperto, concludiamo che la fbf non è tautologica. Dobbiamo ancora verifcare se è inconsistente o contingente. CONTINUA...

33 Continuazione (nel libro: es. 3.34)
Per verificare se (Q → (P & P)) è inconsistente o contingente, costruiamo un albero per essa stessa. (Q → (P & P)) Q (P & P) / \ P   P P Rimangono dei cammini aperti (caso 2a; in questo particolare caso tutti i cammini sono aperti): la fbf è contingente