Мундарижа ўҚув материаллар

10 – Мавзу. Илмий ижодда тилни формаллаштириш ва фикрлашнинг
мантиқий шаклларидан фойдаланиш.


10.1.

Илмий билимни формаллаштириш



Исботлаш формал-мантиқий фикрлаш қоидалари асосида кечади

Исботнинг чинлиги ва кечиши унинг шаклига боғлиқ

Илмий билимнинг мантиқий тузилмасини аниқлайди

Исботлаш математика, мантиқ ва лойиҳалаштиришнинг формаллашган тилига асосланади



Ҳозирги замон фани тадқиқот усуллари



10.2.





Менталь соҳа



Менталь соҳа


Тил

Предметлар дунёси







10.3.



Илмий билишда аксиоматик ёндашув

Мазкур илмий назария учун асос математик структурани танлаш

Математика фаннинг асосий тушунчаларини аниқ таърифлайди

Формализмлар ва алгоритмлар яратиш

Мавҳумлаштириш

Умумий ғояларни излаш

Илмий билишда шакл фаоллиги

Формаллаштириш математиклаштириш

Ҳозирги замон формаллашган фанининг асоси

Фикрнинг моддий шакли

Бажарадиган эпистемологик функцияларига кўра фарқланадиган билиш белгили воситаларнинг иерархияси

Фан тили

Алоқа воситаси

Тарихий, ижтимоий тажриба синтези

Тил