Dalillar talab qilinmaydi: Axiom misol

u keldi va u nimani anglatadi, qaerda qanday, sirli so'z "aksioma" ortida? Maktab o'quvchisi 7-8 sinf osonlik samolyot geometriya asosiy kurs rivojlanishi bilan, u vazifani duch edi, chunki yaqinda bu savolga javob: ". Bayonotlar aksiyomları, misollar berish deyiladi" A o'xshash savol kattalar xijolatdan olib kelishi mumkin. ko'proq vaqt o'rganish beri, qiyin u ilm-fan asoslarini eslash emas o'tadi. Biroq, so'z "aksioma" tez-tez kundalik foydalanishda ishlatiladi.

aniqlash

Shunday qilib, tasdiqlash aksiyomları nima deyiladi? o'zgarish misollar juda xilma-xil va ilm-fan har qanday bir sohada cheklanib emas. muddatli yunon tilida kelgan va tom ma'noda "qabul o'rnini" degan ma'noni anglatadi, dedi.

Hujjatlaringizni talab qilmaydi har qanday nazariyasi asosiy dissertatsiyasini - muddati bir qat'iy ta'rifi, deb aksiyalar deyilgan. matematika keng tarqalgan fikr (ayniqsa, geometriya), mantiq, falsafa bor.

Qo'shimcha qadimgi yunon Arastu ravshan dalillar, dalil kerak emas, deb aytdi. Misol uchun, hech kim quyosh nuri kunduzi faqat aniq ekanligini shubha. Euclides - Men boshqa matematiklar tomonidan bu nazariyani ishlab chiqildi. haqida Axiom misol parallel chiziqlar o'z xochini hech qachon.

Vaqt ta'rifi o'zgardi. Endi aksioma fan boshlanishi, deb emas, balki faqat idrok va yanada nazariyasi uchun bir boshlang'ich nuqtasi bo'lib xizmat qiladi, ma'lum bir natijasida, deb natijada oraliq.

maktab kursidan tasdiqlash

Talabalar matematika darslarida tasdiqlovchi talab qilmaydigan postulat joriy etiladi. Shuning uchun, o'rta maktab bitiruvchilari topshiriq berilgan bo'lsa: "o'zgarish misollar keltiring", ular ko'pincha geometriya va algebra saboq, deb o'ylayman. Bu erda umumiy javob misol:

• u (to'g'ri chiziq ustida, ya'ni yolg'on) muomala va (a to'g'ri chiziq ustida yolg'on emas) amal qilmaydi bor to'g'ridan-to'g'ri nuqta;
• Agar har qanday ikki nuqta orqali a to'g'ri chiziq chizish mumkin;
• Ikki yarim tekislikning kirib samolyot sindirish uchun, uni bir to'g'ri chiziq o'tkazish uchun zarur.

o'shanaqa bir aniq shaklida Algebra va arifmetik boshqariladi emas, balki Axiom misol bu fan topish mumkin:

• o'zi teng har qanday raqami;
• birligi, barcha tabiiy raqamlarini oldin;
• k = l, keyin l = k bo'lsa.

oddiy tezislar ko'proq rivojlangan tushunchalarni joriy etiladi orqali Shunday qilib, tergov qilingan va teoremasi olib tashlandi.

o'zgarish asoslangan ilmiy nazariya qurish

qurilish bloklari bo'lgan u paydo bo'ladi - (nima bo'lishidan qat'iy nazar savol tadqiqotlar xil), zarur asosi ilmiy nazariyani qurish. aniq usuli mohiyati: atamalar lug'atida yaratish, Axiom misol qolgan postulat ko'rsatadi qaysi asosida shakllantirish qilinadi.

Ilmiy lug'at, boshqa orqali belgilangan mumkin emas, bu o'sha, ya'ni asosiy tushunchalarni o'z ichiga olishi kerak:

• Ketma-ketlik, har bir muddat tushuntirib qiymatini taqdim har qanday fan asoslarini erishish.
• Keyingi qadam - nazariyasining tasdiqlarni isboti uchun etarli bo'lishi kerak da'volarni asosiy majmui, aniqlash. Sami bir xil asosiy varsayımları nohaqdan qabul qilinadi.
• final bosqichi - qurilish va nazariyasi mantiqiy xulosa.

turli fanlar postulat

dalil bo'lmasdan ifoda aniq fanlar, balki odatda gumanitar nisbat qilingan o'sha nafaqat hisoblanadi. A yorqin misol - amaliy bilimlar holda o'rganish mumkin bayonotida sifatida aksiyalar belgilaydi falsafasi.

Axiom misol huquqshunoslik ham: «Agar siz o'z xulq hukm mumkin emas." Bu tasdiqlash asosida, chiqish fuqarolik qonun - bu to'g'ridan-to'g'ri yoki bilvosita unga manfaatdor bo'lsa, sud beg'arazlik, ya'ni, sudya ishni eshitish mumkin emas.

Barcha jiddiy qabul emas

haqiqiy o'zgarish va haqiqatni e'lon oddiy so'zlar, orasidagi farqni tushunish uchun, bu ularga nisbatan munosabat tahlil qilish zarur. u hamma narsa berilgan olinadi din, kelganda Masalan, u isbotlash mumkin emas, chunki bir narsa haqiqatdir to'liq Ayblov keng tarqalgan qoida bor. Va ilmiy hamjamiyat u, muayyan holatda qadar tekshirish uchun, o'z navbatida, u aksioma bo'ladi mumkin emas deydi. Tayyorligi, shubha qaytarib tekshirish uchun - bu haqiqiy olim ajratadigan nima.