Hva er en inngang? Typer og hovedegenskaper

En innledning er en konklusjon eller mening som er nådd under hensyntagen til bevis eller kjente fakta. I logikk er en innledning definert som prosessen med å utlede logiske konsekvenser fra antagelsene som antas.

En premiss er også definert som et forslag gitt som sant og hvorfra en konklusjon trekkes.

I noen tilfeller er det ikke logisk avledet av antagelsene, men det har en viss grad av sannsynlighet i forhold til disse antagelsene.

Ordet inferens kommer fra middelalderen Latin inferentia som betyr "å bære inn". Dette begrepet brukes ofte som et synonym for argument.

Inferansen er en mekanisme som utgjør en begrunnelse. Disse to går hånd i hånd, og det er viktig å følge en passende prosedyre for å garantere argumentets gyldighet.

Bidrag fra Charles Peirce

Forskningen om inferens og argumenter ble beriket av filosofens arbeid og matematiker Charles Sanders Peirce (1839-1914).

Han gjorde betydelige bidrag til teorien og metodikken for induksjon, og oppdaget en tredje type resonnement eller innledning: bortføring.

Således omfattet Peirces klassifikasjon tre hovedsakelig forskjellige, men ikke helt uavhengige typer inngrep: fradrag, induksjon og bortføring.

Selv om han i de siste stadiene av hans liv betraktet dem som tre forskjellige stadier av forskning i stedet for forskjellige typer inngrep, er denne klassifiseringen fortsatt opprettholdt.

De tre typene avferd

1- Fradrag

Fradraget er prosessen med å utlede en konklusjon fra de givne aksiomer og fakta. Det vil si, ta en konklusjon basert på tilgjengelig kunnskap og observasjoner.

Konklusjonen kan trekkes ved å bruke modus ponens- regelen. Denne bestemmelsesregelen sier at hvis vi vet at både P og P → Q er sanne, kan vi konkludere med at Q må også være sant. Inferansen ved fradrag er også kjent som logisk inngripen.

eksempel

Axiom: Alle pattedyr har brystkjertler.

Fakta / premiss: Hvaler er pattedyr.

Konklusjon: Hvaler har brystkjertler.

2- Induksjon

På den annen side innebærer induksjon å utlede en generell regel (også kalt et aksiom) fra bestemte eller spesifikke observasjoner.

Denne typen resonnement er motsatt av deduktive. I utgangspunktet betyr det å trekke ut konklusjoner eller påvirkninger fra ulike data, går fra det spesifikke til det generelle. Forskere bruker induktiv resonnement til å danne hypoteser og teorier.

eksempel

data:

1. Juan sover mindre enn seks timer og våkner opp.
2. Lucia sover mindre enn seks timer og våkner opp.
3. Maria sover mindre enn seks timer og våkner opp.
4. Carlos sover mindre enn seks timer og våkner opp.

Innledning: Hvis en person sover mindre enn seks timer, våkner du opp.

3- Abduksjon

Denne typen innledning er basert på et ufullstendig sett med observasjoner, noe som resulterer i den mest sannsynlige forklaringen mulig.

Den er basert på å lage og teste hypoteser ved å bruke den beste tilgjengelige informasjonen. Det innebærer ofte å ta en antagelse etter å ha observert et fenomen som det ikke er noen klar forklaring på.

eksempel

Et eksempel på dette er de medisinske diagnosene basert på resultatene av testene. Et annet eksempel er juryens avgjørelser i forsøkene, basert på bevisene som presenteres for dem.