Ин мақола ба таҳлили муқоисавии воҳидҳои мантиқии асари файласуфи олмонӣ Георг Вилҳелм Фридрих Ҳегел «Илм оид ба мантиқ» бо аналогҳо ё набудани онҳо дар барномасозӣ бахшида шудааст.

Воситаҳои илмии мантиқ бо курсив навишта шудаанд, то аз иштибоҳ бо таърифҳои маъмули ин калимаҳо роҳ надиҳанд.

Ҳаёти пок

Агар шумо таърифро кушоед мавҷудияти пок дар китоб сатри шавковарро «бе таърифи минбаъда» мебинед. Аммо барои онҳое, ки нахондаанд ва ё намефаҳманд, шитоб накунед, ки муаллифро дар ақлӣ айбдор кунед. Ҳаёти пок - ин мафҳуми асосӣ дар мантиқи Гегел аст, яъне ягон предмет вуҷуд дорад, лутфан онро бо мавҷудияти предмет омехта накунед, шояд объект дар воқеият вуҷуд надошта бошад, аммо агар мо онро дар мантиқи худ ба гунае муайян кунем, вуҷуд дорад. Агар шумо дар ин бора фикр кунед, дар ҳақиқат чунин чизҳо вуҷуд доранд мавҷудияти пок таъриф додан ғайриимкон аст ва ҳар гуна кӯшиш ба он бармеояд, ки шумо танҳо ба синонимҳо ё антонимҳои он муроҷиат мекунед. Ҳаёти пок чунон мафҳуми абстрактӣ, ки онро комилан ба ҳама чиз, аз ҷумла ба худ низ татбиқ кардан мумкин аст. Дар баъзе забонҳои ба объект нигаронидашуда ҳама чизро ҳамчун объект муаррифӣ кардан мумкин аст, аз ҷумла амалиётҳо оид ба объектҳо, ки дар асл ба мо чунин сатҳи абстраксияро медиҳад. Аммо, дар барномасозӣ аналоги мустақим мавҷудияти пок Не. Барои санҷидани мавҷудияти объект, мо бояд мавҷудияти онро тафтиш кунем.

if(obj != null);

Аҷиб аст, ки чунин қанди синтаксисӣ то ҳол вуҷуд надорад, зеро ин чек хеле маъмул аст.

Ҳеҷ чиз не

Чӣ тавр шумо тахмин карда метавонед ҳеҷ чиз набудани чизест. Ва аналоги онро NULL номидан мумкин аст. Бояд гуфт, ки дар илми мантик ҳеҷ чиз Ин аст, мавҷудияти пок, зеро он низ вуҷуд дорад. Ин каме ҷолиб аст; мо наметавонем ба NULL ҳамчун объект дар ягон забон дастрасӣ пайдо кунем, гарчанде ки дар асл он як аст.

Ташаккул ва лаҳзаҳо

Шудан гузариш аз ҳеҷ чиз в будан ва аз будан в ҳеҷ чиз. Ин ба мо ду лаҳза, якум номида мешавад пайдоиш, ва дуюм гузаранда. Гузар онро ба ҷои нопадидшавӣ ҳамин тавр меноманд, зеро моҳияти мантиқӣ аслан наметавонад аз байн равад, агар мо онро фаромӯш накунем. Бозхонди ҳамин тавр мо метавонем тартиби таъин даъват. Агар объекти мо оғоз карда шавад, пас лаҳзаи рӯйдод, ва дар сурати таъини арзиши дигар ё NULL лаҳзаи гузаштан.

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

Мавҷудият

Кӯтоҳаш мавҷудият объектест, ки таърифи аниќ надорад, вале дорад итминон. Ин чӣ маъно дорад. Мисоли канонӣ як курсии оддӣ аст. Агар шумо кушиш кунед, ки ба он таърифи равшан дихед, шумо ба душворихои зиёде дучор мешавед. Масалан, шумо мегӯед: "ин мебелест, ки барои нишастан пешбинӣ шудааст", аммо курсӣ низ барои ин сохта шудааст ва ғайра. Аммо набудани таърифи дақиқ монеа намешавад, ки онро дар фазо равшан кунем ва ҳангоми интиқоли маълумот дар бораи он истифода кунем, зеро дар сари мо вуҷуд дорад. итминон курсӣ. Шояд баъзеҳо аллакай тахмин карда буданд, ки шабакаҳои нейронӣ барои ҷудо кардани чунин объектҳо аз ҷараёни додаҳо сохта шудаанд. Шабакаи нейронро метавон ҳамчун функсияе номид, ки инро муайян мекунад итминон, аммо ягон намуди объектҳое вуҷуд надоранд, ки таърифҳои возеҳ ва норавшанро дар бар гиранд, аз ин рӯ чунин объектҳоро дар як сатҳи абстраксия истифода бурдан мумкин нест.

Қонуни гузаштани тағйироти миқдорӣ ба тағйироти сифатӣ

Ин конунро Фридрих Энгельс дар натичаи тафсири мантики Гегель тартиб додааст. Аммо онро дар чилди якуми боби оид ба он равшан дидан мумкин аст камтар. Мохияти он аз он иборат аст миқдорӣ тағирот дар объект метавонад ба он таъсир расонад сифат. Масалан, мо як объекти ях дорем, ки бо ҷамъшавии ҳарорат он ба оби моеъ табдил меёбад ва ҳолати худро тағир медиҳад сифат. Барои татбиқи ин рафтор дар объект намунаи тарроҳии давлатӣ мавҷуд аст. Пайдоиши ин гуна ҳалли масъала дар он аст, ки дар барномасозӣ мавҷуд набудани чунин чизе ба монанди асос барои рӯйдод объект. Фонд шароитеро, ки дар кадом объект пайдо шуда метавонад, муайян мекунад ва дар алгоритм мо худамон қарор медиҳем, ки дар кадом лаҳза объектро оғоз кардан лозим аст.

PS: Агар ин маълумот ҷолиб бошад, ман дигар объектҳои илмии мантиқро баррасӣ мекунам.

Манбаъ: will.com