Induzione e Deduzione PDF

Preview

Summary

Download Induzione e Deduzione PDF

Description

INDUZIONE e DEDUZIONE Le argomentazioni sono ciò di cui si occupa la logica. Per passare l’esame di guida, servono molte ore di pratica Pippo non ha fatto molte ore di pratica

  

Pippo non passerà l’esame di guida

Proposizione che un’argomentazione cerca di dimostrare è la conclusione dell’argomentazione Le proposizioni usate per dimostrare la conclusione premesse dell’argomentazione La verità della conclusione dell’argomentazione dipende da due fattori: 1. Dalla verità delle premesse  è vero che per passare l’esame di guida servano molte ore di pratica? 2. Dal modo in cui abbiamo costruito l’argomento abbiamo o meno costruito un argomento valido? La logica NON si occupa della verità delle premesse sulla base delle quali ragioniamo, ma si interessa soltanto di stabilire la correttezza del ragionamento che stiamo applicando. Logica= disciplina che mostra quali sono gli elementi e la struttura dei nostri ragionamenti, e sotto quali condizioni essi risultano corretti. Si propone di determinare se l’argomentazione è tale che la verità delle premesse garantisce la verità della conclusione. studio della logica= studio dei metodi e dei principi usati al fine di distinguere i ragionamenti corretti da quelli scorretti una teoria logica è di carattere normativo e dice come le persone dovrebbero ragionare per ragionare correttamente. Inferenze= tipi di ragionamento o di discorso in cui si cerca o si richiede la dimostrazione di qualcosa. È un ragionamento attraverso il quale, sulla base di una o più premesse, si afferma una determinata proposizione che funge da conclusione del ragionamento. DEDUZIONE Le inferenze vengono distinte in due categorie: ×

×

Inferenze DEDUTTIVE dall’universale al particolare, conducono da premesse universali a conclusioni particolari (es. sillogismotipo di argomentazione che implica due proposizioni accettate come vere (premesse) e una conclusione) Inferenze INDUTTIVE dal particolare all’universale.

Argomentazione valida= l’argomentazione è tale che, se le premesse sono vere, anche la conclusione deve essere vera Argomentazione buona (fondata)= l’argomentazione è tale che, se le premesse sono vere, anche la conclusione deve essere vera e le premesse devono essere vere. Argomento valido/invalido Proposizionivere/false Tutti gli animali volano Il cane è un animale

 il cane vola VALIDA, NON BUONA

Tutte le ragazze di nome Anna sono bionde Tutte le ragazze di Perugia sono bionde  tutte le ragazze di Perugia si chiamano Anna INVALIDA

INFERENZE DEDUTTIVE o o

Tutte le info veicolate dalla conclusione sono già incluse nelle premesse. La conclusione non dice nulla di più e nulla di nuovo rispetto alle premesse La conclusione deriva necessariamente dalle premesse. In nessuno caso è possibile che le premesse siano vere e la conclusione falsa.

Tutte le proposizioni possono essere distinte in semplici e in composte e ogni proposizione ha due possibili valori di verità, può essere solamente vera o falsa. Logica enunciativa o proposizionale scopo di mostrare come il valore di verità di proposizioni composte dipende da quello delle proposizioni semplici che lo compongono. Per costruire proposizioni composte impiego connettivi vero-funzionali (=se la verità o la falsità (valore di verità) di ogni proposizione può essere determinata in modo univoco (dedotta) a partire dai valori di verità delle proposizioni componenti. CONGIUNZIONE (e) è vera se lo sono entrambe le parti che la compongono NEGAZIONE (non) cambia il valore di verità della proposizione originaria da vero a falso o viceversa DISGIUNZIONE (oppure) si considera vera se è vera almeno una delle parti che la compongono. Se entrambe le cose che la compongono sono false sarà falsa IMPLICAZIONE (se) questa proposizione ipotetica o condizionale è composta da un antecedente e da un conseguente. Se l’antecedente è vero allora lo è anche il conseguente. È falsa se è vero l’antecedente ma non è vero in conseguente. Il condizionale mi dice cosa accade sono se l’antecedente è vero. Non ci sono garanzia circa cosa succede se l’antecedente è falso. Tavole di verità offrono una rappresentazione formale di questi rapporti e indicano come i valori di verità delle varie proposizioni complesse dipendano da quelli delle proposizioni componenti.

Forme di derivazione VALIDA MODUS PONENS (AFFERMAZIONE dell’ANTECEDENTE) Se A allora B A ----------------Quindi, B

MODUS TOLLENS (NEGAZIONE del CONSEGUENTE) Se A allora B Non B ----------------Quindi, non A

Forme di derivazione NON VALIDA AFFERMAZIONE DEL CONSEGUENTE Se A allora B B -------------Quindi, A

NEGAZIONE DELL’ANTECEDENTE Se A allora B Non A ---------------Quindi, non B

L’INDUZIONE

Procedimento utilizzato per incrementare le conoscenze che fa leva sull’esperienza empirica. Procedimento che pretende di formulare teorie universali a partire dall’osservazione ripetuta di un processo. La conclusione di un’inferenza induttiva (o applicativa) dice qualcosa di più o qualcosa di nuovo rispetto alle premesse. E inevitabile il rischio dell’errore. Le premesse di un’inferenza induttiva non possono conferire alla conclusione una totale certezza, ma solo un certo grado, puiù o meno elevato, di probabilità. (inferenze probabili). Induzione per enumerazione permetterebbe di raggiungere conclusioni di carattere universale sulla base di un certo numero di casi particolari. Inferenza statistica inferenza induttiva nel quale le premesse descrivono un campione estratto casualmente da una data popolazione e la conclusione concerne l’intera popolazione. Logica induttiva formulazione di rigorosi criteri per distinguere le inferenze induttive plausibili, da quelle azzardate o completamente infondate. L’incertezza dell’induzione L’induzione dice qualcosa in più e di nuovo alle premesse e per questa ragione è possibile che le premesse di un’induzione siano vere, ma che la conclusione sia falsa. Nel caso delle inferenze induttive, partiamo da premesse relative ad oggetti che abbiamo esaminato per trarne delle conclusioni relative ad oggetti che non abbiamo esaminato. L’induzione è una parte essenziale e costitutiva della pratica scientifica. Il problema è che le conclusioni dell’inferenza induttiva non conservano necessariamente la verità delle premesse, poiché la conclusione dice qualcosa di più o qualcosa d nuovo rispetto a quanto incluso nelle premesse. Se anche un fenomeno si è dato innumerevoli volte, nulla garantisce che questo fenomeno si ripeterà invariato....