Deduktion

Deduktion betyder logisk slutledning från ett antal premisser. Deduktiva slutledningar är (ofta) slutledningar från några få allmänna premisser till partikulära slutsatser. Om de premisser som deduktionen bygger på är sanna, så är även slutsatsen sann. Om slutsatsen som erhålls genom en giltlig deduktion är falsk, så är minst en av premisserna falska. Bevis i matematiken är i regel deduktioner. I matematiska bevis är premisser antingen axiom eller definitioner eller tidigare bevisade satser. I formell logik är slutledningar alltid deduktiva. Det deskriptiva innehållet i slutsatserna är alltid mindre eller lika stort som det totala deskriptiva innehållet i premisserna. Genom deduktiva slutledningar kan man dock nå ny (analytisk) kunskap.

Startsida

http://www.wadenstrom.net/vetfil    ralf.wadenstrom@helsinki.fi