Այս հոդվածը նվիրված է գերմանացի փիլիսոփա Գեորգ Վիլհելմ Ֆրիդրիխ Հեգելի «Տրամաբանության գիտություն» աշխատության տրամաբանական սուբյեկտների համեմատական ​​վերլուծությանը իրենց անալոգների կամ ծրագրավորման մեջ դրանց բացակայության հետ:

Տրամաբանության գիտության սուբյեկտները շեղատառերով են՝ այս բառերի ընդհանուր ընդունված սահմանումների հետ շփոթությունից խուսափելու համար:

Մաքուր էակ

Եթե ​​դուք բացեք սահմանումը մաքուր էակ գրքում դուք կտեսնեք հետաքրքիր տող «առանց հետագա սահմանման»: Բայց նրանց համար, ովքեր չեն կարդացել կամ չեն հասկանում, մի շտապեք մեղադրել հեղինակին դեմենցիայի մեջ: Մաքուր էակ - Սա հիմնական հասկացություն է Հեգելի տրամաբանության մեջ, այսինքն՝ ինչ-որ օբյեկտ գոյություն ունի, խնդրում եմ, մի շփոթեք այն օբյեկտի գոյության հետ, օբյեկտը կարող է գոյություն չունենալ իրականում, բայց եթե մենք ինչ-որ կերպ սահմանել ենք այն մեր տրամաբանության մեջ, այն կա: Եթե ​​մտածեք դրա մասին, իսկապես կան այնպիսի բաներ, ինչպիսիք են մաքուր էակ անհնար է սահմանում տալ, և ցանկացած նման փորձ կհանգեցնի նրան, որ դուք պարզապես կանդրադառնաք դրա հոմանիշներին կամ հականիշներին։ Մաքուր էակ այնպիսի վերացական հասկացություն, որ այն կարող է կիրառվել բացարձակապես ամեն ինչի, այդ թվում՝ ինքն իր վրա։ Որոշ օբյեկտ-կողմնորոշված ​​լեզուներում հնարավոր է ցանկացած բան ներկայացնել որպես օբյեկտ, ներառյալ օբյեկտների վրա գործողություններ, ինչը մեզ սկզբունքորեն տալիս է վերացականության նման մակարդակ: Այնուամենայնիվ, ուղիղ անալոգի ծրագրավորման մեջ մաքուր էակ Ոչ Օբյեկտի առկայությունը ստուգելու համար մենք պետք է ստուգենք դրա բացակայությունը:

if(obj != null);

Տարօրինակ է, որ նման շարահյուսական շաքար դեռ չկա՝ հաշվի առնելով, որ այս ստուգումը շատ տարածված է։

Ոչինչ

Ինչպես կարող էիր գուշակել ոչինչ ինչ-որ բանի բացակայությունն է: Իսկ դրա անալոգը կարելի է անվանել NULL: Հարկ է նշել, որ տրամաբանության գիտության մեջ ոչինչ է մաքուր էակ, քանի որ այն էլ կա։ Սա մի քիչ գրավիչ է, մենք չենք կարող մուտք գործել NULL որպես օբյեկտ որևէ լեզվով, թեև ըստ էության այն նույնպես մեկն է:

Ձևավորում և պահեր

Դառնալով անցում է ոչինչ в լինելը եւ լինելը в ոչինչ. Դա մեզ երկուսին է տալիս պահը, առաջինը կոչվում է առաջացումև երկրորդը անցնող. Անցում այդպես է կոչվում անհետացման փոխարեն, քանի որ տրամաբանական էությունը ըստ էության չի կարող անհետանալ, քանի դեռ մենք չենք մոռացել այն։ դուրսբերում որպես այդպիսին մենք կարող ենք անվանել հանձնարարության ընթացակարգը: Եթե ​​մեր օբյեկտը սկզբնավորվել է, ապա առաջացման պահը, իսկ այլ արժեք կամ NULL նշանակելու դեպքում անցնելու պահը.

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

Գոյություն

Կարճ ասած գոյություն օբյեկտ է, որը չունի հստակ սահմանում, բայց ունի որոշակիություն. Ինչ է դա նշանակում. Կանոնական օրինակը սովորական աթոռն է։ Եթե ​​փորձեք դրան հստակ սահմանում տալ, շատ դժվարությունների կհանդիպեք։ Օրինակ՝ ասում եք՝ «սա նստելու համար նախատեսված կահույք է», բայց աթոռը նույնպես դրա համար է ստեղծված և այլն։ Բայց հստակ սահմանման բացակայությունը չի խանգարում մեզ այն առանձնացնել տարածության մեջ և օգտագործել այն դրա մասին տեղեկատվություն փոխանցելիս, սա այն պատճառով է, որ մեր գլխում կա որոշակիություն Աթոռ. Հավանաբար, ոմանք արդեն կռահել են, որ նեյրոնային ցանցերը ստեղծվել են տվյալների հոսքից նման օբյեկտները մեկուսացնելու համար: Նեյրոնային ցանցը կարող է նշանակվել որպես գործառույթ, որը սահմանում է դա որոշակիություն, բայց չկան օբյեկտների տեսակներ, որոնք կներառեն հստակ և անորոշ սահմանումներ, հետևաբար այդպիսի օբյեկտները չեն կարող օգտագործվել աբստրակցիայի նույն մակարդակում:

Քանակական փոփոխությունների որակականի անցնելու օրենքը

Այս օրենքը ձեւակերպել է Ֆրիդրիխ Էնգելսը Հեգելի տրամաբանության մեկնաբանության արդյունքում։ Այնուամենայնիվ, դա հստակ երևում է գլխի առաջին հատորում նվազագույնը. Դրա էությունն այն է քանակական օբյեկտի փոփոխությունները կարող են ազդել դրա վրա որակ. Օրինակ, մենք ունենք սառցե օբյեկտ, որը ջերմաստիճանի կուտակման դեպքում կվերածվի հեղուկ ջրի և կփոխվի որակները. Օբյեկտում այս վարքագիծն իրականացնելու համար կա Պետական ​​նախագծման օրինակ: Նման լուծման առաջացումը պայմանավորված է ծրագրավորման մեջ նման բանի բացակայությամբ հիմնադրամ համար առաջացում օբյեկտ. Հիմնադրամ որոշում է այն պայմանները, որոնց դեպքում օբյեկտը կարող է հայտնվել, և ալգորիթմում մենք ինքներս ենք որոշում, թե որ կետում պետք է նախաստորագրենք օբյեկտը:

PS: Եթե ​​այս տեղեկատվությունը հետաքրքիր է, ես կվերանայեմ տրամաբանության գիտության այլ սուբյեկտները:

Source: www.habr.com