Ehemplo sa inference. Unsa ang konklusyon? Ang diha-diha nga inference

Unsa ang konklusyon? Kini mao ang usa ka fixed nga matang sa panghunahuna ug ang bugtong katungod sa konklusyon. Ang mga specifics sa niini: sa proseso sa pagkat-on nga kini mao ang tin-aw nga ang mga alegasyon, gisugyot sa ebidensiya, dili tanan kanila mga tinuod, apan lamang sa usa ka pipila ka mga bahin sa kanila.

Aron sa paglig-on sa mga bug-os nga kamatuoran kasagaran gidala sa usa ka bug-os nga imbestigasyon: tin-aw nga nagpaila sa mga isyu sa pag-asoy sa usag usa na malig-on nga mga kamatuoran, dosobrat gikinahanglan kamatuoran sa paghimo sa eksperimento sa pagsulay sa tanang dungan nga nahitabo espekulasyon ug dad-on ang katapusan nga resulta. Ania kini mao ang - ang usa ka konklusyon.

Sa lohika, usa ka matang sa panghunahuna dili motan-aw sa lahi: sa matuod nga paghukom - sa usa o labaw pa - samtang labot sa pipila ka mga lagda kuha sa mosunod nga resulta mao nga nakuha, ang usa ka bag-o nga proposisyon, nga mosunod direkta gikan sa nag-unang.

gambalay

Busa unsa ang kataposan, ug unsa kini naglangkob sa? Sa mga paghukom (mga pakete), pagkabilanggo (bag-o nga mga paghukom) ug lohikal koneksyon tali sa paghukom ug sa mga tudling-pulong. Katarungan mga lagda nga ang usa ka konklusyon makita sa nagpakita sa usa ka makatarunganon nga koneksyon. Sa laing mga pulong, usa ka inference (sa bisan unsa nga) naglangkob sa usa ka yano nga o komplikado nga mga paghukom nga pagsangkap hunahuna bag-o nga kahibalo. Kini nga mga paghukom, kon nakaplagan nga tinuod ug nakahimo sa paghatag sa pagkatawo sa usa ka bag-o, generalizing, nga gitawag Yu konklusyon.

Paghukom nga nakuha pinaagi sa pagproseso sa luna diin mga pamaagi sa trabaho pagsabot, nga gitawag terminal (o ingon man ang mga konklusyon, o makatarunganon sangputanan). ni makakita Himoa, sa unsa nga paagi ang mga paghukom ug mga pagsabot. Pormal nga pangatarungan nagtukod lagda aron sa pagsiguro nga ang tinuod nga konklusyon. Sa unsang paagi nga nasubay pangatarungan? Mga panig-ingnan sa paghatag sa pipila ka luna.

• Conservatory estudyante Natalia pasundayag sa piano katingalahan.
• Elizabeth sa ikaduha nga tuig sa pag-apil sa mga kompetisyon sa piano nga mga pahiyas sa duha sa Natalia.
• Panapos: Elizabeth malampuson nagtuon sa conservatory.

Kay sa panig-ingnan, nga kamo mahimo dali nga makasabut nga ang maong usa ka konklusyon, ug unsa ang iyang relasyon uban sa pailaila (paghukom). Ang nag-unang butang nga mga pakete tinuod, dili sa pagkuha sa usa ka bakak nga mga konklusyon. Laing kahimtang: ang relasyon tali sa mga paghukom kinahanglan nga lohikal husto gitukod, aron sa hinay-hinay ug sa tukma nga pagtukod sa usa ka dalan nga dugang nga - gikan sa mga pasikaran ngadto sa konklusyon.

Tulo ka mga konklusyon nga mga grupo

Ang division ngadto sa mga grupo ang gihimo human sa panghimatuud sa mga matang sa komon sa mga paghukom.

