Den slutning er en bevegelse av tanken fra prinsippene til den konklusjon. Det er en operasjon som gjør det mulig å overføre fra en eller flere påstander , uttalelser eller påstander bekreftet som sanne, kalt premisser , til en ny påstand som er konklusjonen.
Etymologisk betyr ordet inferens "å utsette". Teoretisk er inferens tradisjonelt delt inn i deduksjon og induksjon , et skille som i Europa i det minste dateres tilbake til Aristoteles (300 f.Kr.).
Vi skiller umiddelbare slutninger fra formidlede slutninger som deduktiv , induktiv og bortførende .
Inferens er definert som ”en sinnsoperasjon som går fra assertive proposisjoner, som premisser, til assertive proposisjoner, som konklusjoner. "
Strengt tatt er slutning ikke nødvendigvis resonnement, siden det kan være øyeblikkelig.
En umiddelbar slutning kan faktisk referere til en sensasjon. Dette "er gitt først, og det er fra det vi utleder objektet." Eksempel: Observasjonen av en katt utleder objektet til en katt, det vil si den umiddelbare slutningen: dette er en katt.
Umiddelbar slutning kan også være resonnement. Den består da av "to proposisjoner: et premiss og en konklusjon". Aristoteliske umiddelbare slutninger er i form av en logisk firkant .
En formidlingsledelse er en " kategorisk, bekreftende eller negativ syllogisme ." "
Dessuten, for semiologer , som Charles Peirce , opererer tanken ikke på proposisjoner , men på tegn. De foreslår således en strukturistisk modell , sentrert på de formelle forholdene mellom språk, som er inspirert av lingvistikk. For Ferdinand de Saussure utgjør ethvert språk faktisk et system der tegnene kombineres og utvikles på en måte som pålegges de som bruker det. Vi blir derfor ledet, for å redegjøre for semiose , for å utvide forestillingen om slutning til operasjoner knyttet til dicente symboler (kvasi-proposisjoner) og for å erstatte forestillingen om sannhet for en proposisjon med den om virkeligheten av en forestilling for en bestemt utøver. Denne oppfattelsen av slutning åpner feltet for beskrivelsen av operasjonene som faktisk utføres i hverdagen og frigjør fra de begrensninger som pålegges av synspunktet som bare er begrenset til produksjon av universelle sannheter, det vil si til gyldige argumenter. Det er således at handlingen med å stille en hypotese som består i å holde et sant, i det minste foreløpig, et forslag som ikke opprettholder noen nødvendig logisk kobling med premissene, vil ha statsborgerskap i dette perspektivet. Den observeres faktisk i enhver forskningsaktivitet som den utgjør en del av mulig oppfinnelse. Dette vil føre til å skille mellom tre typer slutninger etablert av Peirce i 1903: deduksjon , induksjon og bortføring .
Deduktiv slutningEn deduktiv slutning innebærer at sannheten i premissene nødvendigvis innebærer sannheten i hans konklusjoner . Det vil sies å være "gyldig" hvis det overholder de foreskrevne slutningsregler . Det er derfor ikke mulig at konklusjonen av et gyldig argument er falsk når premissene er sanne.
Eksempel: demonstrasjonen .
En induktiv slutning innebærer en sannsynlig sannhet i lokalene . Dette bestemmer nødvendigvis sannsynligheten for sannheten til konklusjonen .
Eksempel: Bayesian Inferens .
Abduktiv slutningEn abduktiv slutning består i, når man observerer et faktum man vet en mulig årsak for, og konkluderer som en hypotese om at faktum sannsynligvis skyldes denne årsaken.