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 Es: Socrate,

Quantità Altezza, età

Qualità Filosofo

Relazione Maestro di Platone

Luogo Agorà

Tempo Trenta Tiranni

Situazione …

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 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? 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 tavolo

Questo è bianco

dunque

Questo è un tavolo bianco

Quella gatta è madre

Quella gatta è mia

dunque

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