Konsept i definisjon ABC

Generelt vil det sies at slutningen er den fradrag fra en ting til en annen.
Inferens er rent og utelukkende a produkt av vårt sinn, fordi det er en evaluering som utfører dette mellom de uttrykkene for a Språk bestemt, som en gang sammenhengende på en intellektuell måte vil tillate å komme fram til en idé logikk. På denne måten kan vi, med utgangspunkt i sannheten eller løgnen som noen uttrykk foreslår, utlede sannheten eller løgnen til noen andre.
I mellomtiden vil det komme et postulat fra den nevnte prosedyren.

I logikken tradisjonell, populært kjent som Aristotelian, fordi den ble formulert for første gang av den velkjente greske filosofen Aristoteles, formen av slutning som følger er den av syllogisme. Dette er en slags deduktiv resonnering bestående av to proposisjoner som premisser og en annen som konklusjon, sistnevnte fortsetter som en konklusjon fra de to andre.

Vi kan finne tre typer slutninger; de fradrag, den argument deduktiv er en type som foreskriver sameksistens av lokalene og konklusjonen, og sikrer at sistnevnte blir representert i lokalene, for eksempel:

alle ballongene i denne vesken er røde, disse ballongene tilhører denne vesken, derfor er disse ballongene røde; de induksjoninnrømmer det induktive argumentet sannsynlig sameksistens av premissene og konklusjonen, og garanterer at sistnevnte sannsynligvis gjenspeiles i premissene, for eksempel: ballongene er fra denne vesken, ballongene er røde, så alle ballongene i denne vesken er røde; og bortføring, argumenter for bortføringstypen foreslår mulig sameksistens mellom premissene og konklusjonen, å sikre at sistnevnte potensielt er representert i de nevnte lokalene, eksempel: alle ballongene i denne vesken er røde, disse ballongene er røde, så disse ballongene tilsvarer denne vesken.

Emner i inferens