Ihe Nlereanya nke inference. Gịnị bụ nkwubi okwu? The ozugbo inference

Gịnị bụ nkwubi okwu? Nke a bụ a ofu ụdị echiche na naanị ikike nkwubi okwu. The kpọmkwem nke a: na usoro nke na-amụta na ọ bụ doo anya na boro, tụrụ aro site àmà na-egosi, ọ bụghị ha niile bụ eziokwu, ma naanị otu onye na-akụkụ nke ha.

Iji guzosie ike zuru eziokwu a na-emekarị rụrụ a ọma nchoputa: n'ụzọ doro anya kọwaa okwu ịkọ ibe ama guzosie eziokwu, dosobrat mkpa eziokwu ime ka nwere iji nwalee niile n'out oge aa na ntule na-eme ka ikpeazụ N'ihi. Ebe ọ bụ - a mmechi.

Na mgbagha, a ụdị echiche adịghị anya dị iche iche: nke ezi ikpe - otu ma ọ bụ karịa - mgbe n'ihe banyere iwu ụfọdụ na-erite na-esonụ N'ihi a nwetara, a ọhụrụ uru, nke ndị a kpọmkwem site bu ụzọ.

Ọdịdị

Ya mere, ihe bụ nkwubi okwu, na ihe ọ mejupụtara? Of ikpe (ngwugwu), ịtụ mkpọrọ (ọhụrụ ikpe) na ezi uche njikọ n'etiti ikpe na ikpe. Logic iwu site nke a ọgwụgwụ na-egosi na-egosi ezi uche njikọ. Na ọzọ okwu, ihe inference (ọ bụla) mejupụtara a dị mfe ma ọ bụ mgbagwoju ikpe ndị a na-akwadebe obi ọhụrụ ọmụma. Ndị a ikpe, ma ọ bụrụ na hụrụ na-ezi na-enwe ike inye mụrụ ọhụrụ, generalizing, a na-akpọ YU nkwubi okwu.

Ikpe na-enwetara site na nhazi nke ngwugwu ebe ọrụ ụzọ inferences, a na-akpọ ọnụ (ma ọ bụ dị ka nke ọma dị ka ọgwụgwụ, ma ọ bụ ihe ezi uche na ya pụta). Ka ahụ, olee otú a ikpé na inferences. Mmezu Iwu mgbagha akọwaputa iwu iji hụ na ezi ọgwụgwụ. Olee ghọtara echiche? Ihe Nlereanya enye ọtụtụ ngwugwu.

• Egwú-amụrụ Natalia na-arụ na piano ebube.
• Elizabeth n'afọ nke abụọ na-ekere òkè asọmpi nke piano ensembles na duo na Natalia.
• Mmechi: Elizabeth ọma na-amụ n'ụlọ akwụkwọ egwú.

Ka ihe atụ, i nwere ike mfe ịghọta na ndị dị otú a mmechi, na ihe bụ nke ya mmekọrịta premise (ikpe). Ndị isi ihe na ngwugwu bụ eziokwu, ọ bụghị iji nweta a ụgha ọgwụgwụ. Ọzọ ọnọdụ: na mmekọrịta dị n'etiti ikpe ga-ezi uche ziri ezi wuru, na-eji nwayọọ nwayọọ na n'ụzọ ziri ezi na-ewu a ụzọ n'ihu - si ogige ka ọgwụgwụ.

Atọ ubiere iche iche

Nkewa n'ime iche iche a na-mere mgbe nkwenye nke ogo commonality nke ikpe.

• Deductive echiche, ebe echiche Nkea si n'ozuzu ya akpan akpan, si nnukwu na obere.
• Inductive ebe echiche na-abịa site na ihe ọmụma nke onye ọzọ, na-amụba ruo n'ókè nke generality.
• Reasoning site ntụnyere, ebe premise na nke mmechi nwere ihe ọmụma nke otu ogo generality.

The ìgwè mbụ nke echiche dabeere na onwe na na unit ma ọ bụrụ na ọ na-apụta na ngụkọta. Nke ahụ bụ, ihe ọ bụla ikpe, otu usoro: si izugbe na kpọmkwem. Deductive echiche a na-akpọ deductio - "mwepụ" (izugbe iwu nke nchoputa Nkea ka akpan akpan idaha). Na-arụ ọrụ na ezi uche nsiputa nke ọ bụla ikpe ịlụ: a categorical syllogism, nkewa-categorical na ageme nkewa. All nke ha natara a deductive ụzọ.

