Kini nga artikulo gipahinungod sa usa ka pagtandi nga pagtuki sa lohikal nga mga entidad gikan sa buhat sa German nga pilosopo nga si Georg Wilhelm Friedrich Hegel "Science of Logic" uban sa ilang mga analogue o sa ilang pagkawala sa programming.

Ang mga entidad gikan sa Science of Logic anaa sa mga italics aron malikayan ang kalibog sa kasagarang gidawat nga mga kahulugan niini nga mga pulong.

Putli nga pagkatawo

Kung ablihan nimo ang kahulugan putli nga pagkatawo sa libro, imong makita ang usa ka makapaikag nga linya "nga walay dugang nga kahulugan". Apan sa mga wala pa makabasa o wala makasabot, ayaw pagdali sa pag-akusar sa tagsulat og dementia. Putli nga pagkatawo - kini usa ka sukaranan nga konsepto sa lohika ni Hegel, nga nagpasabut nga adunay usa ka butang, palihug ayaw kini libug sa pagkaanaa sa usa ka butang, ang butang mahimo’g wala sa tinuud, apan kung giunsa naton kini gipasabut sa atong lohika, naglungtad kini. Kung imong hunahunaon, adunay mga butang sama sa putli nga pagkatawo imposible ang paghatag ug depinisyon, ug ang bisan unsa nga pagsulay moabot sa kamatuoran nga imong hisgotan lang ang mga synonym o antonim niini. Putli nga pagkatawo usa ka abstract nga konsepto nga kini magamit sa hingpit nga bisan unsang butang, lakip ang iyang kaugalingon. Sa pipila ka mga pinulongan nga gipunting sa butang, posible nga magrepresentar sa bisan unsang butang ingon usa ka butang, lakip ang mga operasyon sa mga butang, nga sa prinsipyo naghatag kanato sa ingon nga lebel sa abstraction. Apan, sa programming ang direkta nga analogue putli nga pagkatawo Dili. Aron masusi ang paglungtad sa usa ka butang, kinahanglan natong susihon kung wala ba kini.

if(obj != null);

Katingad-an nga ang ingon nga syntactic nga asukal wala pa, tungod kay kini nga tseke popular kaayo.

Wala

Unsaon nimo pagtag-an walay bisan unsa mao ang pagkawalay bisan unsa. Ug ang analogue niini matawag nga NULL. Kini mao ang bili noting nga sa siyensiya sa lohika walay bisan unsa Kini mao ang putli nga pagkatawo, tungod kay kini anaa usab. Kini usa ka gamay nga kuha; dili kami maka-access sa NULL isip usa ka butang sa bisan unsang pinulongan, bisan kung sa esensya usa usab kini.

Pagporma ug mga gutlo

Pagporma usa ka transisyon gikan sa walay bisan unsa в pagka ug gikan sa nga nahimong в walay bisan unsa. Kana naghatag kanamo duha higayon, ang una gitawag pagtumaw, ug ang ikaduha paglabay. Agianan gitawag kini sa ingon imbis nga mawala, tungod kay ang lohikal nga esensya sa tinuud dili mawala gawas kung nakalimtan naton kini. Pag-withdraw sa ingon mahimo natong tawgon ang pamaagi sa pagtudlo. Kung ang atong butang gisugdan, nan higayon sa panghitabo, ug sa kaso sa paghatag og laing bili o NULL gutlo sa paglabay.

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

Pagkaanaa

Sa laktod pagkaanaa mao ang usa ka butang nga walay klaro nga kahulugan, apan adunay kasiguroan. Unsay buot ipasabot niini. Ang kanonikal nga pananglitan usa ka ordinaryo nga lingkuranan. Kung sulayan nimo nga hatagan kini usa ka tin-aw nga kahulugan, makasugat ka daghang mga kalisud. Pananglitan, moingon ka: "Kini usa ka piraso sa muwebles nga gidisenyo alang sa paglingkod," apan ang lingkuranan gihimo usab alang niini, ug uban pa. Apan ang kakulang sa usa ka tin-aw nga kahulugan wala makapugong kanato sa pagpasiugda niini sa kawanangan ug sa paggamit niini sa pagpadala sa impormasyon mahitungod niini, kini tungod kay sa atong ulo adunay kasiguroan lingkuranan. Tingali ang uban nakatag-an na nga ang mga neural network gihimo aron ihimulag ang ingon nga mga butang gikan sa stream sa datos. Ang usa ka neural network mahimong ipasabut ingon usa ka function nga naghubit niini kasiguroan, apan walay mga matang sa mga butang nga maglakip sa tin-aw ug fuzzy nga mga kahulugan, busa ang maong mga butang dili magamit sa samang lebel sa abstraction.

Ang balaod sa pagbalhin sa quantitative nga mga pagbag-o ngadto sa mga qualitative

Kini nga balaod gimugna ni Friedrich Engels isip resulta sa interpretasyon sa lohika ni Hegel. Bisan pa, kini klaro nga makita sa unang tomo sa kapitulo sa labing gamay. Ang diwa niini mao kana pag-igo ang mga pagbag-o sa usa ka butang mahimong makaapekto niini ang kalidad. Pananglitan, kami adunay usa ka butang nga yelo; uban ang pagtipon sa temperatura, kini mahimong likido nga tubig ug usbon kini mga hiyas. Aron ipatuman kini nga kinaiya sa usa ka butang, adunay sumbanan sa disenyo sa Estado. Ang pagtunga sa ingon nga solusyon tungod sa pagkawala sa pagprograma sa usa ka butang sama sa base alang sa panghitabo butang Foundation nagtino sa mga kondisyon diin ang usa ka butang mahimong makita, ug sa algorithm kita mismo ang magdesisyon kung unsang punto ang kinahanglan naton nga magsugod sa butang.

PS: Kung kini nga kasayuran makapaikag, akong susihon ang ubang mga entidad gikan sa Science of Logic.

Source: www.habr.com