Logica 16-17 Lezioni 9-12

Lezioni 9 24/10/16 Ore 9

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.

il significato del condizionale materiale (PQ)  (P v Q) Costruire la tavola di verità e verificare che è una tautologia

la disgiunzione esclusiva (i) aut aut: o smetti di tradirmi o divorziamo Vero se una condizione è vera e l'altra falsa o viceversa; Falso in tutti gli altri casi Possiamo esprimere l'idea con VEL, negazione, congiunzione smetti di tradirmi VEL divorziamo, ma non entrambe le cose (S v D) & (S & D)

la disgiunzione esclusiva (ii) Quindi un simbolo primitivo per la disgiunzione esclusiva è ridondante Nulla ci vieta di introdurlo: e Con la seguente tavola di verità: v. Varzi p. 64

la disgiunzione esclusiva (iii) Dimostrazione della ridondanza della disgiunzione esclusiva. Costruiamo la tavola di verità per (S e D)  ( (S v D) & (S & D)) Si tratta di una tautologia

Ridondanza del bicondizionale Costruiamo la tavola di verità per (P  Q)  ((P  Q) & (Q  P)) Si tratta di una tautologia

Altre ridondanze Data la negazione, due tra condizionale materiale, congiunzione e disgiunzione sono ridondanti. Per vederlo, costruire queste tavole di verità:

Scelta 1: congiunzione + negazione (P v Q) <-> -(-P & -Q) (P -> Q) <-> -(P & -Q) FINE LEZIONE 9

Lezione 10 24/10/16 Ore 10

Scelta 2: disgiunzione più negazione (P&Q) <-> -(-P v -Q) (P -> Q) <-> (-P v Q)

Scelta 3: condizionale più negazione (P & Q) <-> -(P -> -Q) (P v Q) <-> (-P -> Q)

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.

Alberi di refutazione Forniscono un altro algoritmo, più rapido. E' 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

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!) (NB: A rigore ci vogliono le virgolette, ma spesso le evitiamo per brevità) Procedendo in questo modo costruiamo un albero rovesciato. Quando ci sono due opzioni, costruiamo due rami distinti

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.

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

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

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

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.

Lezione 11 25/10/16

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

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.

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

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.

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

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

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.

Lezione 12 26/10/16 (V v G) -> (U & P) (U & P) -> (V v G) (S&P) ->R (S->(P->R)) (P->(S->R))

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

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.

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 è venuto fuori che  è tautologica, costruire un albero per  e decidere così: (2a) se tutti i cammini si chiudono,  è inconsistente (2b) se qualche cammino rimane aperto,  è contingente.

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

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!

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 è scopriamo che è contingente: P Q

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

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