RAGIONAMENTI Logica: teoria del ragionamento Ragionamento: derivare conclusioni da premesse (Poste alcune cose, allora da esse ne seguono

altre - Aristotele) logica = teoria formale del ragionamento valido; scienza descrittiva e normativa I ragionamenti in forma canonica hanno le premesse in ordine (comprendono solo ci che necessario) -Ragionamenti argomenti -Verit validit Ragionamento: ogni derivazione di conclusioni da premesse ( p , dunque q) Argomento: ragionamento rivolto ad un interlocutore, volto a provare una tesi (q poich p) Validit: formalmente adeguato Sound (vero): formalmente adeguato, ma con premesse vere per il nostro mondo VALIDIT SINTATTICA E SEMANTICA Validit sintattica (relativa al linguaggio): R valido quando rispetta le regole del linguaggio in cui formulato Validit semantica (relativa alla verit): se le premesse sono vere, allora anche la conclusione deve essere vera valido = truth preserving DEDUZIONE E INDUZIONE Deduzione: ragionamento necessario (per Aristotele, derivazione dall'universale al particolare) Induzione: ragionamento probabile (per Aristotele, derivazione dal particolare all'universale) RAGIONAMENTI ENUNCIATIVI E PREDICATIVI Enunciativi: p o q, ma p, dunque q Predicativi: le conclusioni sono derivate dalle relazioni tra le premesse