Artikel ini ditumpukan kepada analisis perbandingan entiti logik dari karya ahli falsafah Jerman Georg Wilhelm Friedrich Hegel "Sains Logik" dengan analognya atau ketiadaannya dalam pengaturcaraan.

Entiti daripada Sains Logik diletakkan dalam huruf condong untuk mengelakkan kekeliruan dengan definisi yang diterima umum bagi perkataan ini.

Makhluk murni

Jika anda membuka definisi makhluk murni dalam buku itu, anda akan melihat baris yang menarik "tanpa definisi lanjut." Tetapi bagi mereka yang belum membaca atau tidak faham, jangan tergesa-gesa menuduh penulis demensia. Makhluk murni - ini adalah konsep asas dalam logik Hegel, yang bermaksud bahawa sesetengah objek wujud, tolong jangan kelirukan dengan kewujudan objek, objek itu mungkin tidak wujud dalam realiti, tetapi jika kita entah bagaimana menentukannya dalam logik kita, ia wujud. Jika anda fikirkan, memang ada perkara seperti makhluk murni adalah mustahil untuk memberikan definisi, dan sebarang percubaan sedemikian akan menjadi kenyataan bahawa anda hanya akan merujuk kepada sinonim atau antonimnya. Makhluk murni konsep abstrak yang boleh diaplikasikan pada apa sahaja, termasuk dirinya sendiri. Dalam sesetengah bahasa berorientasikan objek, adalah mungkin untuk mewakili apa sahaja sebagai objek, termasuk operasi pada objek, yang pada dasarnya memberi kita tahap abstraksi sedemikian. Walau bagaimanapun, dalam pengaturcaraan analog langsung makhluk murni Tidak. Untuk menyemak kewujudan objek, kita perlu menyemak ketiadaannya.

if(obj != null);

Adalah aneh bahawa gula sintaksis seperti itu belum wujud, memandangkan cek ini sangat popular.

Tidak ada

Bagaimana anda boleh meneka tiada apa-apa adalah ketiadaan apa-apa. Dan analognya boleh dipanggil NULL. Perlu diingat bahawa dalam sains logik tiada apa-apa adalah makhluk murni, kerana ia juga wujud. Ini adalah sedikit tangkapan; kami tidak boleh mengakses NULL sebagai objek dalam mana-mana bahasa, walaupun pada dasarnya ia adalah satu juga.

Pembentukan dan detik

Menjadi adalah peralihan daripada tiada apa-apa в menjadi dan dari sedang в tiada apa-apa. Itu memberi kita dua seketika, yang pertama dipanggil kemunculan, dan kedua berlalu. Laluan ia dipanggil begitu bukannya hilang, kerana intipati logik pada dasarnya tidak boleh hilang melainkan kita telah melupakannya. Mengeluarkan oleh itu kita boleh memanggil prosedur tugasan. Jika objek kita dimulakan, maka detik kejadian, dan sekiranya memberikan nilai lain atau NULL detik berlalu.

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

Kewujudan

Pendek kata kewujudan ialah objek yang tidak mempunyai definisi yang jelas, tetapi mempunyai kepastian. Apakah maksudnya. Contoh kanonik ialah kerusi biasa. Jika anda cuba memberikan definisi yang jelas, anda akan menghadapi banyak kesukaran. Sebagai contoh, anda berkata: "ini adalah perabot yang direka untuk duduk", tetapi kerusi juga dicipta untuk ini, dsb. Tetapi kekurangan definisi yang jelas tidak menghalang kita daripada menonjolkannya di angkasa dan menggunakannya apabila menghantar maklumat mengenainya, ini kerana dalam kepala kita ada kepastian kerusi. Mungkin ada yang telah meneka bahawa rangkaian saraf dicipta untuk mengasingkan objek tersebut daripada aliran data. Rangkaian saraf boleh ditandakan sebagai fungsi yang mentakrifkan ini kepastian, tetapi tiada jenis objek yang akan merangkumi takrifan yang jelas dan kabur, oleh itu objek tersebut tidak boleh digunakan pada tahap abstraksi yang sama.

Hukum peralihan kuantitatif berubah menjadi kualitatif

Undang-undang ini telah dirumuskan oleh Friedrich Engels hasil daripada tafsiran logik Hegel. Walau bagaimanapun, ia boleh dilihat dengan jelas dalam jilid pertama dalam bab mengenai paling tidak. Intipatinya ialah kuantitatif perubahan pada objek boleh menjejaskannya kualiti. Sebagai contoh, kita mempunyai objek ais; dengan pengumpulan suhu, ia akan bertukar menjadi air cair dan mengubahnya Kualiti. Untuk melaksanakan tingkah laku ini dalam objek, terdapat corak reka bentuk Negeri. Kemunculan penyelesaian sedemikian disebabkan oleh ketiadaan dalam pengaturcaraan perkara seperti asasnya untuk kemunculan objek. Yayasan menentukan keadaan di mana objek boleh muncul, dan dalam algoritma kita sendiri memutuskan pada titik mana kita perlu memulakan objek.

PS: Jika maklumat ini menarik, saya akan menyemak entiti lain dari Sains Logik.

Sumber: www.habr.com