Foarbylden fan inference. Wat is de konklúzje? De direkte inference

Wat is de konklúzje? Dit is in fêste foarm fan tinken en de ienige rjocht te lûken konklúzjes. De specifics fan dit: yn it proses fan learen is it dúdlik dat de beskuldigingen, oanrikkemandearre troch bewiis, net allegear fan harren binne wiere, mar allinne in beskate part fan harren.

Om fêst te stellen de folsleine wierheid wurdt meastal útfierd in yngreven ûndersyk: dúdlik beskiede hoe de saken te krijen hawwe mei elkoar al fêststelde wierheden, dosobrat nedich feiten om eksperiminten te testen allegear tagelyk foarkommende spekulaasjes en bring it úteinlike resultaat. Hjir is it - in konklúzje.

Yn logika, in foarm fan tinken net sjoch oars: fan 'e wiere oardielen - ien of mear - mei respekt foar bepaalde regels ûntliene it folgjende resultaat wurdt krigen, in nije stelling, dy't folget direkt út de foarôfgeande.

bouwurk

Dus wat is de konklúzje, en wat dat bestiet út? Of oardielen (perselen), finzenskip (nije oardielen) en logyske ferbining tusken it oardiel en de sin. Logika regels by dêr't in konklúzje liket oan te jaan in logyske ferbining. Mei oare wurden, in konklúzje (alle) bestiet út in ienfâldige of komplekse oardielen dy't equip gedachten nije kennis. Dy oardielen, as fûn te wêzen wier en wienen by steat om te jaan berte oan in nije, generalizing, neamd Yu konklúzjes.

Oardiel wurdt krigen troch ferwurking fan stikken lân dêr't baan metoaden inferences, neamd terminal (of sa goed as de konklúzje, of logyske konsekwinsje). Lit sjen, hoe binne oardielen en inferences. Formele logika lizzen regels om te soargjen dat de wiere konklúzje. Hoe lieden reasoning? Foarbylden jouwe ferskate persielen.

• Konservatoarium studint Natalia spilet de piano wûnderlik.
• Elizabeth de twadde jier meidwaan oan wedstriden fan de piano ensembles in duo mei Natalia.
• Konklúzje: Elizabeth sukses studearret oan it konservatoarium.

Bygelyks, kinne jo maklik begripe dat sa'n konklúzje, en wat is har relaasje mei it útgongspunt (oardiel). It wichtichste ding dat perselen wiene wier, net te krijen mei in ferkearde konklúzje. In oare betingst: de relaasje tusken oardielen moatte wêze logysk korrekt boud, om stadichoan en sekuer te bouwen op in manier fierder - út bedriuwsgebou oan konklúzje.

Trije konklúzjes groepen

De yndieling yn groepen is makke nei ferifikaasje fan de mjitte fan commonality fan oardielen.

• Deductive reasoning, dêr't tins beweecht út de algemiene nei it bysûndere, fan grut nei lyts.
• Inductive dêr't it idee komt fan 'e kennis fan inoar, it fergrutsjen fan de graad fan generality.
• Reasoning troch analogy, dêr't it útgongspunt en it sluten hawwe kennis fan ien graad fan generality.

De earste groep fan redenearring is basearre op it privee en op 'e ienheid as it wurdt lyksteld oan it totaal. Dat is, yn alle gefallen, ien metoade: út it algemiene ta de spesifike. Deductive redenearring hjit deductio - "removal" (de algemiene regels fan ûndersyk ferhûze nei de bepaalde saak). It wurk oan it logysk ôftrek fan eventuele oardielen fakbûnen: in kategoaryske syllogism, skieding-kategoaryske en betingsten ôfskieding. Alle fan harren krige in deductive manier.

Ôflûken begjinne te studearjen mei de meast foarkommende foarm, en dit kategoaryske syllogism - syllogism, dy't oerset út it Gryksk betsjut "soschityvanie". Hjir begjint it wurk analyse fan de arguminten dy't opboud út oardielen en konsepten.

Analyze fan ienfâldige struktueren

De stúdzje fan komplekse kognitive struktueren altyd begjint mei de meast basale eleminten. Alle minsklik ferstân yn it deistich libben of yn in profesjonele omjouwing - itselde ferstân, ek safolle lange keatlingen fan redenearring - eltsenien is ôflaat nije kennis fan besteande.

Miljeu - natuer - It hat jûn minskdom in bytsje mear as bisten, mar op dizze basis groeide in prachtich kolossale gebou, dêr't immen leart en romte, en elemintêre dieltsjes, en heech-ûnderwiis, en de djipte fan de oseaan bekkens, en de útstoarne talen en âlde beskavingen . Gjin fan 'e besteande kennis soe net krigen wurde as it minskdom hie net krigen de mooglikheid om te bouwen op in konklúzje.

