Gịnị bụ a "na-azọrọ na-achọ ihe àmà"

Omenala na ọ na-chere na founders nke sayensị nke jiometrị bụ ndị Grik, onye biiri si Ijipt ike tụọ mpịakọta nke ahụ dịgasị iche iche na ụwa. Ndị Ijipt oge ochie, mwube izugbe iwu karịrị oge, mere mbụ demonstrative ọrụ. Ha egosipụta niile ndokwa nke ezi uche ụzọ si a obere ọnụ ọgụgụ nke amụma nedokazyvaemyh ma ọ bụ axioms. Ya mere, ọ bụrụ na ihe axiom - a na nkwupụta na-adịghị achọ na-egosi na ndị dị otú ahụ "na-azọrọ na-achọ ihe àmà"? Tupu ị na-aghọta nke a, mkpa ka ị na-aghọta ihe bụ okwu ahụ bụ "na-egosi".

nkọwa nke echiche

Gosiri (ziri ezi) na-anọchi anya a ezi uche eziokwu nke a usoro nke guzosie ike a kpọmkwem ihu ọma site ndị ọzọ na-ekwu na ugbua pụtara na mbụ. Ya mere, mgbe ị kwesịrị iji gosi na uru A họrọ dị otú ahụ ikpe B, C na D, nke A ndị a dị ka a ezi uche na ya pụta.

Evidence nke na-eji nkà mmụta sayensị, na-ekewet nke dị iche iche iche iche nke ubiere metụtara onye ọ bụla ọzọ nke mere na nchoputa bụ a mkpa maka ntoputa nke ọzọ, na na.

The àmà bụ na ndị ọkà mmụta sayensị

Mmepe nke ọ bụla sayensị kpebisiri ike site ogo ngwa nime ya àmà na-egosi site na nke ziri ezi na eziokwu na ụgha ndị ọzọ assertions. Na àmà na-egosi nyeere tufuo ezighị ezi, na-emeghe ohere na nkà mmụta sayensị creativity. A iche-iche na ha njikọ dị n'etiti ndị dị iche iche na-ekwu ihe ụfọdụ sayensị na-eme ka o kwe omume iji chọpụta ya ezi uche Ọdịdị.

N'oge a ọ na-egosi ọtụtụ-eji uche na mgbakọ na mwepụ, na ha na-analysis ụzọ mgbe e nwere mkpa ka a mata inferences Ọdịdị.

mgbakọ na mwepụ

N'ihi na ọtụtụ ndị, na-aghọta nke a na sayensị, dị ka mgbakọ na mwepụ, ajụjụ na-ebilite na ndị dị otú a na nkwupụta, na-achọ ihe àmà. Azịza ( "wepụtara" na-agba akaebe na nke a) - a Theorem.

Ọ bụ a mgbakọ na mwepụ na nkwupụta, onye n'ịbụ eziokwu esesịn a arụnyere na site na-egosi. N'onwe ya, echiche nke "Theorem" ghọrọ usoro tinyere echiche nke "mgbakọ na mwepụ na-egosi". Si ele ihe anya nke axiomatic usoro, Theorem nke ọ bụla Ozizi bụ ndị okwu ndị na-egosi na ezi uche ụzọ nke ụfọdụ na mbụ ofu okwu, na-akpọ axioms. Na ebe ọ bụ na axiom bụ eziokwu, ọ ga-abụ eziokwu, na Theorem.

Next na nkwupụta na-achọ ihe àmà (Theorem), nke a na-anya nwere njikọ chiri anya na echiche nke a "ihe ezi uche na ya pụta". Ya mere, oge na-, na arụmụka ndị ezi uche usoro svolsya ebili ka formulas ma ọ bụ mgbakọ na mwepụ okwu ndị na-na-e dere na a na-enwe asụsụ weputara iwu metụtara bụghị ka ọdịnaya nke ndị amaghị na ya ụdị. N'ihi ya, na ozizi ya na-eje ozi dị ka ihe àmà nke usoro nke formulas, onye ọ bụla nke bụ axiomatic.

Na nzuógügü, a Theorem okwu ma ọ bụ na-achọ ihe na-egosi na nke ikpeazụ usoro na usoro nke na-egosi na a ozizi. Nke a Nwa e guzobere n'ihi nke na-eji dị iche iche na mgbakọ na mwepụ ụzọ. Ọ na-hụrụ na axiomatic chepụtara, nke bụ akụkụ nke dị iche iche alaka nke mgbakọ na mwepụ, na-ezughị ezu. Ya mere, e nwere boro nkụzi ma ọ bụ falsity nke na ọ bụ omume iru a ezi uche ụzọ dabeere na axioms. Dị otú ahụ unyi anaghị agbasa ozizi ndị a na usoro maka idozi.

N'ihi ya, ndị na-azọrọ na-achọ ihe àmà na mgbakọ na mwepụ Ọ na-akpọ a Theorem.

nkà ihe ọmụma

