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