Foarbylden O ûntginning

Om útpakke les út de ynkommende ynformaasje - is net it hiele geast yn fol, mar sûnder dizze persoan net libje in dei. De meast wichtige aspekt fan it minsklik tinken - de mooglikheid om te begripen wat de redenearring en de mooglikheid om te bouwen is. Sels de meast basale ferskynsels en objekten easkje tapassing fan geast: wake up, sjoch dan efkes by de termometer bûten it finster, en as it de kwik sakke nei -30, jurk accordingly. It soe lykje dat wy dogge dat sûnder it tinken. Lykwols, de ienige ynformaasje dy't ferskynd is - dat temperatuer. De konklúzje is dat it friest, hoewol gâns it is neat mear as in termometer is net befêstige. Miskien wy sille net kâld yn in simmer sarafan? Dêr't kennis? Fansels, sa'n keatling fan geastlike ynspanning is fereaske. En ekstra persielen ek. Dat binne de neiste konklúzjes. Smart minsken kinne hawwe in maksimum fan ynformaasje fan de minst kennis en antisipearje op de situaasje mei alle gefolgen fan harren aksjes. In goed foarbyld fan - Sherlock Holmes en syn trouwe Watson. Syllogism wurdt gearstald út twa of mear perselen en ek in kategory basearre op de aard fan de ûnderdielen fan it oardiel. Der binne ienfâldich en kompleks, en slozhnosokraschonnye ôfkoarte syllogisms.

De direkte inference

Lykas hjirboppe, it streekrjochte konklúzje - in konklúzje dy't ôflaat wurde kinne fan ien perseel. By ferbouwing behanneling, de opposysje makke troch de logika fan redenearring. De transformaasje - feroaring fan kwaliteit perselen sûnder feroarjen it nûmer. Oardiel yn gearhing reversed, en de útspraak (predikaat) - it begryp folslein tsjinoerstelde konklúzje. foarbylden:

• Alle de wolven - Predators (universele affirmative oardiel). Gjin fan 'e wolven is net nehischnikom (universele negative oardiel).
• Gjin fan 'e polyhedra is net plat (universele negative oardiel). Alle net-planar polyhedra (universele affirmative oardiel).
• Guon poddestuollen binne ytbere (nei it faak oardiel). Guon poddestuollen binne oneetbaar (chastnootritsatelnoe oardiel).
• Diel fan 'e misdie binne net bedoeld (chastnootritsatelnoe oardiel). In part ûnfrijwillige oertrêding (nei it faak oardiel).

De beropskriften ek feroarje plakken ûnderwerp en predikaat yn folsleine ûnderwerping oan 'e regel ferspraat betingsten fan it oardiel. Handling is skjin (ienfâldige) en beheind.

Opposysje - direkte konklúzje, dêr't it ûnderwerp wurdt it predikaat, en syn plak wurdt ynnommen troch it begryp, folslein yn striid mei it oarspronklike oardiel. Sa, de bondel wurdt omkeard. Wy kinne beskôgje de opposysje as gefolch fan nei-behanneling en transformaasje.

Inference yn logika - itselde soarte fan 'e neiste ôftrek dêr't de befinings binne basearre op de logyske plein.

kategoaryske syllogism

Kategoaryske deductive ferstân - it is, dêr't twa wiere oardielen moatte wurde ôfsletten. De begripen dy't in part fan 'e syllogism, termed. Simple kategoaryske syllogism hat trije terms:

• sign it predikaat (P) - de grutte term;
• mei it oangean fan in ûnderwerp (S) - lytse term;
• ligament persielen P en S, is ôfwêzich yn biwar (M) - de midden termyn.

Foarm fan syllogism, dy't ferskille yn it midden termyn (M) yn 'e ûnderkommen, neamd de figueren yn de kategoaryske syllogism. Der binne fjouwer sokke stikken, elk mei syn eigen regels.

• Figuer 1: Algemiene grutte útgongspunt, minder affirmative;
• Figuer 2: totale grutte útgongspunt, minder negatyf;
• Figuer 3: de minderjierrige affirmative, de quotient konklúzje;
• Figuer 4: Ta beslút, der is gjin universeel affirmative oardiel.

Elts figuer kin meardere Modes (dit binne ferskate syllogisms op de kwalitative en kwantitative skaaimerken fan it terrein en konklúzjes). As gefolch, de figueren fan 'e syllogism binne njoggentjin korrekt modi, elk dêrfan wurdt tawiisd syn eigen Latynske namme.

