Idealizatsiya - haqiqatda mavjud bo'lmagan ob'ektlarning aqliy qurilishi. Bunday ideal narsalarga, masalan, butunlay qora jism, moddiy nuqta, nuqta elektr zaryadlari kiradi. Ideal ob'ektni qurish jarayoni ongning mavhum faoliyatini o'z ichiga oladi. Shunday qilib, mutlaqo qora tanani nazarda tutgan holda, biz barcha haqiqiy jismlar ular ustidagi engil hodisani aks ettirish qobiliyatiga ega ekanligidan mavhummiz. Ideal ob'ektlarni shakllantirish uchun boshqa aqliy operatsiyalar katta ahamiyatga ega. Buning sababi, ideal ob'ektlarni yaratishda quyidagi maqsadlarga erishishimiz kerak:
Haqiqiy ob'ektlarni o'ziga xos xususiyatlarining bir qismidan mahrum qilish;
- ushbu ob'ektlarga ma'lum bo'lmagan real xususiyatlarga ega bo'lgan aqliy qobiliyatlar. Bu mulkni yaratishda va ob'ektlarning ba'zi haqiqiy xususiyatlarini bekor qilishda cheklangan holatlarga ruhiy o'tishni talab qiladi.
Ideal ob'ektlar fanda katta rol o'ynaydi, ular murakkab tizimlarni sezilarli darajada soddalashtirishi mumkin, bu esa ularga matematik tadqiqot usullarini qo'llashga imkon beradi. Bundan tashqari, fan ideal ob'ektlarni o'rganish ajoyib kashfiyotlarga olib kelganida (Galiley inertsiya printsipini kashf etgan) ko'plab misollarni biladi. Har qanday ideallashtirish faqat ma'lum chegaralar doirasida qonuniydir, u faqat ma'lum muammolarni ilmiy jihatdan hal qilishga xizmat qiladi. Aks holda, idealizatsiya qo'llanilishi ba'zi noto'g'ri tushunchalarga olib kelishi mumkin. Faqat shuni yodda tutgan holda, biz idrokda idealizatsiya rolini to'g'ri baholay olamiz.
Rasmiylashtirish - turli xil ob'ektlarning mazmuni va tuzilishini ramziy shaklda namoyish etish va nazariyaning mantiqiy tuzilishini o'rganish orqali o'rganish usuli. Rasmiylashtirishning afzalligi quyidagilardan iborat:
Muammolarning ma'lum bir sohasini ko'rib chiqishni to'liqligini ta'minlash, ularni hal qilishga umumiy yondashuv. Muammolarni yechishning umumiy algoritmi yaratiladi, masalan, integral hisoblash yordamida turli xil raqamlarning sohalarini hisoblash;
Maxsus belgilardan foydalanish, ularning kiritilishi bilimlarni aniqlashning aniqligi va ravshanligini ta'minlaydi;
Tabiiy tillarga xos bo'lgan atamalarning noaniqligidan qochadigan ba'zi bir ma'nolarni individual belgilarga yoki ularning tizimlariga jalb qilish. Shuning uchun rasmiylashtirilgan tizimlar bilan ishlashda fikrlar aniq va qat'iydir va xulosalar dalillarga asoslangan;
Ob'ektlarning ikonik modellarini shakllantirish va real narsalar va jarayonlarni o'rganishni ushbu modellarni o'rganish bilan almashtirish qobiliyati. Bu kognitiv vazifalarni soddalashtirishga erishadi. Sun'iy tillarda belgi shakliga nisbatan nisbatan katta mustaqillik, mustaqillik mavjud, shuning uchun rasmiylashtirish jarayonida vaqtinchalik model tarkibidan qochish va faqat rasmiy tomonni o'rganish mumkin. Tarkibdan bunday chalg'itish paradoksal, ammo chinakam yorqin kashfiyotlarga olib kelishi mumkin. Masalan, rasmiylashtirish yordamida pozitronning mavjudligi P. Dirak tomonidan bashorat qilingan.
Aksiomatizatsiya matematik va matematik fanlarda keng qo'llanildi.
Nazariyalarni qurishning aksiomatik usuli deganda, bir qator iboralar isbotlanmasdan kiritilganda, qolganlari ma'lum mantiqiy qoidalarga muvofiq ulardan chiqarib tashlanganida bunday tashkilot tushuniladi. Dalilsiz qabul qilingan qoidalarga aksioma yoki postulat deyiladi. Bu usul birinchi marta Evklid tomonidan boshlang'ich geometriyani qurishda qo'llanilgan, keyin u turli fanlarda qo'llanilgan.
Aksiomatik tarzda qurilgan bilimlar tizimi bir qator talablarga ega. Aksiomalar tizimida izchillik talabiga binoan, bir vaqtning o'zida biron bir jumla va uning rad etilishi mumkin emas. To'liqlik talabiga binoan berilgan aksiomalar tizimida shakllantirilishi mumkin bo'lgan har qanday taklif unda isbotlanishi yoki rad qilinishi mumkin. Aksiomalarning mustaqilligi talabiga binoan, ularning har birini boshqa aksiomalardan ajratib bo'lmaydi.
Aksiomatik usulning afzalliklari nimada? Birinchidan, fanning aksiomatizatsiyasi ishlatilgan tushunchalarni aniq belgilashni va xulosalarning qat'iyligini talab qiladi. Ampirik bilimlarda bittasiga va ikkinchisiga erishilmadi, shuning uchun aksiomatik usuldan foydalanish ushbu bilim sohasidagi taraqqiyotni talab qiladi. Bundan tashqari, aksiomatizatsiya bilimlarni tashkil qiladi, undagi keraksiz elementlarni yo'q qiladi va noaniqliklar va qarama-qarshiliklarni yo'q qiladi. Boshqacha aytganda, aksiomatizatsiya ilmiy bilimlarni tashkil etishni ratsionalizatsiya qiladi.
Hozirgi vaqtda ushbu usulni matematik bo'lmagan fanlarda: biologiya, tilshunoslik, geologiya bo'yicha qo'llashga urinishlar qilinmoqda.