Evidence, ba a bukatar: misali na axiom

Abin da yake a baya da m kalmar "axiom", daga inda ya fito da kuma abin da ake nufi? Makaranta 7-8 sa iya amsa wannan tambaya saboda kwanan nan, tare da ci gaba da asali shakka daga jirgin sama lissafi, da ya fuskanci tare da aiki: "Wanne kalamai suna kira axioms, ba misalai." A irin wannan tambaya ya fara tasawa ne iya haifar da kunya. A karin lokaci ya wuce tun da binciken, da wuya shi ne ya tuna da kayan yau da kullum na kimiyya. Duk da haka, kalmar "axiom" ne sau da yawa amfani a yau da kullum amfani.

A definition

Saboda haka abin da ake kira axioms na yabo? Misalan axioms ne sosai bambancin da ba a iyakance ba zuwa wani daya bangaren kimiyya. Ya ce lokaci ya zo daga Girkanci harshe da kuma a zahiri tana nufin "dauka matsayin".

A m definition da kalmar furta cewa, axiom - babban sabawa rubuce-rubucensu na wani ka'idar cewa ba ya bukatar hujja. Akwai tartsatsi ra'ayi a lissafi (musamman lissafi), dabaru, falsafa.

More tsoho Greek Aristotle ya ce cewa a bayyane yake facts, shaida ba a bukata. Alal misali, babu daya shakka cewa hasken rana ne kawai ake iya gani a lokacin da rana. Na ci gaba da wannan ka'idar ta sauran lissafi - Euclid. An misali na axiom game da layi daya Lines cewa ba haye ya.

A tsawon lokaci, da definition canza. Yanzu axiom sani ba kawai a matsayin farkon kimiyya, da kuma sakamakonsa na tsaka-tsaki a matsayin wani sakamakon, abin da hidima a matsayin masomin kara ka'idar.

Yabo daga makaranta Hakika

Dalibai suna gabatar da postulates ba ya bukatar tabbaci a kan darussan lissafi. Saboda haka, a lokacin da makarantar sakandare digiri ba wani aiki: "Ka ba da misalai na axioms", sun fi sau da yawa zaton darussa na lissafi da kuma aljabara. Ga misalai na kowa amsoshin:

• kai tsaye nufi can, cewa shi yana bi (watau ƙarya a kan wani madaidaiciya line) da kuma ba ya tambaya (ba karya a kan wani madaidaiciya line).
• za ka iya zana a mike layin ta hanyar wani maki biyu;
• karya da jirgin sama zuwa biyu rabin jirgin sama, shi wajibi ne ya rike wani madaidaiciya line.

Aljabara da kuma ilmin lissafi a wani bayyane nau'i na irin assertions ba gudanar, amma wani misali daga cikin axiom za a iya samu a wadannan sciences:

• kowane yawan daidaita kansa da kansa.
• naúrar Earsbe duk halitta lambobi.
• idan k = l, sa'an nan l = k.

Saboda haka, ta hanyar sauki theses an gabatar da mafi m Concepts, sanya a gudanar da bincike da kuma kawar da Theorem.

Gina ka'idar kimiyya bisa axioms

Don gina wani ka'idar kimiyya (ko da abin da irin bincike a cikin tambaya), bukatar akai - ginin tubalan daga abin da zai fito fili. Jigon da axiomatic Hanyar: samar da wani ƙamus na sharuddan, wani misali daga cikin axiom aka tsara a kan tushen da nuna sauran postulates.

Kimiyya ƙamus kamata dauke da asali Concepts, watau wadanda da ba za a iya ayyana via wasu:

• Sequentially bayanin kowane lokaci, gabatar da darajar, isa wani kimiyya sansanonin.
• A mataki na gaba - da katin shaida na wata cibiya sa na da'awar, wanda ya zama Mai isa ga dalĩlin sauran assertions ka'idar. Sami guda na asali postulates an amince ba tare da hakki ba.
• A karshe mataki - da shiri da kuma ma'ana ƙarshe daga cikin ka'idar.

Postulates na daban-daban sciences

Zancen ba tare da shaida ba kawai a cikin ainihin sciences, amma kuma a cikin waɗanda aka yawanci dangana ga al'adu. A daukan hankali misali - a falsafar da cewa ma'anar da wani axiom kamar yadda wata sanarwa cewa za ka iya koyi ba tare da m ilmi.

An misali na axiom ne ma a cikin fikihu: "ba za ka iya yin hukunci naka hali." Bisa ga wannan yabo, fitarwa yakin dokar - shari'a rashin son kai, wato, a yi hukunci ba zai iya ji wani hali idan shi ne kai tsaye ko a kaikaice da sha'awar da shi.

Ba duk kanwar lasa ba

Don gane da bambanci tsakanin gaskiya axioms da kuma sauki maganganu, wanda ya ayyana da gaskiya, shi wajibi ne don bincika hali zuwa gare su. Alal misali, lokacin da ta je addini, inda duk abin da aka dauka domin ba, a can ne tartsatsi manufa na da cikakken tabbacin cewa wani abu gaskiya ne domin ba shi yiwuwa a tabbatar. Kuma a cikin kimiyya al'umma ce ba shi yiwuwa a duba har a wani wuri, da bi, shi zai zama wani axiom. Shirye shakka, duba da baya - wancan ne abin da ya bambanta a gaskiya masanin kimiyya.