Simple kategoaryske syllogism: algemiene regels

Om konkludearje yn in syllogism krije de wierheid, dan moatte gebrûk meitsje fan de wiere útgongspunt, ta eare fan de regels fan de bylden en de ienfâldige kategoaryske syllogism. inference metoaden fergje it neilibjen fan de neikommende regels:

• Avoid quadrupling fan termen, der moat wêze mar trije. Bygelyks, de beweging (M) - forever (P); gean oan 'e Universiteit fan (S) - de moasje (M); konklúzje is falsk: gean nei de universiteit foar altyd. Middellange termyn hjir upotreblon op ferskate wizen: men - yn de filosofyske en de oare - it alledeiske.
• Middellange termyn needsaaklikerwize ferspraat yn op syn minst ien fan de perselen. Bygelyks, alle fisken (P) kinne float (M); myn suster (S) Swim (M); myn suster - in fisk. False konklúzje.
• De term wurdt ferdield pas nei it sluten fan de ferdieling yn it stik. Bygelyks, yn alle polar stêden - it Wite Nights; St. Petersburg - net polar stêd; yn Sint Petersburg, der binne gjin wyt nachten. De konklúzje is falsk. Term konklúzje befettet mear as it ferstjoeren fan de gruttere de term ferlingd.

Der binne regels foar it brûken fan ûnderkommen, dat ferget in foarm fan redenearring, se, ek, moatte te nimmen binne.

• Twa negatyf output perselen net jaan. Bygelyks, walfisken - net fish; atira - gjin walfisken. So what?
• Wannear't in negatyf útgongspunt needsaaklikerwize in negatyf advys.
• Fan de twa privee perselen kinne net konkludearre wurde.
• Wannear't ien stik partikuliere ferplicht privee miening.

betingsten reasoning

As beide arranzjeminten - ûnder betingsten oardielen verkregen suvere conditional syllogism. Bygelyks, as A, dan B; as B, dan B; As A, dan B. yntuityf: as jo tafoegje twa nûmers odd, dan de som fan it sels wolle; oft it bedrach is sels, kin ûnderferdield wurde yn twa net residu; dus, as twa gear ûneven getal, is it mooglik om te ferdielen de som sûnder residu. der is in formule foar dizze relaasje fan it oardiel: in gefolch fan it ûndersyk - in gefolch fan 'e basis.

Conditional kategoaryske syllogism

Wat is de konklúzje conditional kategoaryske? Betingst oardiel is de earste útgongspunt, en yn de twadde útgongspunt en it sluten - kategoaryske oardielen. Modus hjir kin wêze óf ja of ûntkent. Wannear't approving typearret as de twadde útgongspunt beweart gefolch fan it earste, de utfier sille allinne wierskynlike. Doe't de wize fan 'e negatyf, as de basis is wegere betingst útgongspunt, de konklúzje wurdt ek verkregen allinne wierskynlike. Dat binne ûnder betingsten konklúzje.

foarbylden:

• Jo net kenne - wêze stil. Stil - nei alle gedachten net witte (as A, dan B, as B, dan wierskynlik A).
• As it snijt, winter kaam. Winter kaam - nei alle gedachten snijt.
• As sinnich, beammen soargje skaad. Beammen jouwe gjin skaad - net sinnich.

skieden syllogism

Reasoning neamd syllogism ôfskieding, as in lid fan 'e tige ferdielen perselen, en de útgong wurdt ek krige in skieding oardiel. Sa it oantal alternativen nimt ta.

Noch wichtiger is de ôfskieding-kategoaryske syllogism wêryn men útgongspunt giet in skieding oardiel, en de twadde - krekt absolút. Hjir beide stannen: utverzhdayusche-negative en negating, approving.

• De pasjint of libben of dea (ABC); pasjint wylst alive (ab); pasjint stoar (ac). Yn dit gefal, in definityf oardiel ûntkent alternatyf.
• Fergryp - it is in misdemeanour of in misdie; yn dit gefal - is gjin misdriuwen; It betsjut - een misdemeanour.

Conditionally dividing

It begryp konklúzje omfiemet conditionally ôfskieding foarmen dêr't ien lijn - twa of mear betingst útspraken, en de twadde - skieden oardiel. Oars wurdt hjit in lemma. Lemma opjefte - in kar fan de ferskate oplossings.

