Bu məqalə alman filosofu Georg Vilhelm Friedrich Hegelin “Məntiq Elmi” əsərindəki məntiqi varlıqların analoqları və ya proqramlaşdırmada olmaması ilə müqayisəli təhlilinə həsr edilmişdir.

Məntiq Elmindən olan varlıqlar bu sözlərin ümumi qəbul edilmiş tərifləri ilə qarışıqlığa yol verməmək üçün kursivlə yazılmışdır.

Saf varlıq

Tərifi açsanız saf varlıq kitabda "əlavə tərif olmadan" maraqlı bir sətir görəcəksiniz. Ancaq oxumayan və ya başa düşməyənlər üçün müəllifi demansda ittiham etməyə tələsməyin. Saf varlıq - bu, Hegel məntiqində əsas anlayışdır, yəni hansısa obyekt var, lütfən, onu obyektin varlığı ilə qarışdırmayın, obyekt reallıqda mövcud olmaya bilər, amma məntiqimizdə onu bir növ müəyyən etsək, o, mövcuddur. Fikir versəniz, həqiqətən belə şeylər var saf varlıq tərif vermək qeyri-mümkündür və hər hansı bu cür cəhd onun sinonimlərinə və ya antonimlərinə müraciət etməyinizlə nəticələnəcək. Saf varlıq elə mücərrəd anlayışdır ki, onu tamamilə hər şeyə, o cümlədən özünə aid etmək olar. Bəzi obyekt yönümlü dillərdə obyekt kimi hər hansı bir şeyi, o cümlədən obyektlər üzərində əməliyyatları təqdim etmək mümkündür ki, bu da prinsipcə bizə belə bir abstraksiya səviyyəsini verir. Bununla belə, proqramlaşdırmada birbaşa analoq saf varlıq Yox. Bir obyektin varlığını yoxlamaq üçün onun yoxluğunu yoxlamaq lazımdır.

if(obj != null);

Qəribədir ki, bu çekin çox məşhur olduğunu nəzərə alsaq, belə sintaktik şəkərin hələ mövcud olmaması.

Heç bir şey yoxdur

Necə təxmin edə bildin heç bir şey bir şeyin yoxluğudur. Və onun analoqunu NULL adlandırmaq olar. Qeyd etmək lazımdır ki, məntiq elmində heç bir şey edir saf varlıq, çünki o da mövcuddur. Bu, bir az diqqəti cəlb edir; biz heç bir dildə obyekt kimi NULL-a daxil ola bilmərik, baxmayaraq ki, mahiyyət etibarilə o da birdir.

Formalaşma və anlar

Bəli -dən keçiddir heç bir şey в olmaq və varlıq в heç bir şey. Bu bizə iki verir an, birincisi deyilir meydana çıxmasıvə ikinci keçən. Keçid yox olmaq əvəzinə belə adlanır, çünki məntiqi mahiyyət biz onu unutmadıqca mahiyyətcə yox ola bilməz. Çıxarma beləliklə biz təyinat prosedurunu adlandıra bilərik. Əgər obyektimiz işə salınıbsa, o zaman baş vermə anı, və başqa bir dəyər və ya NULL təyin edildikdə keçmə anı.

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

Varlıq

Qısa mövcudluğu aydın tərifi olmayan, lakin malik olan obyektdir əminlik. Bunun mənası nədi. Kanonik nümunə adi bir kreslodur. Əgər ona aydın tərif verməyə çalışsanız, bir çox çətinliklərlə qarşılaşacaqsınız. Məsələn, siz deyirsiniz: "bu oturmaq üçün nəzərdə tutulmuş mebel parçasıdır", lakin stul da bunun üçün yaradılmışdır və s. Ancaq dəqiq bir tərifin olmaması onu kosmosda vurğulamağa və bu barədə məlumat ötürərkən istifadə etməyə mane olmur, çünki başımızda əminlik kreslo. Ola bilsin ki, bəziləri artıq neyron şəbəkələrin bu cür obyektləri məlumat axınından təcrid etmək üçün yaradıldığını təxmin ediblər. Bir neyron şəbəkəsi bunu müəyyən edən funksiya kimi qeyd edilə bilər əminlik, lakin aydın və qeyri-səlis tərifləri ehtiva edən obyekt növləri yoxdur, ona görə də belə obyektlər eyni abstraksiya səviyyəsində istifadə edilə bilməz.

Kəmiyyət dəyişikliklərinin keyfiyyət dəyişikliklərinə keçid qanunu

Bu qanun Hegel məntiqinin şərhi nəticəsində Fridrix Engels tərəfindən tərtib edilmişdir. Bununla belə, fəsildə birinci cilddə bunu aydın görmək olar ən az. Onun mahiyyəti bundan ibarətdir kəmiyyət obyektdə dəyişikliklər ona təsir edə bilər keyfiyyət. Məsələn, bir buz obyektimiz var, temperaturun yığılması ilə o, maye suya çevriləcək və dəyişəcək Keyfiyyət. Bu davranışı obyektdə həyata keçirmək üçün Dövlət dizayn nümunəsi var. Belə bir həllin ortaya çıxması proqramlaşdırmada belə bir şeyin olmaması ilə əlaqədardır təməl uğrunda meydana çıxması obyekt. Səbəb obyektin görünə biləcəyi şərtləri müəyyənləşdirir və alqoritmdə obyekti hansı nöqtədə işə salmaq lazım olduğuna özümüz qərar veririk.

PS: Bu məlumat maraqlı olarsa, məntiq elminin digər varlıqlarını nəzərdən keçirəcəyəm.

Mənbə: www.habr.com