Nsiputa amalite ịmụ ihe na ihe ndị kasị ụdị, na a categorical syllogism - syllogism, nke si n'asụsụ Grik sụgharịa pụtara "soschityvanie". Ebe a na-amalite na-arụ ọrụ analysis of arụmụka na-mere nke ikpe na echiche.

Analysis nke dị mfe owuwu

The ọmụmụ nke mgbagwoju cognitive owuwu mgbe niile na-amalite na ihe ndị kasị mkpa ọcha. All echiche mmadụ na-adị kwa ụbọchị ndụ ma ọ bụ na a ọkachamara na gburugburu ebe obibi - otu echiche, ọbụna dị ka ọtụtụ ogologo n'agbụ nke echiche - onye ọ bụla na-erite ọhụrụ ihe ọmụma si na ẹdude.

Environment - ọdịdị - ya nyere ụmụ mmadụ a obere ihe karịa ụmụ anụmanụ, ma na nke a na-eto a ebube colossal ụlọ, ebe a onye na-amụta na ohere, na elementrị ahụ, na elu-akụziri, na ala oké osimiri efere, na nwuchapu asụsụ na Mmepeanya Oge Ochie . Ọ dịghị onye n'ime ndị na-achị ihe ọmụma na-agaghị nwetara ma ọ bụrụ na mmadụ na-e nyere ikike na-ewu a mmechi.

Ihe Nlereanya O mmịpụta

Iji wepụ ihe si na-abata ozi - bụghị dum na uche na zuru, ma na-enweghị onye a na-adịghị ndụ a ụbọchị. The kasị mkpa akụkụ nke ihe mmadụ bu n'uche - ikike ịghọta ihe echiche na ikike na-ewu ya. Ọbụna ndị kasị mkpa phenomena na akpọkwa achọ ngwa nke n'uche: Tetanụ, anya na temometa n'èzí window, na ọ bụrụ na ọ na-mercury ama esịn -30, uwe ya. Ọ ga-adị ka anyị na-eme ya na-enweghị-eche echiche. Otú ọ dị, nanị ọmụma na pụtara - a okpomọkụ. Ọgwụgwụ bụ na ọ oyi, ọ bụ ezie na budata ya bụ ihe ọ bụla ọzọ karịa a temometa bụghị e enen. Ma eleghị anya, anyị na-agaghị oyi na a n'oge okpomọkụ sarafan? Ebe ihe ọmụma? Kwesịrị ịdị, dị otú ahụ a yinye echiche a chọrọ mgbalị. Na ndị ọzọ ngwugwu kwa. Ndị a bụ ndị ozugbo nkwubi okwu. Smart ndị mmadụ nwere ike a kacha nke ozi site na nke kacha nta nke ihe ọmụma na-atụ anya ọnọdụ na niile na-esi nke omume ha. A ezi ihe nlereanya nke - Sherlock Holmes na ya kwesịrị ntụkwasị obi Watson. Syllogism emi esịnede abụọ ma ọ bụ karịa ngwugwu na-categorized dabeere na ọdịdị nke mmiri nke na-ekpe ikpe. E nwere mfe ma dị mgbagwoju, na slozhnosokraschonnye abbreviated syllogisms.

The ozugbo inference

Dị ka e gosiri n'elu, ozugbo inference - a ọgwụgwụ nke na ike ga-ewepụtara otu ngwugwu. Site akakabarede ọgwụgwọ ahụ, mmegide kere site mgbagha ụka. Mgbanwe - mgbanwe nke àgwà ngwugwu enweghị agbanwe nọmba. Ikpe na njikọ nwesịrị, na okwu (predicate) - echiche nke kpamkpam Kama ọgwụgwụ. ihe atụ:

• All ndị wolves - n'Ike (eluigwe na ala kemkwenye ikpe). Ọ dịghị onye nke anụ ọhịa wolf bụghị nehischnikom (eluigwe na ala na-adịghị mma ikpe).
• Ọ dịghị onye nke polyhedra bụghị ewepụghị (eluigwe na ala na-adịghị mma ikpe). All na-abụghị planar polyhedra (eluigwe na ala kemkwenye ikpe).
• Ụfọdụ mushrooms bụ oriri (na mgbe ikpe). Ụfọdụ mushrooms bụ inedible (chastnootritsatelnoe ikpe).
• Part nke mpụ na-adịghị kpachaara anya (chastnootritsatelnoe ikpe). Nwere obere elezighị iwe (na mgbe ikpe).