Alternativen oandielen conditionally dielen konklúzjes oer de dilemma 's en polilemmy trilemma. Oantal opsjes (disjunction - it brûken fan "of") affirmative oardiel - opbouwende lemma. As de disjunction fan negations - lemma destruktyf. As de betingsten pakket jout ien resultaat - in ienfâldich lemma, as ferskate gefolgen - lemma kompleks. Dat kin sjoen wurde, neffens de regeling bouwen omheech konklúzjes.

Foarbylden fan sokke soe wêze oer:

• Simple opbouwende Rubryk: AB + cb + db = b; a + c + d = b. As de soan giet te besykjen (s) sil om de lessen letter (b); as de soan sil gean nei de films (c), foardat it sil meitsje de lessen (b); as de soan sil bliuwe thús (d), sille dwaan harren húswurk (b). Soan gean om te besykjen of in film, of bliuw thús. De lessen hy noch altyd docht.
• In kompleks konstruktive: a + b; c + d. As de macht fan erflike (a), de steat Monarchical (b); As it regear ferkiezings (c), de steat - de republyk (d). De macht wurdt oerbrocht troch fererving of keazen. State - in monargy of in republyk.

Wêrom dogge wy konklúzje, oardiel, konsept

Konklúzjes net libje troch harren sels. De eksperiminten waarden net útfierd blyn. Se allinne logysk yn ûnderlinge gearhing. Plus synteze mei teoretyske analyze, dy't yn ferliking, fergelikingen en generalisaasjes kinne lûke konklúzjes. En bring reasoning troch analogy kin net allinne direkt fornaem, mar dat de "fielt" is ûnmooglik. Hoe kin direkt waarnimme de prosessen lykas de foarming fan stjerren en de evolúsje fan it libben op 'e planeet? Wêr moatte jo sa'n geast spultsje as abstrakte tinken.

begryp

Abstrakt tinken hat trije basic foarmen: begripen, oardielen en inferences. It konsept slút oan by de meast foarkommende, wichtich, nedich en beslissende eigenskippen. Yn it der binne al de tekens fan realiteit, mar realiteit soms ûntbrekt dúdlikens.

Wannear wurdt foarme it begryp, reden net nimme folle fan in yndividu of fan lytse ûngelokken yn symptomen, dat fettet alle observaasjes en de ideeën fan in tanimmend oantal ek sa'n objekt fan homogeneity en sammelt alles fan dizze ynherinte en spesifike.

Begrippen - is in feralgemienjen fan gegevens fan in bepaald ûnderfining. It ûndersyk sy spylje in grutte rol. Wize fan stúdzje gjin ûnderwerp is lang: fan de ienfâldige nei it kompleks en oerflakkige en djip. As mear wurdt leard oer it yndividuele eigenskippen fan it foarwerp en de funksjes ferskine en de oardielen oer him.

oardiel

Mei it útdjipjen fan kennis en oefening fan 'e begripen, en der binne oardielen oer dingen fan' e objektive wrâld. Dit is ien fan de wichtichste foarmen fan tinken. Oardielen wjerspegelje de objektive relaasjes fan objekten en ferskynsels, harren binnenste ynhâld en al de wetten fan ûntwikkeling. Any wet en eltse bepaling yn 'e objektive wrâld kin útdrukt wurde yn in bepaalde oardiel. It spilet in bysûndere rol yn de konklúzje fan it proses logika.

It ferskynsel fan redenearring

In spesjale kogitative aksje, wêr't men fan in foarstelling in nij oardiel oer eveneminten en objekten útleart, is de ynherinte kapasiteit fan 'e minske redenearring. Sûnder dizze fermogen soe it net ûnmooglik wêze om de wrâld te witten. Foar in lange tiid wie it net mooglik om de ierde bûten bûten te sjen, mar ek doe kinne minsken komme ta de konklúzje dat ús ierde rûn is. De korrekte ferbining fan wiere oardielen hat holpen: spherike objekten liede in skaad yn 'e foarm fan in sirkel; De ierde lit in rûnte skaad op 'e moanne by eklipsen; De ierde hat de foarm fan in sfear. Ynferinsje troch analogy!

Korrektiteit fan ynferoarten hinget ôf fan twa betingsten: it gebou dêr't de konklúzje oanlein is moat oerienkomme mei de wurklikheid; De ferbiningen fan pannen moatte begrepen wurde mei logika, dy't ûndersiikret alle wetten en foarmen fan bouwurken yn 'e rol.

Sa kin it begryp, it oardiel en de ynfetting as de basisfoarm fan abstrakt tinken in persoan om de objektive wrâld te kennen, om de wichtichste, essensjele aspekten, wetten en ferbiningen fan 'e omlizzende werklikheid te sjen.