Далел аст, талаб карда намешавад: дар мисоли мањаки

Ҳар чӣ пушти сари калимаи пурасрор "мањаки", аз куҷо ба он омада, чӣ маъно дорад? Мактабхонӣ 7-8 синфи осонӣ ба ин савол ҷавоб, зеро ба наздикӣ, бо рушди курси асосии геометрия ҳавопаймо, ӯро бо вазифаи рӯ ба рӯ шуда буд: «. Кадом изҳороти даъват axioms, намунаҳои дод" Дар чунин саволро калонсолон аст, эҳтимол боиси хичолат. Дар вақти бештар мегузарад, зеро омӯзиш, ки сахттар аз он аст, ки ба ёд асосҳои илм. Бо вуҷуди ин, ки калимаи «мањаки» аст, аксар вақт дар истифодаи ҳаррӯза истифода бурда мешавад.

таърифи

Пас, чӣ кор axioms тасдиқи номида? Намунаҳои axioms хеле гуногун ва ба ҳар яке аз соҳаи илм маҳдуд нестанд. Гуфт мӯҳлати меояд, аз забони юнонӣ ва аслан маънои «мавқеи».

Таърифи қатъии мӯҳлати гуфта мешавад, ки мањаки - рисолаи асосии ҳама гуна назарияи, ки чӣ далеле талаб намекунад. аст, ки мафњуми васеъ дар математика (махсусан геометрия), мантиқ, фалсафа нест.

Муфассалтар дар қадим юнонӣ Арасту гуфт, ки далелҳои равшан, далелҳо, зарурияте надорад. Масалан, ҳеҷ кас шубҳа дорад, ки аз нури офтоб, танҳо дар давоми рӯз намоён аст. Катра - Ман ин назария аз тарафи дигар риёзишиносон тањия карда мешавад. Як мисоли мањаки дар бораи хатҳои мувозӣ , ки ҳеҷ гоҳ худро намегузаранд.

Бо мурури замон, таърифи тағйир ёфт. Акнун мањаки на танҳо ҳамчун оғози илм фаҳмид, ва дар натиҷаи мобайниро, ки дар натиҷаи муайян, ки њамчун нуќтаи ибтидої барои назарияи минбаъдаи хизмат мекунад.

Тасдиқ аз роҳи мактаб

Донишҷӯён ба љабњаи муаррифӣ мекунем тасдиқи оид ба дарси математика, талаб карда намешавад. Аз ин рӯ, вақте ки хатмкунандагони мактаби миёна дода супорише: «Бидиҳед намунаҳои axioms», онҳо аксар вақт фикр курсҳои геометрия ва алгебра. Дар ин ҷо намунаҳои ҷавоб умумӣ мебошанд:

• нуқтаи мустақим вуҷуд дорад, ки дар он аст, муносибат (яъне дурӯғ дар хати рост) ва ба дахл надорад (Оё дар бораи хати рост дурӯғ нест);
• шумо метавонед як хати рост ба воситаи ягон ду хол ҷалб;
• ба шикастани ҳавопаймо ба ду ним ҳавопаймо, зарур аст, ки ба нигоҳ доред хати рост.

Алгебра ва арифметикӣ дар шакли дақиқ чунин assertions аст, идора, балки намунаи мањаки мумкин аст дар ин илм пайдо:

• ягон рақами ба худ баробар;
• воҳиди фарорасии ҳамаи рақамҳои табиӣ;
• Агар К = л, пас л = К.

Ҳамин тавр, ба воситаи рисолаҳои оддӣ љорї мафҳумҳои пешрафта дод, ки тафтишот ва theorem дур.

Таъсиси як назарияи илмӣ дар асоси axioms

Барои сохтани як назарияи илмии (муҳим нест, ки чӣ гуна тадқиқот дар саволи), лозим асоси - блокҳои бино, ки аз ин миён хоҳад кард. Моњияти усули таваїїўі: эҷоди луцат истилоњот, намунаи мањаки аст, дар асоси он намоиш љабњаи боқимонда муайяну.

луцат илмӣ бояд ба мафҳумҳои асосӣ дар бар гирад, яъне онҳое, ки метавонед тариқи дигар муайян карда мешавад:

• Пай барои баёни ҳар замоне, муаррифӣ арзиши он, расидан ба ҳар гуна пойгоҳҳои илм.
• Қадами навбатӣ - муайян намудани маҷмӯи асосии талабот, ки бояд барои исботи ин assertions боқимондаи назарияи кифоя аст. Самӣ љабњаи асосии ҳамон бе асос қабул карда мешавад.
• Марҳилаи ниҳоӣ - сохтмон ва ба хулосаи мантиқии назарияи.

Љабњаи илмҳои гуногун

Баён бе далел на танҳо дар фанҳои дақиқ, балки низ дар онҳое, ки одатан ба гуманитарӣ қоил аст. Мисоли равшани - як фалсафа, ки мањаки ҳамчун изҳороти, ки шумо метавонед бе ҳеҷ донише амалӣ омӯхта, муайян мекунад.

Як мисоли мањаки низ дар фиқҳи: "Шумо метавонед рафтори худ, ҳукм накунад». Дар асоси ин тасдиқи, баромади қонуни шаҳрвандӣ - бетарафӣ судӣ, яъне, қозӣ метавонад парвандаи гӯш надиҳад, агар он аст, ки бевосита ё бавосита манфиатдор дар он.

На ҳамаи дода гирифта

Барои фаҳмидани фарқи байни axioms ҳақиқӣ ва ифодаҳои содда, ки ба ҳақ эълон, ки ба таҳлили муносибат ба онҳо зарур аст. Масалан, он гоҳ ки ба дин, ки дар он ҳама чиз аст, ки барои дода гирифта меояд, принсипи васеъ намудани боварии пурра, ки чизи дуруст аст, зеро он ғайриимкон ба исбот нест. Ва дар ҷомеаи илмии мегӯянд, ки он имконнопазир аст, то мавқеи муайяни ки ба тафтиш, мутаносибан, онро хоҳад, мањаки. Хоњиши ба шубҳа, санҷед баргашт - ки он чӣ дар як олими ҳақиқӣ фарқ.