La deduzione e l'induzione di coppia costituiscono uno dei dualismi che strutturano la storia della filosofia .
La deduzione logica si basa su assiomi o definizioni , e produce solo risultati tautologici, vale a dire già nelle premesse , le conseguenze della legge. Il valore di questi risultati è ovviamente funzione del rigore con cui sono stati ottenuti, a differenza dell'induzione che, d'altra parte, genera senso passando dai fatti al diritto, dal particolare al generale.
In questo senso, la deduzione logica non producendo alcuna nuova conoscenza, nel senso che le proposizioni dedotte sono virtualmente contenute nei loro assiomi, è quindi analitica . Al contrario, l'induzione arricchisce la coscienza con nuovi fatti: è quindi sintetica .
Un dualismo correlato è l'opposizione tra scoperta e invenzione .
La filosofia platonica è prontamente deduttiva, passando dalla legge (ideale e immanente ) ai fatti. Per Aristotele , sono i fatti che sono immanenti, nella loro specificità, e la legge trascendente si ottiene per induzione.
Altri filosofi antichi, gli scettici , lo stoici ed epicurei sviluppate riflessioni sulla conoscenza sperimentale (orari xx ° secolo , per esempio, da Bertrand Russell ).
È apparso rapidamente ( Hume e poi Popper ) che l'induzione non è sufficiente per convalidare le teorie scientifiche, né per di più della confutabilità proposta come sostituto.
Inoltre, l'idea che la deduzione non produca nuovi risultati si basa su una visione ingenua e ideale, non tenendo conto, ad esempio, del tempo di calcolo . I risultati, nella teoria tautologica, possono infatti avere un costo, e quindi un valore superiore a quello delle premesse su cui si basano.
A differenza degli argomenti deduttivi, il ragionamento induttivo consente alla conclusione di essere falsa, anche se tutte le sue premesse sono vere. Invece di essere validi o non validi, gli argomenti induttivi sono forti o deboli , in altre parole, descritti dalla probabilità, più o meno alta, di validità della conclusione. Un'altra differenza essenziale è che la certezza deduttiva è impossibile nei sistemi non assiomatici , come la realtà, lasciando il ragionamento induttivo come via principale per la conoscenza di questi sistemi. Poiché "se A è vero, allora B , C e D sono veri", un esempio di deduzione sarebbe " A è vero, quindi possiamo dedurre che B , C e D sono veri". Un esempio di induzione potrebbe essere " B , C e D sono veri, quindi A può essere vero".
Per esempio:
Il grande impatto di un asteroide abbastanza grande creerebbe un cratere molto grande e provocherebbe un impatto invernale che potrebbe portare i dinosauri all'estinzione.
Scopriamo che c'è un cratere molto grande nel Golfo del Messico risalente all'epoca dell'estinzione dei dinosauri.
Pertanto, è possibile che questo impatto spieghi perché i dinosauri si sono estinti.
Tuttavia, questo non è necessariamente il caso. Altri eventi coincidono anche con l'estinzione dei dinosauri, come il Deccan Trapps in India. Un classico esempio di un argomento induttivo errato è stato presentato da John Vickers:
Tutti i cigni che abbiamo visto sono bianchi.
Pertanto, tutti i cigni sono bianchi. (O più specificamente, "Ci aspettiamo che tutti i cigni siano bianchi")
Questa visione dualistica del ragionamento porta a classificare il ragionamento per induzione come una forma di ragionamento deduttivo , perché corrisponde a un ragionamento da cui dalle regole ( regola di base e regola di ereditarietà ) si deduce una conclusione valida.