• Pangagpas nga pangatarungan, diin hunahuna nagalihok gikan sa kinatibuk-ang ngadto sa partikular, gikan sa dako ngadto sa gagmay.
• Pangagpas diin ang ideya naggikan sa kahibalo sa usa ug usa, sa pagdugang sa matang sa kinatibuk.
• Nangatarongan pinaagi sa analohiya, diin ang mga pailaila ug konklusyon adunay kahibalo sa usa ka matang sa kinatibuk.

Ang unang grupo sa mga pangatarongan gibase sa pribado ug sa ibabaw sa mga yunit kon kini katumbas ngadto sa kinatibuk-. Nga mao, sa bisan unsa nga kaso, ang usa ka pamaagi: gikan sa kinatibuk-ang ngadto sa piho nga. Pangagpas nga pangatarungan mao ang gitawag nga deductio - "pagtangtang" (sa kinatibuk-ang mga lagda sa imbestigasyon nagalihok sa partikular nga kaso). Trabaho sa lohikal deduction sa bisan unsa nga paghukom unyon: ang usa ka categorical syllogism, panagbulag-categorical ug conditional panagbulag. Ang tanan kanila nakadawat ug usa ka pangagpas nga paagi.

Deduction magsugod sa pagtuon sa mga labing komon nga porma, ug kini nga categorical syllogism - syllogism, nga gihubad gikan sa Grego nagpasabot "soschityvanie". Ania nagsugod ang buhat pagtuki sa mga argumento nga gihimo sa mga paghukom ug mga konsepto.

Pagtuki sa mga yano nga mga gambalay

Ang pagtuon sa complex igpaila mga gambalay sa kanunay magsugod uban sa mga labing nag-unang mga elemento. Ang tanan nga sa tawo nga pangatarungan sa adlaw-adlaw nga kinabuhi o sa usa ka propesyonal nga palibot - sa sama nga pangatarungan, bisan ingon nga sa daghan taas nga kadena sa pangatarungan - ang tanan derives bag-o nga kahibalo gikan sa kasamtangan nga.

Environment - sa kinaiyahan - kini naghatag sa katawhan sa usa ka gamay nga labaw pa kay sa mga mananap, apan sa niini nga basehan mitubo sa usa ka maanindot nga dako nga building, diin ang usa ka tawo makakat-on ug luna, ug mga partikulo sa elementarya, ug ang hatag-as nga-edukasyon, ug ang mga kahiladman sa mga dolang dagat, ug nangawala pinulongan ug karaang sibilisasyon . Walay bisan kinsa sa sa kasamtangan nga kahibalo dili unta makuha kon katawhan wala gihatag ang abilidad sa pagtukod sa usa ka konklusyon.

Mga panig-ingnan Oh pagkuha

Sa pagkuha sa mga leksyon gikan sa mga umaabot nga impormasyon - dili mao ang bug-os nga hunahuna sa bug-os nga, apan walay tawo niini nga wala magpuyo sa usa ka adlaw. Ang labing importante nga aspeto sa hunahuna sa tawo - ang abilidad sa pagsabut kon unsa ang pangatarongan ug ang abilidad sa pagtukod niini. Bisan ang labing nag-unang mga butang katingalahan ug mga butang nagkinahanglan paggamit sa hunahuna: mga haya sa, tan-awa sa thermometer sa gawas sa bintana, ug kon kini ang mercury nagatulo sa -30, sinina sumala niana. Kini daw nga sa pagbuhat sa atong kini nga walay paghunahuna. Apan, ang bugtong impormasyon nga nagpakita - niini nga temperatura. Ang konklusyon mao nga kini kaging, bisan kamahinungdanon kini mao ang walay bisan unsa nga labaw pa kay sa usa ka thermometer wala nakumpirmahan. Tingali dili kita mahimong bugnaw sa usa ka ting-init sarafan? Diin kahibalo? Natural, ingon nga usa ka kadena sa mental nga paningkamot ang gikinahanglan. Ug dugang luna usab. Kini mao ang sa diha-diha nga mga konklusyon. Smart nga mga tawo mahimong adunay usa ka maximum nga impormasyon gikan sa minimum nga kahibalo ug magpaabut sa kahimtang uban sa tanan nga sa mga sangputanan sa ilang mga lihok. Ang usa ka maayo nga panig-ingnan sa - Sherlock Holmes ug sa iyang matinud-anon nga Watson. Syllogism gilangkuban sa duha o labaw pa nga mga pakete ug usab kategorya base sa kinaiya sa mga components sa paghukom. Adunay mga yano ug komplikado, ug slozhnosokraschonnye pinamubo syllogisms.

