Vad är en inferens? Typer och huvudegenskaper

En slutsats är en slutsats eller åsikt som uppnåtts med hänsyn till bevis eller kända fakta. I logik definieras en inferens som processen att härleda logiska konsekvenser från antagna antaganden.

En förutsättning definieras också som ett förslag som ges som sant och varifrån en slutsats dras.

I vissa fall är inferensen inte logiskt härledd från antagna antaganden, men den har viss sannolikhet i förhållande till dessa antaganden.

Ordet inferentia kommer från den medeltida latininferentia som betyder "att bära in". Denna term används ofta som en synonym för argumentet.

Inferens är en mekanism genom vilken resonemang äger rum. Dessa två går hand i hand, och det är viktigt att följa en lämplig inferensprocess för att garantera argumentets giltighet.

Bidrag från Charles Peirce

Forskningen om inferens och argument berikades av filosofens arbete och matematikern Charles Sanders Peirce (1839-1914).

Han gjorde betydande bidrag till induktionens teori och metodik och upptäckte en tredje typ av resonemang eller inferens: bortförande.

Således omfattade Peirces klassificering tre väsentligen distinkta men inte helt oberoende typer av inferens: avdrag, induktion och bortförande.

Även om han i sina sista skeden betraktade dem som tre olika forskningsfaser i stället för olika typer av inferens, behålls denna klassificering fortfarande.

De tre typerna av inferens

1- Avdrag

Avdraget är processen att härleda en slutsats från de givna axiomen och fakta. Det vill säga dra en slutsats utifrån tillgänglig kunskap och observationer.

Slutsatsen kan dras genom att tillämpa modus ponensregeln . Denna regel av inferens säger att om vi vet att både P och P → Q är sanna, kan vi dra slutsatsen att Q måste också vara sant. Inferensen med avdrag är också känd som logisk inferens.

exempel

Axiom: Alla däggdjur har bröstkörtlar.

Fakta / premiss: Valar är däggdjur.

Slutsats: Valar har bröstkörtlar.

2- induktion

Å andra sidan innebär induktion att man erhåller en allmän regel (även kallad ett axiom) från specifika eller specifika observationer.

Denna typ av resonemang är motsatsen till deduktivet. I grund och botten betyder det att extrahera slutsatser eller slutsatser från olika data, gå från det specifika till det allmänna. Forskare använder induktiv resonemang för att bilda hypoteser och teorier.

exempel

data:

1. Juan sover mindre än sex timmar och vaknar sig trött.
2. Lucia sover mindre än sex timmar och vaknar trött.
3. María sover mindre än sex timmar och vaknar sig trött.
4. Carlos sover mindre än sex timmar och vaknar trött.

Inferens: Om en person sover mindre än sex timmar, vaknar sig trött.

3- bortförande

Denna typ av inferens baseras på en ofullständig uppsättning observationer, vilket medför att den mest troliga förklaringen är möjlig.

Den bygger på att göra och testa hypoteser med hjälp av bästa tillgängliga informationen. Det innebär ofta att man antar att man har observerat ett fenomen för vilket det inte finns någon tydlig förklaring.

exempel

Ett exempel på detta är de medicinska diagnoserna baserat på testresultaten. Ett annat exempel är juryns beslut i försöken, baserat på de bevis som presenteras för dem.