Börja med premisser som garanterar en slutsats och du resonerar deduktivt. Alla människor är dödliga. Sokrates är en människa. Därför är Sokrates dödlig. Om premisserna är sanna och formen är giltig, måste slutsatsen vara sann. Det finns inget utrymme för sannolikhet. Deduktion är ryggraden i logik, matematik och formella bevis.

Aristoteles var den förste som systematiserade deduktion och använde syllogismen som sitt grundläggande verktyg. En syllogism har två premisser och en slutsats, arrangerad så att slutsatsen nödvändigtvis följer. Medeltida logiker förfinade systemet, och moderna logiker som Frege och Russell utvecklade symbolisk logik, som representerar deduktiva former med symboler och regler. Deduktion är sanningsbevarande: den kan inte ta dig från sanna premisser till en falsk slutsats. Men den kan inte generera nytt innehåll utöver vad premisserna redan innehåller. Det är därför deduktion är kraftfull för bevis och begränsad för upptäckt.

Viktiga begrepp

• Giltighet. Slutsatsen följer med nödvändighet av premisserna.
• Sundhet. Giltig form plus sanna premisser.
• Syllogism. Två premisser och en slutsats.
• Motexempel. Ett fall som visar ett ogiltigt formulär.

Deduktion förekommer i vardagligt resonemang, juridiska argument, datorprogrammering och filosofiska bevis. När någon säger "det följer logiskt" menar de vanligtvis deduktivt.