Ang diha-diha nga inference

Ingon sa gipakita sa ibabaw, ang diha-diha nga inference - sa usa ka konklusyon nga mahimong makuha gikan sa usa ka luna. Pinaagi sa pagkakabig pagtambal, ang pagsupak gibuhat sa katarungan sa pangatarongan. Ang kausaban - kausaban sa kalidad nga luna nga dili sa pag-usab sa gidaghanon. Paghukom sa inubanan balihon, ug ang pamahayag (predicate) - ang ideya sa bug-os nga sukwahi konklusyon. mga panig-ingnan:

• Ang tanan nga mga lobo - manunukob (universal positibong paghukom). Walay bisan kinsa sa mga lobo dili nehischnikom (universal negatibo nga paghukom).
• Walay usa sa mga polyhedra dili patag (universal negatibo nga paghukom). Ang tanan nga dili-planar polyhedra (universal positibong paghukom).
• Ang ubang mga uhong ang mga makaon (sa kanunay nga paghukom). Ang ubang mga uhong mao ang inedible (chastnootritsatelnoe sa paghukom).
• Bahin sa mga krimen mao ang mga dili tinuyo (chastnootritsatelnoe sa paghukom). Bahin tinuyong paglapas (sa kanunay nga paghukom).

Ang hangyo usab-usab sa mga dapit nga subject ug predicate sa bug-os nga subordination sa pagmando sa-apod-apod termino sa paghukom. Handling putli (yano nga) ug limitado.

Sa pagsupak - direkta nga inference, diin ang mga hilisgutan mahimong sa predicate, ug sa iyang dapit ang nakuha sa konsepto, bug-os nga sukwahi sa orihinal nga paghukom. Busa, ang Bundle ang gibali. Kita hunahunaa ang pagsupak ingon sa usa ka resulta sa human-pagtambal ug kausaban.

Inference sa katarungan - sa sama nga matang sa diha-diha nga deduction diin ang mga findings gibase sa makatarunganon square.

categorical syllogism

Categorical pangagpas nga pangatarungan - kini mao ang, diin ang duha ka tinuod nga mga paghukom kinahanglan nga gitapos. Ang mga konsepto nga mao ang usa ka bahin sa syllogism, gitawag. Yano categorical syllogism adunay tulo ka mga termino:

• mopirma sa predicate (P) - ang mayor nga termino;
• sa pagsulod ngadto sa usa ka hilisgutan (S) - menor de edad nga termino;
• ligament luna P ug sa H, mao ang wala diha kaninyo sa bilanggoan (M) - sa tunga-tunga nga termino.

Porma sa syllogism, nga lahi sa sa tunga-tunga nga termino (M) diha sa mga pasikaran, nga gitawag sa mga numero diha sa mga categorical syllogism. Adunay upat ka sa maong mga bahin, ang matag usa uban sa iyang kaugalingon nga mga lagda.

• Figure 1: Kinatibuk-ang mayor nga pailaila, dili kaayo positibo;
• Figure 2: total mayor nga pailaila, dili kaayo negatibo nga;
• Figure 3: ang menor de edad nga positibong, ang quotient konklusyon;
• Figure 4: Sa katapusan, walay universal positibo nga paghukom.

