Zacznij od przesłanek, które gwarantują wniosek, a będziesz rozumować dedukcyjnie. Wszyscy ludzie są śmiertelni. Sokrates jest człowiekiem. Zatem Sokrates jest śmiertelny. Jeśli przesłanki są prawdziwe, a forma jest prawidłowa, wniosek musi być prawdziwy. Nie ma miejsca na prawdopodobieństwo. Dedukcja jest podstawą logiki, matematyki i formalnego dowodu.

Arystoteles jako pierwszy usystematyzował dedukcję, wykorzystując sylogizm jako swoje podstawowe narzędzie. Sylogizm składa się z dwóch przesłanek i wniosku, ułożonych tak, że wniosek wynika z konieczności. Średniowieczni logicy udoskonalili ten system, a nowożytni logicy, tacy jak Frege i Russell, rozwinęli logikę symboliczną, która reprezentuje formy dedukcyjne za pomocą symboli i reguł. Dedukcja zachowuje prawdę: nie może doprowadzić od prawdziwych przesłanek do fałszywego wniosku. Nie może jednak generować nowej treści wykraczającej poza to, co przesłanki już zawierają. Dlatego dedukcja jest potężna w dowodzeniu, ale ograniczona w odkrywaniu.

Kluczowe koncepcje

• Ważność. Wniosek wynika koniecznie z przesłanek.
• Soundness. Forma prawidłowa i prawdziwe przesłanki.
• Sylogizm. Dwie przesłanki i wniosek.
• Counterexample. Przypadek pokazujący nieprawidłowy formularz.

Dedukcja pojawia się w codziennym rozumowaniu, argumentacji prawnej, programowaniu komputerowym i dowodzeniu filozoficznym. Kiedy ktoś mówi „wynika to logicznie”, zazwyczaj ma na myśli dedukcję.