Mkpegharị-agbanwe ebe isiokwu na predicate na zuru irubere ka ụkpụrụ na-ekesa okwu nke ikpe. Njikwa dị ọcha (mfe) na ole.

Mmegide - kpọmkwem inference, ebe isiokwu na-aghọ ndị predicate, na ya ebe e site echiche, nnọọ iche mbụ ikpe. N'ihi ya, ukwuu nwesịrị. Anyị nwere ike tụlee mmegide dị ka a n'ihi nke mgbe-ọgwụgwọ na mgbanwe.

Inference na mgbagha - otu ụdị ozugbo nsiputa ebe Nchoputa dabeere na ezi uche square.

categorical syllogism

Categorical deductive echiche - ọ bụ, ebe abụọ ezi ikpe a ga-kwubiri. The echiche na ndị a akụkụ nke syllogism, kpọrọ. Simple categorical syllogism nwere atọ okwu:

• banye predicate (P) - isi okwu;
• ịbanye a isiokwu (S) - obere okwu;
• ọgọdọ ngwugwu P na S, anọghị n'ụlọ mkpọrọ (M) - n'etiti okwu.

Ụdị syllogism, nke dị iche na n'etiti okwu (M) ke ogige, na-akpọ ọnụ ọgụgụ na categorical syllogism. E nwere ihe anọ dị otú ahụ iberibe, onye ọ bụla na ya iwu.

• Ọgụgụ 1: General isi premise, obere kemkwenye;
• Ọgụgụ 2: ngụkọta isi premise, obere ọjọọ;
• Ọgụgụ 3: obere kemkwenye, na quotient ọgwụgwụ;
• Ọgụgụ 4: N'ikpeazụ, ọ dịghị eluigwe na ala kemkwenye ikpe.

Onye ọ bụla na ọnụ ọgụgụ ike ọtụtụ ụdịdị (a bụ dị iche iche syllogisms na qualitative na quantitative e ji mara nke ogige na ubiere). N'ihi ya, ọnụ ọgụgụ nke syllogism bụ iri na iteghete na ziri ezi ụdịdị, ọ bụla nke na-kenyere ya Latin aha.

Simple categorical syllogism: General iwu

Ikwubi na a syllogism nweta eziokwu, i kwesịrị iji ezi premise, na-asọpụrụ iwu nke ọnụ ọgụgụ na mfe categorical syllogism. inference ụzọ achọ nnabata ya na ụkpụrụ ndị a:

• Zere quadrupling nke okwu, e kwesịrị ịbụ naanị atọ. Ka ihe atụ, ije (M) - ruo mgbe ebighị ebi (P); na-aga University of (S) - ukporo (M); ọgwụgwụ bụ ụgha: aga mahadum ruo mgbe ebighị ebi. Ọkara okwu ebe a upotreblon ụzọ dị iche iche: onye na - na nkà ihe ọmụma na ndị ọzọ na - na-adị kwa ụbọchị.
• Ọkara okwu bụchaghị ekesa dịkarịa ala otu n'ime ngwugwu. Ka ihe atụ, ihe niile azụ (P) ike ise n'elu (M); nwanne m nwaanyị (S) igwu mmiri (M); nwanne m nwaanyị - a azụ. Ụgha ọgwụgwụ.
• Okwu a na-ekesa na mgbe ọgwụgwụ nke nkesa na ngwugwu. Ihe atụ, na niile pola obodo - White ehihie na abalị; St. Petersburg - bụghị pola n'obodo; na St. Petersburg, e nwere ndị mba na-acha ọcha, ehihie na abalị. Ọgwụgwụ bụ ụgha. Okwu mmechi nwere karịa eziga ibu okwu akp.

E nwere iwu maka ojiji nke ogige, nke na-achọ a ụdị echiche, ha, kwa, ga-hụrụ.

• Abụọ na-adịghị mma mmepụta ngwugwu adịghị enye. Ka ihe atụ, whales - bụghị azụ; Pike - bụghị whales. Ya mere, ihe?
• Mgbe a na-adịghị mma premise bụchaghị a na-ezighị ezi uche.
• Nke abụọ onwe ngwugwu ike-kwubiri.
• Mgbe otu iberibe onwe amanyere bụ iwu onwe echiche.

nhazi echiche

