Ushbu maqola nemis faylasufi Georg Vilgelm Fridrix Xegelning "Mantiq ilmi" asaridagi mantiqiy ob'ektlarni ularning analoglari yoki dasturlashda yo'qligi bilan qiyosiy tahlil qilishga bag'ishlangan.

Ushbu so'zlarning umumiy qabul qilingan ta'riflari bilan chalkashmaslik uchun "Mantiq fanlari" ning ob'ektlari kursiv bilan yozilgan.

Sof borliq

Agar siz ta'rifni ochsangiz sof mavjudot kitobda siz "qo'shimcha ta'rifsiz" qiziqarli qatorni ko'rasiz. Ammo o'qimagan yoki tushunmaganlar uchun muallifni demansda ayblashga shoshilmang. Sof borliq - bu Hegel mantig'idagi asosiy tushuncha bo'lib, qandaydir ob'ekt mavjud degan ma'noni anglatadi, iltimos, uni ob'ektning mavjudligi bilan aralashtirib yubormang, ob'ekt haqiqatda mavjud bo'lmasligi mumkin, lekin agar biz uni qandaydir tarzda mantiqimizda aniqlagan bo'lsak, u mavjud. Agar o'ylab ko'rsangiz, haqiqatan ham shunday narsalar bor sof mavjudot ta'rif berishning iloji yo'q va har qanday bunday urinish siz shunchaki uning sinonimlari yoki antonimlariga murojaat qilishingizga olib keladi. Sof borliq shunday mavhum tushunchaki, uni mutlaqo hamma narsaga, shu jumladan o'ziga ham qo'llash mumkin. Ba'zi ob'ektga yo'naltirilgan tillarda har qanday narsani ob'ekt sifatida tasvirlash mumkin, shu jumladan ob'ektlar ustidagi amallar, bu bizga printsipial jihatdan shunday mavhumlik darajasini beradi. Biroq, to'g'ridan-to'g'ri analogni dasturlashda sof mavjudot Yo'q. Ob'ektning mavjudligini tekshirish uchun biz uning yo'qligini tekshirishimiz kerak.

if(obj != null);

Ajablanarlisi shundaki, bunday sintaktik shakar hali mavjud emas, chunki bu chek juda mashhur.

Hech narsa

Qanday qilib taxmin qila olasiz hech narsa hech narsaning yo'qligi. Va uning analogini NULL deb atash mumkin. Shuni ta'kidlash joizki, mantiq fanida hech narsa u sof mavjudot, chunki u ham mavjud. Bu biroz tushunarli; biz NULL ga hech qanday tilda ob'ekt sifatida kira olmaymiz, lekin aslida u ham bitta.

Shakllanish va daqiqalar

Becoming dan o'tish hisoblanadi hech narsa в bo'lish va dan bo'lish в hech narsa. Bu bizga ikkita beradi moment, birinchisi deyiladi paydo bo'lishiva ikkinchi o'tish. O'tish u g'oyib bo'lish o'rniga shunday deyiladi, chunki biz uni unutmagunimizcha mantiqiy mohiyat mohiyatan yo'qolmaydi. Olib tashlash shuning uchun biz tayinlash tartibini chaqirishimiz mumkin. Agar bizning ob'ektimiz ishga tushirilgan bo'lsa, unda yuzaga kelgan moment, va boshqa qiymat yoki NULL tayinlangan taqdirda o'tish momenti.

obj = new object(); //возникновение
obj = null; //прехождение

Mavjudlik

Qisqasi mavjudlik aniq ta'rifga ega bo'lmagan, lekin ega bo'lgan ob'ektdir ishonch. Bu nima degani. Kanonik misol - oddiy stul. Agar siz unga aniq ta'rif berishga harakat qilsangiz, ko'p qiyinchiliklarga duch kelasiz. Masalan, siz: "bu o'tirish uchun mo'ljallangan mebel", deb aytasiz, lekin stul ham buning uchun yaratilgan va hokazo. Ammo aniq ta'rifning yo'qligi uni kosmosda ajratib ko'rsatishga va u haqida ma'lumot uzatishda foydalanishga to'sqinlik qilmaydi, chunki bizning boshimizda mavjud. ishonch stul. Ehtimol, ba'zilar neyron tarmoqlar bunday ob'ektlarni ma'lumotlar oqimidan ajratish uchun yaratilganligini allaqachon taxmin qilishgan. Neyron tarmoqni buni aniqlaydigan funksiya sifatida belgilash mumkin ishonch, lekin aniq va noaniq ta'riflarni o'z ichiga oladigan ob'ektlar turlari mavjud emas, shuning uchun bunday ob'ektlarni bir xil darajada abstraktsiyada ishlatib bo'lmaydi.

Miqdoriy o'zgarishlarning sifatga o'tish qonuni

Bu qonun Fridrix Engels tomonidan Gegel mantig'ini talqin qilish natijasida shakllantirilgan. Biroq, bobning birinchi jildida buni aniq ko'rish mumkin eng kam. Uning mohiyati shundan iborat miqdoriy ob'ektdagi o'zgarishlar unga ta'sir qilishi mumkin sifat. Masalan, bizda muz ob'ekti bor, harorat to'planishi bilan u suyuq suvga aylanadi va o'z holatini o'zgartiradi sifat. Ushbu xatti-harakatni ob'ektda amalga oshirish uchun Davlat dizayn namunasi mavjud. Bunday yechimning paydo bo'lishi dasturlashda bunday narsaning yo'qligi bilan bog'liq poydevor uchun paydo bo'lishi ob'ekt. Jamg'arma ob'ekt paydo bo'lishi mumkin bo'lgan shartlarni aniqlaydi va algoritmda biz ob'ektni qaysi nuqtada ishga tushirishimiz kerakligini o'zimiz hal qilamiz.

PS: Agar bu ma'lumot qiziq bo'lsa, men Mantiq fanidan boshqa ob'ektlarni ko'rib chiqaman.

Manba: www.habr.com