Artikel iki dikhususake kanggo analisis komparatif entitas logis saka karya filsuf Jerman Georg Wilhelm Friedrich Hegel "Ilmu Logika" karo analog utawa ora ana ing program.

Entitas saka Ilmu Logika ana ing miring kanggo ngindhari kebingungan karo definisi sing ditampa umum saka tembung kasebut.

Wujud murni

Yen sampeyan mbukak definisi wujud murni ing buku, sampeyan bakal weruh baris menarik "tanpa definisi luwih". Nanging kanggo sing durung maca utawa ora ngerti, aja cepet-cepet nyalahake penulis demensia. Wujud murni - iki minangka konsep dhasar ing logika Hegel, tegese sawetara obyek ana, aja bingung karo eksistensi obyek, obyek kasebut bisa uga ora ana ing kasunyatan, nanging yen kita nemtokake ing logika kita, mesthi ana. Yen sampeyan mikir babagan iki, pancen ana sing kaya ngono wujud murni iku mokal kanggo menehi definisi, lan sembarang nyoba kuwi bakal teka mudhun kanggo kasunyatan sing mung bakal deleng sinonim utawa antonim sawijining. Wujud murni konsep abstrak sing bisa ditrapake kanggo kabeh, kalebu dhewe. Ing sawetara basa berorientasi obyek, bisa makili apa wae minangka obyek, kalebu operasi ing obyek, sing ing asas menehi kita tingkat abstraksi. Nanging, ing program analog langsung wujud murni Ora. Kanggo mriksa anané obyek, kita kudu mriksa anané.

if(obj != null);

Aneh yen gula sintaksis kasebut durung ana, amarga mriksa iki populer banget.

Ora apa-apa

Carane sampeyan bisa guess boten yaiku ora ana apa-apa. Lan analoge bisa diarani NULL. Wigati dicathet yen ing ilmu logika boten Iku wujud murni, amarga uga ana. Iki minangka salah sawijining tangkapan; kita ora bisa ngakses NULL minangka obyek ing basa apa wae, sanajan intine iku uga siji.

Formasi lan momen

Tatanan yaiku transisi saka boten в dadi lan saka dadi в boten. Sing menehi kita loro wektu, sing pisanan diarani munculé, lan nomer loro liwat. Passage diarani dadi tinimbang ilang, amarga hakekat logis ora bisa ilang kajaba kita wis lali. Penarikan kaya mengkono kita bisa nelpon prosedur assignment. Yen obyek kita wis initialized, banjur wayahe kedadeyan, lan yen menehi nilai liyane utawa NULL wayahe liwat.

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

eksistensi

Cekakipun orane yaiku obyek sing ora nduweni definisi sing jelas, nanging nduweni kepastian. Iki artine apa. Conto kanonik yaiku kursi biasa. Yen sampeyan nyoba menehi definisi sing jelas, sampeyan bakal nemokake akeh kesulitan. Contone, sampeyan ngomong: "iki minangka perabot sing dirancang kanggo lungguh", nanging kursi uga digawe kanggo iki, lsp. Nanging kekurangan definisi sing jelas ora nyegah kita nyorot ing papan lan nggunakake nalika ngirim informasi babagan iki, amarga ana ing sirah kita. kepastian kursi. Mungkin sawetara wis ngira yen jaringan saraf digawe kanggo ngisolasi obyek kasebut saka aliran data. Jaringan saraf bisa diarani minangka fungsi sing nemtokake iki kepastian, nanging ora ana jinis obyek sing kalebu definisi sing jelas lan kabur, mula obyek kasebut ora bisa digunakake ing tingkat abstraksi sing padha.

Hukum transisi kuantitatif owah dadi kualitatif

Hukum iki dirumusake dening Friedrich Engels minangka asil saka interpretasi logika Hegel. Nanging, iku bisa cetha katon ing volume pisanan ing bab ing ngukur. Intine yaiku jumlah owah-owahan kanggo obyek bisa mengaruhi iku kualitas. Contone, kita duwe obyek es; kanthi akumulasi suhu, bakal dadi banyu cair lan ngganti kualitas. Kanggo ngleksanakake prilaku iki ing obyek, ana pola desain Negara. Munculé solusi kasebut disebabake ora ana ing program kaya dhasar kanggo kedadeyan obyek. Yayasan nemtokake kahanan ing ngendi obyek bisa katon, lan ing algoritma kita dhewe mutusaké ing titik apa kita kudu initialize obyek.

PS: Yen informasi iki menarik, aku bakal mriksa entitas liyane saka Ilmu Logika.

Source: www.habr.com