Ang matag numero mahimong pipila ka mga paagi (kini mao ang lain-laing mga syllogisms sa qualitative ug quantitative kinaiya sa mga pasikaran ug mga konklusyon). Ingon sa usa ka resulta, ang mga larawan sa mga syllogism mga napulo ug siyam husto paagi, ang matag usa sa nga gi-assign sa iyang kaugalingon nga ngalan sa Latin.

Yano categorical syllogism: kinatibuk-ang mga lagda

Sa pagtapos sa usa ka syllogism pagkuha sa mga kamatuoran, kamo kinahanglan nga mogamit sa sa mga tinuod nga pailaila, sa pagpasidungog sa mga lagda sa mga numero ug ang mga yano nga categorical syllogism. inference mga pamaagi nagkinahanglan sa pagsunod sa mga mosunod nga mga lagda:

• Likayi quadrupling sa mga termino, kinahanglan nga tulo lamang ka. Kay sa panig-ingnan, ang kalihukan (M) - sa walay katapusan (P); moadto sa University sa (S) - ang motion (M); konklusyon mao ang bakak: moadto sa unibersidad sa walay katapusan. Medium nga termino dinhi upotreblon sa lain-laing mga paagi: sa usa ka - sa pilosopiya ug sa uban nga mga - ang matag-adlaw nga.
• Medium nga termino kinahanglan apod-apod sa labing menos usa sa mga luna. Pananglitan, ang tanan nga mga isda (P) makahimo sa float (M); ang akong igsoon nga babaye (S) paglangoy (M); ang akong igsoon nga babaye - sa usa ka isda. Bakak nga konklusyon.
• Ang termino-apod-apod lamang human sa kataposan sa-apod-apod sa luna. Pananglitan, diha sa tanan nga mga polar ciudad - sa White Gabii; St. Petersburg - dili polar ciudad; sa St. Petersburg, walay mga puti nga gabii. Ang katapusan mao ang bakak nga mga. Term konklusyon naglangkob labaw pa kay sa pagpadala sa mas dako nga ang termino nga gihatag.

Adunay mga lagda alang sa paggamit sa mga pasikaran, nga nagkinahanglan sa usa ka matang sa pangatarungan, sila, usab, kinahanglan nga obserbahan.

• Duha ka negatibo nga output pakete dili mohatag. Pananglitan, mga balyena - dili mangisda; Pike - dili balyena. Busa unsa?
• Sa diha nga ang usa ka negatibo nga pailaila kinahanglan nga usa ka negatibo nga opinyon.
• Sa duha ka mga pribado nga luna dili gitapos.
• Sa diha nga ang usa ka bahin sa mga pribado nga mandatory pribado nga opinyon.

conditional pangatarungan

Sa diha nga ang duha packages - conditional paghukom nga nakuha lang sa conditional syllogism. Pananglitan, kon ang usa ka, unya B; kon B, nan B; Kon ang usa ka, unya B. gihunahuna: kon ikaw makadugang sa duha ka mga numero talagsaon, nan ang igo nga gidaghanon sa mga bisan kabubut; kon ang kantidad mao ang bisan pa, kini mahimong bahinon ngadto sa duha ka wala salin; sa ingon, kon ang duha gipilo katingalahan nga gidaghanon, kini mao ang posible nga aron sa pagbahin sa kantidad nga walay nahabilin. adunay usa ka pormula alang niining relasyon sa paghukom: ang usa ka sangputanan sa mga imbestigasyon - sa usa ka sangputanan sa mga base.

Conditional categorical syllogism

Unsa ang inference kondisyonal categorical? Conditional paghukom mao ang unang pailaila, ug sa ikaduha nga pailaila ug konklusyon - categorical paghukom. Modus dinhi mahimo nagpamatuod o nanghimakak. Sa diha nga ang pag-uyon sa paagi kon ang ikaduha nga pailaila nagpatuo sangputanan sa una, ang output kabubut posibleng lamang. Sa diha nga ang paagi sa mga negatibo, kon ang baseng gilimod conditional pailaila, sa konklusyon usab nga nakuha posibleng lamang. Kini mao ang conditional inference.

