avdrag - pussel på nätet

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.Deduktion är i formella logiska system, som satslogik och predikatlogik ett syntaktiskt begrepp, vilket betyder att det är möjligt att med slutledningsreglerna kontrollera följdriktigheten av deduktionen. Man behöver således inte känna till meningen av, utan endast relationer mellan, de ord som uppträder i premisser och slutsats.Ett formellt deduktivt system består av ett antal axiom och minst en slutledningsregel.Metafysiska och kunskapsteoretiska resonemang har ofta en deduktiv karaktär. Argumentationen bygger vanligen på premisser, som antas vara självklara och slutledningsregler vilka oftast inte redovisas. Detta gäller för många av de stora namnen i filosofins historia som Leibniz, Spinoza, Kant, Hegel och Schopenhauer. Hos skolastikerna, och bland andra Descartes, betyder ordet deduktion ibland en slutledning från det allmänna till det enskilda.

Exempel

Teodicéproblemet har sysselsatt många av Europas skarpaste hjärnor sedan antiken. Problemet uppstår, om man samtidigt vill hålla följande fem satser för sanna.

Gud existerar.

Om Gud existerar, så är han god.