1.

Introduzione

Logica Disciplina che indaga i principi di validità del ragionamento e dell'argomentazione deduttiva. Lo studio della logica (dal greco logos, 'discorso', 'ragionamento') è lo sforzo di determinare le condizioni in base alle quali è giustificato il passaggio da affermazioni date, dette premesse, a una conclusione che si presume ne segua. La validità logica è una relazione tra le premesse e la conclusione, tale per cui, se le premesse sono vere, è vera anche la conclusione.

La validità di un argomento va distinta dalla verità della conclusione. Se una o più premesse sono false, la conclusione di un argomento valido dovrebbe essere falsa. Ad esempio: 'Tutti i mammiferi sono quadrupedi; tutti gli uomini sono mammiferi; di conseguenza, tutti gli uomini sono quadrupedi' è un argomento valido con una conclusione falsa. D'altra parte, un ragionamento non valido potrebbe avere, casualmente, una conclusione vera, come in questo caso: 'Alcuni animali sono bipedi; tutti gli uomini sono animali; di conseguenza, tutti gli uomini sono bipedi', che è un ragionamento non valido con una conclusione vera. La validità logica dipende, quindi, esclusivamente dalla forma del ragionamento e non dal suo contenuto. Quando la deduzione è valida, vi sono termini che possono essere sostituiti in ogni occorrenza senza intaccare la validità del ragionamento. Sostituendo 'quadrupede' con 'bipede', è evidente che le due premesse possono essere entrambe vere e la conclusione falsa. Ne segue che il ragionamento non è valido, anche se ha una conclusione vera.