mga panig-ingnan:

• Wala kamo mahibalo - nga hilom. Hilom - tingali wala masayud (kon sa usa ka, unya B, kon B, nan tingali A).
• Kon kini ulan ug niyebe, tingtugnaw miabut. Winter miabut - tingali ulan ug niyebe.
• Kon sunny, mga kahoy sa paghatag og landong. Mga kahoy nga dili mohatag og landong - dili sunny.

pagbulag syllogism

Nangatarongan nga gitawag syllogism pagkabinulag, kon ang usa ka sakop sa kaayo pagbahin pakete, ug ang output usab nga nakuha sa usa ka panagbulag sa paghukom. Mao nga ang gidaghanon sa mga alternatibo nagdugang.

Bisan mas importante mao ang panagbulag-categorical syllogism diin usa ka pailaila moadto sa usa ka panagbulag sa paghukom, ug ang ikaduha - lang hingpit. Ania ang duha ka mga paagi: utverzhdayusche-negatibo ug balihon, aprobar.

• Ang pasyente bisan sa buhi o patay (ABC); pasyente samtang buhi (ab); pasyente namatay (ac). Sa kini nga kaso, ang usa ka hingpit nga paghukom nanghimakak alternatibo.
• Paglapas - kini mao ang usa ka misdemeanor o sa usa ka krimen; sa niini nga kaso - dili usa ka krimen; Kini nagpasabot - sa usa ka misdemeanor.

kondisyon pagbahin

Ang konsepto sa inference naglakip sa kondisyon panagbulag mga matang sa nga sa usa ka posting - duha o labaw pa nga conditional mga pahayag, ug ang ikaduha - pagbulag sa paghukom. Kay kon dili kini gitawag nga usa ka lemma. Lemma buluhaton - sa usa ka pagpili sa pipila ka mga solusyon.

Alternatibo shares kondisyon pagbahin konklusyon sa mga problema ug sa polilemmy trilemma. Gidaghanon sa mga kapilian (disjunction - ang paggamit sa "o") positibong paghukom - mapuslanong lemma. Kon ang disjunction sa negations - lemma makadaot. Kon sa conditional package naghatag sa usa ka resulta - sa usa ka yano nga lemma, kon lain-laing mga sangputanan - lemma complex. Kini makita, sumala sa laraw sa pagtukod sa mga konklusyon.

Pananglitan sa maong nga mahitungod sa:

• Yano constructive lemma: ab + CB + dB = b; sa usa ka + c + d = b. Kon ang anak nga lalake moadto sa pagbisita sa (mga) himoon sa mga leksyon sa ulahi (b); kon ang anak nga lalake moadto sa mga pelikula (c), sa wala pa kini sa paghimo sa mga leksyon (b); kon ang anak nga lalake nga magpabilin sa balay (d), ang sa pagbuhat sa ilang homework (b). Anak nga moadto sa pagbisita o sa usa ka movie, o magpabilin sa balay. Ang mga leksyon nga iyang nagabuhat gihapon.
• Usa ka komplikado nga constructive: ang usa ka + b; c + d. Kon ang gahum sa napanunod (sa usa ka), sa Estado mataas nga awtoridad (b); kon ang election sa gobyerno (c), ang estado - ang republika (d). Ang gahum sa mao transmitted pinaagi sa panulondon o napili. State - sa usa ka monarkiya o sa usa ka republika.

Nganong kita inference, paghukom, konsepto

Konklusyon dili mabuhi pinaagi sa ilang mga kaugalingon. Ang mga eksperimento wala gihimo blindly. Sila lamang sa paghimo sa pagbati sa inubanan. Plus kalangkuban sa theoretical analysis, nga pinaagi sa pagtandi, mga pagtandi ug ang pangkabilugan nga makapasuod konklusyon. Ug dad-on nga pangatarungan pinaagi sa analohiya dili lamang direkta nakasabut, apan nga ang "mobati" imposible. Unsa nga paagi nga direkta naila sa mga proseso sama sa sa pagporma sa mga bitoon, ug sa ebolusyon sa kinabuhi sa planeta? Diin kamo kinahanglan nga sa maong usa ka hunahuna game sama sa abstract panghunahuna.

