Simple categorical syllogism, na ihe atụ nke ojiji na ikpe omume

The mgbagha, dị ka ị maara, mee nke e mma, na nkwubi okwu. Onye nke ya isi ụlọ blocks - na categorical syllogism - a mmechi, họọrọ site nsiputa, ya bụ, ọgwụgwụ nke pụrụ iche ọnọdụ ụfọdụ n'ozuzu. Ọ na-erite site abụọ isi arụmụka ma ọ bụ ngwugwu interconnected ọnyà okwu. Ebe ọ bụ na okwu dị otú ahụ bụ nanị abụọ, ndị syllogism a na-akpọ dị mfe, ma n'ihi na eziokwu na ngwugwu na-mma (ma ọ bụ agọ) kama haa, nke a dị mfe na nkwupụta a na-akpọ categorical. Ebe a bụ ihe dị mfe ihe atụ nke ihe dị otú ahụ inference. The mbụ esemokwu: 'All bụ ndị na-anwụ anwụ. " The abụọ esemokwu: "Ivan - mmadụ." Mmechi, ọ bụ ikpe, ya mere, ya bụ: "Ivan - efu" Dị ka anyị hụrụla, n'ụzọ ziri ezi ma ọ bụ n'ụzọ niile ngwugwu na-adịghị na-ewere ebe a. Anyị na-egwuri egwu na eziokwu na ndụ mmadụ na-ebi dechara, na Ivan bụ ndị nke agbụrụ mmadụ.

Otu ihe atụ nke a na-adịghị okomoko kwuru, anyị pụrụ ịhụ na a mfe categorical syllogism nwere ya Ọdịdị. Na nke ọ bụla inference predicate (okwu na ụfọdụ undefined uru, anyị ikpe - efu Nigeria) bụ mgbe wider karịa isiokwu (Ivan). Ya mere, ngwugwu nwere predicate a na-akpọ a nnukwu, ma onye na-agụnye isiokwu - obere. Ejikọ arụmụka ndị a okwu intermediary M (ajụ) - na nke a, ndị mmadụ, mmadụ. Ya mere, na ikpe omume analysis of arụmụka ndị ezi uche na-amalite na-achọta a ebe ọ na predicate nke isiokwu, nakwa dị ka ọnụnọ nke a ogbugbo n'etiti ha.

Na nke a analysis, ọ ga-ahụ kwuru a mfe categorical syllogism ga-ebu ihe axiom a na-adịghị kwuru na, ma e nwere: ihe niile na-mma ma ọ bụ na-agọ nke niile ụdị ihe emetụta onye ọ bụla ihe nke ụdị. Ya mere, ndị dị otú ahụ a amaghị na a ga na-ezighị ezi: 1. Men ibu nna. 2. Pita - nwoke. 3. Peter - nna. Na nke a atụ, axiom nke syllogism na-anaghị akwanyere ùgwù n'ihi na ibu nna na-adịghị eru mmadụ nile. Ya mere, mgbe iwu inferences mkpa ịgbasochi ihe iwu. E nwere nanị asa: ha atọ metụtara okwu, na anọ - ngwugwu.

Ịchị otu: a dị mfe categorical syllogism nwere nanị atọ okwu. Ọ bụla anọ okwu - ozugbo. The njirimara nke dị iche iche echiche na-agụnye njehie. Dị ka ihe atụ: 1.Sidorov mere ohi. 2. Sidorov - noun. 3. The noun akanamde a na-ezu ohi. Ebe a Sidorov na nouns nwere dị iche iche pụtara. Iwu abụọ: The okwu n'akwụkwọ nnọchiteanya ga-adị ugbu ke ogige. Ọ bụrụ na njikọ dị n'etiti predicate na isiokwu ike-arụnyere ma ọ bụ na ọ bụ unproven, na syllogism anọgide precarious: 1. Ụfọdụ ndị na - egbu ọchụ. 2. Ivan nwere ike na-akpọ a nwoke. 3. Ivan - egbu egbu. Ndien ke akpatre, nke atọ na-achị. Ọ bụrụ na ị na-eji okwu na predicate esemokwu, ma ọ bụ ugbu a na ọgwụgwụ, ọ ga-abụ na ihe ọjọọ syllogism. Ihe Nlereanya nke ndị dị otú ahụ njehie nwere ike owụt dị ka ndị a: 1. Na Moscow region igbu ọchụ ikpe. 2. St. Petersburg dị na Moscow mpaghara. 3. St. Petersburg, ọ bụghị a igbu ọchụ ikpe.

Na mgbakwunye na okwu nke iwu ga-eso iwu nke ogige. Ọ dịkarịa ala otu n'ime ha ga-ebu a na nkwupụta, n'ihi na ihe ọ bụla iji mee ka o guzo, anyị ga-si na ihe oyi n'ahụ. Ọ bụrụ na otu n'ime arụmụka-etinye na-atụ - agugo, mgbe ahụ, ọgwụgwụ ga-adịghị mma. Ọzọkwa mfe categorical syllogism na-natara n'ụzọ ziri ezi, ọ dịkarịa ala otu n'ime arụmụka tinye n'ihu ga-abụ nke a n'ozuzu ọdịdị nke categorical ikpe. Na ndị ikpeazụ ọchịchị ogige: ma ọ bụrụ na ọ dịkarịa ala otu n'ime ha - na nzuzo, mgbe ọgwụgwụ ga-onwe. Dị ka ihe atụ: 1. The iwe ga-ata ya ahụhụ (ngụkọta ikpe). 2. Ivanov mere mpụ (kpọmkwem ikpe). 3. Ivanov ga-ata ya ahụhụ.