Mgbe ma nchịkọta - nhazi ikpe nwetara kpere nhazi syllogism. Ka ihe atụ, ọ bụrụ na A, mgbe B; ma ọ bụrụ na B, mgbe ahụ, B; Ọ bụrụ na A, mgbe B. mmuo: ma ọ bụrụ na ị na tinye abụọ nọmba iberibe, mgbe nchikota nke ọbụna uche; ma ọ bụrụ na ego bụ ọbụna, ọ nwere ike kewara abụọ dịghị fọduru; mmọdo, ma ọ bụrụ na abụọ apịaji iberibe nọmba, ọ bụ ike ya kee ihe nchikota enweghị fọduru. e nwere a usoro maka mmekọrịta a nke ikpe: a N'ihi ya nke nchoputa - a pụta nke isi.

Nhazi categorical syllogism

Gịnị bụ inference nhazi categorical? Nhazi ikpe bụ nke mbụ premise, na nke abụọ premise na ọgwụgwụ - categorical ikpe. Modus ebe a nwere ike ibu ma sie ma ọ bụ agọnahụ. Mgbe akwado ndị mode ma ọ bụrụ na nke abụọ premise ekwu pụta nke mbụ, na mmepụta ga naanị puru omume. Mgbe mode nke na-adịghị mma, ma ọ bụrụ na ndị isi na-agọ nhazi premise, ọgwụgwụ na-nwetara naanị puru omume. Ndị a bụ ọnọdụ inference.

ihe atụ:

• Ị maghị --agba nkịtị. Silent - eleghị anya na-amaghị (ma ọ bụrụ na A, mgbe B, ma ọ bụrụ na B, mgbe ahụ, eleghị anya A).
• Ọ bụrụ na ọ na-snowing, oyi bịara. Winter bịara - eleghị anya snowing.
• Ọ bụrụ na anwụ na-acha, osisi na-enye ndo. Osisi anaghị enye ndo - bụghị anwụ na-acha.

kewara syllogism

Reasoning akpọ syllogism nkewa, ma ọ bụrụ na a so na-ukwuu nkerisi ngwugwu, na mmepụta a na-enwetara a nkewa ikpe. N'ihi ya, ọnụ ọgụgụ nke ndị ọzọ enwekwu.

Ọbụna nke ka mkpa bụ nkewa-categorical syllogism nke otu onye premise aga a nkewa ikpe, na nke abụọ - ka kpamkpam. Ebe abụọ ụdịdị: utverzhdayusche-adịghị mma na negating, akwado.

• Onye ọrịa ma ndụ ma ọ bụ nwụrụ anwụ (Abc); ndidi ka na ndu (ab); ndidi nwụrụ (Ọrụ). Na nke a, a definitive ikpe gọrọ ọzọ.
• Iwe - ọ bụ a misdemeanor ma ọ bụ a mpụ; na nke a - bụghị a mpụ; Ọ pụtara na - a misdemeanor.

dabere nkerisi

Echiche nke inference agụnye dabere nkewa forms nke otu onye ikenye - abụọ ma ọ bụ karịa nhazi okwu, na nke abụọ - kewara ikpe. Ma ọ bụghị na ọ na-akpọ a lemma. Lemma ọrụ - a oke nke ọtụtụ ngwọta.

Alternatives mbak dabere nkerisi ubiere na nsogbu na polilemmy trilemma. Number nke nhọrọ (disjunction - iji "ma ọ bụ") kemkwenye ikpe - constructive lemma. Ọ bụrụ na ndị disjunction nke negations - lemma ebibi. Ọ bụrụ na ndị nhazi ngwugwu enye otu ihe - a dị mfe lemma, ma ọ bụrụ na dị iche iche na ya pụta - lemma mgbagwoju. Nke a nwere ike hụrụ, dị ka atụmatụ ndibọp nkwubi okwu.

Ihe Nlereanya nke ndị dị otú ahụ ga-abụ ihe:

