A che serve lo studio della
LOGICA?
LA LOGICA COME STRUMENTO
DI DISCUSSIONE
COME METODO PER PENSARE
Molti dei discorsi che facciamo nella nostra vita
quotidiana hanno (o sembrano avere) la forma
di un’argomentazione logica…
Es. 1 di argomentazione politica durante un dibattito televisivo
Es. 2. Una discussione in famiglia
A) Sono rigorose e coerenti?
B) O invece usano termini di significato ambiguo, si
fondano su circoli viziosi, compiono salti logici,
giungono a conclusioni non in accordo con le
premesse?
I TERMINI
Soggetto e
predicato di un discorso
Possono essere individuali [Tizio, Caio]
o universali [ bipede, uomo, animale]
LE CATEGORIE
Sostanza
Quantità
Qualità
Relazione
Luogo
Tempo
Situazione
Avere
Fare
Patire
Es: Socrate,
Altezza, età
Filosofo
Maestro di Platone
Agorà
Trenta Tiranni
…
…
…
….
Le proposizioni dichiarative
Alcuni greci sono empi
Maria ama Giovanni
Alcuni S sono P
A ama B
Le lettere stanno in luogo di nomi propri e comuni
VALIDITA’ E VERITA’ DELLE INFERENZE LOGICHE
Un’inferenza non è una collezione di
proposizioni…
INFERENZA IMMEDIATA
Deduzioni e induzioni
INFERENZA MEDIATA
VALIDITA’ E VERITA’ DELLE INFERENZE LOGICHE
I^ premessa: Tutte le balene sono mammiferi
II^ premessa:Tutti mammiferi hanno i polmoni
Conclusione: Tutte le balene hanno i polmoni
VALIDITA’ E VERITA’ DELLE INFERENZE LOGICHE
I^ premessa: Tutti i ragni hanno sei zampe
II^ premessa: Tutti gli animali a sei zampe
hanno le ali
Conclusione: Tutti i ragni hanno le ali
Questa deduzione è valida?
VALIDITA’ E VERITA’ DELLE INFERENZE LOGICHE
I^ premessa: Se possedessi tutto l’oro della
Banca d’Italia sarei ricco
II^ premessa: Io non lo possiedo
Conclusione: Io non sono ricco
Premesse e conclusione sono vere?
Ma il ragionamento è
si
invalido
VALIDITA’ E VERITA’ DELLE INFERENZE LOGICHE
I^ premessa: Se Agnelli possedesse tutto l’oro
della Banca d’Italia sarebbe ricco
II^ premessa: Agnelli non lo possiede
Conclusione: Agnelli non è ricco
Le premesse sono vere, ma la conclusione è falsa
Il problema dell’errore e l’individuazione dei sofismi
Questo è un tavolo
Questo è bianco
Quella gatta è madre
Quella gatta è mia
dunque
dunque
Questo è un tavolo
bianco
Quella gatta è mia
madre
Gli indiani d’America stanno scomparendo
Quell’uomo è un indiano d’America
Dunque
Quell’uomo sta scomparendo
Esempio di inferenza valida
Tutti gli uomini sono mortali
Socrate è un uomo
Socrate è mortale