Back استنباط Arabic Deduksiya AZ Дедукция Bulgarian Dedukcija BS Raonament deductiu Catalan ھەڵھێنجان CKB Dedukce Czech Deduktion Danish Deduktion German Παραγωγικός συλλογισμός Greek
Il metodo deduttivo o deduzione è il procedimento razionale che fa derivare una certa conclusione da premesse più generiche, dentro cui quella conclusione è implicita. Il termine significa letteralmente «condurre da», perché etimologicamente proviene dal latino "de" (traducibile con «da», preposizione indicante provenienza, o moto di discesa dall'alto verso il basso) e "ducere" («condurre»).
Questo metodo parte da postulati e princìpi primi e, attraverso una serie di rigorose concatenazioni logiche, procede verso determinazioni più particolari attinenti alla realtà concreta.
Si tratta della forma principale di inferenza, cioè di un procedimento che intende esplicitare un contenuto fino allora tacitamente implicito; un esempio impiegato nelle inferenze deduttive è il modus ponens.
Un esempio classico di deduzione come il sillogismo, ricorrente nella storia della filosofia, parte da premesse ritenute valide universalmente, per esempio "tutti gli uomini sono mortali", per arrivare a una proposizione conclusiva che attribuisce una proprietà a un soggetto individuale, per esempio "Socrate è mortale".