Philosophy bụ sayensị nke na-amụrụ usoro nke ihe ọmụma banyere àgwà na ụkpụrụ nke eziokwu na ihe ọmụma. Ya mere, site na nke a ihe ndị na-azọrọ na-achọ ihe àmà? Azịza: "Avatar," na-ekwu nke a na tesis.

Ọ na nke a bụ a na nkà ihe ọmụma ma ọ bụ nkà mmụta okpukpe ọnọdụ, a na nkwupụta nke a ga-egosi. N'oge ochie, okwu nweela pụrụ iche, ebe ọ bụ mgbe ahụ, echiche nke "antithesis", nke bụ na ihe na-ekwekọghị ekwekọ okwu ma ọ bụ inference. Mgbe ahụ Kant dọọrọ uche gaa n'eziokwu na ọ bụ omume na-egosipụta na-emegide okwu na otu plausibility. Ka ihe atụ, ọ bụ omume na-egosi na ụwa enweghị nsọtụ bilie site ohere, ọ na-emi esịnede indivisible atọm, na ọ e nwere nnwere onwe. Okwu ndị dị otú ọkà ihe ọmụma kwuru ka a set of tesis na antithesis. Nke a na-emegiderịta na nkwupụta na-achọ ihe àmà, na unyi anaghị agbasa na-emegiderịta, n'ihi na eziokwu na uche na-aga n'ofè cognitive ikike nke mmadụ.

Na nkà ihe ọmụma nke otu ihe echiche na-ekewet onwunwe, nke na n'otu oge agọ. N'ihi ya, ndị a components adị n'otu, anyị ga-enwe ihe ato: ọnọdụ mere (àmà) na echiche.

Dabere na ihe niile a na Gegel dialectic usoro e nwetara, nke dabeere na mgbanwe site a tesis site Evidence maka njikọ. Ọ aghọwo ihe ngwá maka owuwu nke metaphysics.

mgbagha

Na ezi uche nke okwu na-achọ ihe àmà, na-ezo dị ka akwụkwọ nyocha. Na nke a, ọ na-eme dị ka ezi ikpe na-agbalị ịkpọrọ ndị iro ya, ọ ga ziri ezi na usoro nke ihe àmà. The tesis bụ isi mmewere nke esemokwu.

iwu

Kemgbe usoro nke argumentation tesis kwesịrị ịnọgide na otu. Ọ bụrụ na nke a ọnọdụ megidere, a na-eduga ná eziokwu na okwu agaghị bụrụ ihe a gbaghara. Ebe a na-arụ ọrụ kwesịrị, "Ònye bụ onye a ọtụtụ ihe àmà nke na-adịghị egosi na ihe ọ bụla!"

Rịba ama ihe ọzọ-atụle ajụjụ a, ndị na-azọrọ na-achọ ihe àmà ekwesịghị multi-kpọrọ ihe. A na-achị na-egbochi ihe ihere ọnọdụ mgbe ọ na-egosi. Dị ka ihe atụ, mgbe mgbe, ndị mmadụ na-ekwu nke ukwuu, dị ka ma ọ bụrụ na ọ bụla na-egosi, ma na ọ na-anọgide na edoghị, dị ka ya sere okwu mgbe ebighị ebi. The ngwọju-anya ọbụla nke nkwupụta na-eduga ná adịghị amị mkpụrụ bụ esemokwu, ebe onye ọ bụla nke ndị ọzọ nwere dị iche iche echiche nke ọnọdụ gosipụtara.

The okwu na-adịghị achọ na-egosi

More Aristotle, na-atụle ajụjụ nke ihe arguable azọrọ, tinye n'ihu ozizi syllogisms. Syllogisms iso nke dị otú ahụ okwu, nke nwere okwu "nwere ike" ma ọ bụ "ga" kama "bụ". Ndị dị otú ahụ okwu na-ezi uche adịghị n'onye ezi omume, n'ihi na ha na ọnọdụ na e gosipụtara. Nke a na-ewelite ajụjụ ndị amalite maka mmepe nke sayensị. Dị ka Aristotle, ọ bụla sayensị ga-amalite na okwu ndị na-adịghị mkpa na-egosi. Ọ na-akpọ ha axioms.

axiom

The okwu na-adịghị achọ ihe àmà - ọ bụ ihe axiom. Ọ dịghị mkpa iji gosi na omume, ọ bụ naanị na ọ dị mkpa ka na-akọwa na ọ bụ doro anya. Ekwu okwu nke axioms, Aristotle atụle jiometrị nke na-ewe n'ụdị systematization. Mathematics bụ nke mbụ sayensị, nke na-eji okwu ndị na-ọ dịghị mkpa ziri ezi. Mgbe ahụ, e nwere astronomy ka yie ndị ziri ezi ngagharị nke mbara ala dị mkpa iji na-amalite mgbakọ na mwepụ calculations. Dị ka ị pụrụ ịhụ, sayensị ama agbakọta ka hierarchy.

Types of Sciences nke Aristotle

