Quand’è che un argomento è un buon argomento?

Slides:



Advertisements
Presentazioni simili
Scienza del ragionamento corretto Elaborato da Manuela Mangione
Advertisements

Indice Connettivi logici Condizione sufficiente Condizione necessaria
Sarai ammesso a sociologia o se hai frequentato
IL RAGIONAMENTO FORMALE
Intelligenza Artificiale 1 Gestione della conoscenza lezione 8
Sistemi basati su conoscenza Conoscenza e ragionamento Prof. M.T. PAZIENZA a.a
LOGICA E MODELLI Logica e modelli nel ragionamento deduttivo A cura di Salvatore MENNITI.
Filosofia della scienza
Intelligenza Artificiale - AA 2001/2002 Logica formale (Parte 2) - 1 Intelligenza Artificiale Breve introduzione alla logica classica (Parte 2) Marco Piastra.
Prof. Marina BARTOLINI . “Liceo Maccari” Frosinone
Dalla logica naturale alla logica formale
Pierdaniele Giaretta Primi elementi di logica
REGOLE DI DEDUZIONE.
La logica di Aristotele
PRESENTAZIONE DI RAGANATO ROBERTO, BISCONTI GIAMMARCO E
Logica A.A Francesco orilia
F. Orilia Logica F. Orilia
Logica A.A Francesco orilia
Varzi, Nolt, Rohatyn (2007), cap. 2
Logica Lezioni Lunedì 18 Nov. Annuncio E' possibile che dovrò rinviare delle lezioni della prossima settimana. Tenete d'occhio gli annunci.
Logica F. orilia. Lezz Lunedì 4 Novembre 2013.
Logica A.A Francesco orilia
AOT Lab Dipartimento di Ingegneria dell’Informazione Università degli Studi di Parma Intelligenza Artificiale Rappresentazione della Conoscenza e Ragionamento.
Logica Lezione 19 Compito in classe. Versione A A. Tradurre nel linguaggio della logica proposizionale gli enunciati delle seguenti argomentazioni.
Introduzione alla LOGICA MATEMATICA Corso di Matematica Discreta. Corso di laurea in Informatica. Prof. Luigi Borzacchini III. La logica delle proposizioni.
Logica A.A Francesco orilia
Fil Ling Lez. 7, 19 Ott (sulla logica tenuta da Michele Paolini Paoletti)
Logica Lezione 8, DISTRIBUIRE COMPITO 1.
Corso di Logica Università di Cagliari Cos’è un argomento? prima premessa: P 1 … n-esima premessa: P n conclusione: C Argomento Un insieme di enunciati.
Logica Lezione 11, Annuncio Non si terrà la lezione di Lunedì 16 Marzo.
Logica Lez. 5, Varzi su affermazione del conseguente Malgrado alcuni esempi di questa forma siano argomentazioni valide, altri non lo sono.
INSIEMI E LOGICA PARTE QUARTA.
Filosofia del linguaggio.  
Geografia verdiana.
Operatori logici.
Fil Ling Lezz /2/15.
Introduzione alla LOGICA MATEMATICA
Elementi di Logica Le forme del ragionamento Testo di riferimento:
Universita’ di Milano Bicocca Corso di Basi di Dati 1 in eLearning C
Quali sono i principali criteri?
Aristotele a. C..
Logica
Insiemi e logica Insiemi e operazioni insiemistiche
Logica Lezioni 9-12.
Francesco orilia Logica A.A Francesco orilia
Logica
Logica Lezione
Ripasso… Elementi di logica
I MEMEBRI DELLA COMMISSIONE + UN RAPPRESENTANTE DEL GOVERNO
Filosofia della logica
Fil Log Lezioni 7-9.
Ontologia Lezz
Logica Lezioni
Logica Lezioni 7-9.
Le proposizioni DEFINIZIONE. La logica è un ramo della matematica che studia le regole per effettuare ragionamenti rigorosi e corretti. DEFINIZIONE. Una.
LE RIFORME ISTITUZIONALI
CORSO DI APPROFONDIMENTO
Elementi di base per lo studio dei circuiti digitali
Logica Lezioni
La venuta di Cristo.
I VESPRI SICILIANI I Vespri siciliani furono una ribellione scoppiata a Palermo, a cui partecipò anche Verdi, all'ora dei vespri di Lunedì dell’Angelo.
Metodo INDUTTIVO e Metodo DEDUTTIVO
Logica Lezioni
Francesco orilia Logica A.A Semestre II Francesco orilia
Logica Lezioni 4-6.
Logica Lezioni 16-.
Transcript della presentazione:

Quand’è che un argomento è un buon argomento? Standard deduttivi Standard induttivi

P1 Tutti gli uomini hanno la testa P2 Io ho la testa C Quindi, sono un uomo

