Hvad er inferens? Dette er en bestemt form for tænkning og den eneste rigtige konklusion. De specifikke detaljer er som følger: i erkendelsesprocessen bliver det klart, at udsagn, der er foranlediget af beviser, ikke alle er sande, men kun en vis del af dem.
For at fastslå den fulde sandhed udføres der norm alt en grundig undersøgelse: tydeligt identificere spørgsmål, korrelere allerede etablerede sandheder med hinanden, indsamle de nødvendige fakta, udføre eksperimenter, kontrollere alle formodninger, der opstår undervejs og udlede endeligt resultat. Her bliver det - konklusionen.
I logikken ser tænkningsformen ikke anderledes ud: fra sande domme - en eller flere - underlagt visse regler for at udlede resultatet, følger den følgende, nye bedømmelse direkte af de tidligere.
Structure
Så hvad er en slutning, og hvad består den af? Fra domme (præmisser), konklusion (ny dom) og logisk sammenhæng mellem domme og konklusion. De logiske regler, hvorved konklusionen fremkommer,angive en logisk sammenhæng. Med andre ord, inferens (enhver) består af simple eller komplekse domme, der udstyrer sindet med ny viden. De samme domme kaldes, hvis de anerkendes som sande og i stand til at afføde en ny, generaliserende en, forudsætninger for en slutning.
Den bedømmelse, der opnås ved at behandle præmisserne, hvor slutningsmetoderne har virket, kaldes en konklusion (og også enten en konklusion eller en logisk konsekvens). Lad os se, hvordan dømmekraft og slutninger hænger sammen. Formel logik etablerer de regler, der sikrer en sand konklusion. Hvordan drages en konklusion? Vi vil give eksempler på flere præmisser.
- Student fra konservatoriet Natalia spiller vidunderligt klaver.
- Elizaveta har deltaget i klaverensemblekonkurrencer for andet år i en duet med Natalia.
- Konklusion: Elizabeth er en succesfuld studerende på konservatoriet.
Når du følger eksemplet, kan du nemt lære, hvad en konklusion er, og hvad dens sammenhæng med præmissen (dommen) er. Det vigtigste er, at præmisserne skal være sande, ellers vil konklusionen være falsk. Endnu en betingelse: Forbindelserne mellem domme skal være logisk korrekt bygget for gradvist og præcist at bygge vejen videre - fra præmisserne til konklusionen.
Tre grupper af slutninger
Opdelingen i grupper foretages efter kontrol af graden af generelle vurderinger.
- Deduktiv ræsonnement, hvor tanken bevæger sig fra det generelle til det særlige, fra det store til det lille.
- Induktiv, hvor tanker går fra én viden til en anden, hvilket øger graden af almenhed.
- Konklusion vedranalogi, hvor både præmisserne og konklusionen har kendskab til samme grad af almenhed.
Den første gruppe af slutninger er bygget til det særlige og fra ental, hvis det sidestilles med det generelle. Det vil sige, at der i hvert fald kun er én metode: fra det generelle til det særlige. Deduktiv ræsonnement kaldes deductio - "inferens" (fra de generelle regler flytter undersøgelsen til en bestemt sag). De logiske vurderinger fra enhver fagforening arbejder for deduktion: kategorisk slutning, opdeling-kategorisk og betinget opdeling. Alle opnås deduktivt.
Deduktion begynder at blive studeret fra de mest typiske former, og denne kategoriske konklusion er en syllogisme, som betyder "tælle" på græsk. Her begynder analysen af ræsonnement, som består af domme og begreber.
Analyse af simple strukturer
Undersøgelsen af komplekse mentale strukturer begynder altid med de enkleste elementer. Al menneskelig ræsonnement i hverdagen eller i et professionelt miljø er også slutninger, selv vilkårligt lange slutningskæder - alle udvinder ny viden fra eksisterende.
Miljøet - naturen - gav menneskeheden lidt mere end dyrene, men på dette fundament er der vokset en storslået kolossal bygning, hvor en person genkender kosmos og elementarpartikler, og alpine formationer og dybderne af havfordybninger, og forsvundne sprog og gamle civilisationer. Ingen af den tilgængelige viden ville være opnået, hvis ikke menneskeheden havde fået evnendrag en konklusion.
Eksempler på udtrækning af output
At drage konklusioner ud fra indgående information er ikke hele sindet, men uden dette kan en person ikke leve en dag. Den vigtigste side af det menneskelige sind er evnen til at forstå, hvad en konklusion er, og evnen til at bygge den. Selv de enkleste fænomener og genstande kræver anvendelse af sindet: Når du vågner op, se på termometeret uden for vinduet, og hvis kviksølvsøjlen på det falder til -30, skal du klæde dig i overensstemmelse hermed. Det ser ud til, at vi gør det uden at tænke. Men den eneste information, der er kommet frem, er lufttemperaturen. Deraf konklusionen: det er koldt udenfor, selvom dette ikke er blevet pålideligt bekræftet af andet end et termometer. Måske bliver vi ikke kolde i en sommersarafan? Hvor kommer viden fra? Naturligvis kræver en sådan kæde af sindets indsats ikke. Og yderligere pakker også. Disse er direkte slutninger. En klog person kan maksim alt have information fra et minimum af viden og forudse situationen med alle konsekvenserne af sine handlinger. Et godt eksempel er Sherlock Holmes med sin trofaste Watson. Syllogismer består af to eller flere præmisser og er også underopdelt baseret på karakteren af de konstituerende domme. Der er enkle og komplekse, forkortede og sammensatte forkortede syllogismer.
Umiddelbare slutninger
Som vist ovenfor er umiddelbare slutninger konklusioner, der kan drages ud fra en enkelt forudsætning. Gennem transformation, konvertering, opposition skabes en logisk konklusion. Transformation - at ændre kvaliteten af pakken uden at ændremængder. Dommen i bundtet ændres til det modsatte, og udsagnet (prædikatet) - til et begreb, der fuldstændig modsiger konklusionen. Eksempler:
- Alle ulve er rovdyr (generelt bekræftende). Ingen af ulvene er ikke et rovdyr (generelt negativt forslag).
- Ingen af polyedre er flade (generelt negativ bedømmelse). Alle polyedre er ikke-plane (generelt bekræftende).
- Nogle svampe er spiselige (privat bekræftende). Nogle svampe er uspiselige (delvis negative).
- Dels er forbrydelserne ikke forsætlige (privat negativ dom). Delvis utilsigtede forbrydelser (privat bekræftende dom).
I appelsager er emnet og prædikatet omvendt med fuld lydighed mod reglen om fordeling af domsvilkår. Konvertering er ren (simpel) og begrænset.
Kontrapositioner - direkte slutninger, hvor subjektet bliver et prædikat, og dets plads indtages af et begreb, der fuldstændig modsiger den oprindelige dom. Dermed er forbindelsen omvendt. Man kan betragte opposition som resultatet efter konvertering og transformation.
Inferens ved logik er også en type direkte inferens, hvor konklusioner er baseret på et logisk kvadrat.
Kategorisk syllogisme
En deduktiv kategorisk slutning er en, hvor en konklusion følger af to sande domme. De begreber, der er en del af syllogismen, er betegnet med termer. En simpel kategorisk syllogisme har tre led:
- konklusion prædikat (P) - større term;
- subjekt for indespærring (S) - mindre periode;
- bundt af lokaler P og S mangler fra konklusion (M) - mellem sigt.
Syllogismeformer, der adskiller sig på mellemled (M) i præmisserne, kaldes figurer i en kategorisk syllogisme. Der er fire sådanne figurer, hver med sine egne regler.
- 1 figur: fælles hovedpræmis, bekræftende mindre præmis;
- 2 tal: fælles stor forudsætning, negativ mindre;
- 3 tal: bekræftende mindre præmis, privat konklusion;
- 4-tal: Konklusionen er ikke en universelt bekræftende dom.
Hver figur kan have flere tilstande (disse er forskellige syllogismer i henhold til de kvalitative og kvantitative karakteristika af præmisser og konklusioner). Som et resultat heraf har syllogismens figurer nitten korrekte tilstande, som hver er tildelt sit eget latinske navn.
En simpel kategorisk syllogisme: generelle regler
For at gøre konklusionen i en syllogisme sand, skal du bruge sande præmisser, overholde figurreglerne og en simpel kategorisk syllogisme. Inferensmetoder kræver følgende regler:
- Du må ikke firdoble udtryk, der skal kun være tre. For eksempel bevægelse (M) - for evigt (P); gå på universitetet (S) - bevægelse (M); konklusionen er falsk: at gå på universitetet er evigt. Mellembetegnelsen bruges her i forskellige betydninger: den ene er filosofisk, den anden er dagligdags.
- Mellem sigtskal fordeles i mindst én af pakkerne. For eksempel kan alle fisk (P) svømme (M); min søster (S) kan svømme (M); min søster er en fisk. Konklusionen er falsk.
- Konklusionsterminen distribueres først efter fordeling i pakken. For eksempel i alle polarbyer - hvide nætter; St. Petersborg er ikke en polarby; der er ingen hvide nætter i St. Petersborg. Konklusionen er falsk. Udtrykket konklusion indeholder mere end præmisser, det større udtryk er udvidet.
Der er regler for brug af pakker, som slutningsformen kræver, de skal også overholdes.
- To negative lokaler giver ikke noget output. For eksempel er hvaler ikke fisk; gedder er ikke hvaler. Hvad så?
- Med én negativ præmis er en negativ konklusion obligatorisk.
- Ingen konklusion mulig fra to private pakker.
- Med én privat pakke er en privat konklusion påkrævet.
Betinget slutning
Når begge præmisser er betingede propositioner, opnås en ren betinget syllogisme. For eksempel, hvis A, så B; hvis B, så C; hvis A, så B. Det er klart: Hvis du tilføjer to ulige tal, vil summen være lige; hvis summen er lige, så kan du dividere med to uden en rest; derfor, hvis du tilføjer to ulige tal, så kan du dividere summen uden en rest. Der er en formel for et sådant forhold mellem domme: konsekvensen af konsekvensen er konsekvensen af grundlaget.
Betinget kategorisk syllogisme
Hvad er en betinget kategorisk slutning? Der er en betinget proposition i den første præmis, og kategoriske propositioner i den anden præmis og konklusion. modus herkan være enten bekræftende eller negativ. I den bekræftende tilstand, hvis den anden præmis bekræfter konsekvensen af den første, vil konklusionen kun være sandsynlig. I den negative tilstand, hvis grundlaget for den betingede forudsætning nægtes, er konklusionen også kun sandsynlig. Disse er betingede slutninger.
Eksempler:
- Hvis du ikke ved det, så hold kæft. Tavs - ved sandsynligvis ikke (hvis A, så B; hvis B, så sandsynligvis A).
- Hvis det sner, er det vinter. Vinteren er kommet - det sner sikkert.
- Når det er solskin, giver træerne skygge. Træer giver ingen skygge - ikke solrigt.
Splittende syllogisme
En slutning kaldes en disjunktiv syllogisme, hvis den består af rent opsplittende præmisser, og konklusionen er også opnået som en distributiv bedømmelse. Dette øger antallet af alternativer.
Endnu vigtigere er den opdelings-kategoriske slutning, hvor den ene præmis er en splittende dom, og den anden er en simpel kategorisk. Der er to tilstande her: bekræftende-negativ og negativ-bekræftende.
- Syg er enten levende eller død (abc); patienten er stadig i live (ab); patienten døde ikke (ac). I dette tilfælde afviser den kategoriske dom alternativet.
- En forkert er en forseelse eller en forbrydelse; i dette tilfælde - ikke en forbrydelse; betyder uredelighed.
Betingede separatorer
Begrebet inferens omfatter også betinget dividerende former, hvor den ene præmis er to eller flere betingede propositioner, og den anden- disjunktiv argument. Ellers kaldes det et lemma. Lemmaets opgave er at vælge mellem flere løsninger.
Antallet af alternativer opdeler betingede-separative slutninger i dilemmaer, trilemmaer og polylemmaer. Antallet af muligheder (disjunktion - brugen af "eller") bekræftende domme er et konstruktivt lemma. Hvis adskillelsen af negationer er et destruktivt lemma. Hvis den betingede præmis giver én konsekvens, er lemmaet simpelt; hvis konsekvenserne er forskellige, er lemmaet komplekst. Dette kan spores ved at bygge slutninger i henhold til skemaet.
Eksempler ville være noget som dette:
- Et simpelt konstruktivt lemma: ab+cb+db=b; a+c+d=b. Hvis sønnen tager på besøg (a), vil han lave sit hjemmearbejde senere (b); hvis sønnen går i biografen (c), så vil han inden da lave sit hjemmearbejde (b); hvis sønnen bliver hjemme (d), vil han lave sit hjemmearbejde (b). Sønnen skal på besøg eller i biografen eller blive hjemme. Han vil gøre sit hjemmearbejde alligevel.
- Kompleks konstruktiv: a+b; c+d. Hvis magten er arvelig (a), så er staten monarkisk (b); hvis regeringen er valgt (c), er staten en republik (d). Magten er nedarvet eller valgt. Stat – monarki eller republik.
Hvorfor har vi brug for en konklusion, dømmekraft, koncept
Inferenser lever ikke alene. Eksperimenter er ikke blinde. De giver kun mening, når de kombineres. Plus syntese med teoretisk analyse, hvor der ved hjælp af sammenligninger, sammenligninger og generaliseringer kan drages konklusioner. Desuden er det muligt at drage en konklusion analogt ikke kun om, hvad der direkte opfattes, men også om, hvad der er umuligt at "føle". Hvordan kan man direkte opfatte sådanprocesser, som dannelsen af stjerner eller udviklingen af liv på planeten? Her er der brug for et sindets spil som abstrakt tænkning.
Koncept
Abstrakt tænkning har tre hovedformer: begreber, domme og slutninger. Konceptet afspejler de mest generelle, væsentlige, nødvendige og afgørende egenskaber. Den har alle virkelighedens tegn, selvom virkeligheden nogle gange er blottet for synlighed.
Når et koncept dannes, tager sindet ikke de fleste af de individuelle eller ubetydelige ulykker i tegn, det generaliserer alle opfattelser og repræsentationer af så mange lignende objekter som muligt med hensyn til homogenitet og samler herfra den iboende og specifik.
Begreber er resultaterne af opsummering af data fra denne eller hin oplevelse. I videnskabelig forskning spiller de en af hovedrollerne. Vejen til at studere ethvert emne er lang: fra enkel og overfladisk til kompleks og dyb. Med ophobningen af viden om emnets individuelle egenskaber og træk opstår der også domme herom.
Judgment
Med uddybningen af viden forbedres begreberne, og domme om objekterne i den objektive verden dukker op. Dette er en af hovedformerne for tænkning. Bedømmelser afspejler objekters og fænomeners objektive forbindelser, deres indre indhold og alle udviklingsmønstre. Enhver lov og enhver position i den objektive verden kan udtrykkes ved en bestemt proposition. Inferens spiller en særlig rolle i logikken i denne proces.
Fænomenet inferens
En speciel mental handling, hvor man kan fra lokalerneat drage en ny dom om begivenheder og objekter - evnen til at drage konklusioner, der er karakteristiske for menneskeheden. Uden denne evne ville det være umuligt at kende verden. I lang tid var det umuligt at se kloden fra siden, men allerede dengang kunne folk komme til den konklusion, at vores Jord er rund. Den korrekte forbindelse af sande domme hjalp: sfæriske genstande kastede en skygge i form af en cirkel; Jorden kaster en rund skygge på Månen under formørkelser; Jorden er kugleformet. Inferens ved analogi!
Riktigheden af konklusioner afhænger af to forhold: de præmisser, som konklusionen er bygget ud fra, skal svare til virkeligheden; lokalernes forbindelser skal være i overensstemmelse med logikken, som studerer alle love og former for bygningsdomme i konklusionen.
Begrebet, dømmekraften og slutningen som hovedformen for abstrakt tænkning tillader således en person at erkende den objektive verden, at afsløre de vigtigste, mest essentielle aspekter, mønstre og forbindelser af den omgivende virkelighed.