Aristotle na isi ihe na-etinye na-atụ atọ ụdị Sciences. Usoro iwu sayensị-enye ihe ọmụma na anya nke na ha na-emegide echiche. Math ebe a bụ ihe atụ kasịnụ. Ha na-agụnye physics na metaphysics.

Uru Sciences na-aduak mụta ịchịkwa àgwà ụmụ mmadụ na ọha mmadụ. Nke a nwere ike na-agụnye ihe atụ, ụkpụrụ ọma.

Nka na ụzụ na sayensị na-iji na ihe e kere eke nke ihe e kere eke nke management ihe n'ihi na ha were na ndụ ma ọ bụ na-enwe ha nkà mara mma.

Aristotelian mgbagha na-abụghị nke otu ìgwè nke sayensị. Ọ na-eme dị ka a n'ozuzu usoro iji rụọ ọrụ ihe, nke amanyere bụ iwu nke ọ bụla nke sayensị. The mgbagha na-dị ka a ngwá ọrụ, nke ga-ewu nnyocha sayensị, n'ihi na ọ na-enye ndị ibiere iche na-egosi.

nchịkọta

Analyst amụ iche nke na-egosi. Ọ erekasịchaala ezi uche eche echiche n'ime mfe mmiri, ma site na ha na-ama na-akpụ akpụ na mgbagwoju iche nke echiche. N'ihi ya, na-egosi Ọdịdị adịghị achọ echiche.

N'ihi ya, uche na nchịkọta na-enyocha ma ndị dị otú ahụ a na-ekwu, nke na-adịghị achọ ihe àmà. Ya bụ, n'ihi na ndị a ọrụ e ji ndọtị axioms. Ọzọkwa, ha na-akọwa eziokwu na ndị dị otú a na nkwupụta, na-achọ ihe àmà. Azịza ajụjụ ndị a na-na alaka ọ bula nke sayensị, ebe ọ bụ na ọ dịghị nkà mmụta sayensị ọmụmụ bụ na-enweghị uche na ọgụgụ isi.

Mmekọrịta eziokwu

Ebe tụlere ajụjụ banyere ihe ndị dị otú ahụ a na nkwupụta, nke na-achọ na-egosi, ọ bịara doo anya: ọdịdị nke ndị na-egosi bụ na nkwupụta, nke bụ na esemokwu na-akọ na n'ezie ala nke ihe, ma ọ bụ na ndị ọzọ eziokwu, na izi ezi nke nke e gosipụtara na mbụ. Ka ihe atụ, mgbe ụfọdụ, nke ahụ bụ eziokwu boro nwere ike substantiated site nnwale (anụ ahụ, ndu, chemical), na ihe nke anya nakwa na ha izute kwuru ikpe ma ọ bụ. Na ndị ọzọ okwu, nnyocha ga-arụpụta ga-abụ ihe àmà nke eziokwu nke okwu, ma ọ bụ ya agugo.

Na ndị ọzọ, mgbe ọ gaghị ekwe omume na-eduzi ndị nnwale, ndị na-amalite ọzọ nti-ekwu nke na nke na-eweta eziokwu nke okwu ya okwu. Ndị dị otú ahụ na-egosi taa na-eji na sayensị, ebe ihe na-abụghị ókè nke ụmụ mmadụ na-ekwe omume na-ekiri ha. Nke a bụ eziokwu karịsịa na mgbakọ na mwepụ, ebe ikpé-apụghị experimentally anwale. Ya mere, ndị na-azọrọ na-achọ ihe àmà nke "Avatar" na-ezo aka Theorem, nanị ụzọ ka eziokwu nke nke bụ ihe àmà nke deductions dabeere na mbụ pụtara ezi okwu.

pụta

A na nkwupụta nke na-achọ na-egosi ga-akwado site na arụmụka. Ka ha na-eme ka ikpe na e mbụ pụtara, n'ihi na ihe atụ, axioms, iwu, nkọwa, nwere okwu nke eziokwu. The arụmụka eji ikwesị na-interconnected nso mmekọrita na-anọchi anya otu ụdị nke na-egosi. Ha na-etolite dị iche iche iche nke inference, nke na-ejikọrọ na usoro.

On ihe atụ, tụlee okwu na-achọ ihe àmà "metal nwetara n'oge nnwale - bụghị sodium." Iji gosi na nkwupụta a, ihe ndị a:

1. All alkali ọla na ụlọ okpomọkụ mmiri e akadiahade.

2. sodium bụ ihe alkali metal. N'ihi ya, ọ erekasịchaala mmiri.

3. The kpụrụ metal n'oge nnwale mmiri na-adịghị akadiahade. Ya mere, nke pụrụ ịkpata metal - dịghị sodium.

Dị ka ị pụrụ ịhụ, ihe niile eji arụmụka nke bụ eziokwu, ihe àmà na-erukwa na dị ka a n'ihi nke nlekota oru, chịkọta n'oge gara aga, syllogistic echiche. Usoro na-egosi ebe a na-adabere abụọ echiche, otu pụta bụ a mkpa na nke a na ndị ọzọ.