Synonym till deduktion
Hur används ordet deduktion
En hypotes är ett antagande om verkligheten. En hypotes är normalt bara intressant om man använder den i hypotesprövning eller hypotetisk deduktion, då man kan avgöra om hypotesen gett en sann eller falsk bild av verkligheten. Jämför även ad hoc-hypotes.
Till en början handlade den moderna logiken om den nutida motsvarigheten till Aristoteles' idéer: Deduktion i formella system med hjälp av formella språk. Språk som tidigt studerades var satslogiken och predikatlogiken. Inom ramen för dessa kunde man ge exakta definitioner av begrepp som sats, härledning och logisk konsekvens. Senare fick logikerna en djupare insikt om språkens möjligheter och begränsningar. Det logiska studiet av metoder och system som tillämpas inom logiken har gett upphov till många nya grenar av logiken och till fundamentala begrepp som avgörbarhet och fullständighet.
Medan naturvetenskapen studerar entiteter i tid och rum är det inte uppenbart att samma är sant för de objekt som studeras i matematik. Vidare skiljer sig metoderna för undersökning åt: naturvetenskapen tenderar att använda metoder av induktion och matematiken metoder av deduktion. Av bland annat nämnda skäl väcker matematik ontologiska och kunskapsteoretiska frågor skilda från vetenskapsteorin. Dessa frågor behandlas i matematikfilosofi.
Vetenskapliga bevis, se deduktion.
Deduktion är generellt identiskt med härledning av slutsatser från givna premisser. Deduktiva slutledningar karakteriseras av att det råder ett hypotetiskt förhållande mellan premisser och slutsats, det vill säga ett förhållande av typen: Om P, så S.