• Simple constructive lemma: ab + CB + dB = b; a + c + d = b. Ọ bụrụ na nwa na-aga ileta (s) ga-eme ka ihe e mesịrị (b); ma ọ bụrụ na nwa ga-aga movies (c), tupu ọ ga-eme ka ihe (b); ma ọ bụrụ na nwa ga-anọ n'ụlọ (d), ga-eme ha rụọ n'ụlọ (b). Nwa na-aga ileta ma ọ bụ a nkiri, ma ọ bụ nọrọ n'ụlọ. Ihe ndị ọ ka na-eme.
• A mgbagwoju constructive: a + b; c + d. Ọ bụrụ na ike nke butere n'aka (a), na State monarchical (b); ma ọ bụrụ na ndị ọchịchị ntuli aka (c), na na ala - Republic (d). The ike na-ebute site ná site nketa ma ọ bụ hoputara. State - a onyeeze ma ọ bụ a Republic.

Gịnị mere anyị inference, ikpe, echiche

Mkpebi adịghị ebi ndụ site na ha. The nwere e duziri blindly. Ha na-eme ka uche na njikọ. Plus njikọ na usoro iwu analysis, nke site tụnyere, atụnyere na generalizations nwere ike iru nkwubi okwu. Na-eme ka echiche site ntụnyere nwere ike ọ bụghị naanị na-aghọta, ma na "na-eche" agaghị ekwe omume. Olee otú nwere ike na-aghọta na Filiks dị ka guzobe nke kpakpando na mmalite nke ndụ na mbara ala? Ebe ị chọrọ ndị dị otú ahụ a na uche egwuregwu dị ka nkịtị echiche.

echiche

Ichebara ihe echiche na nwere atọ bụ isi iche: echiche, ikpe na inferences. The echiche na-egosipụta ihe ndị kasị, mkpa, dị mkpa na bụrụkwa Njirimara. Na ya na e nwere ihe ịrịba ama niile nke eziokwu, ma eziokwu mgbe ụfọdụ kọrọ doo anya.

Mgbe a kpụrụ echiche, ihe mere anaghị ukwuu nke otu onye ma ọ nke obere ihe mberede na ihe mgbaàmà, ọ achikota niile echiche na echiche nke ihe ọtụtụ yiri ihe nke homogeneity na-anakọta a niile pụta ụwa na kpọmkwem.

Concepts - bụ a generalization of data nke a akpan akpan ahụmahụ. The nnyocha ha na-egwu a isi ọrụ. Way of amụ ọ bụla isiokwu bụ ogologo: si dị mfe na mgbagwoju na elu elu na nke miri emi. Dị ka ndị ọzọ na-mụtara banyere onye ahụ Njirimara nke ihe ahụ na atụmatụ egosi na ikpé banyere ya.

ikpe

Na anyịnwa ịhụkwu nke ihe ọmụma na ukpụhọde nke echiche, na e nwere ndị ikpe banyere ihe nke ebumnobi ụwa. Nke a bụ otu n'ime ndị isi iche nke echiche. Ikpe na-egosi na ebumnobi mmekọahụ nke akpọkwa na phenomena, ha n'ime ọdịnaya na ihe nile iwu mmepe. Ọ bụla iwu na ihe ọ bụla ndokwa na ebumnobi ụwa nwere ike kwupụtara na a ụfọdụ ikpe. Ọ na-arụ ọrụ pụrụ iche ná ngwụsị nke usoro mgbagha.

Onu nke echiche

A pụrụ iche omume nke echiche, ebe prerequisites nwere ike ewepụtara a ọhụrụ uru banyere ihe na ihe - pụta ụwa ka ụmụ mmadụ ike maka echiche. Enweghị ikike a, ọ ga-ekwe omume mara ụwa. N'ihi na a ogologo oge ọ gaghị ekwe omume ịhụ ụwa si n'èzí, ma mgbe ahụ, ndị mmadụ na-enwe ike ikpebi na anyị Earth gburugburu. Nyeere ziri ezi nkwurịta okwu nke ezi ikpe: * Tụkwasị ihe igba onyinyo ke udi nke a gburugburu; Earth Ọnwa eweta gburugburu onyinyo n'oge eclipses; The Earth bụ a okirikiri. Reasoning site ntụnyere!

The correctness nke echiche na-adabere abụọ ọnọdụ: eziga, site na nke ọgwụgwụ dabeere, ga-ezi; ngwugwu nkwurịta okwu ga-ewere echiche na mgbagha, nke na-amụ ihe nile iwu na iche-iche nke ewu kwekọọ na echiche.

N'ihi ya, echiche, ikpe na uche dika isi ụdị nkịtị echiche ekwe a onye mara ihe ụwa, na-ekpughe ihe ndị kasị mkpa, ihe ndị kasị mkpa akụkụ, iwu nke eziokwu na-ekwurịta okwu.