ეს სტატია ეძღვნება ლოგიკური ერთეულების შედარებით ანალიზს გერმანელი ფილოსოფოსის გეორგ ვილჰელმ ფრიდრიხ ჰეგელის ნაშრომიდან „ლოგიკის მეცნიერება“ მათი ანალოგებით ან მათი არარსებობით პროგრამირებაში.

ლოგიკის მეცნიერების ერთეულები არის დახრილი ასოებით, რათა თავიდან იქნას აცილებული ამ სიტყვების ზოგადად მიღებულ განმარტებებთან დაბნეულობა.

სუფთა არსება

თუ გახსნით განმარტებას სუფთა არსება წიგნში ნახავთ საინტერესო სტრიქონს „დამატებითი განმარტების გარეშე“. მაგრამ ვისაც არ აქვს წაკითხული ან არ ესმის, ნუ იჩქარებთ ავტორის დემენციაში დადანაშაულებას. სუფთა არსება - ეს არის ჰეგელის ლოგიკაში ძირითადი ცნება, რაც იმას ნიშნავს, რომ რაღაც ობიექტი არსებობს, გთხოვთ, არ აურიოთ იგი ობიექტის არსებობაში, ობიექტი შეიძლება რეალობაში არ არსებობდეს, მაგრამ თუ ჩვენ როგორმე განვსაზღვრავთ ჩვენს ლოგიკაში, ის არსებობს. თუ დაფიქრდებით, ნამდვილად არის ისეთი რამ, როგორიცაა სუფთა არსება შეუძლებელია განმარტების მიცემა და ნებისმიერი ასეთი მცდელობა მიდის იქამდე, რომ თქვენ უბრალოდ მიუთითებთ მის სინონიმებსა თუ ანტონიმებს. სუფთა არსება ისეთი აბსტრაქტული ცნებაა, რომ მისი გამოყენება შესაძლებელია აბსოლუტურად ყველაფერზე, მათ შორის საკუთარ თავზე. ზოგიერთ ობიექტზე ორიენტირებულ ენაში შესაძლებელია ნებისმიერი ნივთის სახით წარმოდგენა, მათ შორის ობიექტებზე მოქმედებები, რაც პრინციპში გვაძლევს აბსტრაქციის ასეთ დონეს. თუმცა, პირდაპირი ანალოგის პროგრამირებაში სუფთა არსება არა. ობიექტის არსებობის შესამოწმებლად საჭიროა შევამოწმოთ მისი არარსებობა.

if(obj != null);

უცნაურია, რომ ასეთი სინტაქსური შაქარი ჯერ არ არსებობს, იმის გათვალისწინებით, რომ ეს შემოწმება ძალიან პოპულარულია.

არაფერი

როგორ გამოიცანი არაფერი არის არაფრის არარსებობა. და მის ანალოგს შეიძლება ეწოდოს NULL. აღსანიშნავია, რომ ლოგიკის მეცნიერებაში არაფერი არის სუფთა არსება, რადგან ის ასევე არსებობს. ეს ცოტა არგუმენტია; ჩვენ არ შეგვიძლია წვდომა NULL-ზე, როგორც ობიექტზე ნებისმიერ ენაზე, თუმცა არსებითად ისიც ერთია.

ფორმირება და მომენტები

ხდება არის გადასვლა არაფერი в ყოფნა და ყოფნა в არაფერი. ეს გვაძლევს ორს მომენტი, პირველს ე.წ გაჩენადა მეორე გავლის. გადასასვლელი ასე ჰქვია გაქრობის ნაცვლად, რადგან ლოგიკური არსი არსებითად ვერ გაქრება, თუ ჩვენ არ დავივიწყებთ მას. გატანა როგორც ასეთს შეიძლება ვუწოდოთ დავალების პროცედურა. თუ ჩვენი ობიექტი დაწყებულია, მაშინ შემთხვევის მომენტი, ხოლო სხვა მნიშვნელობის ან NULL-ის მინიჭების შემთხვევაში გავლის მომენტი.

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

Არსებობა

Მოკლედ არსებობა არის ობიექტი, რომელსაც არ აქვს მკაფიო განმარტება, მაგრამ აქვს დარწმუნებულობა. Რას ნიშნავს. კანონიკური მაგალითია ჩვეულებრივი სკამი. თუ ცდილობთ მისცეთ მკაფიო განმარტება, ბევრ სირთულეს წააწყდებით. მაგალითად, თქვენ ამბობთ: „ეს არის ავეჯი, რომელიც განკუთვნილია დასაჯდომად“, მაგრამ სკამიც ამისთვის არის შექმნილი და ა.შ. მაგრამ მკაფიო დეფინიციის არარსებობა ხელს არ უშლის მას სივრცეში გამოვყოთ და გამოვიყენოთ მასზე ინფორმაციის გადაცემისას, ეს იმიტომ ხდება, რომ ჩვენს თავში არის დარწმუნებულობა სკამი. შესაძლოა ზოგიერთმა უკვე მიხვდა, რომ ნერვული ქსელები შეიქმნა მონაცემთა ნაკადიდან ასეთი ობიექტების იზოლირებისთვის. ნერვული ქსელი შეიძლება აღინიშნოს, როგორც ფუნქცია, რომელიც განსაზღვრავს ამას დარწმუნებულობა, მაგრამ არ არსებობს ობიექტების ტიპები, რომლებიც შეიცავდნენ მკაფიო და ბუნდოვან განმარტებებს, ამიტომ ასეთი ობიექტების გამოყენება შეუძლებელია აბსტრაქციის იმავე დონეზე.

რაოდენობრივი ცვლილებების ხარისხობრივში გადასვლის კანონი

ეს კანონი ფრიდრიხ ენგელსმა ჰეგელის ლოგიკის ინტერპრეტაციის შედეგად ჩამოაყალიბა. თუმცა, ეს აშკარად ჩანს პირველ ტომში თავის შესახებ სულ მცირე. მისი არსი ისაა რაოდენობრივი ობიექტის ცვლილებამ შეიძლება გავლენა მოახდინოს მასზე ხარისხი. მაგალითად, გვაქვს ყინულის ობიექტი, ტემპერატურის დაგროვებით ის გადაიქცევა თხევად წყალში და შეიცვლება თვისებები. ამ ქცევის ობიექტში განსახორციელებლად, არსებობს სახელმწიფო დიზაინის ნიმუში. ასეთი გადაწყვეტის გაჩენა გამოწვეულია პროგრამირების არარსებობით, როგორიცაა ფონდი ამისთვის შემთხვევა ობიექტი. ფონდი განსაზღვრავს პირობებს, რომლებშიც შეიძლება გამოჩნდეს ობიექტი და ალგორითმში ჩვენ თვითონ ვწყვეტთ, რომელ მომენტში გვჭირდება ობიექტის ინიციალიზაცია.

PS: თუ ეს ინფორმაცია საინტერესოა, მე განვიხილავ სხვა ობიექტებს ლოგიკის მეცნიერებიდან.

წყარო: www.habr.com