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 CATEGORIESostanza Es: Socrate, Quantità Altezza, etàQualità FilosofoRelazione Maestro di Platone
Luogo AgoràTempo Trenta TiranniSituazione …Avere …Fare …Patire ….
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
INFERENZA MEDIATA
Deduzioni e induzioni
VALIDITA’ E VERITA’ DELLE INFERENZE LOGICHE
I^ premessa: Tutte le balene sono mammiferiII^ premessa:Tutti mammiferi hanno i polmoniConclusione: 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 riccoPremesse e conclusione sono vere? si
Ma il ragionamento è 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 tavoloQuesto è bianco
dunque
Questo è un tavolo bianco
Quella gatta è madreQuella gatta è mia
dunque
Quella gatta è mia madre
Gli indiani d’America stanno scomparendoQuell’uomo è un indiano d’America
Dunque
Quell’uomo sta scomparendo
Esempio di inferenza valida
Tutti gli uomini sono mortaliSocrate è un uomoSocrate è mortale