Оваа статија е посветена на компаративна анализа на логичките ентитети од делото на германскиот филозоф Георг Вилхелм Фридрих Хегел „Наука за логиката“ со нивните аналози или нивното отсуство во програмирањето.

Ентитетите од Науката за логиката се со курзив за да се избегне забуна со општоприфатените дефиниции на овие зборови.

Чисто битие

Ако ја отворите дефиницијата чисто битие во книгата, ќе видите интересен ред „без понатамошна дефиниција“. Но, за оние кои не прочитале или не разбираат, не брзајте да го обвините авторот за деменција. Чисто битие - ова е основен концепт во логиката на Хегел, што значи дека некој предмет постои, ве молиме не го мешајте со постоењето на објектот, предметот можеби не постои во реалноста, но ако некако го дефиниравме во нашата логика, тој постои. Ако размислите за тоа, навистина постојат такви работи како чисто битие невозможно е да се даде дефиниција, а секој таков обид ќе се сведе на тоа што едноставно ќе се повикате на неговите синоними или антоними. Чисто битие таков апстрактен концепт што може да се примени на апсолутно сè, вклучително и себеси. Во некои објектно-ориентирани јазици, можно е да се претстави било што како објект, вклучително и операции на објекти, што во принцип ни дава такво ниво на апстракција. Меѓутоа, при програмирањето на директниот аналог чисто битие бр. За да провериме дали постои објект, треба да го провериме неговото отсуство.

if(obj != null);

Чудно е што сè уште не постои таков синтаксички шеќер, со оглед на тоа што оваа проверка е многу популарна.

Ништо

Како можеше да погодиш ништо е отсуството на било што. И неговиот аналог може да се нарече NULL. Вреди да се напомене дека во науката за логиката ништо е чисто битие, бидејќи и тој постои. Ова е малку фаќање; не можеме да пристапиме до NULL како објект на кој било јазик, иако во суштина и тој е таков.

Формирање и моменти

Станете е премин од ништо в битие и од битие в ништо. Тоа ни дава двајца момент, првиот се вика појавата, и второ поминување. Премин така се нарекува наместо исчезнување, бидејќи логичката суштина во суштина не може да исчезне доколку не сме ја заборавиле. Повлекување како таква можеме да ја наречеме постапката за доделување. Ако нашиот објект е иницијализиран, тогаш моментот на настанување, и во случај на доделување друга вредност или NULL момент на минување.

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

Егзистенција

Накратко постоење е објект кој нема јасна дефиниција, но има сигурност. Што значи тоа. Канонскиот пример е обичен стол. Ако се обидете да му дадете јасна дефиниција, ќе наидете на многу тешкотии. На пример, велите: „ова е парче мебел дизајниран за седење“, но и столот е создаден за ова, итн. Но, недостатокот на јасна дефиниција не нè спречува да го истакнеме во просторот и да го користиме при пренесување информации за него, тоа е затоа што во нашата глава постои сигурност столче. Можеби некои веќе претпоставиле дека невронските мрежи се создадени за да се изолираат таквите објекти од протокот на податоци. Невронската мрежа може да се означи како функција што го дефинира ова сигурност, но не постојат типови на објекти кои би вклучиле јасни и нејасни дефиниции, затоа таквите објекти не можат да се користат на исто ниво на апстракција.

Законот за транзиција на квантитативни промени во квалитативни

Овој закон е формулиран од Фридрих Енгелс како резултат на толкувањето на Хегеловата логика. Сепак, тоа може јасно да се види во првиот том во поглавјето за најмалку. Нејзината суштина е тоа квантитативни промените на некој објект може да влијаат на него квалитет. На пример, имаме леден објект; со акумулација на температурата, тој ќе се претвори во течна вода и ќе ја промени квалитети. За да се имплементира ваквото однесување во објектот, постои шема за дизајн на државата. Појавата на такво решение е предизвикана од отсуството во програмирањето на такво нешто како Фондацијата за појавата објект. Фондација ги одредува условите под кои може да се појави некој објект, а во алгоритмот самите одлучуваме во која точка треба да го иницијализираме објектот.

PS: Ако оваа информација е интересна, ќе разгледам други ентитети од Науката за логиката.

Извор: www.habr.com