Bilimlarni olish jarayonida katta rol o’ynaydi

---

MUXAMMAD AL-XORAZMIY NOMIDAGI
TOSHKENT AXBOROT TEXNOLOGIYALARI UNIVERSITETI
SAMARQAND FILIALI
KOMPYUTER TIZIMLARI KAFEDRASI
5330500- Kompyuter injiniring (Kompyuter injiniring) ta'lim yo'nalishi
“Dasturni tekshirishning formal usuli” fanidan
Amaliy ish № 1
Bajardi: Tuliyev.O
Qabul qildi: MAHMUDOV. R
Samarqand – 2023

---


Kirish

1. R.Dekartning deduktiv usuli

2. Zamonaviy fanda tekshirish

Foydalanilgan adabiyotlar ro'yxati
Kirish
Bilishning umumiy mantiqiy usullari orasida eng keng tarqalgani deduktiv va
induktiv usullardir. Ma’lumki, deduksiya va induksiya xulosa chiqarishning eng
muhim turlari bo’lib, ular ilgari olingan bilimlardan chiqarish asosida yangi
bilimlarni olish jarayonida katta rol o’ynaydi.
Deduksiya (lot. deductio — xulosa chiqarish) — bilish jarayonida obʼyektlar va
hodisalarning maʼlum sinfi haqidagi umumiy bilimdan maʼlum va individualni
bilishga oʻtish. Deduksiyada umumiy bilimlar mulohaza yuritishning boshlang‘ich
nuqtasi bo‘lib xizmat qiladi va bu umumiy bilim “tayyor”, mavjud deb faraz qilinadi.
E'tibor bering, chegirma xususiydan xususiyga yoki umumiydan umumiyga ham
amalga oshirilishi mumkin. Deduksiyaning bilish usuli sifatidagi o‘ziga xos
xususiyati shundaki, uning asoslari haqiqati xulosaning haqiqatligini kafolatlaydi.
Shuning uchun deduksiya katta ishontirish kuchiga ega va u nafaqat
matematikada teoremalarni isbotlash uchun, balki ishonchli bilim kerak bo'lgan
joyda ham keng qo'llaniladi.
Induksiya (lotincha inductio — yoʻl-yoʻriq) — bilish jarayonida xususiy bilimdan
umumiylikka oʻtish; kamroq umumiylik haqidagi bilimdan kattaroq darajadagi
umumiylik haqidagi bilimga. Boshqacha aytganda, bu kuzatish va tajribalar
natijalarini umumlashtirish bilan bog'liq bo'lgan tadqiqot, bilish usulidir. Bilish
jarayonida induksiyaning asosiy vazifasi empirik va nazariy qonuniyatlar, farazlar
va umumlashtirishlar bo‘lishi mumkin bo‘lgan umumiy mulohazalar olishdan
iborat. Induksiya umumiy bilimlarning paydo bo`lish “mexanizmi”ni ochib beradi.
Induksiyaning xususiyati uning ehtimollik xususiyatidir, ya'ni. boshlang'ich
binolarning haqiqatini hisobga olsak, induksiyaning xulosasi faqat ehtimol
haqiqatdir va yakuniy natijada u ham haqiqat, ham yolg'on bo'lishi mumkin.
Shunday qilib, induksiya haqiqatga erishishni kafolatlamaydi, balki faqat unga
"etak qiladi", ya'ni. haqiqatni topishga yordam beradi.
Ilmiy bilish jarayonida deduksiya va induksiya bir-biridan ajralgan holda
foydalanilmaydi. Birisiz ikkinchisi mumkin emas.
1. Deduktiv usulning tug'ilishi
Deduktiv mantiqning asoslari qadimgi yunon faylasuflari va matematiklarining
asarlarida qo'yilgan. Bu erda siz Pifagor va Platon, Aristotel va Evklid nomlari kabi
nomlarni nomlashingiz mumkin. Pifagor birinchilardan bo'lib u yoki bu bayonotni
shunchaki e'lon qilish emas, balki isbotlash uslubida fikr yuritgan deb ishoniladi.

---

Parmenid, Platon, Aristotel asarlarida to‘g‘ri fikrlashning asosiy qonuniyatlari
haqida fikrlar mavjud edi. Qadimgi yunon faylasufi Parmenid birinchi marta
chinakam ilmiy tafakkur negizida qandaydir o'zgarmas tamoyil («yagona») yotadi,
degan fikrni bildirdi, u mutafakkirning nuqtai nazari qanday o'zgarmasin,
o'zgarishsiz qoladi. Platon tafakkur nuri bilan taqqoslaydi, u fikrning o'zi bor ekan,
u o'zgarishsiz qoladi. Bu fikr yanada qat'iy va aniq shaklda Aristotel tomonidan
mantiqning asosiy qonunlarini shakllantirishda ifodalangan. Evklid asarlarida bu
texnika va qonunlarni matematika fanlariga tatbiq etish eng yuqori darajaga yetib
boradi, bu esa Yevropa madaniyatida asrlar va ming yillar davomida deduktiv
fikrlash idealiga aylanadi. Keyinchalik deduktiv mantiqning formulalari stoiklarda,
o'rta asr sxolastikasida tobora takomillashtirildi va batafsilroq bo'ldi.
Aristotel haqli ravishda deduktiv fan sifatida mantiqning asoschisi hisoblanadi. U
birinchi marta to'g'ri fikrlashning asosiy usullarini tizimlashtiradi, zamonaviy
qadimgi yunon matematiklari yutuqlarini umumlashtiradi. Organonda bayon
etilgan mantiq ham to'g'ri fikrlash orqali haqiqatga erishish vositasi, ham boshqa
turli fanlar uchun zamin tayyorlovchi fan sifatida ko'rilgan.
Aristotelning fikricha, haqiqiy bilimni mantiqiy isbotlash orqali olish mumkin.
Aristotel xususiydan umumiyga o‘tadigan induktiv usulni ko‘rib chiqib, bunday
usul nomukammal degan xulosaga keldi va bunda xususiylik umumiydan olingan
deduktiv usul yanada ishonchli bilim beradi, deb hisoblaydi. Ushbu uslubning
asosiy vositasi sillogizmdir. Quyida sillogizmning tipik misoli keltirilgan:
Hamma odamlar o'likdir (katta asos).
Sokrat - odam (kichik asos).
Demak, Sokrat o'likdir (xulosa).
Aristotel geometriyadagi asosiy kashfiyotlar allaqachon qilingan deb hisoblagan.
Uning usullarini boshqa fanlarga: fizika va zoologiyaga, botanika va siyosatga
o'tkazish vaqti keldi. Ammo geometriyaning eng muhim vositasi bu har qanday
to'g'ri binolardan to'g'ri xulosalar chiqarishga olib keladigan mantiqiy fikrlash
usulidir. Bu usul Aristotel "Organon" kitobida ko'rsatilgan; endi u matematik
mantiqning boshlanishi deb ataladi. Biroq, fizika fanini oqlash uchun faqat
mantiqning o'zi etarli emas; Anaksagor tomonidan amalga oshirilgan tajribalar,
o'lchovlar va hisoblar kerak. Aristotel tajriba qilishni yoqtirmasdi. U haqiqatni
intuitiv ravishda taxmin qilishni afzal ko'rdi - va natijada u ko'pincha xato qilardi
va uni tuzatadigan hech kim yo'q edi. Shuning uchun yunon fizikasi asosan
gipotezalardan iborat edi: ba'zan yorqin, lekin ba'zida qo'pol xato. Bu fanda
isbotlangan teoremalar yo'q edi.
Oʻrta asrlarda Aristotel mantigʻi teologik va falsafiy takliflarni deduktiv isbotlash
vositasi sifatida katta eʼtiborni tortdi. Aristotelning sillogizmi taxminan ikki ming
yil davomida o'z kuchini saqlab qoldi va bu vaqt ichida deyarli o'zgarmadi.
Foma Akvinskiy nasroniy dogmalarini Aristotelning deduktiv usuli bilan
birlashtirib, deduktiv usul asosida Xudoning mavjudligining beshta isbotini

---

shakllantirdi.
1. Birinchi dalil: Prime Mover
Harakat bilan isbotlash deganda, har qanday harakatlanuvchi jismni bir paytlar
boshqa biror jism tomonidan harakatga keltirgan, u o‘z navbatida uchdan bir
qismi harakatga keltirgan va hokazo. Shunday qilib, cheksiz bo'lishi mumkin
bo'lmagan "dvigatellar" ketma-ketligi quriladi. Oxir-oqibat, biz har doim hamma
narsani boshqaradigan, lekin o'zi boshqa narsa tomonidan boshqarilmaydigan va
harakatsiz bo'lgan "dvigatel" ni topamiz. Har qanday harakatning asosiy sababi
Xudo bo'lib chiqadi.
2. Ikkinchi dalil: Birinchi sabab
Ishlab chiqaruvchi sabab orqali isbotlash. Dalil avvalgisiga o'xshaydi. Faqat bu
holatda harakatning sababi emas, balki biror narsani keltirib chiqaradigan
sababdir. Hech narsa o'z-o'zidan ishlab chiqa olmagani uchun, hamma narsaning
asosiy sababi bo'lgan narsa bor - bu Xudo.
3. Uchinchi dalil: zarurat
Har bir narsaning ham salohiyati, ham real mavjud bo'lish imkoniyati mavjud.
Agar biz hamma narsani potentsial deb hisoblasak, unda hech narsa paydo
bo'lmaydi. Narsaning potentsialdan haqiqiy holatga o'tishiga hissa qo'shgan
narsa bo'lishi kerak. Bu narsa Xudo.
4. To‘rtinchi dalil: borliqning eng oliy darajasi
Borliq darajalaridan dalil - to'rtinchi dalilda aytilishicha, odamlar ob'ektning turli
mukammallik darajalari haqida faqat eng mukammali bilan solishtirish orqali
gapirishadi. Demak, eng go‘zal, eng oliyjanob, eng zo‘r bor – u Xudodir.
5. Beshta dalil: Maqsad belgilovchi
Maqsadli sabab orqali dalil. Aqlli va aqlsiz mavjudotlar olamida faoliyatning
maqsadga muvofiqligi kuzatiladi, demak, har bir narsaga maqsad qo‘yuvchi aqlli
mavjudot bor. Chunki bizga ma'lum bo'lgan hech narsa, agar u yaratilmagan
bo'lsa, ataylab yaratilgandek ko'rinmaydi. Shunga ko'ra, yaratuvchi bor va uning
ismi Xudodir.
Deduktiv usul tasavvufiy, diniy nazariyalar tushunchalarida doimo mavjud. Bu,
aslida, zaruriy tafsilotlarda oshkor etilmagan va shuning uchun turli odamlarda
turli xil g'oyalarni keltirib chiqaradigan tushunchaning mavjudligi bilan
tavsiflanadi. Diniy g‘oyalarni har kim o‘ziga xos tarzda tushunishi, har kimning
qalbida o‘z xudosi borligi ham shundan.
2. Ddeduktivth usuliR. Dekaog'iz
Zamonaviy davrda chegirmani o'zgartirish krediti Rene Dekartga (1596-1650)

---

tegishli. U oʻrta asr sxolastikasini deduksiya usuli uchun tanqid qilgan va bu
usulni ilmiy emas, balki ritorika sohasiga tegishli deb hisoblagan. Dekart barcha
fanlarni bir butunlikka, dunyo haqidagi bilimlar tizimiga bog‘lashni, yagona
tamoyil, aksiomadan o‘sishni orzu qilgan. Shunda fan bir-biriga zid boʻlgan faktlar
va koʻpincha qarama-qarshi nazariyalar toʻplamidan dunyoning mantiqiy izchil va
yaxlit manzarasiga aylanadi. O'rta asr deduksiyasi o'rniga u o'z-o'zidan ravshan va
oddiydan hosila va murakkabga o'tishning aniq, matematiklashtirilgan usulini
taklif qildi.
"Usul deganda, - deb yozadi Dekart, - men aniq va oddiy qoidalarni nazarda
tutyapman, ularga qat'iy rioya qilish har doim yolg'onni haqiqat deb qabul
qilishdan saqlaydi va aqliy kuchni keraksiz sarflamasdan, lekin asta-sekin va
doimiy ravishda o'sib borayotgan bilimga hissa qo'shadi. ongning o'zi uchun
mavjud bo'lgan hamma narsa haqida haqiqiy bilimga erishishi haqiqatdir.
R.Dekart “Usul haqida nutq”, “Aqlni boshqarish qoidalari” asarida metod haqidagi
fikrlarini bayon qilgan. Ularga to'rtta qoida beriladi.
Birinchi qoida. Aniq va aniq idrok etilgan va hech qanday shubha tug'dirmaydigan
hamma narsani haqiqat deb qabul qilish, ya'ni. o'z-o'zidan ravshan. Bu bilimning
boshlang'ich elementi va haqiqatning ratsionalistik mezoni sifatida sezgi
ko'rsatkichidir. Dekart sezgining o'zi faoliyatining xatosizligiga ishongan. Xatolar,
uning fikricha, insonning iroda erkinligidan kelib chiqadi, fikrlarda o'zboshimchalik
va chalkashliklarni keltirib chiqarishga qodir, lekin aqlning sezgisidan emas.
Ikkinchisi har qanday sub'ektivizmdan xoli, chunki u ob'ektning o'zida aniq
(to'g'ridan-to'g'ri) nimani aniq anglaydi (shunchaki).
Sezgi - bu ongda "yuzaga kelgan" haqiqatlarni va ularning o'zaro bog'liqligini
anglash va shu ma'noda u intellektual bilimning eng yuqori shaklidir. Bu Dekart
tomonidan tug'ma deb atalgan asosiy haqiqatlar bilan bir xil. Haqiqat mezoni
sifatida sezgi aqliy o'z-o'zini isbotlash holatidir. Bu o'z-o'zidan ravshan
haqiqatlardan deduksiya jarayoni boshlanadi.
Ikkinchi qoida. Har bir murakkab narsani aql tomonidan qismlarga bo'linib
bo'lmaydigan oddiyroq qismlarga ajrating. Bo'linish jarayonida eng oddiy, aniq va
o'z-o'zidan ravshan narsalarga erishish maqsadga muvofiqdir, ya'ni. bevosita
sezgi tomonidan berilgan narsaga. Boshqacha qilib aytganda, bunday tahlil
bilimning dastlabki elementlarini ochishga qaratilgan.
Shu o'rinda shuni ta'kidlash kerakki, Dekart aytayotgan tahlil Bekon aytgan tahlil
bilan mos kelmaydi. Bekon moddiy dunyo ob'ektlarini "tabiat" va "shakl" ga
ajratishni taklif qilgan bo'lsa, Dekart muammolarni alohida savollarga ajratishga
e'tibor qaratadi.
Dekart usulining ikkinchi qoidasi 18-asr ilmiy tadqiqot amaliyoti uchun bir xil
darajada muhim ikkita natijaga olib keldi:
1) tahlil natijasida tadqiqotchi allaqachon empirik ko'rib chiqishga yaroqli bo'lgan
ob'ektlarga ega;

---

2) nazariy faylasuf allaqachon deduktiv kognitiv harakatning boshlanishi bo'lib
xizmat qilishi mumkin bo'lgan voqelik haqidagi bilimlarning universal va shuning
uchun eng oddiy aksiomalarini ochib beradi.
Shunday qilib, Dekart tahlili uni tayyorlash bosqichi sifatida deduksiyadan oldin,
lekin undan farq qiladi. Bu yerda tahlil “induksiya” tushunchasiga yaqinlashadi.
Dekart induksiyasini tahlil qilish natijasida ochilgan dastlabki aksiomalar nafaqat
ilgari ongsiz elementar sezgilar, balki elementar sezgilarda bilimning “sheriklari”
boʻlgan, lekin ularda hali ajratib olinmagan narsalarning orzu qilingan, nihoyatda
umumiy xarakteristikalari boʻlib chiqadi. sof shakl.
Uchinchi qoida. Bilishda fikr eng oddiydan ketishi kerak, ya'ni. Biz uchun oddiy va
eng qulay narsalar murakkabroq va shunga mos ravishda tushunish qiyinroq
narsalarga. Bu yerda deduksiya umumiy gaplarning boshqalardan kelib chiqishi
va ayrim narsalarni boshqalardan yasashda ifodalanadi.
Haqiqatlarni kashf qilish deduksiyaga to'g'ri keladi, keyinchalik ular bilan
hosilalarning haqiqatlarini olish uchun ishlaydi va elementar narsalarni aniqlash
murakkab narsalarning keyingi qurilishining boshlanishi bo'lib xizmat qiladi va
topilgan haqiqat keyingi haqiqatga o'tadi. hali noma'lum biri. Shuning uchun
Dekartning haqiqiy aqliy deduksiyasi matematik induksiya deb ataladigan
embrionga xos bo'lgan konstruktiv xususiyatlarga ega bo'ladi. U bu erda
Leybnitsning salafi bo'lib, ikkinchisini kutadi.
To'rtinchi qoida. Bu e'tibordan hech narsani yo'qotmasdan to'liq ro'yxatga olish,
ko'rib chiqishni o'z ichiga olgan sanab o'tishdan iborat. Eng umumiy ma'noda, bu
qoida bilimlarning to'liqligiga erishishga qaratilgan. U taxmin qiladi:
Birinchidan, mumkin bo'lgan eng to'liq tasnifni yaratish;
Ikkinchidan, ko'rib chiqishning maksimal to'liqligiga yaqinlashish dalillarga
ishonchlilik (ishontirish) olib keladi, ya'ni. induksiya - deduksiyaga va keyin
sezgiga. Endi to'liq induksiya deduksiyaning alohida holati ekanligi e'tirof etildi;
Uchinchidan, sanab o'tish to'liqlik talabidir, ya'ni. chegirmaning o'zi aniqligi va
to'g'riligi. Deduktiv fikrlash, agar u hali ham deduksiya yoki isbotlanishi kerak
bo'lgan oraliq takliflardan o'tib ketsa, buziladi.
Umuman, Dekart rejasiga ko‘ra, uning metodi deduktiv bo‘lib, uning umumiy
arxitektoniyasi ham, alohida qoidalar mazmuni ham shu yo‘nalishga
bo‘ysundirilgan. Shuni ham ta'kidlash kerakki, Dekart deduksiyasida
induksiyaning mavjudligi yashiringan.
Hozirgi zamon fanida Dekart bilishning deduktiv usulining targʻibotchisi boʻlgan,
chunki u matematika sohasidagi yutuqlaridan ilhomlangan. Darhaqiqat,
matematikada deduktiv usul alohida ahamiyatga ega. Hatto aytish mumkinki,
matematika yagona to'g'ri deduktiv fandir. Lekin deduksiya orqali yangi bilimlarni
egallash barcha tabiiy fanlarda mavjud.

---

deduksiya aristotel mantig'i
3. Gipotetik-deduktiv usul
Hozirgi vaqtda zamonaviy fanda gipotetik-deduktiv usul eng ko'p qo'llaniladi. Bu
asl ma'nosi noma'lum bo'lgan gipotezalardan va boshqa binolardan xulosalar
chiqarishga (deduksiyaga) asoslangan fikrlash usulidir. Shuning uchun gipotetik-
deduktiv usul faqat ehtimolli bilimlarni oladi.
Gipotetik-deduktiv fikrlash antik dialektika doirasida tahlil qilingan. Bunga Suqrot
misol bo'la oladi, u o'z suhbatlari davomida raqibni yo o'z dissertatsiyasidan voz
kechishga yoki undan faktlarga zid bo'lgan oqibatlarni chiqarib, aniqlashtirishga
ishontirish vazifasini qo'ydi.
Ilmiy bilimda gipotetik-deduktiv usul 17-18-asrlarda yer va osmon jismlari
mexanikasi sohasida sezilarli yutuqlarga erishilganda ishlab chiqilgan.
Mexanikada bu usuldan foydalanishga birinchi urinishlar Galiley va Nyuton
tomonidan qilingan. Nyutonning "Tabiiy falsafaning matematik asoslari" asarini
mexanikaning gipotetik-deduktiv tizimi sifatida qarash mumkin, uning asoslari
harakatning asosiy qonunlari hisoblanadi. Nyuton tomonidan yaratilgan
tamoyillar usuli aniq tabiatshunoslik rivojiga katta ta'sir ko'rsatdi.
Mantiqiy nuqtai nazardan gipotetik-deduktiv tizim gipotezalar ierarxiyasi bo‘lib,
ularning mavhumlik va umumiylik darajasi empirik asosdan uzoqlashgan sari
ortib boradi. Eng yuqori qismida eng umumiy xarakterga ega bo'lgan va shuning
uchun eng katta mantiqiy kuchga ega bo'lgan farazlar mavjud. Ulardan binolar
sifatida quyi darajadagi gipotezalar olinadi. Tizimning eng quyi darajasida empirik
haqiqat bilan solishtirish mumkin bo'lgan farazlar mavjud.
Binolarning tabiatiga ko'ra, barcha faraziy xulosalarni uch guruhga bo'lish
mumkin.
birinchi guruh muammoli xulosalar chiqarish, ularning asoslari empirik
ma'lumotlarning farazlari yoki umumlashmasi. Shuning uchun ularni to'g'ri
gipotetik xulosalar deb ham atash mumkin, chunki ularning binolarining haqiqat
qiymati noma'lumligicha qolmoqda.
Ikkinchi guruh xulosalardan iborat bo'lib, ularning asoslari har qanday bayonotga
zid bo'lgan taxminlardir. Bunday taxminni ilgari surish orqali undan aniq faktlar
yoki qat'iy belgilangan qoidalarga aniq nomuvofiq bo'lgan oqibat chiqariladi.
Bunday xulosa chiqarishning mashhur usullari - bu ko'pincha matematik
dalillarda qo'llaniladigan, aksincha fikr yuritish usuli, shuningdek, qadimgi
mantiqda ma'lum bo'lgan rad etish usuli - absurdlikka kamaytirish (reductio ad
absurdum).
UchinchiMen bir guruhman ikkinchisidan unchalik farq qilmaydi, lekin unda
taxminlar e'tiqodga asoslangan har qanday fikr va bayonotlarga zid keladi.
Bunday mulohazalar qadimgi bahslarda keng qo‘llanilgan va ular ushbu bobning
boshida muhokama qilingan Sokratik metodning asosini tashkil qilgan.

---

Gipotetik fikrlash odatda deduktiv tizimga bog'lanishi mumkin bo'lgan, ko'pincha
induktiv xarakterga ega bo'lgan ba'zi umumlashmalarning haqiqat yoki
noto'g'riligini aniqlashning boshqa usullari bo'lmaganda qo'llaniladi. An'anaviy
mantiq gipotetik fikrlashning eng umumiy tamoyillarini o'rganish bilan
chegaralangan va rivojlangan empirik fanlarda qo'llaniladigan tizimlarning
mantiqiy tuzilishini deyarli butunlay e'tiborsiz qoldirgan.
Empirik fanlarning zamonaviy metodologiyasida vujudga kelgan yangi
tendentsiya shundan iboratki, u har qanday eksperimental bilimlar tizimini
gipotetik-deduktiv tizim deb hisoblaydi. Bunga to'liq qo'shilish qiyin, chunki zarur
nazariy etuklikka erishmagan va haligacha alohida, bir-biriga bog'liq bo'lmagan
umumlashtirish yoki farazlar, hatto taqdim etilgan hodisalarning oddiy tavsiflari
bilan chegaralangan fanlar mavjud. Rivojlangan gipotetik-deduktiv tizimlarda
ko'pincha matematik usullar qo'llaniladi.
Ko'pincha mantiqda gipotetik-deduktiv tizimlar yagona mumkin bo'lgan talqin
qilish imkonini beruvchi mazmunli aksiomatik tizimlar sifatida qaraladi. Biroq,
bunday formal analogiya matematikada nazariyalarni aksiomatik qurishda
abstraktsiya qilingan eksperimental bilimlarni deduktiv tashkil etishning o'ziga
xos xususiyatlarini hisobga olmaydi. Ushbu tezisni tasvirlash uchun, masalan,
Evklidning rasmiy matematik tizim sifatidagi tanish geometriyasi va boshqa
tomondan, talqin qilingan yoki fizik tizim sifatidagi geometriya o'rtasidagi farqni
ko'rib chiqing. Ma’lumki, Yevklid geometriyasi kashf etilgunga qadar bizni o‘rab
turgan fazoning xossalari haqidagi yagona to‘g‘ri ta’limot Evklid geometriyasi
hisoblangan va I.Kant bunday e’tiqodni hatto apriorlik tamoyil darajasiga
ko‘targan. Lobachevskiy, Bolyai va Riemann tomonidan yangi geometriyalar kashf
etilgandan keyingi vaziyat asta-sekin bo'lsa-da, lekin tubdan o'zgardi. Sof
mantiqiy va matematik nuqtai nazardan, bu barcha geometrik tizimlar bir xil
darajada haqiqiy va haqiqiydir, chunki ular izchil. Ammo ularga ma'lum bir talqin
berilishi bilanoq, ular ba'zi bir o'ziga xos farazlarga, masalan, jismoniy
gipotezalarga aylanadi. Ulardan qaysi biri voqelikni, aytaylik, atrofdagi makonning
fizik xususiyatlari va munosabatlarini yaxshiroq aks ettirishini faqat fizik tajriba
tekshirishi mumkin. Bundan ma'lum bo'ladiki, eksperimental fanlar ularda
to'plangan barcha materiallarni tizimlashtirish va tartibga solish uchun ob'ektlar
va hodisalarning ma'lum bir empirik maydonini o'rganish bilan bog'liq
tushunchalar va hukmlar ma'lum bir ma'noga ega bo'lgan talqin qilingan
tizimlarni qurishga intiladi. haqiqiy dunyodan. Matematik tadqiqotlarda
ob'ektlarning bunday o'ziga xos ma'nosi va ma'nosidan abstraktsiya qilinadi va
mavhum tizimlar quriladi, ular keyinchalik butunlay boshqacha talqinni olishlari
mumkin. Bu qanchalik g'alati tuyulmasin, lekin Evklid geometriyasining
aksiomalari nafaqat bizga tanish bo'lgan geometrik nuqtalar, chiziqlar va
tekisliklar o'rtasidagi xususiyatlar va munosabatlarni, balki turli xil boshqa
ob'ektlar o'rtasidagi ko'plab munosabatlarni, masalan, ranglar o'rtasidagi
munosabatlarni tasvirlashi mumkin. hislar. Bundan kelib chiqadiki, sof
matematikaning aksiomatik tizimlari bilan amaliy matematika, tabiatshunoslik va
umuman empirik fanlarning gipotetik-deduktiv tizimlari o‘rtasidagi farq izohlash
darajasida yuzaga keladi. Agar matematik uchun nuqta, to'g'ri chiziq va tekislik
oddiygina geometrik tizim doirasida aniqlanmagan boshlang'ich tushunchalarni

---

bildirsa, fizik uchun ular ma'lum empirik mazmunga ega.
Ba'zan ko'rib chiqilayotgan tizimning boshlang'ich tushunchalari va
aksiomalarining empirik talqinini berish mumkin. Shunda butun nazariyani
deduktiv bog’langan empirik farazlar tizimi sifatida ko’rish mumkin. Biroq,
aksariyat hollarda aksiomalardan olingan ba'zi gipotezalarni empirik talqin qilish
mumkin bo'ladi. Aynan shu gipotezalar eksperiment natijalari bilan bog'liq bo'lib
chiqadi. Masalan, Galiley o'z tajribalarida yuqori darajadagi farazlarning haqiqatini
quyi darajadagi gipotezalar yordamida tekshirish uchun butun farazlar tizimini
qurgan.
Shunday qilib, gipotetik-deduktiv tizimni gipotezalar ierarxiyasi sifatida qarash
mumkin, uning mavhumlik darajasi empirik asosdan uzoqlashgan sari ortib
boradi. Eng yuqori qismida gipotezalar mavjud bo'lib, ularni shakllantirishda juda
mavhum nazariy tushunchalar qo'llaniladi. Shuning uchun ularni eksperimental
ma'lumotlar bilan bevosita taqqoslab bo'lmaydi. Aksincha, ierarxik zinapoyaning
pastki qismida gipotezalar mavjud bo'lib, ularning tajriba bilan aloqasi juda aniq.
Ammo farazlar qanchalik mavhum va umumiy bo‘lmasa, ular tushuntira oladigan
empirik hodisalar doirasi shunchalik kichik bo‘ladi. Gipotetik-deduktiv tizimlarning
xarakterli xususiyati aynan shundan iboratki, ularda gipotezalarning mantiqiy
kuchi gipoteza joylashgan darajaning oshishi bilan ortadi. Gipotezaning mantiqiy
kuchi qanchalik katta bo'lsa, undan chiqarish mumkin bo'lgan oqibatlar soni
shunchalik ko'p bo'ladi, ya'ni u tushuntira oladigan hodisalar doirasi shunchalik
katta bo'ladi.
Yuqorida aytilganlardan xulosa qilishimiz mumkinki, gipotetik-deduktiv usul
ishlab chiqilgan kontseptual apparat va matematik tadqiqot usullari
qo'llaniladigan tabiatshunoslik sohalarida eng ko'p qo'llanilgan. Alohida
umumlashma va gipotezalar ustunlik qiladigan tavsif fanlarida ular o'rtasida
mantiqiy bog'lanishni o'rnatish jiddiy qiyinchiliklarga duch keladi: birinchidan, ular
juda ko'p boshqa, ikkinchi darajali umumlashma va faktlardan eng muhim
umumlashma va faktlarni ajratib ko'rsatishmaydi; ikkinchidan, asosiy farazlar
hosilalardan ajratilmagan; uchinchidan, gipotezalarning alohida guruhlari
orasidagi mantiqiy munosabatlar aniqlanmagan; to'rtinchidan, farazlar soni
odatda ko'p. Shu sababli, tadqiqotchilarning bunday fanlardagi sa'y-harakatlari
barcha mavjud empirik umumlashmalar va gipotezalarni ular o'rtasida deduktiv
munosabatlar o'rnatish orqali birlashtirishga emas, balki yagona fan tizimini
yaratish uchun asos bo'lishi mumkin bo'lgan eng umumiy fundamental farazlarni
izlashga qaratilgan. bilim.
Gipotetik-deduktiv usulning o'zgarishini matematik gipoteza deb hisoblash
mumkin, u tabiiy fanda naqshlarni ochish uchun eng muhim evristik vosita
sifatida ishlatiladi. Odatda, bu erda gipotezalar ilgari ma'lum bo'lgan va
tasdiqlangan munosabatlarning modifikatsiyasini ifodalovchi ba'zi tenglamalardir.
Ushbu nisbatlarni o'zgartirib, ular o'rganilmagan hodisalarga tegishli gipotezani
ifodalovchi yangi tenglamani tashkil qiladi. Ilmiy tadqiqot jarayonida eng qiyin
vazifa barcha keyingi xulosalar uchun asos bo'lib xizmat qiladigan printsiplar va
gipotezalarni aniqlash va shakllantirishdir. Gipotetik-deduktiv usul bu jarayonda

---

yordamchi rol o'ynaydi, chunki u yangi farazlarni ilgari surmaydi, faqat ulardan
kelib chiqadigan oqibatlarni tekshiradi va shu bilan tadqiqot jarayonini
boshqaradi.
Aksiomatik usul gipotetik-deduktiv usulga yaqin. Bu ilmiy nazariyani qurish usuli
bo'lib, unda ba'zi bir dastlabki qoidalar (hukmlar) - aksiomalar yoki postulatlarga
asoslanadi, bu nazariyaning boshqa barcha bayonotlari sof mantiqiy yo'l bilan,
isbotlash orqali olinishi kerak. Fanni aksiomatik usul asosida qurish odatda
deduktiv deb ataladi. Deduktiv nazariyaning barcha tushunchalari
(boshlang'ichlarning qat'iy sonidan tashqari) ilgari kiritilgan bir qator
tushunchalardan tuzilgan ta'riflar orqali kiritiladi. U yoki bu darajada aksiomatik
usulga xos bo'lgan deduktiv dalillar ko'plab fanlarda qabul qilingan, ammo uni
qo'llashning asosiy sohasi matematika, mantiq, shuningdek, fizikaning ba'zi
sohalaridir.
Ishlatilganlar adabiyotlar ro'yxati
1. Alekseev P.V., Panin A.V. Falsafa. M.: TEIS, 1996 yil.
2. Novikov A.M., Novikov D.A. Metodologiya. M.: SIN-TEG, 2007 yil.
3. Novikov A.M., Novikov D.A. Metodologiya. Asosiy tushunchalar tizimining
lug'ati. M.: SIN-TEG, 2013 yil.
4. Fan falsafasi va metodologiyasi. ostida. ed. IN VA. Kuptsova. M.: ASPECT
PRESS, 1996 yil.
5. Falsafiy atamalar lug'ati. Professor V.G.ning ilmiy nashri. Kuznetsova. M.,
INFRA-M, 2007, p. 74-75.
6. Ababilova L.S., Shlekin S.I. Ilmiy metod muammosi. - M., 2007 yil.
7. Ruzavin G.I. Ilmiy tadqiqot metodologiyasi: Prok. universitetlar uchun nafaqa. -
M.: UNITI-DANA, 1999. - 317 b.