ideya

Abstract panghunahuna adunay tulo ka nag-unang mga porma: konsepto, mga paghukom ug pagsabot. konsepto sa nagpakita sa labing komon, importante, gikinahanglan ug mahukmanon kabtangan. Sa kini adunay mga sa tanan nga mga ilhanan sa kamatuoran, apan kamatuoran usahay walay katin-awan.

Sa diha nga ang nag-umol sa mga konsepto, rason dili daghan sa usa ka tawo o sa mga menor de edad nga mga aksidente sa mga simtoma, kini sumadahon ang tanan nga mga panglantaw ug mga ideya sa usa ka pagdugang sa gidaghanon sa mga susama nga mga butang sa homogeneity ug mikolekta sa tanan niining tiunay ug piho nga.

Konsepto - mao ang usa ka generalization sa data sa usa ka partikular nga kasinatian. Ang research play sila sa usa ka mayor nga papel. Paagi sa pagtuon sa bisan unsa nga hilisgutan mao ang dugay: gikan sa yano nga sa mga komplikado ug taphaw ug lawom nga. Ingon sa dugang nga nakakat-on mahitungod sa mga tagsa-tagsa nga mga kabtangan sa mga butang ug sa mga bahin makita ug mga tulomanon mahitungod kaniya.

paghukom

Uban sa nagkalalom sa kahibalo ug refinement sa mga konsepto, ug adunay mga paghukom mahitungod sa mga butang sa tumong nga kalibutan. Kini mao ang usa sa mga nag-unang matang sa panghunahuna. Mga paghukom nagpakita sa tumong nga relasyon sa mga butang ug mga panghitabo, ang ilang sulod nga sulod ug sa tanan nga mga balaod sa kalamboan. Sa bisan unsa nga balaod ug sa bisan unsa nga probisyon sa tumong nga kalibutan mahimong sa gipahayag sa usa ka paghukom. Kini pasundayag sa usa ka espesyal nga papel sa sa kataposan sa proseso sa katarungan.

Ang panghitabo sa pangatarungan

Usa ka espesyal nga buhat sa hunahuna, diin ang mga prerequisites mahimong makuha sa usa ka bag-o nga proposisyon mahitungod sa mga panghitabo ug sa mga butang - kinaiyanhon sa tawhanong kapasidad alang sa pangatarungan. Kon wala kini nga abilidad, nga kini imposible nga masayud sa kalibutan. Kay sa usa ka hataas nga panahon nga kini imposible sa pagtan-aw sa kalibutan gikan sa gawas, apan unya ang mga tawo nakahimo sa moabut sa konklusyon nga ang atong Yuta mao ang round. Mitabang husto nga komunikasyon sa matuod nga paghukom: malingin butang gisalikway landong sa porma sa usa ka lingin; Yuta Moon nagpahamtang sa round landong sa panahon sa eklipse; Ang Yuta mao ang usa ka dapit. Nangatarongan pinaagi sa analohiya!

Ang kahusto sa pangatarungan nag-agad sa duha ka mga kondisyon: pagpadala, nga ang konklusyon gibase, kinahanglan nga tinuod; pakete komunikasyon kinahanglan tagdon sa lohika, nga nagtuon sa tanan nga mga balaod ug mga porma sa pagtukod og mga sugyot sa pangatarungan.

Busa, ang konsepto, paghukom ug pangatarungan ingon nga ang mga nag-unang dagway sa abstract panghunahuna motugot sa usa ka tawo nga masayud sa mga tumong nga kalibutan, nagpadayag sa labing importante, ang labing mahinungdanon nga bahin, ang mga balaod sa kamatuoran ug sa komunikasyon.