Argomenti validi Un argomento si dice valido quando la sua conclusione è vera ogniqualvolta le sue premesse sono vere. Un argomento si dice valido quando è impossibile che le sue premesse siano vere e la sua conclusione sia falsa Equivalentemente Vera Vera Vera Premessa Premessa conclusione Falsa conclusione Vera Vera Premessa Premessa Vera impossibile Vera Premessa Premessa Argomento Valido Argomento Valido

Esempi P. “ Vincenzo è tifoso del Milan. Argomento valido P. “ Vincenzo è tifoso del Milan. Vincenzo tifa per il Milan o per la Juventus” Se la premessa dell’argomento è vera, è impossibile che la conclusione sia falsa. Argomento non valido P. “ Vincenzo tifa per una squadra di Milano. C. Quindi, Vincenzo tifa per il Milan o per la Juventus” E’ possibile che la premessa sia vera e la conclusione sia falsa: Come?

Uno schema di argomento Schemi validi 1,…n  Uno schema di argomento si dice valido quando la formula 1…n è una tautologia (ossia, quando tutte le istanze dello schema di argomento sono valide) La validità di uno schema si controlla con le tavole di verità…

Esempi Modus ponens ,   Modus tollens ,   “Se Giuseppe vive a Siracusa, vive in Sicilia. Giuseppe vive a Siracusa. Quindi vive in Sicilia”. Modus tollens “Se Pietro vota LeU, vota un partito di sinistra. Pietro non vota un partito di sinistra. Quindi non vota LeU”. ,   Sillogismo disgiuntivo ,   “Oggi ci sono solo gli appelli di Logica e Storia contemporanea. Loredana ha dato un esame oggi, ma non Logica. Quindi, ha dato Storia contemporanea”.

Argomenti formalmente validi Un argomento si dice formalmente valido quando istanzia almeno uno schema valido. Un argomento si dice formalmente invalido o (non formalmente valido) quando non istanzia nessuno schema valido.

Esempi “Se la contessa Pallavicini cena a Cagliari, cena al Corsaro. Quindi, o la contessa Pallavicini non cena a Cagliari, oppure cena al Corsaro”. E’ un argomento formalmente valido: istanzia lo schema valido     “Un cavallo ha quattro zampe, quindi un cavallo è quadrupede”. E’ un argomento valido (è impossibile che la premessa sia vera e la conclusione falsa), ma non è formalmente valido perché istanzia solo lo schema invalido  

P1 Se Trump è francese, Trump è europeo P2 Trump è francese C Quindi, Trump è europeo

Un argomento si dice corretto quando è valido e le premesse sono vere Argomenti corretti Un argomento si dice corretto quando è valido e le premesse sono vere Un argomento si dice non corretto o scorretto quando o è invalido o esiste almeno una premessa falsa

Classificazione argomenti Validi Se premesse vere  conclusione vera Argomento corretto (tutte le premesse vere) non corretto (almeno una premessa è falsa) Formalmente valido (istanzia uno schema valido) P1. Se Socrate è un uomo, Socrate è mortale. P2. Socrate è un uomo. C. Quindi Socrate è mortale P1. Se Casini è un batterista rock, suona in un complesso rock. P2. Casini è un batterista rock. C. Quindi, suona in un complesso rock Non form. valido (non istanzia schemi validi) P. Sordi è scapolo, C. Quindi Sordi non ha moglie. P1. Francesco I è il Papa P2. Francesco I è sposato C. Quindi, il Papa ha moglie Argomenti Non Validi Anche se premesse vere conclusione può essere falsa P. Totti è un calciatore C. Si può passare con il semaforo rosso P. Totti è un intellettuale C. L’economia non si riprenderà

Argomento corretto e formalmente valido P1. Il professor Lecis è in pensione P2.Il professor Lecis ha gli occhiali C. Il professor Lecis è in pensione e ha gli occhiali Schema valido Conclusione vera  ,    Premessa vera Premessa vera

Argomento corretto e non formalmente valido Schema invalido P. Verdi è emiliano e ha composto l’Aida C. Verdi è emiliano e ha musicato l’Aida Conclusione vera       Premessa vera

Argomento scorretto e formalmente valido P1. M. Zedda è stato Presidente della Repubblica P2. O M. Zedda non è stato Presidente della Repubblica o è senatore a vita C. Quindi, M. Zedda è senatore a vita Schema valido Conclusione ? (falsa) ,   Premessa falsa Premessa vera

Argomento scorretto e non formalmente valido Schema invalido P. Briatore è un prete C. Briatore è un sacerdote Conclusione ? (falsa)   Premessa falsa

Rappresentando in modo insiemistico … Argomenti validi Argomenti non validi Argomenti corretti e formalmente validi ma non formalmente validi Argomenti scorretti e Argomenti scorretti 1 2 3 4 5